| Publication | Date of Publication | Type |
|---|
| Limits and difficulties in the design of under-approximation abstract domains | 2024-01-23 | Paper |
| Exploiting adjoints in property directed reachability analysis | 2024-01-12 | Paper |
| Logics for extensional, locally complete analysis via domain refinements | 2023-11-24 | Paper |
| Computing preimages and ancestors in reaction systems | 2023-10-16 | Paper |
| Deciding program properties via complete abstractions on bounded domains | 2023-07-28 | Paper |
| Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems | 2023-04-13 | Paper |
| Characterization and computation of ancestors in reaction systems | 2022-07-21 | Paper |
| Correct approximation of IEEE 754 floating-point arithmetic for program verification | 2022-07-07 | Paper |
| Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks | 2021-11-15 | Paper |
| A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models | 2021-09-14 | Paper |
| Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation | 2021-08-11 | Paper |
| Code Obfuscation Against Abstract Model Checking Attacks | 2020-07-07 | Paper |
| Studying Opacity of Reaction Systems through Formula Based Predictors* | 2019-05-24 | Paper |
| Code obfuscation against abstraction refinement attacks | 2018-11-16 | Paper |
| Predictors for flat membrane systems | 2018-06-18 | Paper |
| Multiset patterns and their application to dynamic causalities in membrane systems | 2018-05-16 | Paper |
| Generalized contexts for reaction systems: definition and study of dynamic causalities | 2018-04-17 | Paper |
| Specialized Predictor for Reaction Systems with Context Properties | 2017-11-09 | Paper |
| A hierarchy of semantics for normal constraint logic programs | 2017-01-19 | Paper |
| Exploiting binary floating-point representations for constraint propagation | 2016-05-19 | Paper |
| An analysis for causal properties of membrane interactions | 2016-04-26 | Paper |
| Investigating dynamic causalities in reaction systems | 2016-03-31 | Paper |
| A Global Occurrence Counting Analysis for Brane Calculi | 2016-02-05 | Paper |
| Causal static analysis for brane calculi | 2015-06-10 | Paper |
| Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation | 2014-03-21 | Paper |
| Assertion based Inductive Verification Methods for Logic Programs | 2013-06-06 | Paper |
| Logic programs as specifications in the inductive verification of logic programs | 2013-05-24 | Paper |
| An analysis for proving probabilistic termination of biological systems | 2013-02-19 | Paper |
| Boolean Functions for Finite-Tree Dependencies | 2011-05-06 | Paper |
| How to Transform an Analyzer into a Verifier | 2011-05-06 | Paper |
| Abstract interpretation based verification of temporal properties for BioAmbients | 2010-08-19 | Paper |
| An Analysis for Proving Temporal Properties of Biological Systems | 2008-05-06 | Paper |
| Programming Languages and Systems | 2006-10-20 | Paper |
| Finite-tree analysis for constraint logic-based languages | 2006-03-07 | Paper |
| On the verification of finite failure | 2005-12-07 | Paper |
| Abstract interpretation based verification of logic programs | 2004-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736999 | 2004-08-11 | Paper |
| Enhancing the expressive power of the U-Datalog language | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414385 | 2003-07-25 | Paper |
| An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4786496 | 2002-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4778701 | 2002-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767031 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499243 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938429 | 2000-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494369 | 2000-08-10 | Paper |
| Finite failure is and-compositional | 1998-03-25 | Paper |
