| Publication | Date of Publication | Type |
|---|
| Syntactic and semantic soundness of structural dataflow analysis | 2024-04-19 | Paper |
| Verifying numerical programs via iterative abstract testing | 2024-04-19 | Paper |
| Responsibility analysis by abstract interpretation | 2024-04-19 | Paper |
| Abstract semantic dependency | 2024-04-19 | Paper |
| Abstract interpretation of graphs | 2023-08-17 | Paper |
| Asynchronous correspondences between hybrid trajectory semantics | 2023-08-10 | Paper |
| Program analysis is harder than verification: a computability perspective | 2023-05-05 | Paper |
| Dynamic interval analysis by abstract interpretation | 2023-04-13 | Paper |
| On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics | 2022-08-25 | Paper |
| Calculational design of a regular model checker by abstract interpretation | 2021-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5857678 | 2021-04-02 | Paper |
| Calculational design of a regular model checker by abstract interpretation | 2019-12-12 | Paper |
| Abstract interpretation | 2018-04-23 | Paper |
| Ogre and Pythia: an invariance proof method for weak consistency models | 2017-10-20 | Paper |
| An abstract interpretation-based framework for software watermarking | 2015-11-11 | Paper |
| An abstract interpretation framework for termination | 2015-09-11 | Paper |
| Systematic design of program transformation frameworks by abstract interpretation | 2015-03-17 | Paper |
| Temporal abstract interpretation | 2015-03-17 | Paper |
| Abstracting Induction by Extrapolation and Interpolation | 2015-02-04 | Paper |
| A parametric segmentation functor for fully automatic and scalable array content analysis | 2014-04-10 | Paper |
| A galois connection calculus for abstract interpretation | 2014-04-10 | Paper |
| Theories, solvers and static analysis by abstract interpretation | 2014-02-17 | Paper |
| Bi-inductive structural semantics (extended abstract) | 2014-01-10 | Paper |
| A Case Study in Abstract Interpretation Based Program Transformation | 2013-04-26 | Paper |
| Probabilistic Abstract Interpretation | 2012-06-22 | Paper |
| Grammar semantics, analysis and parsing by abstract interpretation | 2012-01-04 | Paper |
| The reduced product of abstract domains and the combination of decision procedures | 2011-05-19 | Paper |
| Linear absolute value relation analysis | 2011-05-19 | Paper |
| Precondition inference from intermittent assertions and application to contracts on collections | 2011-02-15 | Paper |
| A scalable segmented decision tree abstract domain | 2010-09-07 | Paper |
| Verification by abstract interpretation | 2010-03-23 | Paper |
| Why does Astrée scale up? | 2010-02-05 | Paper |
| An abstract domain to discover interval linear equalities | 2010-01-14 | Paper |
| Abstract interpretation of resolution-based semantics | 2009-11-04 | Paper |
| Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships | 2009-08-18 | Paper |
| Bi-inductive structural semantics | 2009-04-14 | Paper |
| Fixpoint-Guided Abstraction Refinements | 2009-03-03 | Paper |
| Grammar Analysis and Parsing by Abstract Interpretation | 2007-09-24 | Paper |
| Programming Languages and Systems | 2006-10-20 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2005-12-06 | Paper |
| Programming Languages and Systems | 2005-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738384 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738461 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736494 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473711 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414726 | 2003-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414376 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804884 | 2003-05-01 | Paper |
| Parsing as abstract interpretation of grammar semantics | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536712 | 2002-07-28 | Paper |
| Constructive design of a hierarchy of semantics of a transition system by abstract interpretation | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934630 | 2000-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222883 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385541 | 1998-05-14 | Paper |
| ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs | 1994-06-02 | Paper |
| Abstract Interpretation Frameworks | 1993-06-29 | Paper |
| Abstract interpretation and application to logic programs | 1992-09-27 | Paper |
| A language independent proof of the soundness and completeness of generalized Hoare logic | 1989-01-01 | Paper |
| Sometime = always + recursion \(\equiv\) always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3802590 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3968981 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3871899 | 1980-01-01 | Paper |
| Constructive versions of Tarski's fixed point theorems | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4174789 | 1978-01-01 | Paper |
