Alberto Verdejo

62 papers B 3C 3Misc 1Journal 21Unranked 30

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Compositional Verification in Rewriting Logic. Theory Pract. Log. Program. Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
2024	J	`jnl`	Metalevel transformation of strategies. CoRR Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2024	J	`jnl`	Model checking strategy-controlled systems in rewriting logic. CoRR Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2024	J	`jnl`	Simulating and model checking membrane systems using strategies in Maude. CoRR Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2024	—	`conf`	Specifying Fairness Constraints and Model Checking with Non-intensional Strategies. WRLA Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2024	J	`jnl`	Strategies, model checking and branching-time properties in Maude. CoRR Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2024	J	`jnl`	The Maude strategy language. CoRR Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
2023	J	`jnl`	Compositional Verification in Rewriting Logic. CoRR Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
2023	B	`conf`	QMaude: Quantitative Specification and Verification in Rewriting Logic. FM Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2023	J	`jnl`	The Maude strategy language. J. Log. Algebraic Methods Program. Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
2022	J	`jnl`	Metalevel transformation of strategies. J. Log. Algebraic Methods Program. Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2022	J	`jnl`	Model checking strategy-controlled systems in rewriting logic. Autom. Softw. Eng. Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2022	J	`jnl`	Simulating and model checking membrane systems using strategies in Maude. J. Log. Algebraic Methods Program. Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2021	J	`jnl`	Strategies, model checking and branching-time properties in Maude. J. Log. Algebraic Methods Program. Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2020	J	`jnl`	Compositional Specification in Rewriting Logic. Theory Pract. Log. Program. Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
2020	—	`conf`	Strategies, Model Checking and Branching-Time Properties in Maude. WRLA Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2019	J	`jnl`	Compositional specification in rewriting logic. CoRR Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
2019	B	`conf`	Model Checking Strategy-Controlled Rewriting Systems (System Description). FSCD Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2018	—	`conf`	Parameterized Programming for Compositional System Specification. WRLA Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
2018	—	`conf`	Parameterized Strategies Specification in Maude. WADT Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2016	—	`conf`	Egalitarian State-Transition Systems. WRLA Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
2016	B	`conf`	Synchronous Products of Rewrite Systems. ATVA Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
2014	—	`conf`	Equational Abstractions in Rewriting Logic and Maude. SBMF Narciso Martí-Oliet, Francisco Durán, Alberto Verdejo
2014	—	`conf`	Model Checking TLR* Guarantee Formulas on Infinite Systems. Specification, Algebra, and Software Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
2012	J	`jnl`	Declarative debugging of rewriting logic specifications. J. Log. Algebraic Methods Program. Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
2012	J	`jnl`	Rewriting logic bibliography by topic: 1990-2011. J. Log. Algebraic Methods Program. Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
2011	—	`conf`	Basic completion strategies as another application of the Maude strategy language WRS Alberto Verdejo, Narciso Martí-Oliet
2011	C	`conf`	Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. LOPSTR Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
2010	—	`conf`	A Complete Declarative Debugger for Maude. AMAST Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
2010	—	`conf`	Declarative Debugging of Missing Answers for Maude. RTA Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
2010	—	`conf`	Enhancing the Debugging of Maude Specifications. WRLA Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
2008	—	`conf`	A Declarative Debugger for Maude Functional Modules. WRLA Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
2008	—	`conf`	A Declarative Debugger for Maude. AMAST Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
2008	—	`conf`	A Rewriting Semantics for Maude Strategies. WRLA Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
2008	—	`conf`	Declarative Debugging of Membership Equational Logic Specifications. Concurrency, Graphs and Models Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
2008	—	`conf`	Declarative Debugging of Rewriting Logic Specifications. WADT Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet
2008	—	`conf`	Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. WRLA Adrián Riesco, Alberto Verdejo
2008	Misc	`conf`	Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. DCAI Gustavo Santos-García, Miguel Palomino, Alberto Verdejo
2007	—	`conf`	Distributed Applications Implemented in Maude with Parameterized Skeletons. FMOODS Adrián Riesco, Alberto Verdejo
2007	—	`ch.`	Mobile Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo
2007	—	`ch.`	Playing with Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007	—	`ch.`	Some Tools. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo
2007	—	`ch.`	Specifying Parameterized Data Structures in Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007	J	`jnl`	Strategies and simulations in a semantic framework. J. Algorithms Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
2006	—	`conf`	A Distributed Implementation of Mobile Maude. WRLA Francisco Durán, Adrián Riesco, Alberto Verdejo
2006	—	`conf`	Deduction, Strategies, and Rewriting. STRATEGIES@IJCAR Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
2006	J	`jnl`	Executable structural operational semantics in Maude. J. Log. Algebraic Methods Program. Alberto Verdejo, Narciso Martí-Oliet
2006	—	`conf`	Modular Structural Operational Semantics with Strategies. SOS@CONCUR Christiano Braga, Alberto Verdejo
2006	—	`conf`	Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. WRS@FLoC Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén
2005	—	`conf`	Transforming Information in RDF to Rewriting Logic. FMOODS Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley
2005	J	`jnl`	Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. Formal Methods Syst. Des. Alberto Verdejo, Narciso Martí-Oliet
2005	—	`conf`	Typed Mobile Ambients in Maude. RULE@RDP Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo
2004	—	`conf`	A Tutorial on Specifying Data Structures in Maude. PROLE Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
2004	—	`conf`	Playing with Maude. RULE@RDP Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo
2004	—	`conf`	Towards a Strategy Language for Maude. WRLA Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
2003	J	`jnl`	Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic. Formal Aspects Comput. Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet
2002	—	`conf`	A Conference Reviewing System in Mobile Maude. WRLA Francisco Durán, Alberto Verdejo
2002	C	`conf`	Building Tools for LOTOS Symbolic Semantics in Maude. FORTE Alberto Verdejo
2002	—	`conf`	Implementing CCS in Maude 2. WRLA Alberto Verdejo, Narciso Martí-Oliet
2001	J	`jnl`	A case study in abstraction using E-LOTOS and the FireWire. Comput. Networks Carron Shankland, Alberto Verdejo
2000	C	`conf`	Implementing CCS in Maude. FORTE Alberto Verdejo, Narciso Martí-Oliet
2000	—	`conf`	The Leader Election Protocol of IEEE 1394 in Maude. WRLA Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet