Alberto Verdejo

From MaRDI portal
Person:816214

Available identifiers

zbMath Open verdejo.albertoDBLP70/253WikidataQ62056271 ScholiaQ62056271MaRDI QIDQ816214

List of research outcomes





PublicationDate of PublicationType
QMaude: quantitative specification and verification in rewriting logic2023-08-17Paper
The Maude strategy language2023-08-08Paper
Parameterized programming for compositional system specification2023-07-28Paper
Strategies, Model Checking and Branching-Time Properties in Maude2022-12-22Paper
https://portal.mardi4nfdi.de/entity/Q50890382022-07-18Paper
Simulating and model checking membrane systems using strategies in Maude2021-11-24Paper
Metalevel transformation of strategies2021-11-24Paper
Strategies, model checking and branching-time properties in Maude2021-11-03Paper
Parameterized strategies specification in Maude2020-06-08Paper
Compositional specification in rewriting logic2020-05-04Paper
Synchronous products of rewrite systems2018-10-25Paper
Egalitarian State-Transition Systems2016-10-21Paper
Equational abstractions in rewriting logic and Maude2016-04-01Paper
A declarative debugger for Maude functional modules2015-03-19Paper
A rewriting semantics for Maude strategies2015-03-19Paper
Model checking TLR* guarantee formulas on infinite systems2014-03-25Paper
Modular structural operational semantics with strategies2013-12-13Paper
Deduction, strategies, and rewriting2013-12-06Paper
Using Maude and its strategies for defining a framework for analyzing Eden semantics2013-12-06Paper
Typed mobile ambients in Maude2013-12-04Paper
A tutorial on specifying data structures in Maude2013-09-27Paper
Simplifying questions in Maude declarative debugger by transforming proof trees2013-03-13Paper
Declarative debugging of rewriting logic specifications2013-01-16Paper
Rewriting logic bibliography by topic: 1990--20112013-01-16Paper
Process calculi: E-LOTOS2012-09-05Paper
Declarative debugging of missing answers for Maude2012-04-25Paper
A complete declarative debugger for Maude2011-01-21Paper
Enhancing the debugging of Maude specifications2010-10-12Paper
Declarative Debugging of Rewriting Logic Specifications2009-10-22Paper
Declarative Debugging of Membership Equational Logic Specifications2008-06-19Paper
Strategies and simulations in a semantic framework2007-11-30Paper
Executable structural operational semantics in Maude2006-04-28Paper
Two case studies of semantics execution in Maude: CCS and LOTOS2006-02-20Paper
https://portal.mardi4nfdi.de/entity/Q44220862003-09-03Paper
Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic2003-08-27Paper
The leader election protocol of IEEE 1394 in Maude2001-05-07Paper

Research outcomes over time

This page was built for person: Alberto Verdejo