| Publication | Date of Publication | Type |
|---|
| Abstract interpretation of indexed grammars | 2024-04-19 | Paper |
Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation
Static Analysis | 2023-07-28 | Paper |
Program analysis is harder than verification: a computability perspective
Computer Aided Verification | 2023-05-05 | Paper |
Computing abstract distances in logic programs
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
Computing abstract distances in logic programs
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
| Formal framework for reasoning about the precision of dynamic analysis | 2021-10-18 | Paper |
Sound up-to techniques and complete abstract domains
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Code obfuscation against abstract model checking attacks
Lecture Notes in Computer Science | 2020-07-07 | Paper |
Code obfuscation against abstraction refinement attacks
Formal Aspects of Computing | 2018-11-16 | Paper |
| Completeness in approximate transduction | 2018-08-27 | Paper |
Refining and compressing abstract domains
Automata, Languages and Programming | 2018-07-04 | Paper |
“Optimal” collecting semantics for analysis in a hierarchy of logic program semantics
STACS 96 | 2017-11-16 | Paper |
Making abstract domains condensing
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Maximal incompleteness as obfuscation potency
Formal Aspects of Computing | 2017-02-14 | Paper |
Complementing logic program semantics
Algebraic and Logic Programming | 2017-01-19 | Paper |
Weakening additivity in adjoining closures
Order | 2016-12-16 | Paper |
Analyzing program analyses
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
Abstract symbolic automata: mixed syntactic/semantic similarity analysis of executables
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
Making abstract models complete
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Abstract non-interference
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
What you lose is what you leak: information leakage in declassification policies
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Unveiling metamorphism by abstract interpretation of code properties
Theoretical Computer Science | 2015-04-01 | Paper |
Correctness kernels of abstract interpretations
Information and Computation | 2014-07-18 | Paper |
A formal framework for property-driven obfuscation strategies
Fundamentals of Computation Theory | 2013-08-16 | Paper |
Refining and compressing abstract model checking
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
An abstract interpretation-based model for safety semantics
International Journal of Computer Mathematics | 2011-04-21 | Paper |
Modelling metamorphism by abstract interpretation
Static Analysis | 2010-10-01 | Paper |
Example-guided abstraction simplification
Automata, Languages and Programming | 2010-09-07 | Paper |
Static analysis, abstract interpretation and verification in (constraint logic) programming
Lecture Notes in Computer Science | 2010-07-20 | Paper |
A proof system for abstract non-interference
Journal Of Logic And Computation | 2010-04-21 | Paper |
Abstract interpretation of resolution-based semantics
Theoretical Computer Science | 2009-11-04 | Paper |
Opaque Predicates Detection by Abstract Interpretation
Algebraic Methodology and Software Technology | 2009-04-28 | Paper |
Transforming Abstract Interpretations by Abstract Interpretation
Static Analysis | 2008-08-28 | Paper |
Hiding Software Watermarks in Loop Structures
Static Analysis | 2008-08-28 | Paper |
Making abstract interpretations complete
Journal of the ACM | 2008-05-05 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Oracle semantics for Prolog
Information and Computation | 2006-10-10 | Paper |
Incompleteness of states w.r.t. traces in model checking
Information and Computation | 2006-06-09 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Transforming semantics by abstract interpretation
Theoretical Computer Science | 2005-06-30 | Paper |
Correction to ``Some properties of complete congruence lattices.
Algebra Universalis | 2005-04-19 | Paper |
Non-standard semantics for program slicing
Higher-Order and Symbolic Computation | 2004-03-15 | Paper |
| scientific article; zbMATH DE number 1953028 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1948413 (Why is no real title available?) | 2003-07-13 | Paper |
| scientific article; zbMATH DE number 1834576 (Why is no real title available?) | 2002-11-24 | Paper |
Some properties of complete congruence lattices
Algebra Universalis | 2000-02-27 | Paper |
On the least complete extension of complete subsemilattices
Algebra Universalis | 2000-02-27 | Paper |
Optimal domains for disjunctive abstract interpretation
Science of Computer Programming | 2000-01-04 | Paper |
| scientific article; zbMATH DE number 1332633 (Why is no real title available?) | 1999-09-08 | Paper |
The reduced relative power operation on abstract domains
Theoretical Computer Science | 1999-04-28 | Paper |
Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
Information and Computation | 1999-01-13 | Paper |
Abductive analysis of modular logic programs
Journal Of Logic And Computation | 1999-01-11 | Paper |
Weak relative pseudo-complements of closure operators
Algebra Universalis | 1998-11-24 | Paper |
| scientific article; zbMATH DE number 1222407 (Why is no real title available?) | 1998-11-11 | Paper |
| scientific article; zbMATH DE number 970715 (Why is no real title available?) | 1997-05-25 | Paper |
Generalized semantics and abstract interpretation for constraint logic programs
The Journal of Logic Programming | 1997-04-17 | Paper |
Modelling Prolog Control
Journal Of Logic And Computation | 1994-03-27 | Paper |
A bottom-up polymorphic type inference in logic programming
Science of Computer Programming | 1993-05-16 | Paper |
