×

zbMATH — the first resource for mathematics

Verdejo, Alberto

Compute Distance To:
Author ID: verdejo.alberto Recent zbMATH articles by "Verdejo, Alberto"
Published as: Verdejo, Alberto
External Links: ORCID
Documents Indexed: 28 Publications since 2000

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 91 times in 52 Documents Cited by Year
Executable structural operational semantics in Maude. Zbl 1088.68095
Verdejo, Alberto; Martí-Oliet, Narciso
12
2006
Two case studies of semantics execution in Maude: CCS and LOTOS. Zbl 1086.68552
Verdejo, Alberto; Martí-Oliet, Narciso
9
2005
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
8
2007
A rewriting semantics for Maude strategies. Zbl 1347.68199
Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
8
2009
Declarative debugging of missing answers for Maude. Zbl 1236.68146
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso
6
2010
Building tools for LOTOS symbolic semantics in Maude. Zbl 1037.68516
Verdejo, Alberto
5
2002
Declarative debugging of rewriting logic specifications. Zbl 1253.68097
Riesco, Adrian; Verdejo, Alberto; Caballero, Rafael; Martí-Oliet, Narciso
5
2009
A declarative debugger for Maude functional modules. Zbl 1347.68073
Caballero, Rafael; Martí-Oliet, Narciso; Riesco, Adrián; Verdejo, Alberto
5
2009
Typed mobile ambients in Maude. Zbl 1276.68101
Rosa-Velardo, Fernando; Segura, Clara; Verdejo, Alberto
4
2006
Rewriting logic bibliography by topic: 1990–2011. Zbl 1262.03052
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
3
2012
Declarative debugging of rewriting logic specifications. Zbl 1279.68220
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael
3
2012
Simplifying questions in Maude declarative debugger by transforming proof trees. Zbl 1377.68072
Caballero, Rafael; Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso
3
2012
Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic. Zbl 1029.68023
Verdejo, Alberto; Pita, Isabel; Martí-Oliet, Narciso
2
2002
A tutorial on specifying data structures in Maude. Zbl 1272.68119
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
2
2005
Using Maude and its strategies for defining a framework for analyzing Eden semantics. Zbl 1277.68104
Hidalgo-Herrero, Mercedes; Verdejo, Alberto; Ortega-Mallén, Yolanda
2
2007
Egalitarian state-transition systems. Zbl 1367.68198
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
2
2016
Model checking TLR* guarantee formulas on infinite systems. Zbl 1407.68296
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
2
2014
Declarative debugging of membership equational logic specifications. Zbl 1143.68363
Caballero, Rafael; Martí-Oliet, Narciso; Riesco, Adrián; Verdejo, Alberto
2
2008
Enhancing the debugging of Maude specifications. Zbl 1306.68085
Riesco, Adrian; Verdejo, Alberto; Martí-Oliet, Narciso
2
2010
The leader election protocol of IEEE 1394 in Maude. Zbl 0962.68107
Verdejo, Alberto; Pita, Isabel; Marti-Oliet, Narciso
1
2000
Modular structural operational semantics with strategies. Zbl 1277.68114
Braga, Christiano; Verdejo, Alberto
1
2007
A complete declarative debugger for Maude. Zbl 1308.68069
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso
1
2011
Strategies and simulations in a semantic framework. Zbl 1131.68059
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
1
2007
Synchronous products of rewrite systems. Zbl 1398.68279
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
1
2016
Parameterized strategies specification in Maude. Zbl 1444.68104
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto
1
2019
Parameterized strategies specification in Maude. Zbl 1444.68104
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto
1
2019
Egalitarian state-transition systems. Zbl 1367.68198
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
2
2016
Synchronous products of rewrite systems. Zbl 1398.68279
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
1
2016
Model checking TLR* guarantee formulas on infinite systems. Zbl 1407.68296
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso
2
2014
Rewriting logic bibliography by topic: 1990–2011. Zbl 1262.03052
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
3
2012
Declarative debugging of rewriting logic specifications. Zbl 1279.68220
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael
3
2012
Simplifying questions in Maude declarative debugger by transforming proof trees. Zbl 1377.68072
Caballero, Rafael; Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso
3
2012
A complete declarative debugger for Maude. Zbl 1308.68069
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso
1
2011
Declarative debugging of missing answers for Maude. Zbl 1236.68146
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso
6
2010
Enhancing the debugging of Maude specifications. Zbl 1306.68085
Riesco, Adrian; Verdejo, Alberto; Martí-Oliet, Narciso
2
2010
A rewriting semantics for Maude strategies. Zbl 1347.68199
Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
8
2009
Declarative debugging of rewriting logic specifications. Zbl 1253.68097
Riesco, Adrian; Verdejo, Alberto; Caballero, Rafael; Martí-Oliet, Narciso
5
2009
A declarative debugger for Maude functional modules. Zbl 1347.68073
Caballero, Rafael; Martí-Oliet, Narciso; Riesco, Adrián; Verdejo, Alberto
5
2009
Declarative debugging of membership equational logic specifications. Zbl 1143.68363
Caballero, Rafael; Martí-Oliet, Narciso; Riesco, Adrián; Verdejo, Alberto
2
2008
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto
8
2007
Using Maude and its strategies for defining a framework for analyzing Eden semantics. Zbl 1277.68104
Hidalgo-Herrero, Mercedes; Verdejo, Alberto; Ortega-Mallén, Yolanda
2
2007
Modular structural operational semantics with strategies. Zbl 1277.68114
Braga, Christiano; Verdejo, Alberto
1
2007
Strategies and simulations in a semantic framework. Zbl 1131.68059
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
1
2007
Executable structural operational semantics in Maude. Zbl 1088.68095
Verdejo, Alberto; Martí-Oliet, Narciso
12
2006
Typed mobile ambients in Maude. Zbl 1276.68101
Rosa-Velardo, Fernando; Segura, Clara; Verdejo, Alberto
4
2006
Two case studies of semantics execution in Maude: CCS and LOTOS. Zbl 1086.68552
Verdejo, Alberto; Martí-Oliet, Narciso
9
2005
A tutorial on specifying data structures in Maude. Zbl 1272.68119
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
2
2005
Building tools for LOTOS symbolic semantics in Maude. Zbl 1037.68516
Verdejo, Alberto
5
2002
Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic. Zbl 1029.68023
Verdejo, Alberto; Pita, Isabel; Martí-Oliet, Narciso
2
2002
The leader election protocol of IEEE 1394 in Maude. Zbl 0962.68107
Verdejo, Alberto; Pita, Isabel; Marti-Oliet, Narciso
1
2000

Citations by Year