| Publication | Date of Publication | Type |
|---|
Formal definitions and proofs for partial (co)recursive functions
Journal of Logical and Algebraic Methods in Programming | 2024-10-08 | Paper |
Uniformity for the decidability of hybrid automata
Static Analysis | 2022-02-16 | Paper |
(Co)inductive proof systems for compositional proofs in reachability logic
Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
Symbolic execution based on language transformation
Computer Languages, Systems & Structures | 2018-05-15 | Paper |
| Program logics and their applications | 2017-11-16 | Paper |
Executing and verifying higher-order functional-imperative programs in Maude
Journal of Logical and Algebraic Methods in Programming | 2017-10-13 | Paper |
A language-independent proof system for full program equivalence
Formal Aspects of Computing | 2017-02-14 | Paper |
A generic framework for symbolic execution: a coinductive approach
Journal of Symbolic Computation | 2017-02-06 | Paper |
Language definitions as rewrite theories
Journal of Logical and Algebraic Methods in Programming | 2016-12-28 | Paper |
Proving reachability-logic formulas incrementally
Rewriting Logic and Its Applications | 2016-10-21 | Paper |
A Theoretical Foundation for Programming Languages Aggregation
Recent Trends in Algebraic Development Techniques | 2016-02-25 | Paper |
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Language definitions as rewrite theories
Rewriting Logic and Its Applications | 2015-09-09 | Paper |
Program equivalence by circular reasoning
Formal Aspects of Computing | 2015-09-03 | Paper |
Analyzing automata with Presburger arithmetic and uninterpreted function symbols
Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
Equational approximations for tree automata completion
Journal of Symbolic Computation | 2010-05-05 | Paper |
Integrating Verification, Testing, and Learning for Cryptographic Protocols
Lecture Notes in Computer Science | 2009-03-06 | Paper |
Model-Based Test Selection for Infinite-State Reactive Systems
Formal Methods for Components and Objects | 2008-09-17 | Paper |
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant
Functional and Logic Programming | 2007-05-02 | Paper |
FM 2005: Formal Methods
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Ensuring the conformance of reactive discrete-event systems by means of supervisory control
International Journal of Production Research | 2005-04-26 | Paper |
| scientific article; zbMATH DE number 2090141 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2080069 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2079824 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 1848377 (Why is no real title available?) | 2003-01-05 | Paper |
| scientific article; zbMATH DE number 1760148 (Why is no real title available?) | 2002-11-06 | Paper |
Hybrid verifications of reactive programs
Formal Aspects of Computing | 2000-05-07 | Paper |
