| Publication | Date of Publication | Type |
|---|
| Matching \(\mu \)-logic | 2024-12-19 | Paper |
| Connecting Constrained Constructor Patterns and Matching Logic | 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 | 2021-05-20 | Paper |
| Program verification by coinduction | 2019-09-13 | Paper |
| All-Path Reachability Logic | 2019-05-17 | Paper |
| On Safety Properties and Their Monitoring | 2019-02-08 | Paper |
| Finite-trace linear temporal logic: coinductive completeness | 2018-08-30 | Paper |
| Matching Logic | 2018-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4594004 | 2017-11-16 | Paper |
| Matching Logic - Extended Abstract (Invited Talk) | 2017-07-12 | Paper |
| One-Path Reachability Logic | 2017-07-03 | Paper |
| A language-independent proof system for full program equivalence | 2017-02-14 | Paper |
| Language definitions as rewrite theories | 2016-12-28 | Paper |
| K-Java: a complete semantics of Java | 2016-09-29 | Paper |
| A Theoretical Foundation for Programming Languages Aggregation | 2016-02-25 | Paper |
| From Rewriting Logic, to Programming Language Semantics, to Program Verification | 2015-09-14 | Paper |
| Language Definitions as Rewrite Theories | 2015-09-09 | Paper |
| Equality of streams is a Π0 over 2-complete problem | 2015-08-03 | Paper |
| Term-generic logic | 2015-04-01 | Paper |
| On the complexity of stream equality | 2014-08-14 | Paper |
| All-Path Reachability Logic | 2014-07-24 | Paper |
| Behavioral Rewrite Systems and Behavioral Productivity | 2014-03-25 | Paper |
| A rewrite framework for language definitions and for generation of efficient interpreters | 2014-01-24 | Paper |
| Regular strategies as proof tactics for \textsf{CIRC} | 2014-01-24 | Paper |
| The rewriting logic semantics project: a progress report | 2014-01-16 | Paper |
| A rewriting logic approach to operational semantics (extended abstract) | 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 | 2013-08-15 | Paper |
| Interpreting abstract interpretations in membership equational logic | 2013-07-24 | Paper |
| From hoare logic to matching logic reachability | 2012-11-08 | Paper |
| Towards a unified theory of operational and axiomatic semantics | 2012-11-01 | Paper |
| A truly concurrent semantics for the \(\mathbb{K}\) framework based on graph transformations | 2012-10-02 | Paper |
| CIRC: A Behavioral Verification Tool Based on Circular Coinduction | 2012-06-01 | Paper |
| Circular coinduction: a proof theoretical foundation | 2012-06-01 | Paper |
| A rewriting logic semantics approach to modular program analysis | 2012-04-25 | Paper |
| Semantics and algorithms for parametric monitoring | 2012-04-03 | Paper |
| The rewriting logic semantics project: a progress report | 2011-08-19 | Paper |
| Composing hidden information modules over inclusive institutions | 2011-04-01 | Paper |
| Matching logic: an alternative to Hoare/Floyd logic | 2011-01-21 | Paper |
| K-Maude: a rewriting based tool for semantics of programming languages | 2010-10-12 | Paper |
| An overview of the K semantic framework | 2010-08-24 | Paper |
| Conditional circular coinductive rewriting with case analysis. | 2010-04-20 | Paper |
| Certifying optimality of state estimation programs. | 2010-04-20 | Paper |
| A Rewriting Logic Approach to Type Inference | 2009-10-22 | Paper |
| Term-Generic Logic | 2009-10-22 | Paper |
| Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation | 2009-08-11 | Paper |
| Defining and Executing P Systems with Structured Data in K | 2009-07-28 | Paper |
| A rewriting logic approach to operational semantics | 2009-04-14 | Paper |
| Parametric Trace Slicing and Monitoring | 2009-03-31 | Paper |
| A semantic approach to interpolation | 2009-03-25 | Paper |
| Parametric and Termination-Sensitive Control Dependence | 2009-03-12 | Paper |
| CIRC: A Circular Coinductive Prover | 2009-03-10 | Paper |
| Computationally Equivalent Elimination of Conditions | 2008-09-25 | Paper |
| Parametric and Sliced Causality | 2007-11-29 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| Complete Categorical Deduction for Satisfaction as Injectivity | 2007-09-07 | Paper |
| An Effective Algorithm for the Membership Problem for Extended Regular Expressions | 2007-09-07 | Paper |
| Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis | 2007-09-05 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| The rewriting logic semantics project | 2007-04-19 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| FM 2005: Formal Methods | 2006-01-10 | Paper |
| Recent Trends in Algebraic Development Techniques | 2005-11-11 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| Behavioral abstraction is hiding information | 2005-01-11 | Paper |
| An overview of the runtime verification tool Java PathExplorer | 2004-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737190 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472252 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4447234 | 2004-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4447254 | 2004-02-16 | Paper |
| Axiomatizability in inclusive equational logics | 2003-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783329 | 2002-12-04 | Paper |
| Institution morphisms | 2002-09-25 | Paper |
| Equational axiomatizability for coalgebra | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503915 | 2001-06-24 | Paper |
| Behavioral and coinductive rewriting | 2001-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499312 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499214 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520827 | 2001-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520823 | 2001-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222955 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4493908 | 1999-01-01 | Paper |
| Weak inclusion systems | 1997-07-09 | Paper |
