Publications

My profile at Google Scholar. My list of publications at DBLP.

• A. Riesco, A. Verdejo, N. Martí-Oliet, and R. Caballero.
  Declarative debugging of rewriting logic specifications.
  Journal of Logic and Algebraic Programming, 81(7-8):851-897, 2012. © Elsevier
   
• N. Martí-Oliet, M. Palomino and A. Verdejo.
  Rewriting logic bibliography by topic: 1990-2011.
  Journal of Logic and Algebraic Programming, 81(7-8):782-815, 2012. © Elsevier
   
• R. Caballero, A. Riesco, A. Verdejo, and N. Martí-Oliet.
  Simplifying questions in Maude declarative debugger by transforming proof trees
  In G. Vidal, editor, Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, LNCS 7225, pages 73-89. Springer, 2012. © Springer-Verlag
   
• A. Verdejo and N. Martí-Oliet.
  Basic completion strategies as another application of the Maude strategy language
  In S. Escobar, editor, Proceedings of the 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, EPTCS 82, pages 17-36, 2012.
   
• R. Caballero, A. Riesco, A. Verdejo, and N. Martí-Oliet.
  Improving the debugging of membership equational logic specifications
  Technical report SIC-2/11, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, April 2011.
   
• A. Riesco, A. Verdejo, and N. Martí-Oliet.
  A complete declarative debugger for Maude
  In M. Johnson and D. Pavlovic, editors, Algebraic Methodology and Software Technology, 13th International Conference, AMAST 2010, LNCS 6486, pages 216-225. Springer, 2011. © Springer-Verlag
   
• A. Riesco, A. Verdejo, and N. Martí-Oliet.
  Declarative debugging of missing answers for Maude
  In C. Lynch, editor, Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, LIPIcs 6, pages 277-294. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2010.
   
• A. Riesco, A. Verdejo, and N. Martí-Oliet.
  Enhancing the debugging of Maude specifications
  In P. C. Olveczky, editor, Rewriting Logic and its Applications. 8th International Workshop, WRLA 2010, LNCS 6381, pages 226-242. Springer, 2010. © Springer-Verlag
   
• A. Riesco, A. Verdejo, N. Martí-Oliet, and R. Caballero.
  Declarative debugging of rewriting logic specifications
  Technical report SIC-2/10, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, March 2010.
   
• A. Riesco, A. Verdejo, R. Caballero, and N. Martí-Oliet.
  A declarative debugger for Maude specifications - User guide
  Technical report SIC-7/09, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, October 2009.
   
• A. Riesco, A. Verdejo, and N. Martí-Oliet.
  Declarative debugging of missing answers in rewriting logic
  Technical report SIC-6/09, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, October 2009.
   
• A. Riesco, A. Verdejo, R. Caballero, and N. Martí-Oliet.
  Declarative debugging of rewriting logic specifications
  In A. Corradini and U. Montanari, editors, Recent Trends in Algebraic Development Techniques. 19th International Workshop, WADT 2008, LNCS 5486, pages 308-325. Springer, 2009. © Springer-Verlag
   
• R. Caballero, N. Martí-Oliet, A. Riesco, and A. Verdejo.
  A declarative debugger for Maude functional modules
  In G. Rosu, editor, Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, ENTCS 238(3), pages 63-81. Elsevier, 2009. © Elsevier
   
• N. Martí-Oliet, J. Meseguer, and A. Verdejo.
  A rewriting semantics for Maude strategies
  In G. Rosu, editor, Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, ENTCS 238(3), pages 227-247. Elsevier, 2009. © Elsevier
   
• A. Riesco and A. Verdejo.
  Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol
  In G. Rosu, editor, Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, ENTCS 238(3), pages 249-266. Elsevier, 2009. © Elsevier
   
• G. Santos-García, M. Palomino, and A. Verdejo.
  Rewriting Logic using Strategies for Neural Networks: an Implementation in Maude
  In J. M. Corchado, S. Rodríguez, J. Llinas, and J. M. Molina, editors, International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2008), volume 50 of Advances in Soft Computing, pages 424-433. Springer, 2008. © Springer-Verlag
   
• A. Riesco, A. Verdejo, N. Martí-Oliet, and R. Caballero.
  A declarative debugger for Maude
  In J. Meseguer and G. Rosu, editors, Algebraic Methodology and Software Technology - 12th International Conference, AMAST 2008, LNCS 5140, pages 116-221. Springer, 2008. © Springer-Verlag
   
• A. Riesco, A. Verdejo, R. Caballero, and N. Martí-Oliet.
  Declarative debugging of Maude modules
  Technical report SIC-6/08, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, April 2008.
   
• R. Caballero, N. Martí-Oliet, A. Riesco, and A. Verdejo.
  Declarative debugging of membership equational logic specifications
  In P. Degano, R. D. Nicola and J. Meseguer, editors, Concurrency, Graphs and Models, LNCS 5065, pages 174-193. Springer, 2008. © Springer-Verlag
   
• R. Caballero, N. Martí-Oliet, A. Riesco, and A. Verdejo.
  Declarative debugging of Maude functional modules
  Technical report SIC-4/07, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, December 2007. Superseded by new technical report.
   
• N. Martí-Oliet, M. Palomino and A. Verdejo.
  Strategies and simulations in a semantic framework.
  Journal of Algorithms: Algorithms in Cognition, Informatics and Logic, 62:95-116, 2007. © Elsevier
   
• M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, C. L. Talcott, C. Braga, A. Farzan, J. Hendrix, P. C. Olveczky, M. Palomino, R. Sasse, M.-O. Stehr, and A. Verdejo.
  Some tools.
  In All About Maude: A High-Performance Logical Framework, LNCS 4350, chapter 21, pages 667-693. Springer, 2007. © Springer-Verlag
   
• M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, C. Talcott, A. Riesco, and A. Verdejo.
  Mobile Maude.
  In All About Maude: A High-Performance Logical Framework, LNCS 4350, chapter 16, pages 485-522. Springer, 2007. © Springer-Verlag
   
• M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, C. Talcott, M. Palomino, and A. Verdejo.
  Specifying parameterized data structures in Maude.
  In All About Maude: A High-Performance Logical Framework, LNCS 4350, chapter 10, pages 307-338. Springer, 2007. © Springer-Verlag
   
• M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, C. Talcott, M. Palomino, and A. Verdejo.
  Playing with Maude.
  In All About Maude: A High-Performance Logical Framework, LNCS 4350, chapter 7, pages 159-184. Springer, 2007. © Springer-Verlag
   
• A. Riesco and A. Verdejo.
  Distributed applications implemented in Maude with parameterized skeletons.
  In M. Bonsangue and E. Johnsen, editors, Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 5-8, 2007, Proceedings, LNCS 4468, pages 91-106. Springer, 2007. © Springer-Verlag
   
• M. Hidalgo-Herrero, A. Verdejo, and Y. Ortega-Mallén.
  Using Maude and its strategies for defining a framework for analyzing Eden semantics.
  In S. Antoy, editor, The Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS06, ENTCS 174(10), pages 119-137. Elsevier, 2007. © Elsevier
   
• S. Eker, N. Martí-Oliet, J. Meseguer, and A. Verdejo.
  Deduction, strategies, and rewriting.
  In M. Archer, T. B. de la Tour, and C. A. Muñoz, editors, 6th International Workshop on Strategies in Automated Deduction, STRATEGIES'06, Seattle, Washington, August 16, 2006, Part of FLOC 2006, ENTCS 174(11), pages 3-25. Elsevier, 2007. © Elsevier
   
• C. Braga and A. Verdejo.
  Modular Structural Operational Semantics with Strategies.
  In R. van Glabbeek and P. D. Mosses, editors, Proceedings of the 3rd Workshop on Structural Operational Semantics (SOS 2006), ENTCS 175(1), pages 3-17. Elsevier, 2007. © Elsevier
   
• A. Riesco and A. Verdejo
  The EIGRP Protocol in Maude
  Technical report SIC-3/07, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, April 2007.
   
• A. Riesco and A. Verdejo
  Parameterized skeletons in Maude
  Technical report SIC-1/07, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, January 2007.
   
• N. Martí Oliet, C. Segura Díaz y J. A. Verdejo López
  Especificación, derivación y análisis de algoritmos: Ejercicios resueltos
  Colección Prentice Practica, Pearson/Prentice Hall, 2006.
   
• F. Durán, A. Riesco, and A. Verdejo.
  A distributed implementation of Mobile Maude.
  In G. Denker and C. Talcott, editors, Proceedings Sixth International Workshop on Rewriting Logic and its Applications, WRLA 2006, ENTCS 176(4), pages 113-131. Elsevier, 2006. © Elsevier
   
• N. Martí Oliet, M. Palomino Tarjuelo y J. A. Verdejo López
  Introducción a la Computación
  Colección Base Universitaria, Anaya Educación, 2006.
   
• A. Verdejo and N. Martí-Oliet.
  Executable structural operational semantics in Maude.
  Journal of Logic and Algebraic Programming, 67:226-293, 2006. © Elsevier
   
• A. Verdejo and N. Martí-Oliet.
  Two case studies of semantics execution in Maude: CCS and LOTOS.
  Formal Methods in System Design, 27:113-172, 2006. © Springer-Verlag
   
• F. Rosa-Velardo, C. Segura, and A. Verdejo.
  Typed mobile ambients in Maude.
  In H. Cirstea and N. Martí-Oliet, editors, Proceedings of the 6th International Workshop on Rule-Based Programming (RULE 2005), ENTCS 147, pages 135-161. Elsevier, 2006. © Elsevier
   
• M. Hidalgo-Herrero, A. Verdejo, and Y. Ortega-Mallén.
  Looking for Eden through Maude and its strategies.
  In F. López-Fraguas, editor, V Jornadas sobre Programación y Lenguajes, PROLE 2005, pages 13-23. Thomson, 2005.
   
• A. Verdejo, N. Martí-Oliet, T. Robles, J. Salvachúa, L. Llana, and M. Bradley.
  Transforming information in RDF to rewriting logic.
  In M. Steffen and G. Zavattaro, editors, Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings, LNCS 3535, pages 227-242. Springer, 2005. © Springer-Verlag
   
• N. Martí-Oliet, M. Palomino, and A. Verdejo.
  A tutorial on specifying data structures in Maude.
  In S. Lucas, editor, Proceedings of the Fourth Spanish Conference on Programming and Computer Languages (PROLE 2004), ENTCS 137, pages 105-132. Elsevier, 2005. © Elsevier
   
• M. Palomino, N. Martí-Oliet, and A. Verdejo
  Playing with Maude
  In S. Abdennadher and C. Ringeissen, editors, RULE’04 Fifth International Workshop on Rule-Based Programming. Proceedings, ENTCS 124(1), pages 3–23. Elsevier, 2005. © Elsevier
   
• J. Meseguer, N. Martí-Oliet, and A. Verdejo
  Towards a strategy language for Maude
  In N. Martí-Oliet, editor, Proceedings Fifth International Workshop on Rewriting Logic and its Applications, WRLA 2004, Barcelona, Spain, March 27 April 4, 2004, ENTCS 117, pages 417-441. Elsevier, 2004. © Elsevier
   
• N. Martí Oliet, Y. Ortega Mallén y J. A. Verdejo López
  Estructuras de datos y métodos algorítmicos: Ejercicios resueltos
  Colección Prentice Practica, Pearson/Prentice Hall, 2003.
   
• A. Verdejo and N. Martí-Oliet
  Executable Structural Operational Semantics in Maude
  Technical report 134-03, Dpto. Sistemas Informáticos y Programación,
  Universidad Complutense de Madrid, September 2003.
   
• A. Verdejo, I. Pita, and N. Martí-Oliet
  Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic
  In Formal Aspects of Computing, 14:228-246, 2003. © Springer-Verlag
   
• A.Verdejo.
  Maude como marco semántico ejecutable.
  PhD thesis, Facultad de Informtica, Universidad Complutense de Madrid, 2003.
   
• A. Verdejo
  Building tools for LOTOS Symbolic Semantics in Maude
  In Doron A. Peled and Moshe Y. Vardi, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2002, LNCS 2529, pages 292-307. Springer, 2002. © Springer-Verlag
   
• F. Durán and A. Verdejo
  A Conference Reviewing System in Mobile Maude
  In F. Gadducci and U. Montanari, editors, Proceedings Fourth International Workshop on Rewriting Logic and its Applications, WRLA 2002, Pisa, Italy, September 19-21, 2002, volume 71 of Electronic Notes in Theoretical Computer Science, pages 79-95. Elsevier, 2002. © Elsevier
   
• A. Verdejo and N. Martí-Oliet
  Implementing CCS in Maude 2
  In F. Gadducci and U. Montanari, editors, Proceedings Fourth International Workshop on Rewriting Logic and its Applications, WRLA 2002, Pisa, Italy, September 19-21, 2002, volume 71 of Electronic Notes in Theoretical Computer Science, pages 239-257. Elsevier, 2002. © Elsevier
   
• A. Verdejo
  A tool for Full LOTOS in Maude
  Technical report 123-02, Dpto. Sistemas Informáticos y Programación,
  Universidad Complutense de Madrid, April 2002.
   
• A. Verdejo
  LOTOS Symbolic Semantics in Maude
  Technical report 122-02, Dpto. Sistemas Informáticos y Programación,
  Universidad Complutense de Madrid, January 2002.
   
• G. Huecas, L.F. Llana-Díaz, J. Quemada, T. Robles and A. Verdejo.
  Process Calculi: E-LOTOS.
  In H. Bowman and J. Derrick, editors, Formal Methods for Distributed Processing. A Survey of Object-Oriented Aproaches, 77-104. Cambridge University Press, 2001.
   
• C. Shankland and A. Verdejo
  A case study in abstraction using E-LOTOS and the FireWire.
  In Computer Networks 37, 481-502. Elsevier, 2001. © Elsevier
   
• A. Verdejo, I. Pita, and N. Martí-Oliet
  The Leader Election Protocol of IEEE 1394 in Maude
  Technical report 118-01, Dpto. Sistemas Informáticos y Programación,
  Universidad Complutense de Madrid, July 2001.
   
• J. Bryans, A. Verdejo and C. Shankland
  Using Rewriting Logic to implement the modal logic FULL.
  In Proceedings AVoCS'01: Workshop on Automated Verification of Critical Systems.
  Technical report PRG-RR-01-07, Oxford University Computing Laboratory, April 2001.
   
• A. Verdejo, I. Pita, and N. Martí-Oliet
  Specification and Verification of the Leader Election Protocol of IEEE 1394 in Rewriting Logic.
  In S. Maharaj, J. Romijn and C. Shankland, editors, Proceedings of International Workshop on Applications of Formal Methods to IEEE Standard 1394, Mar 2001.
   
• A. Verdejo, I. Pita, and N. Martí-Oliet
  The Leader Election Protocol of IEEE 1394 in Maude
  In K. Futatsugi, editor, Proceedings Third International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanazawa, Japan, September 18-20, 2000, volume 36 of Electronic Notes in Theoretical Computer Science, pages 385-406. Elsevier, 2000.
   
• A. Verdejo and N. Martí-Oliet
  Implementing CCS in Maude
  In T. Bolognesi and D. Latella, editors, Formal Methods For Distributed System Development. FORTE/PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy, pages 351-366. Kluwer Academic Publishers, 2000.
   
• A. Verdejo and N. Martí-Oliet
  Executing and Verifying CCS in Maude
  Technical report 99-00, Dpto. Sistemas Informáticos y Programación,
  Universidad Complutense de Madrid, February 2000.
   
• A. Verdejo and N. Martí-Oliet
  Executing E-LOTOS processes in Maude (Extended Abstract)
  In H. Ehrig, M. Grosse-Rhode, and F. Orejas, editors, INT 2000, Integration of Specification Techniques with Applications in Engineering, Extended Abstracts Technical report 2000/04, Technische Universitat Berlin, March 2000, pages 49-53, 2000.
   
• C. Shankland and A. Verdejo
  Time, E-LOTOS and the FireWire
  In M. A. Marsan, J. Quemada, T. Robles, and M. Silva, editors, Formal Methods and Telecommunications (FM&T'99), pages 103-119. Prensas Universitarias de Zaragoza, Sept. 1999.
   
• G. Huecas, L.F. Llana-Díaz, T. Robles, and A. Verdejo.
  E-LOTOS: an Overview.
  In M. A. Marsan, J. Quemada, T. Robles, and M. Silva, editors, Formal Methods and Telecommunications (FM&T'99), pages 94-102. Prensas Universitarias de Zaragoza, Sept. 1999.
   
• A. Verdejo.
  E-LOTOS: Tutorial and Semantics
  Master's Thesis, 1999.