| Publication | Date of Publication | Type |
|---|
| Interaction-based offline runtime verification of distributed systems | 2024-05-03 | Paper |
Efficient computation of arbitrary control dependencies
Theoretical Computer Science | 2023-08-01 | Paper |
Preserving consistency in geometric modeling with graph transformations
Mathematical Structures in Computer Science | 2022-12-23 | Paper |
Exception handling and term labelling
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Revisiting Semantics of Interactions for Trace Validity Analysis
Fundamental Approaches to Software Engineering | 2022-10-13 | Paper |
Certified verification of relational properties
(available as arXiv preprint) | 2022-08-19 | Paper |
Symbolic execution of transition systems with function summaries
Tests and Proofs | 2022-07-01 | Paper |
| scientific article; zbMATH DE number 7317237 (Why is no real title available?) | 2021-03-03 | Paper |
scientific article; zbMATH DE number 7317237 (Why is no real title available?)
(available as arXiv preprint) | 2021-03-03 | Paper |
Geometric modeling: consistency preservation using two-layered variable substitutions
Graph Transformation | 2019-11-22 | Paper |
Cut branches before looking for bugs: certifiably sound verification on relaxed slices
Formal Aspects of Computing | 2018-02-02 | Paper |
Cut branches before looking for bugs: sound verification on relaxed slices
Fundamental Approaches to Software Engineering | 2016-04-21 | Paper |
Jerboa: a graph transformation library for topology-based geometric modeling
Graph Transformation | 2014-09-26 | Paper |
Embedding of biological regulatory networks and property preservation
Mathematics in Computer Science | 2013-08-23 | Paper |
Proof-guided test selection from first-order specifications with equality
Journal of Automated Reasoning | 2011-01-12 | Paper |
Property Preservation along Embedding of Biological Regulatory Networks
Algebraic Biology | 2009-02-03 | Paper |
Graph Transformation for Topology Modelling
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Test Selection Criteria for Quantifier-Free First-Order Specifications
Lecture Notes in Computer Science | 2008-07-01 | Paper |
Symbolic Execution Techniques for Refinement Testing
Tests and Proofs | 2007-10-31 | Paper |
Symbolic Execution Techniques for Test Purpose Definition
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
Formal Approaches to Software Testing | 2007-05-02 | Paper |
| scientific article; zbMATH DE number 2100578 (Why is no real title available?) | 2004-09-14 | Paper |
| scientific article; zbMATH DE number 2100581 (Why is no real title available?) | 2004-09-14 | Paper |
| scientific article; zbMATH DE number 2079672 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 1696905 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1418366 (Why is no real title available?) | 2000-07-09 | Paper |
Label algebras and exception handling
Science of Computer Programming | 1995-04-10 | Paper |
