| Publication | Date of Publication | Type |
|---|
| Matching \(\mu \)-logic | 2024-12-19 | Paper |
Connecting Constrained Constructor Patterns and Matching Logic
1517.68157 | 2022-12-22 | Paper |
| Runtime verification past experiences and future projections | 2022-02-16 | Paper |
| Towards a \(\mathbb{K}\)ool future | 2021-05-20 | Paper |
Detecting errors in multithreaded programs by generalized predictive analysis of executions
Lecture Notes in Computer Science | 2021-05-20 | Paper |
| Program verification by coinduction | 2019-09-13 | Paper |
All-path reachability logic
Logical Methods in Computer Science | 2019-05-17 | Paper |
On Safety Properties and Their Monitoring
Scientific Annals of Computer Science | 2019-02-08 | Paper |
Finite-trace linear temporal logic: coinductive completeness
Formal Methods in System Design | 2018-08-30 | Paper |
Matching logic
(available as arXiv preprint) | 2018-01-12 | Paper |
| Program logics and their applications | 2017-11-16 | Paper |
| Matching logic -- extended abstract (invited talk) | 2017-07-12 | Paper |
One-path reachability logic
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
A language-independent proof system for full program equivalence
Formal Aspects of Computing | 2017-02-14 | Paper |
Language definitions as rewrite theories
Journal of Logical and Algebraic Methods in Programming | 2016-12-28 | Paper |
K-Java: a complete semantics of Java
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
A Theoretical Foundation for Programming Languages Aggregation
Recent Trends in Algebraic Development Techniques | 2016-02-25 | Paper |
From rewriting logic, to programming language semantics, to program verification
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Language definitions as rewrite theories
Rewriting Logic and Its Applications | 2015-09-09 | Paper |
Equality of streams is a \({\Pi}^0_2\)-complete problem
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming | 2015-08-03 | Paper |
Term-generic logic
Theoretical Computer Science | 2015-04-01 | Paper |
On the complexity of stream equality
Journal of Functional Programming | 2014-08-14 | Paper |
All-path reachability logic
Lecture Notes in Computer Science | 2014-07-24 | Paper |
Behavioral rewrite systems and behavioral productivity
Specification, Algebra, and Software | 2014-03-25 | Paper |
A rewrite framework for language definitions and for generation of efficient interpreters
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Regular strategies as proof tactics for \textsf{CIRC}
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
The rewriting logic semantics project: a progress report
Information and Computation | 2014-01-16 | Paper |
A rewriting logic approach to operational semantics (extended abstract)
Electronic Notes in Theoretical Computer Science | 2014-01-10 | Paper |
| The rewriting logic semantics project | 2013-10-07 | Paper |
| Inductive behavioral proofs by unhiding | 2013-08-23 | Paper |
Towards behavioral Maude: behavioral membership equational logic
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
Interpreting abstract interpretations in membership equational logic
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
From hoare logic to matching logic reachability
FM 2012: Formal Methods | 2012-11-08 | Paper |
Towards a unified theory of operational and axiomatic semantics
Automata, Languages, and Programming | 2012-11-01 | Paper |
A truly concurrent semantics for the \(\mathbb{K}\) framework based on graph transformations
Lecture Notes in Computer Science | 2012-10-02 | Paper |
CIRC: A Behavioral Verification Tool Based on Circular Coinduction
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Circular coinduction: a proof theoretical foundation
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
| A rewriting logic semantics approach to modular program analysis | 2012-04-25 | Paper |
Semantics and algorithms for parametric monitoring
Logical Methods in Computer Science | 2012-04-03 | Paper |
The rewriting logic semantics project: a progress report
Fundamentals of Computation Theory | 2011-08-19 | Paper |
Composing hidden information modules over inclusive institutions
From Object-Orientation to Formal Methods | 2011-04-01 | Paper |
Matching logic: an alternative to Hoare/Floyd logic
Algebraic Methodology and Software Technology | 2011-01-21 | Paper |
K-Maude: a rewriting based tool for semantics of programming languages
Rewriting Logic and Its Applications | 2010-10-12 | Paper |
An overview of the K semantic framework
The Journal of Logic and Algebraic Programming | 2010-08-24 | Paper |
Conditional circular coinductive rewriting with case analysis.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Certifying optimality of state estimation programs.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
A Rewriting Logic Approach to Type Inference
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
Term-Generic Logic
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
Lecture Notes in Computer Science | 2009-08-11 | Paper |
Defining and Executing P Systems with Structured Data in K
Membrane Computing | 2009-07-28 | Paper |
A rewriting logic approach to operational semantics
Information and Computation | 2009-04-14 | Paper |
Parametric Trace Slicing and Monitoring
Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
A semantic approach to interpolation
Theoretical Computer Science | 2009-03-25 | Paper |
Parametric and Termination-Sensitive Control Dependence
Static Analysis | 2009-03-12 | Paper |
CIRC: A Circular Coinductive Prover
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Computationally Equivalent Elimination of Conditions
Lecture Notes in Computer Science | 2008-09-25 | Paper |
Parametric and Sliced Causality
Computer Aided Verification | 2007-11-29 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Complete Categorical Deduction for Satisfaction as Injectivity
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
An Effective Algorithm for the Membership Problem for Extended Regular Expressions
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis
Computer Aided Verification | 2007-09-05 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
The rewriting logic semantics project
Theoretical Computer Science | 2007-04-19 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
FM 2005: Formal Methods
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Recent Trends in Algebraic Development Techniques
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Behavioral abstraction is hiding information
Theoretical Computer Science | 2005-01-11 | Paper |
An overview of the runtime verification tool Java PathExplorer
Formal Methods in System Design | 2004-09-09 | Paper |
| scientific article; zbMATH DE number 2086653 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080059 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2043530 (Why is no real title available?) | 2004-02-16 | Paper |
| scientific article; zbMATH DE number 2043550 (Why is no real title available?) | 2004-02-16 | Paper |
Axiomatizability in inclusive equational logics
Mathematical Structures in Computer Science | 2003-09-16 | Paper |
| scientific article; zbMATH DE number 1841841 (Why is no real title available?) | 2002-12-04 | Paper |
Institution morphisms
Formal Aspects of Computing | 2002-09-25 | Paper |
Equational axiomatizability for coalgebra
Theoretical Computer Science | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1507195 (Why is no real title available?) | 2001-06-24 | Paper |
| Behavioral and coinductive rewriting | 2001-05-07 | Paper |
| scientific article; zbMATH DE number 1497881 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1497796 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1543350 (Why is no real title available?) | 2001-02-27 | Paper |
| scientific article; zbMATH DE number 1543346 (Why is no real title available?) | 2001-02-27 | Paper |
| scientific article; zbMATH DE number 1231632 (Why is no real title available?) | 1999-01-06 | Paper |
| scientific article; zbMATH DE number 1487499 (Why is no real title available?) | 1999-01-01 | Paper |
Weak inclusion systems
Mathematical Structures in Computer Science | 1997-07-09 | Paper |
