| Publication | Date of Publication | Type |
|---|
| Variable timestamp-based distributed deadlock detection and resolution | 2024-06-21 | Paper |
| Automated verification for real-time systems. Via implicit clocks and an extended Antimirov algorithm | 2023-12-13 | Paper |
Automated modular verification for relaxed communication protocols
Programming Languages and Systems | 2023-08-02 | Paper |
Automated temporal verification for algebraic effects
Programming Languages and Systems | 2023-07-25 | Paper |
| A decidable fragment in separation logic with inductive predicates and arithmetic | 2022-08-12 | Paper |
| Automated repair of heap-manipulating programs using deductive synthesis | 2021-10-18 | Paper |
| A synchronous effects logic for temporal verification of pure Esterel | 2021-10-18 | Paper |
A Logical System for Modular Information Flow Verification
Lecture Notes in Computer Science | 2020-07-07 | Paper |
| Automatic program repair using formal verification and expression templates | 2020-01-23 | Paper |
Automated mutual explicit induction proof in separation logic
(available as arXiv preprint) | 2020-01-03 | Paper |
Certified reasoning with infinity
FM 2015: Formal Methods | 2019-12-19 | Paper |
Completeness and expressiveness of pointer program verification by separation logic
Information and Computation | 2019-05-29 | Paper |
Automated mutual induction proof in separation logic
Formal Aspects of Computing | 2019-05-10 | Paper |
Satisfiability modulo heap-based programs
Computer Aided Verification | 2019-05-03 | Paper |
A bounds inference method for vector-based memoization
Proceedings of the second ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic
Programming Languages and Systems | 2016-12-21 | Paper |
| Co-determinism and unambiguity of automata accepting finite or infinite words | 2016-09-02 | Paper |
Charting patterns on price history
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
Bi-Abduction with Pure Properties for Specification Inference
Programming Languages and Systems | 2015-01-12 | Paper |
Enhancing modular OO verification with separation logic
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
An Expressive Framework for Verifying Deadlock Freedom
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Invariants synthesis over a combined domain for automated program verification
Theories of Programming and Formal Methods | 2013-08-16 | Paper |
Dual analysis for proving safety and finding bugs
Science of Computer Programming | 2013-06-06 | Paper |
Loop invariant synthesis in a combined abstract domain
Journal of Symbolic Computation | 2013-01-10 | Paper |
Automated verification of shape, size and bag properties via user-defined predicates in separation logic
Science of Computer Programming | 2012-07-20 | Paper |
Verifying pointer safety for programs with unknown calls
Journal of Symbolic Computation | 2010-11-10 | Paper |
A rigorous methodology for specification and verification of business processes
Formal Aspects of Computing | 2009-11-13 | Paper |
An Interval-Based Inference of Variant Parametric Types
Programming Languages and Systems | 2009-03-31 | Paper |
Enhancing Program Verification with Lemmas
Computer Aided Verification | 2008-07-15 | Paper |
| A tutorial on a monadic approach for exppressions evaluation | 2008-04-14 | Paper |
Automated Verification of Shape and Size Properties Via Separation Logic
Lecture Notes in Computer Science | 2008-04-04 | Paper |
Runtime Checking for Separation Logic
Lecture Notes in Computer Science | 2008-04-04 | Paper |
Solving a class of higher-order equations over a group structure
Journal of Symbolic Computation | 2007-08-24 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2006-10-31 | Paper |
| scientific article; zbMATH DE number 5033861 (Why is no real title available?) | 2006-06-19 | Paper |
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science | 2005-11-30 | Paper |
Self-embedded context-free grammars with regular counterparts
Acta Informatica | 2004-12-09 | Paper |
A new algorithm for regularizing one-letter context-free grammars.
Theoretical Computer Science | 2004-03-14 | Paper |
| scientific article; zbMATH DE number 2018586 (Why is no real title available?) | 2003-12-16 | Paper |
| scientific article; zbMATH DE number 1950445 (Why is no real title available?) | 2003-07-17 | Paper |
Calculating sized types
Higher-Order and Symbolic Computation | 2002-10-10 | Paper |
| scientific article; zbMATH DE number 1738288 (Why is no real title available?) | 2002-05-06 | Paper |
| scientific article; zbMATH DE number 1617318 (Why is no real title available?) | 2001-07-11 | Paper |
| scientific article; zbMATH DE number 1332628 (Why is no real title available?) | 1999-09-08 | Paper |
A transformation method for dynamic-sized tabulation
Acta Informatica | 1995-06-21 | Paper |
