Follow
Alberto Verdejo
Alberto Verdejo
Associate Professor, Facultad de Informática, Universidad Complutense de Madrid, Spain
Verified email at ucm.es
Title
Cited by
Cited by
Year
Some tools
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, ...
All About Maude-A High-Performance Logical Framework: How to Specify …, 2007
15532007
Towards a strategy language for Maude
N Martí-Oliet, J Meseguer, A Verdejo
Electronic Notes in Theoretical Computer Science 117, 417-441, 2005
1122005
Executable structural operational semantics in Maude
A Verdejo, N Martí-Oliet
The Journal of Logic and Algebraic Programming 67 (1-2), 226-293, 2006
1032006
Deduction, strategies, and rewriting
S Eker, N Martí-Oliet, J Meseguer, A Verdejo
Electronic Notes in Theoretical Computer Science 174 (11), 3-25, 2007
932007
Implementing ccs in maude 2
A Verdejo, N Martí-Oliet
Electronic Notes in Theoretical Computer Science 71, 282-300, 2004
912004
A rewriting semantics for Maude strategies
N Martí-Oliet, J Meseguer, A Verdejo
Electronic Notes in Theoretical Computer Science 238 (3), 227-247, 2009
542009
Declarative debugging of rewriting logic specifications
A Riesco, A Verdejo, N Martí-Oliet, R Caballero
The Journal of Logic and Algebraic Programming 81 (7-8), 851-897, 2012
372012
Implementing CCS in Maude
A Verdejo, N Marti-Oliet
International Conference on Protocol Specification, Testing and Verification …, 2000
322000
Maude como marco semántico ejecutable
A Verdejo
PhD thesis, Facultad de Informática, Universidad Complutense, Madrid, Spain, 2003
302003
Strategies, model checking and branching-time properties in Maude
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Journal of Logical and Algebraic Methods in Programming 123, 100700, 2021
282021
Two case studies of semantics execution in Maude: CCS and LOTOS
A Verdejo, N Martí-Oliet
Formal Methods in System Design 27, 113-172, 2005
272005
Typed mobile ambients in Maude
F Rosa-Velardo, C Segura, A Verdejo
Electronic Notes in Theoretical Computer Science 147 (1), 135-161, 2006
262006
A declarative debugger for Maude functional modules
R Caballero, N Martí-Oliet, A Riesco, A Verdejo
Electronic Notes in Theoretical Computer Science 238 (3), 63-81, 2009
222009
Implementing and analyzing in Maude the enhanced interior gateway routing protocol
A Riesco, A Verdejo
Electronic notes in theoretical computer science 238 (3), 249-266, 2009
222009
Declarative debugging of rewriting logic specifications
A Riesco, A Verdejo, R Caballero, N Martí-Oliet
International Workshop on Algebraic Development Techniques, 308-325, 2008
222008
Using Maude and its strategies for defining a framework for analyzing Eden semantics
M Hidalgo-Herrero, A Verdejo, Y Ortega-Mallén
Electronic Notes in Theoretical Computer Science 174 (10), 119-137, 2007
202007
Modular structural operational semantics with strategies
C Braga, A Verdejo
Electronic Notes in Theoretical Computer Science 175 (1), 3-17, 2007
192007
A tutorial on specifying data structures in Maude
N Martí-Oliet, M Palomino, A Verdejo
Electronic Notes in Theoretical Computer Science 137 (1), 105-132, 2005
192005
Executing and verifying CCS in Maude
A Verdejo, N Martı-Oliet
Technical Report, 2000
192000
Parameterized strategies specification in Maude
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 …, 2019
182019
The system can't perform the operation now. Try again later.
Articles 1–20