Oded Padon

MaRDI QIDQ2044195zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the power of temporal prophecy	2026-06-19	Paper
Verification of threshold-based distributed algorithms by decomposition to decidable logics Computer Aided Verification	2024-02-16	Paper
Inferring invariants with quantifier alternations: taming the search space explosion	2024-01-23	Paper
Deductive verification in decidable fragments with Ivy Static Analysis	2023-05-26	Paper
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays Logical Methods in Computer Science	2022-10-06	Paper
Temporal prophecy for proving temporal properties of infinite-state systems Formal Methods in System Design	2021-12-08	Paper
Counterexample-guided prophecy for model checking modulo the theory of arrays (available as arXiv preprint)	2021-08-04	Paper
Bounded quantifier instantiation for checking inductive invariants Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs Static Analysis	2019-09-16	Paper
Bounded quantifier instantiation for checking inductive invariants (available as arXiv preprint)	2019-09-13	Paper
Property Directed Reachability for Proving Absence of Concurrent Modification Errors Lecture Notes in Computer Science	2017-02-21	Paper
Conjunctive abstract interpretation using paramodulation Lecture Notes in Computer Science	2017-02-21	Paper
Decidability of inferring inductive invariants Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-10-24	Paper
Decentralizing SDN policies Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-09-29	Paper

Research outcomes over time

This page was built for person: Oded Padon