Publication | Date of Publication | Type |
---|
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 | 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 |
Regular Strategies as Proof Tactics for CIRC | 2014-01-24 | Paper |
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters | 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 |
https://portal.mardi4nfdi.de/entity/Q2852094 | 2013-10-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q2843734 | 2013-08-23 | Paper |
Towards Behavioral Maude | 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 |
Circular Coinduction: A Proof Theoretical Foundation | 2012-06-01 | Paper |
CIRC: A Behavioral Verification Tool Based on Circular Coinduction | 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 |
Computer Aided Verification | 2010-04-20 | Paper |
Recent Trends in Algebraic Development Techniques | 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 |
https://portal.mardi4nfdi.de/entity/Q2703688 | 2001-05-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4499214 | 2001-03-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4499312 | 2001-03-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4520823 | 2001-02-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4520827 | 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 |