Alberto Verdejo

Available identifiers

zbMath Open verdejo.albertoDBLP70/253WikidataQ62056271 ScholiaQ62056271MaRDI QIDQ816214

List of research outcomes

Publication	Date of Publication	Type
QMaude: quantitative specification and verification in rewriting logic	2023-08-17	Paper
The Maude strategy language	2023-08-08	Paper
Parameterized programming for compositional system specification	2023-07-28	Paper
Strategies, Model Checking and Branching-Time Properties in Maude	2022-12-22	Paper
https://portal.mardi4nfdi.de/entity/Q5089038	2022-07-18	Paper
Simulating and model checking membrane systems using strategies in Maude	2021-11-24	Paper
Metalevel transformation of strategies	2021-11-24	Paper
Strategies, model checking and branching-time properties in Maude	2021-11-03	Paper
Parameterized strategies specification in Maude	2020-06-08	Paper
Compositional specification in rewriting logic	2020-05-04	Paper
Synchronous products of rewrite systems	2018-10-25	Paper
Egalitarian State-Transition Systems	2016-10-21	Paper
Equational abstractions in rewriting logic and Maude	2016-04-01	Paper
A declarative debugger for Maude functional modules	2015-03-19	Paper
A rewriting semantics for Maude strategies	2015-03-19	Paper
Model checking TLR* guarantee formulas on infinite systems	2014-03-25	Paper
Modular structural operational semantics with strategies	2013-12-13	Paper
Deduction, strategies, and rewriting	2013-12-06	Paper
Using Maude and its strategies for defining a framework for analyzing Eden semantics	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	2013-03-13	Paper
Declarative debugging of rewriting logic specifications	2013-01-16	Paper
Rewriting logic bibliography by topic: 1990--2011	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	2011-01-21	Paper
Enhancing the debugging of Maude specifications	2010-10-12	Paper
Declarative Debugging of Rewriting Logic Specifications	2009-10-22	Paper
Declarative Debugging of Membership Equational Logic Specifications	2008-06-19	Paper
Strategies and simulations in a semantic framework	2007-11-30	Paper
Executable structural operational semantics in Maude	2006-04-28	Paper
Two case studies of semantics execution in Maude: CCS and LOTOS	2006-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4422086	2003-09-03	Paper
Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic	2003-08-27	Paper
The leader election protocol of IEEE 1394 in Maude	2001-05-07	Paper

Research outcomes over time

This page was built for person: Alberto Verdejo