Alberto Verdejo

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 22

Top Topics

Transition Systems

Asynchronous Circuits

Linear Temporal Logic

Top Venues

J. Log. Algebraic Methods Program.

Publications

Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
The Maude strategy language. CoRR (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Strategies, model checking and branching-time properties in Maude. CoRR (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Specifying Fairness Constraints and Model Checking with Non-intensional Strategies. WRLA (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Simulating and model checking membrane systems using strategies in Maude. CoRR (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Metalevel transformation of strategies. CoRR (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Model checking strategy-controlled systems in rewriting logic. CoRR (2024)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Compositional Verification in Rewriting Logic. Theory Pract. Log. Program. 24 (1) (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
QMaude: Quantitative Specification and Verification in Rewriting Logic. FM (2023)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Compositional Verification in Rewriting Logic. CoRR (2023)
Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
The Maude strategy language. J. Log. Algebraic Methods Program. 134 (2023)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Model checking strategy-controlled systems in rewriting logic. Autom. Softw. Eng. 29 (1) (2022)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Simulating and model checking membrane systems using strategies in Maude. J. Log. Algebraic Methods Program. 124 (2022)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Metalevel transformation of strategies. J. Log. Algebraic Methods Program. 124 (2022)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Strategies, model checking and branching-time properties in Maude. J. Log. Algebraic Methods Program. 123 (2021)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Strategies, Model Checking and Branching-Time Properties in Maude. WRLA@ETAPS (2020)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Compositional Specification in Rewriting Logic. Theory Pract. Log. Program. 20 (1) (2020)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Model Checking Strategy-Controlled Rewriting Systems (System Description). FSCD (2019)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Compositional specification in rewriting logic. CoRR (2019)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Parameterized Programming for Compositional System Specification. WRLA@ETAPS (2018)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Parameterized Strategies Specification in Maude. WADT (2018)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Synchronous Products of Rewrite Systems. ATVA (2016)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Egalitarian State-Transition Systems. WRLA (2016)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Model Checking TLR* Guarantee Formulas on Infinite Systems. Specification, Algebra, and Software (2014)
Narciso Martí-Oliet, Francisco Durán, Alberto Verdejo
Equational Abstractions in Rewriting Logic and Maude. SBMF (2014)
Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
Rewriting logic bibliography by topic: 1990-2011. J. Log. Algebraic Methods Program. 81 (7-8) (2012)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
Declarative debugging of rewriting logic specifications. J. Log. Algebraic Methods Program. 81 (7-8) (2012)
Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. LOPSTR (2011)
Alberto Verdejo, Narciso Martí-Oliet
Basic completion strategies as another application of the Maude strategy language WRS (2011)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
Enhancing the Debugging of Maude Specifications. WRLA (2010)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
A Complete Declarative Debugger for Maude. AMAST (2010)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
Declarative Debugging of Missing Answers for Maude. RTA (2010)
Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
A Rewriting Semantics for Maude Strategies. WRLA (2008)
Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
A Declarative Debugger for Maude Functional Modules. WRLA (2008)
Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet
Declarative Debugging of Rewriting Logic Specifications. WADT (2008)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
A Declarative Debugger for Maude. AMAST (2008)
Gustavo Santos-García, Miguel Palomino, Alberto Verdejo
Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. DCAI (2008)
Adrián Riesco, Alberto Verdejo
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. WRLA (2008)
Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
Declarative Debugging of Membership Equational Logic Specifications. Concurrency, Graphs and Models (2008)
Adrián Riesco, Alberto Verdejo
Distributed Applications Implemented in Maude with Parameterized Skeletons. FMOODS (2007)
Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
Deduction, Strategies, and Rewriting. Electron. Notes Theor. Comput. Sci. 174 (11) (2007)
Christiano Braga, Alberto Verdejo
Modular Structural Operational Semantics with Strategies. Electron. Notes Theor. Comput. Sci. 175 (1) (2007)
Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
Strategies and simulations in a semantic framework. J. Algorithms 62 (3-4) (2007)
Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén
Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. Electron. Notes Theor. Comput. Sci. 174 (10) (2007)
Francisco Durán, Adrián Riesco, Alberto Verdejo
A Distributed Implementation of Mobile Maude. WRLA (2006)
Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo
Typed Mobile Ambients in Maude. Electron. Notes Theor. Comput. Sci. 147 (1) (2006)
Alberto Verdejo, Narciso Martí-Oliet
Executable structural operational semantics in Maude. J. Log. Algebraic Methods Program. 67 (1-2) (2006)
Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo
Playing with Maude. Electron. Notes Theor. Comput. Sci. 124 (1) (2005)
Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
A Tutorial on Specifying Data Structures in Maude. Electron. Notes Theor. Comput. Sci. 137 (1) (2005)
Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley
Transforming Information in RDF to Rewriting Logic. FMOODS (2005)
Alberto Verdejo, Narciso Martí-Oliet
Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. Formal Methods Syst. Des. 27 (1-2) (2005)
Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
Towards a Strategy Language for Maude. WRLA (2004)
Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet
Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic. Formal Aspects Comput. 14 (3) (2003)
Alberto Verdejo, Narciso Martí-Oliet
Implementing CCS in Maude 2. Electron. Notes Theor. Comput. Sci. 71 (2002)
Alberto Verdejo
Building Tools for LOTOS Symbolic Semantics in Maude. FORTE (2002)
Francisco Durán, Alberto Verdejo
A Conference Reviewing System in Mobile Maude. Electron. Notes Theor. Comput. Sci. 71 (2002)
Carron Shankland, Alberto Verdejo
A case study in abstraction using E-LOTOS and the FireWire. Comput. Networks 37 (3/4) (2001)
Alberto Verdejo, Narciso Martí-Oliet
Implementing CCS in Maude. FORTE (2000)
Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet
The Leader Election Protocol of IEEE 1394 in Maude. WRLA (2000)