| Publication | Date of Publication | Type |
|---|
Pebble-intervals automata and \(\text{FO}^2\) with two orders
(available as arXiv preprint) | 2020-07-27 | Paper |
| scientific article; zbMATH DE number 7088727 (Why is no real title available?) | 2019-08-05 | Paper |
Introduction to model checking
Handbook of Model Checking | 2018-07-20 | Paper |
On the automated verification of web applications with embedded SQL
(available as arXiv preprint) | 2018-07-18 | Paper |
Parameterized model checking of rendezvous systems
Distributed Computing | 2018-06-01 | Paper |
Extending \(\mathcal{ALCQIO}\) with trees
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Local linearizability for concurrent container-type data structures | 2018-03-21 | Paper |
On compiling Boolean circuits optimized for secure multi-party computation
Formal Methods in System Design | 2018-02-14 | Paper |
Complexity and resource bound analysis of imperative programs using difference constraints
Journal of Automated Reasoning | 2017-08-15 | Paper |
Monadic second order finite satisfiability and unbounded tree-width
(available as arXiv preprint) | 2017-07-19 | Paper |
Datalog LITE
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Empirical software metrics for benchmarking of verification tools
Formal Methods in System Design | 2017-05-15 | Paper |
On the structure and complexity of rational sets of regular languages
(available as arXiv preprint) | 2017-02-21 | Paper |
Languages represented by Boolean formulas
Information Processing Letters | 2016-06-01 | Paper |
Counterexample-guided abstraction refinement for symbolic model checking
Journal of the ACM | 2015-11-12 | Paper |
Closure properties and complexity of rational sets of regular languages
Theoretical Computer Science | 2015-10-30 | Paper |
On the distributivity of LTL specifications
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A logic-based framework for verifying consensus algorithms
Lecture Notes in Computer Science | 2015-01-13 | Paper |
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic
Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
Parameterized model checking of rendezvous systems
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Information reuse for multi-goal reachability analyses
Programming Languages and Systems | 2013-08-05 | Paper |
An introduction to test specification in FQL
Hardware and Software: Verification and Testing | 2011-04-06 | Paper |
Second order logic and the weak exponential hierarchies
Lecture Notes in Computer Science | 2010-06-17 | Paper |
Counterexamples revisited: principles, algorithms, applications
Lecture Notes in Computer Science | 2010-03-23 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-24 | Paper |
Encoding Treewidth into SAT
Lecture Notes in Computer Science | 2009-07-07 | Paper |
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
Lecture Notes in Computer Science | 2009-02-10 | Paper |
Query-Driven Program Testing
Lecture Notes in Computer Science | 2009-02-10 | Paper |
On the Notion of Vacuous Truth
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
State/Event Software Verification for Branching-Time Specifications
Lecture Notes in Computer Science | 2007-11-29 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
The first order definability of graphs: Upper bounds for quantifier depth
Discrete Applied Mathematics | 2007-01-09 | Paper |
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science | 2006-10-20 | Paper |
An Iterative Framework for Simulation Conformance
Journal Of Logic And Computation | 2005-10-18 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
| scientific article; zbMATH DE number 1979542 (Why is no real title available?) | 2003-09-14 | Paper |
Complexity of t-tautologies
Annals of Pure and Applied Logic | 2003-03-06 | Paper |
On the complexity of data disjunctions.
Theoretical Computer Science | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1852165 (Why is no real title available?) | 2003-01-09 | Paper |
| scientific article; zbMATH DE number 1670775 (Why is no real title available?) | 2001-11-11 | Paper |
| Linear time Datalog and branching time logic | 2001-08-30 | Paper |
| scientific article; zbMATH DE number 1612546 (Why is no real title available?) | 2001-07-01 | Paper |
| scientific article; zbMATH DE number 1500655 (Why is no real title available?) | 2001-01-11 | Paper |
| scientific article; zbMATH DE number 1420834 (Why is no real title available?) | 2000-09-05 | Paper |
| scientific article; zbMATH DE number 1453079 (Why is no real title available?) | 2000-05-25 | Paper |
| scientific article; zbMATH DE number 1342226 (Why is no real title available?) | 2000-03-29 | Paper |
Interpolation in fuzzy logic
Archive for Mathematical Logic | 2000-01-04 | Paper |
Succinctness as a source of complexity in logical formalisms
Annals of Pure and Applied Logic | 1999-09-22 | Paper |
| scientific article; zbMATH DE number 1335887 (Why is no real title available?) | 1999-09-13 | Paper |
| scientific article; zbMATH DE number 1222563 (Why is no real title available?) | 1999-03-02 | Paper |
Succinct representation, leaf languages, and projection reductions
Information and Computation | 1998-11-10 | Paper |
