| Publication | Date of Publication | Type |
|---|
Maude2Lean: theorem proving for Maude specifications using Lean
Journal of Logical and Algebraic Methods in Programming | 2024-11-26 | Paper |
| An environment for specifying and model checking mobile ring robot algorithms | 2024-04-19 | Paper |
Verification of the ROS NavFn planner using executable specification languages
Journal of Logical and Algebraic Methods in Programming | 2023-03-20 | Paper |
Hardware Trojan detection via rewriting logic
Journal of Logical and Algebraic Methods in Programming | 2022-05-25 | Paper |
Property-based testing for Spark Streaming
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
| CiMPG+F: a proof generator and fixer-upper for CafeOBJ specifications | 2021-07-08 | Paper |
A core Erlang semantics for declarative debugging
Journal of Logical and Algebraic Methods in Programming | 2019-10-17 | Paper |
Declarative debugging of concurrent Erlang programs
Journal of Logical and Algebraic Methods in Programming | 2018-11-01 | Paper |
| Model checking parameterized by the semantics in Maude | 2018-07-09 | Paper |
| A formal proof generator from semi-formal proof documents | 2017-11-03 | Paper |
A Maude environment for CafeOBJ
Formal Aspects of Computing | 2017-04-03 | Paper |
Specifying and Analyzing the Kademlia Protocol in Maude
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
Memory policy analysis for semantics specifications in Maude
Logic-Based Program Synthesis and Transformation | 2016-02-05 | Paper |
A declarative debugger for Maude functional modules
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Using big-step and small-step semantics in Maude to perform declarative debugging
Functional and Logic Programming | 2014-07-24 | Paper |
Singular and plural functions for functional logic programming
Theory and Practice of Logic Programming | 2014-04-16 | Paper |
A generic program slicing technique based on language definitions
Recent Trends in Algebraic Development Techniques | 2013-09-13 | 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 |
S-narrowing for constructor systems
Theoretical Aspects of Computing – ICTAC 2012 | 2012-09-21 | Paper |
| Declarative debugging of missing answers for Maude | 2012-04-25 | Paper |
Integrating Maude into Hets
Algebraic Methodology and Software Technology | 2011-01-21 | 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 |
