Alberto Verdejo

Theory Pract. Log. Program., January, 2024

2023

The Maude strategy language.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., August, 2023

QMaude: Quantitative Specification and Verification in Rewriting Logic.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Metalevel transformation of strategies.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2022

Simulating and model checking membrane systems using strategies in Maude.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2022

Model checking strategy-controlled systems in rewriting logic.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2022

2021

Strategies, model checking and branching-time properties in Maude.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2021

2020

Compositional Specification in Rewriting Logic.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

2019

Model Checking Strategy-Controlled Rewriting Systems (System Description).

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

Parameterized Programming for Compositional System Specification.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

Parameterized Strategies Specification in Maude.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2018

2016

Egalitarian State-Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

Synchronous Products of Rewrite Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2016

2014

Equational Abstractions in Rewriting Logic and Maude.

[BibT_eX]

[DOI]

Francisco Durán

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

Model Checking TLR* Guarantee Formulas on Infinite Systems.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

2012

Declarative debugging of rewriting logic specifications.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

Rewriting logic bibliography by topic: 1990-2011.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

2011

Basic completion strategies as another application of the Maude strategy language

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, 2011

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

2010

Enhancing the Debugging of Maude Specifications.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

Declarative Debugging of Missing Answers for Maude.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

A Complete Declarative Debugger for Maude.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2010

2008

Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

A Rewriting Semantics for Maude Strategies.

[BibT_eX]

[DOI]

José Meseguer

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

A Declarative Debugger for Maude Functional Modules.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude.

[BibT_eX]

[DOI]

Gustavo Santos-García

Proceedings of the International Symposium on Distributed Computing and Artificial Intelligence, 2008

Declarative Debugging of Membership Equational Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

A Declarative Debugger for Maude.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Strategies and simulations in a semantic framework.

[BibT_eX]

[DOI]

J. Algorithms, 2007

Mobile Maude.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Specifying Parameterized Data Structures in Maude.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Playing with Maude.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Some Tools.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Distributed Applications Implemented in Maude with Parameterized Skeletons.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

2006

Executable structural operational semantics in Maude.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2006

Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics.

[BibT_eX]

[DOI]

Mercedes Hidalgo-Herrero

Yolanda Ortega-Mallén

Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006

Deduction, Strategies, and Rewriting.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Strategies in Automated Deduction, 2006

A Distributed Implementation of Mobile Maude.

[BibT_eX]

[DOI]

Francisco Durán

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

Modular Structural Operational Semantics with Strategies.

[BibT_eX]

[DOI]

Christiano Braga

Proceedings of the Third Workshop on Structural Operational Semantics, 2006

2005

Two Case Studies of Semantics Execution in Maude: CCS and LOTOS.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2005

Typed Mobile Ambients in Maude.

[BibT_eX]

[DOI]

Fernando Rosa-Velardo

Clara Segura

Proceedings of the 6th International Workshop on Rule-Based Programming, 2005

Transforming Information in RDF to Rewriting Logic.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2004

Playing with Maude.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Rule-Based Programming, 2004

A Tutorial on Specifying Data Structures in Maude.

[BibT_eX]

[DOI]

Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004

Towards a Strategy Language for Maude.

[BibT_eX]

[DOI]

José Meseguer

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

2003

Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic.

[BibT_eX]

[DOI]

Isabel Pita

Formal Aspects Comput., 2003

2002

Implementing CCS in Maude 2.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

A Conference Reviewing System in Mobile Maude.

[BibT_eX]

[DOI]

Francisco Durán

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

Building Tools for LOTOS Symbolic Semantics in Maude.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

A case study in abstraction using E-LOTOS and the FireWire.

[BibT_eX]

[DOI]

Carron Shankland

Comput. Networks, 2001

2000

The Leader Election Protocol of IEEE 1394 in Maude.

[BibT_eX]

[DOI]

Isabel Pita

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Implementing CCS in Maude.

[BibT_eX]