Alberto Verdejo
Alberto Verdejo
Associate Professor, Facultad de Informatica, Universidad Complutense de Madrid
Bestätigte E-Mail-Adresse bei ucm.es - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Implementing ccs in maude 2
A Verdejo, N Martí-Oliet
Electronic Notes in Theoretical Computer Science 71, 282-300, 2004
1062004
Towards a strategy language for Maude
N Martí-Oliet, J Meseguer, A Verdejo
Electronic Notes in Theoretical Computer Science 117, 417-441, 2005
1022005
Executable structural operational semantics in Maude
A Verdejo, N Martí-Oliet
The Journal of Logic and Algebraic Programming 67 (1-2), 226-293, 2006
892006
Deduction, strategies, and rewriting
S Eker, N Martí-Oliet, J Meseguer, A Verdejo
Electronic Notes in Theoretical Computer Science 174 (11), 3-25, 2007
742007
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
50*2012
A rewriting semantics for Maude strategies
N Martí-Oliet, J Meseguer, A Verdejo
Electronic Notes in Theoretical Computer Science 238 (3), 227-247, 2009
402009
Maude como marco semántico ejecutable
A Verdejo
PhD thesis, Facultad de Informática, Universidad Complutense, Madrid, Spain, 2003
282003
Two case studies of semantics execution in Maude: CCS and LOTOS
A Verdejo, N Martí-Oliet
Formal Methods in System Design 27 (1-2), 113-172, 2005
262005
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
212009
Declarative debugging of missing answers for Maude
A Riesco, A Verdejo, N Marti-Oliet
Proceedings of the 21st International Conference on Rewriting Techniques and …, 2010
192010
Typed Mobile Ambients in Maude
F Rosa-Velardo, C Segura, A Verdejo
Electronic Notes in Theoretical Computer Science 147 (1), 135-161, 2006
182006
Executing and verifying CCS in Maude
A Verdejo, N Martı-Oliet, DSI y Programación
Technical Report 99-00, Departamento de Sistemas InformÃaticos y …, 2000
182000
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
162005
A complete declarative debugger for Maude
A Riesco, A Verdejo, N Martí-Oliet
International Conference on Algebraic Methodology and Software Technology …, 2010
152010
Building tools for LOTOS symbolic semantics in Maude
A Verdejo
International Conference on Formal Techniques for Networked and Distributed …, 2002
152002
Rewriting logic bibliography by topic: 1990–2011
N Marti-Oliet, M Palomino, A Verdejo
The Journal of Logic and Algebraic Programming 81 (7-8), 782-815, 2012
142012
A distributed implementation of Mobile Maude
F Durán, A Riesco, A Verdejo
Electronic Notes in Theoretical Computer Science 176 (4), 113-131, 2007
142007
Modular structural operational semantics with strategies
C Braga, A Verdejo
Electronic Notes in Theoretical Computer Science 175 (1), 3-17, 2007
142007
Rewriting logic and its applications
N Martí-Oliet, J Meseguer
Theoretical Computer Science 285 (2), 2002
132002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20