| Publication | Date of Publication | Type |
|---|
| Inferring inductive invariants from phase structures | 2024-02-16 | Paper |
| Precise interprocedural dataflow analysis with applications to constant propagation | 2022-08-18 | Paper |
| Verifying equivalence of Spark programs | 2022-08-12 | Paper |
| Temporal prophecy for proving temporal properties of infinite-state systems | 2021-12-08 | Paper |
| Bounded Quantifier Instantiation for Checking Inductive Invariants | 2020-08-05 | Paper |
| Some complexity results for stateful network verification | 2019-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5232900 | 2019-09-13 | Paper |
| Constrained image generation using binarized neural networks with decision procedures | 2018-08-10 | Paper |
| On the Automated Verification of Web Applications with Embedded SQL | 2018-07-18 | Paper |
| A framework for numeric analysis of array operations | 2017-07-14 | Paper |
| A semantics for procedure local heaps and its abstractions | 2017-07-14 | Paper |
| Logical characterizations of heap abstractions | 2017-07-12 | Paper |
| Property Directed Reachability for Proving Absence of Concurrent Modification Errors | 2017-02-21 | Paper |
| Conjunctive Abstract Interpretation Using Paramodulation | 2017-02-21 | Paper |
| Decidability of inferring inductive invariants | 2016-10-24 | Paper |
| Decentralizing SDN policies | 2016-09-29 | Paper |
| A combination framework for tracking partition sizes | 2015-07-03 | Paper |
| Specifying and verifying sparse matrix codes | 2015-03-05 | Paper |
| Checking Linearizability of Encapsulated Extended Operations | 2014-04-16 | Paper |
| Modular reasoning about heap paths via effectively propositional formulas | 2014-04-10 | Paper |
| Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning | 2014-01-17 | Paper |
| Automatically verifying concurrent queue algorithms | 2013-08-30 | Paper |
| Synthesis of Circular Compositional Program Proofs via Abduction | 2013-08-05 | Paper |
| Eventually Consistent Transactions | 2012-06-22 | Paper |
| Reasoning about Lock Placements | 2012-06-22 | Paper |
| Statically Inferring Complex Heap, Array, and Numeric Invariants | 2010-10-01 | Paper |
| Decidable fragments of many-sorted logic | 2009-12-03 | Paper |
| Generalizing DPLL to Richer Logics | 2009-06-30 | Paper |
| Simulating reachability using first-order logic with applications to verification of linked data structures | 2009-06-30 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2009-05-15 | Paper |
| Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm | 2009-03-12 | Paper |
| Labelled Clauses | 2009-03-06 | Paper |
| Heap Decomposition for Concurrent Shape Analysis | 2008-08-28 | Paper |
| Proving Conditional Termination | 2008-07-15 | Paper |
| Thread Quantification for Concurrent Shape Analysis | 2008-07-15 | Paper |
| Local Reasoning for Storable Locks and Threads | 2008-05-15 | Paper |
| Decidable Fragments of Many-Sorted Logic | 2008-05-15 | Paper |
| Ranking Abstractions | 2008-04-11 | Paper |
| Constructing Specialized Shape Analyses for Uniform Change | 2008-04-04 | Paper |
| Comparison Under Abstraction for Verifying Linearizability | 2007-11-29 | Paper |
| Leaping Loops in the Presence of Abstraction | 2007-11-29 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Self-stabilization Preserving Compiler | 2007-09-25 | Paper |
| Abstract Counterexample-Based Refinement for Powerset Domains | 2007-09-24 | Paper |
| An Appreciation of the Work of Reinhard Wilhelm | 2007-09-24 | Paper |
| Refinement-Based Verification for Possibly-Cyclic Lists | 2007-09-24 | Paper |
| Shape Analysis by Graph Decomposition | 2007-09-03 | Paper |
| A logic of reachable patterns in linked data-structures | 2007-08-23 | Paper |
| Scaling model checking of dataraces using dynamic information | 2007-05-23 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2007-02-12 | Paper |
| Static Analysis | 2006-10-31 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2005-12-06 | Paper |
| Establishing local temporal heap safety properties with applications to compile-time memory management | 2005-10-10 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| Static Analysis | 2005-08-24 | Paper |
| Static Analysis | 2005-08-24 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| Finding circular attributes in attribute grammars | 2005-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813417 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738375 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417895 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417906 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411959 | 2003-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4778703 | 2002-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764069 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729057 | 2001-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722067 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722052 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4230926 | 1999-02-17 | Paper |
| A logic-based approach to program flow analysis | 1998-11-08 | Paper |
| Precise interprocedural dataflow analysis with applications to constant propagation | 1997-02-27 | Paper |
