Publication | Date of Publication | Type |
---|
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 |
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 |
Temporal abstract interpretation | 2015-03-17 | Paper |
Systematic design of program transformation frameworks by abstract interpretation | 2015-03-17 | Paper |
Abstracting Induction by Extrapolation and Interpolation | 2015-02-04 | Paper |
A galois connection calculus for abstract interpretation | 2014-04-10 | Paper |
A parametric segmentation functor for fully automatic and scalable array content analysis | 2014-04-10 | Paper |
Theories, solvers and static analysis by abstract interpretation | 2014-02-17 | Paper |
Bi-inductive Structural Semantics | 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 |
Linear Absolute Value Relation Analysis | 2011-05-19 | Paper |
The Reduced Product of Abstract Domains and the Combination of Decision Procedures | 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: Theory and Practice | 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 |