| Publication | Date of Publication | Type |
|---|
QMaude: quantitative specification and verification in rewriting logic
Formal Methods | 2023-08-17 | Paper |
The Maude strategy language
Journal of Logical and Algebraic Methods in Programming | 2023-08-08 | Paper |
Parameterized programming for compositional system specification
Rewriting Logic and Its Applications | 2023-07-28 | Paper |
Strategies, Model Checking and Branching-Time Properties in Maude
1517.6817 | 2022-12-22 | Paper |
| scientific article; zbMATH DE number 7559300 (Why is no real title available?) | 2022-07-18 | Paper |
Simulating and model checking membrane systems using strategies in Maude
Journal of Logical and Algebraic Methods in Programming | 2021-11-24 | Paper |
Metalevel transformation of strategies
Journal of Logical and Algebraic Methods in Programming | 2021-11-24 | Paper |
Strategies, model checking and branching-time properties in Maude
Journal of Logical and Algebraic Methods in Programming | 2021-11-03 | Paper |
| Parameterized strategies specification in Maude | 2020-06-08 | Paper |
Compositional specification in rewriting logic
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
| Synchronous products of rewrite systems | 2018-10-25 | Paper |
Egalitarian State-Transition Systems
Rewriting Logic and Its Applications | 2016-10-21 | Paper |
Equational abstractions in rewriting logic and Maude
Lecture Notes in Computer Science | 2016-04-01 | Paper |
A declarative debugger for Maude functional modules
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
A rewriting semantics for Maude strategies
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Model checking TLR* guarantee formulas on infinite systems
Specification, Algebra, and Software | 2014-03-25 | Paper |
Modular structural operational semantics with strategies
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
Deduction, strategies, and rewriting
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Using Maude and its strategies for defining a framework for analyzing Eden semantics
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Typed mobile ambients in Maude | 2013-12-04 | Paper |
| A tutorial on specifying data structures in Maude | 2013-09-27 | Paper |
Simplifying questions in Maude declarative debugger by transforming proof trees
Logic-Based Program Synthesis and Transformation | 2013-03-13 | Paper |
Declarative debugging of rewriting logic specifications
The Journal of Logic and Algebraic Programming | 2013-01-16 | Paper |
Rewriting logic bibliography by topic: 1990--2011
The Journal of Logic and Algebraic Programming | 2013-01-16 | Paper |
| Process calculi: E-LOTOS | 2012-09-05 | Paper |
| Declarative debugging of missing answers for Maude | 2012-04-25 | Paper |
A complete declarative debugger for Maude
Algebraic Methodology and Software Technology | 2011-01-21 | Paper |
Enhancing the debugging of Maude specifications
Rewriting Logic and Its Applications | 2010-10-12 | Paper |
Declarative Debugging of Rewriting Logic Specifications
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
Declarative Debugging of Membership Equational Logic Specifications
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Strategies and simulations in a semantic framework
Journal of Algorithms | 2007-11-30 | Paper |
Executable structural operational semantics in Maude
The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
Two case studies of semantics execution in Maude: CCS and LOTOS
Formal Methods in System Design | 2006-02-20 | Paper |
| scientific article; zbMATH DE number 1973990 (Why is no real title available?) | 2003-09-03 | Paper |
Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic
Formal Aspects of Computing | 2003-08-27 | Paper |
| The leader election protocol of IEEE 1394 in Maude | 2001-05-07 | Paper |
