| Publication | Date of Publication | Type |
|---|
String abstraction for model checking of C programs
Model Checking Software | 2024-02-23 | Paper |
| Relational string abstract domains | 2022-07-08 | Paper |
Completeness of string analysis for dynamic languages
Information and Computation | 2021-11-25 | Paper |
Twinning automata and regular expressions for string static analysis
(available as arXiv preprint) | 2021-10-18 | Paper |
| A survey on product operators in abstract interpretation | 2021-06-21 | Paper |
A survey on product operators in abstract interpretation
(available as arXiv preprint) | 2021-06-21 | Paper |
Combining symbolic and numerical domains for information leakage analysis
Transactions on Computational Science XXXI | 2021-05-26 | Paper |
| Completeness of abstract domains for string analysis of JavaScript programs | 2019-12-12 | Paper |
Comparison of abstract interpretations
Automata, Languages and Programming | 2019-12-04 | Paper |
Non-repudiation analysis using \textsc{LySa} with annotations
Computer Languages, Systems & Structures | 2018-05-16 | Paper |
The abstract domain of trapezoid step functions
Computer Languages, Systems & Structures | 2018-05-15 | Paper |
Hyper-lattice algebraic model for data warehousing
SpringerBriefs in Applied Sciences and Technology | 2016-02-10 | Paper |
Datacentric semantics for verification of privacy policy compliance by mobile applications
Lecture Notes in Computer Science | 2015-02-04 | Paper |
| Information leakage detection in boundary ambients | 2013-08-27 | Paper |
Operational semantics for reexecution-based analysis of logic programs with delay declarations
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Abstract interpretation of database query languages
Computer Languages, Systems & Structures | 2012-10-25 | Paper |
Widening and narrowing operators for abstract interpretation
Computer Languages, Systems & Structures | 2011-08-09 | Paper |
Cooperative query answering by abstract interpretation
SOFSEM 2011: Theory and Practice of Computer Science | 2011-02-15 | Paper |
Information leakage analysis by abstract interpretation
SOFSEM 2011: Theory and Practice of Computer Science | 2011-02-15 | Paper |
Information flow security in boundary ambients
Information and Computation | 2008-04-16 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Nesting analysis of mobile ambients
Computer Languages, Systems & Structures | 2004-11-18 | Paper |
| scientific article; zbMATH DE number 2084360 (Why is no real title available?) | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 1956599 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1953024 (Why is no real title available?) | 2003-07-25 | Paper |
Security boundaries in mobile ambients
Computer Languages, Systems & Structures | 2003-05-04 | Paper |
Operational and abstract semantics of the query language G-Log
Theoretical Computer Science | 2002-07-31 | Paper |
| scientific article; zbMATH DE number 1860626 (Why is no real title available?) | 2002-01-01 | Paper |
Combinations of abstract domains for logic programming: Open product and generic pattern construction
Science of Computer Programming | 2000-09-14 | Paper |
Sharing is optimal
The Journal of Logic Programming | 2000-08-01 | Paper |
| scientific article; zbMATH DE number 1406217 (Why is no real title available?) | 2000-02-24 | Paper |
Automated verification of Prolog programs
The Journal of Logic Programming | 1999-11-01 | Paper |
The quotient of an abstract interpretation
Theoretical Computer Science | 1998-08-13 | Paper |
Optimal groundness analysis using propositional logic
The Journal of Logic Programming | 1997-11-10 | Paper |
Evaluation of the domain prop
The Journal of Logic Programming | 1997-03-17 | Paper |
Type analysis of prolog using type graphs
The Journal of Logic Programming | 1995-04-06 | Paper |
Graph properties for normal logic programs
Theoretical Computer Science | 1993-05-16 | Paper |
Directionally continuous selections in Banach spaces
Nonlinear Analysis: Theory, Methods & Applications | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4075833 (Why is no real title available?) | 1986-01-01 | Paper |
