| Publication | Date of Publication | Type |
|---|
| \textsc{Sorcar}: property-driven algorithms for learning conjunctive invariants | 2024-04-19 | Paper |
A first-order logic with frames
Programming Languages and Systems | 2022-10-13 | Paper |
scientific article; zbMATH DE number 7533356 (Why is no real title available?)
(available as arXiv preprint) | 2022-05-28 | Paper |
What's decidable about program verification modulo axioms?
Tools and Algorithms for the Construction and Analysis of Systems | 2021-11-10 | Paper |
Lagrange's theorem for binary squares
(available as arXiv preprint) | 2021-08-04 | Paper |
Decidable synthesis of programs with uninterpreted functions
(available as arXiv preprint) | 2021-02-09 | Paper |
A learning-based approach to synthesizing invariants for incomplete verification engines
Journal of Automated Reasoning | 2020-11-02 | Paper |
| Invariant synthesis for incomplete verification engines | 2019-09-16 | Paper |
Compositional Synthesis of Piece-Wise Functions by Learning Classifiers
ACM Transactions on Computational Logic | 2018-08-10 | Paper |
Lagrange's Theorem for Binary Squares
(available as arXiv preprint) | 2017-10-11 | Paper |
A fixpoint calculus for local and global program flows
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-08-21 | Paper |
Synthesis of interface specifications for Java classes
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
Adding nesting structure to words
Journal of the ACM | 2015-11-11 | Paper |
Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists
Formal Methods in System Design | 2015-10-20 | Paper |
Recursive proofs for inductive tree data-structures
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
The tree width of auxiliary storage
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Decidable logics combining heap structures and data
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Reachability under contextual locking
Logical Methods in Computer Science | 2013-09-26 | Paper |
| Symbolic computational techniques for solving games | 2013-08-30 | Paper |
Policy analysis for self-administrated role-based access control
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
| Synthesizing reactive programs | 2012-09-18 | Paper |
Reachability under contextual locking
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
Compositionality Entails Sequentializability
Tools and Algorithms for the Construction and Analysis of Systems | 2011-05-19 | Paper |
Visibly pushdown languages
Proceedings of the thirty-sixth annual ACM symposium on Theory of computing | 2010-08-15 | Paper |
The language theory of bounded context-switching
LATIN 2010: Theoretical Informatics | 2010-04-27 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Timed control with partial observability.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Playing games with boxes and diamonds.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Query Automata for Nested Words
Mathematical Foundations of Computer Science 2009 | 2009-10-16 | Paper |
| scientific article; zbMATH DE number 5587277 (Why is no real title available?) | 2009-07-27 | Paper |
Meta-analysis for Atomicity Violations under Nested Locking
Computer Aided Verification | 2009-06-30 | Paper |
Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
Computer Aided Verification | 2009-06-30 | Paper |
The Complexity of Predicting Atomicity Violations
Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
Adding Nesting Structure to Words
Developments in Language Theory | 2009-03-26 | Paper |
An Infinite Automaton Characterization of Double Exponential Time
Computer Science Logic | 2008-11-20 | Paper |
Automatic symbolic compositional verification by learning assumptions
Formal Methods in System Design | 2008-07-30 | Paper |
Monitoring Atomicity in Concurrent Programs
Computer Aided Verification | 2008-07-15 | Paper |
Context-Bounded Analysis of Concurrent Queue Systems
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
Learning Algorithms and Formal Verification (Invited Tutorial)
Lecture Notes in Computer Science | 2008-04-04 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Languages of Nested Trees
Computer Aided Verification | 2007-09-05 | Paper |
Causal Atomicity
Computer Aided Verification | 2007-09-05 | Paper |
Minimization, Learning, and Conformance Testing of Boolean Programs
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
Causal Dataflow Analysis for Concurrent Programs
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Formal Methods for the Design of Real-Time Systems
Lecture Notes in Computer Science | 2006-10-19 | Paper |
Modular strategies for recursive game graphs
Theoretical Computer Science | 2006-04-28 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2005-08-12 | Paper |
| scientific article; zbMATH DE number 2086417 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2081110 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1956593 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1954389 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1927560 (Why is no real title available?) | 2003-06-12 | Paper |
| scientific article; zbMATH DE number 1759605 (Why is no real title available?) | 2002-11-28 | Paper |
| scientific article; zbMATH DE number 1304990 (Why is no real title available?) | 2002-06-13 | Paper |
| scientific article; zbMATH DE number 1754607 (Why is no real title available?) | 2002-06-12 | Paper |
| scientific article; zbMATH DE number 1754636 (Why is no real title available?) | 2002-06-12 | Paper |
Branching time controllers for discrete event systems
Theoretical Computer Science | 2002-03-03 | Paper |
