| Publication | Date of Publication | Type |
|---|
| \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results | 2020-08-05 | Paper |
| Checking array bounds by abstract interpretation and symbolic expressions | 2018-10-18 | Paper |
Boolean formulas for the static identification of injection attacks in Java
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Inferring complete initialization of arrays
Theoretical Computer Science | 2013-12-04 | Paper |
Definite expression aliasing analysis for Java bytecode
Theoretical Aspects of Computing – ICTAC 2012 | 2012-09-21 | Paper |
Reachability analysis of program variables
Automated Reasoning | 2012-09-05 | Paper |
Automaton-based array initialization analysis
Language and Automata Theory and Applications | 2012-06-08 | Paper |
Magic-sets for localised analysis of Java bytecode
Higher-Order and Symbolic Computation | 2012-01-13 | Paper |
A foundation of escape analysis
Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
Optimality and condensing of information flow through linear refinement
Theoretical Computer Science | 2007-12-18 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Deriving escape analysis by abstract interpretation
Higher-Order and Symbolic Computation | 2007-01-05 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2006-10-31 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
| scientific article; zbMATH DE number 2086513 (Why is no real title available?) | 2004-08-11 | Paper |
Logic programs as compact denotations.
Computer Languages, Systems & Structures | 2004-03-14 | Paper |
| scientific article; zbMATH DE number 1954120 (Why is no real title available?) | 2003-07-28 | Paper |
Pair-independence and freeness analysis through linear refinement.
Information and Computation | 2003-05-27 | Paper |
| scientific article; zbMATH DE number 1832221 (Why is no real title available?) | 2002-11-19 | Paper |
Generalizing Def and Pos to Type Analysis
Journal Of Logic And Computation | 2002-08-12 | Paper |
| scientific article; zbMATH DE number 1701355 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1696888 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1692904 (Why is no real title available?) | 2002-01-21 | Paper |
| scientific article; zbMATH DE number 1487851 (Why is no real title available?) | 2001-03-25 | Paper |
Operational and goal-independent denotational semantics for Prolog with cut
The Journal of Logic Programming | 2000-11-22 | Paper |
