| Publication | Date of Publication | Type |
|---|
| Proving unrealizability for syntax-guided synthesis | 2024-02-16 | Paper |
| Precise interprocedural dataflow analysis with applications to constant propagation | 2022-08-18 | Paper |
| Automated resource analysis with Coq proof objects | 2022-08-12 | Paper |
| Algebraic program analysis | 2022-03-25 | Paper |
| Programmable program synthesis | 2022-03-25 | Paper |
| Synthesis with asymptotic resource bounds | 2022-03-25 | Paper |
| A New Abstraction Framework for Affine Transformers | 2019-09-16 | Paper |
| A new abstraction framework for affine transformers | 2019-09-04 | Paper |
| Program synthesis for interactive-security systems | 2018-02-14 | Paper |
| Component-based synthesis for complex APIs | 2017-10-20 | Paper |
| A semantics for procedure local heaps and its abstractions | 2017-07-14 | Paper |
| A framework for numeric analysis of array operations | 2017-07-14 | Paper |
| Logical characterizations of heap abstractions | 2017-07-12 | Paper |
| Sound Bit-Precise Numerical Domains | 2017-02-21 | Paper |
| Newtonian program analysis via tensor product | 2016-10-24 | Paper |
| View-Augmented Abstractions | 2016-06-17 | Paper |
| Automating Abstract Interpretation | 2016-03-23 | Paper |
| Statically Inferring Complex Heap, Array, and Numeric Invariants | 2010-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3400631 | 2010-02-05 | Paper |
| Reducing concurrent analysis under a context bound to sequential analysis | 2009-11-23 | 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 |
| Recency-Abstraction for Heap-Allocated Storage | 2009-03-12 | Paper |
| Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm | 2009-03-12 | Paper |
| Labelled Clauses | 2009-03-06 | Paper |
| Abstract Error Projection | 2009-03-03 | Paper |
| Guided Static Analysis | 2009-03-03 | Paper |
| Finding Concurrency-Related Bugs Using Random Isolation | 2009-02-10 | Paper |
| Solving Multiple Dataflow Queries Using WPDSs | 2008-08-28 | Paper |
| Language Strength Reduction | 2008-08-28 | Paper |
| Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis | 2008-07-15 | Paper |
| Program Analysis Using Weighted Pushdown Systems | 2008-04-24 | Paper |
| Interprocedural Analysis of Concurrent Programs Under a Context Bound | 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 |
| 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 |
| Compiler Construction | 2007-09-28 | Paper |
| An Appreciation of the Work of Reinhard Wilhelm | 2007-09-24 | Paper |
| Refinement-Based Verification for Possibly-Cyclic Lists | 2007-09-24 | Paper |
| Improving Pushdown System Model Checking | 2007-09-05 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Static Analysis | 2006-10-31 | Paper |
| Programming Languages and Systems | 2006-10-20 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Weighted pushdown systems and their application to interprocedural dataflow analysis | 2005-10-10 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| Static Analysis | 2005-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813399 | 2004-08-13 | Paper |
| Computational divided differencing and divided-difference arithmetics | 2003-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417795 | 2003-07-30 | 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/Q4411944 | 2003-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2765419 | 2002-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535054 | 2002-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764121 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763682 | 2002-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736362 | 2001-08-29 | Paper |
| Interconvertibility of a class of set constraints and context-free-language reachability | 2000-10-26 | Paper |
| On competitive on-line algorithms for the dynamic priority-ordering problem | 2000-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940927 | 2000-02-28 | Paper |
| On the sequential nature of interprocedural program-analysis problems | 1997-05-11 | Paper |
| Precise interprocedural dataflow analysis with applications to constant propagation | 1997-02-27 | Paper |
| On the computational complexity of dynamic graph problems | 1997-02-27 | Paper |
| An Incremental Algorithm for a Generalization of the Shortest-Path Problem | 1996-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4040974 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4041055 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038670 | 1993-05-18 | Paper |
| Algebraic properties of program integration | 1992-06-28 | Paper |
| Efficient comparison of program slices | 1991-01-01 | Paper |
| Incremental evaluation for attribute grammars with unrestricted movement between tree modifications | 1988-01-01 | Paper |
| Sublinear-space evaluation algorithms for attribute grammars | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3741011 | 1984-01-01 | Paper |
