Publication Record

---

2024

• R. Rubio and A. Riesco.
Maude2Lean: Theorem proving for Maude specifications using Lean
Journal of Logical and Algebraic Methods in Programming, volume 142. 22 pages.
Elsevier, 2025.
DOI:10.1016/j.jlamp.2024.101005

---

2023

• C. M. Do, Y. Phyo, A. Riesco, and K. Ogata.
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way
ACM Transactions on Software Engineering and Methodology XX(XX). Article XXX, XXX pages. ACM Press, 2023.
DOI:10.1145/3604610


• D. D. Bui, D. D. Tran, K. Ogata, and A. Riesco.
Integration of State Machine Graphical Animation and Maude to Facilitate Characteristic Conjecture: an Approach to Lemma Discovery in Theorem Proving
Multimedia Tools and Applications. 33 pages.
Springer, 2023.
DOI:10.1007/s11042-023-15780-5


• E. Martin-Martin, Manuel Montenegro, A. Riesco, J. Rodríguez-Hortalá, and R. Rubio.
Verification of the ROS NavFn Planner using Executable Specification Languages
Journal of Logical and Algebraic Methods in Programming - Selected papers from 20th Workshop on Programming and Languages (PROLE 2021). 23 pages.
Elsevier, 2023.
DOI:10.1016/j.jlamp.2023.100860

---

2022

• A. Riesco and K. Ogata.
An integrated tool set for verifying CafeOBJ specifications
The Journal of Software & Systems 189. 18 pages.
Elsevier, 2022.
DOI:10.1016/j.jss.2022.111302


• I. M. Asǎvoae, R. T. Shirazi, A. Riesco, and U. Yasuyoshi.
Hardware Trojan Detection via Rewriting Logic
Journal of Logical and Algebraic Methods in Programming 127. 19 pages.
Elsevier, 2022.
DOI:10.1016/j.jlamp.2022.100762


• C. M. Do, A. Riesco, Santiago Escobar, and K. Ogata.
Parallel Maude-NPA for Cryptographic Protocol Analysis
In K. Bae, editor, Proceedings of the 14th International Workshop on Rewriting Logic and its Applications (WRLA 2022).
Lecture Notes in Computer Science 13252, Springer, pages 253-273, 2022.
DOI: 10.1007/978-3-031-12441-9_13


• D. D. Bui, D. D. Tran, K. Ogata, and A. Riesco.
Integration of SMGA and Maude to Facilitate Characteristic Conjecture
Proceedings of the 2022 International DMS Conference on Visualization and Visual Languages (DMSVIVA 2022).
KSI Research Inc., 2022, 45-54.
DOI: 10.18293/DMSVIVA22-006


• R. Rubio and A. Riesco.
Theorem proving for Maude specifications using Lean
In A. Riesco and M. Zhang, editors, Proceedings of the 23rd International Conference on Formal Engineering Methods (ICFEM 2022).
Lecture Notes in Computer Science 13478, Springer, pages 263-280, 2022.
DOI: 10.1007/978-3-031-17244-1_16


• E. Martin-Martin, Manuel Montenegro, A. Riesco, and R. Rubio.
Improving Database Learning with an Automatic Judge
R. Peng, C. E. Pantoja, and P. Kamthan, editors, Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, (SEKE 2022).
KSI Research Inc., 2022, 499-502.
DOI: 10.18293/SEKE2022-025

---

2021

• R. Caballero, E. Martin-Martin, A. Riesco, and S. Tamarit.
A Unified Framework for Declarative Debugging and Testing
Information and Software Technology 129:106427.
Elsevier, 2021.
DOI:10.1016/j.infsof.2020.106427


• C. M. Do, Y. Phyo, A. Riesco, and K. Ogata.
A Parallel Stratified Model Checking Technique/Tool for Leads-to Properties
Proceedings of the 7th International Symposium on System and Software Reliability, ISSSR 2021.
IEEE, 2021.

---

2020

• A. Riesco and K. Ogata.
CiMPG+F: A Proof Generator & Fixer-upper for CafeOBJ Specifications
In V. Ka I Pun, V. Stolz, and A. Simáo, editors, Proceedings of the 17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020).
Available: slides
Lecture Notes in Computer Science 12545, Springer, pages 64-82, 2020.
DOI:10.1007/978-3-030-64276-1_4


• A. Riesco, B. Santos-Buitrago, M. Knapp, G. Santos-García, E. Hernández Galilea, and C. Talcott.
Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model
In Proceedings of the 14th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2020).
Advances in Intelligent Systems and Computing 1240, pages 80-90. Springer, 2020.
DOI:10.1007/978-3-030-54568-0_9

---

2019

• C. V. Espinosa, E. Martin-Martin, A. Riesco, and J. Rodríguez-Hortalá.
FlinkCheck: Property-based testing for Apache Flink
IEEE Access 7, 150369 - 150382.
IEEE, 2019.
DOI:10.1109/ACCESS.2019.2947361


• H. T. T. Doan, A. Riesco, and K. Ogata.
An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms
In S. Tixeuil, editor, Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019).
Lecture Notes in Computer Science 11914, pages 111-126. Springer, 2019.
DOI:10.1007/978-3-030-34992-9_10


• R. Caballero, E. Martin-Martin, A. Riesco, and S. Tamarit.
A Core Erlang Semantics for Declarative Debugging
Journal of Logical and Algebraic Methods in Programming 107:1-37.
Elsevier, 2019.
DOI:10.1016/j.jlamp.2019.05.002


• B. Santos-Buitrago, A. Riesco, M. Knapp, J. C. R. Alcantud, G. Santos-Garcia, and C. Talcott.
Soft Set Theory for Decision Making in Computational Biology under Incomplete Information
IEEE Access 7 18183 - 18193.
IEEE, 2019.
DOI:10.1109/ACCESS.2019.2896947


• A. Riesco and J. Rodríguez-Hortalá.
Property-based testing for Spark Streaming
Theory and Practice of Logic Programming 19(4): 574-602.
Cambridge University Press, 2019.
DOI:10.1017/S1471068419000012

---

2018

• E. Martin-Martin, A. Riesco, and Manuel Rodríguez.
A Language-Independent Technique for Assessing Tweet Success: An Experience Report
IEEE Access 6, 62384 - 62395.
IEEE, October 2018.
DOI:10.1109/ACCESS.2018.2876564


• D. Gaina, I. Tutu, and A. Riesco.
Specification and Verification of Invariant Properties of Transitional Systems
Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC 2018), pages 99-108.
IEEE, 2018.
DOI:10.1109/APSEC.2018.00024


• R. Caballero, E. Martin-Martin, A. Riesco, and S. Tamarit.
Declarative Debugging of Concurrent Erlang Programs
Journal of Logical and Algebraic Methods in Programming 101:22-41.
Elsevier, December 2018.
DOI:10.1016/j.jlamp.2018.07.005


• I. M. Asǎvoae, M. Asǎvoae, and A. Riesco.
Slicing from Formal Semantics Chisel: a Tool for Generic Program Slicing
International Journal on Software Tools for Technology Transfer 20(6), 739-769. Springer, 2018.
DOI:10.1007/s10009-018-0500-y


• I. M. Asǎvoae, M. Asǎvoae, and A. Riesco.
Context-Updates Analysis and Refinement in Chisel
In M. M. Gallardo and P. Merino, editors, Proceedings of the 25th International Symposium on Model Checking of Software (SPIN 2018).
Lecture Notes in Computer Science 10869, pages 328-346. Springer, 2018.
DOI:10.1007/978-3-319-94111-0_19


• A. Riesco and K. Ogata.
Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores
ACM Transactions on Software Engineering and Methodology 27(2). Article 6, 32 pages. ACM Press, 2018.
DOI:10.1145/3208951


• J. L. Brita-Paja, C. Gregorio, L. Llana, C. Pareja, and A. Riesco.
Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study
Interactive Learning Environments 26, 18 pages.
Available: via Taylor & Francis Online.
Routledge, 2018.
DOI:10.1080/10494820.2018.1451345


• A. Riesco and J. Rodríguez-Hortalá.
Property-based testing for Spark Streaming (Extended version)
Available: PDF
Technical Report SIC-02/18, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, May 2018.


• A. Riesco.
MUnit: A Unit testing framework for Maude
In V. Rusu, editor, Proceedings of the 12th International Workshop on Rewriting Logic and its Applications (WRLA 2018).
Lecture Notes in Computer Science 11152, Springer, pages 45-58, 2018.
DOI: 10.1007/978-3-319-99840-4_3


• A. Riesco.
Model checking parameterized by the semantics in Maude
In M. Sulzmann and J. Gallagher, editors, Proceedings of the 14th International Symposium on Functional and Logic Programming (FLOPS 2018).
Available: PDF - slides
Lecture Notes in Computer Science 10818, Springer, pages 198-213, 2018.
DOI:10.1007/978-3-319-90686-7_13

---

2017

• R. Caballero, A. Riesco, and J. Silva.
A Survey of Algorithmic Debugging
ACM Computing Surveys 50(4), Article 60, 35 pages. ACM Press, August 2017.
DOI:10.1145/3106740


• A. Riesco and K. Ogata.
A Formal Proof Generator from Semi-formal Proof Documents
In D. Van Hung and D. Kapur, editors, Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC 2017).
Available: slides
Lecture Notes in Computer Science 10580, Springer, pages 3-12, 2017.
DOI:10.1007/978-3-319-67729-3_1


• B. Santos-Buitrago, A. Riesco, M. Knapp, G. Santos-García, and C. Talcott.
Reverse Inference in Symbolic Systems Biology
In Proceedings of the 11th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2017).
Advances in Intelligent Systems and Computing 616, pages 101-109. Springer, 2017.
DOI:10.1007/978-3-319-60816-7_13


• A. Riesco, I. M. Asǎvoae, and M. Asǎvoae.
Slicing from Formal Semantics: Chisel
In M. Huisman and J. Rubin (eds.), Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering (FASE 2017).
Available: PDF
Lecture Notes in Computer Science 10202, Springer, pages 374-378, 2017.
DOI:10.1007/978-3-662-54494-5_21

---

2016

• A. Riesco, B. Santos-Buitrago, J. De Las Rivas, M. Knapp, G. Santos-García, and C. Talcott.
Epidermal Growth Factor signaling towards proliferation: modeling and logic inference using Forward and Backward search
BioMed Research International, vol. 2017, Article ID 1809513, 11 pages.
Available: via Hindawi.
Hindawi Publishing Corporation, 2017.
DOI:10.1155/2017/1809513


• R. Caballero, E. Martin-Martin, A. Riesco, and S. Tamarit.
Declarative Debugging of Concurrent Erlang Programs (Extended version)
Available: PDF
Technical Report SIC-03/16, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, July 2016.


• A. Riesco, K. Ogata, and K. Futatsugi.
A Maude environment for CafeOBJ
Formal Aspects of Computing, 29(2), pages 309-334.
Available: via Springer Nature.
Springer, 2016.
DOI:10.1007/s00165-016-0398-7


• S. Tamarit, A. Riesco, E. Martin-Martin, and R. Caballero.
Debugging meets testing in Erlang
In B. K. Aichernig and C. A. Furia, editors, 10th International Conference on Tests and Proofs (TAP 2016).
Available: PDF
Lecture Notes in Computer Science 9762, Springer, pages 171-180, 2016.
DOI:10.1007/978-3-319-41135-4_10


• A. Riesco and J. Rodríguez-Hortalá.
Temporal Random Testing for Spark Streaming
In E. Abraham and M. Huisman, editors, Proceedings of the 12th International Conference on integrated Formal Methods (iFM 2016).
Available: PDF - slides
Lecture Notes in Computer Science 9681, Springer, pages 393-408, 2016.
DOI:10.1007/978-3-319-33693-0_25


• G. Santos-García, C. Talcott, A. Riesco, B. Santos-Buitrago, and J. De Las Rivas.
Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival using a Reachability Analysis Approach
In M. S. Mohamad and M. Rocha, editors, Proceedings of the 10th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2016).
Available: PDF
Advances in Intelligent Systems and Computing 477, Springer, pages 173-181, 2016.
DOI:10.1007/978-3-319-40126-3_18


• A. Riesco, K. Ogata, and K. Futatsugi.
CafeInMaude: a CafeOBJ interpreter in Maude
In P. Stevens and A. Wasowski, editors, Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering (FASE 2016).
Available: PDF
Lecture Notes in Computer Science 9633, Springer, pages 377-380, 2016.
DOI:10.1007/978-3-662-49665-7_22

---

2015

• A. Riesco, I. M. Asǎvoae, and M. Asǎvoae.
Memory Policy Analysis for Semantics Specifications in Maude
In M. Falaschi, editor, Proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015).
Available: PDF
Lecture Notes in Computer Science 9527, Springer, pages 293-310, 2015.
DOI:10.1007/978-3-319-27436-2_18


• A. Riesco and J. Rodríguez-Hortalá.
A Lightweight Tool for Random Testing of Stream Processing Systems (extended version)
Available: PDF
Technical Report SIC-02/15, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, September 2015.


• R. Caballero, E. Martin-Martin, A. Riesco, and S. Tamarit.
A Zoom-Declarative Debugger for Sequential Erlang Programs
Science of Computer Programming 110:104-118.
Available: PDF
Elsevier, 2015.
DOI:10.1016/j.scico.2015.06.011


• I. Pita and A. Riesco.
Specifying and Analyzing the Kademlia Protocol in Maude
Proceedings of the 12nd International Colloquium on Theoretical Aspects of Computing (ICTAC 2015).
Available: PDF
Lectures Notes in Computer Science 9399, Spring, pages 524-541, 2015.
DOI:10.1007/978-3-319-25150-9_30


• A. Riesco and J. Rodríguez-Hortalá.
Lifting Term Rewriting Derivations by Using Generators
In S. Escobar, editor, Proceedings of the 14th Spanish Workshop on Programming Languages (PROLE 2014).
Available: PDF
Electronic Proceedings in Theoretical Computer Science 173, pages 87-99, 2015.
DOI:10.4204/EPTCS.173.7

---

2014

• I. M. Asǎvoae, M. Asǎvoae, and A. Riesco.
Towards a Formal Semantics-Based Technique for Interprocedural Slicing
In E. Albert and E. Sekerinski, editors, Proceedings of the 11th International Conference on Integrated Formal Methods (iFM 2014).
Available: PDF
Lecture Notes in Computer Science 8739, Springer, pages 291-306, 2014.
DOI:10.1007/978-3-319-10181-1_18


• R. Caballero, E. Martin-Martin, A. Riesco, and S. Tamarit.
A Zoom-Declarative Debugger for Sequential Erlang Programs (extended version)
Available: PDF
Technical Report SIC-02/14, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2014.


• A. Riesco.
Using big-step and small-step semantics in Maude to perform declarative debugging
In M. Codish and E. Sumii, editors, Proceedings of the 12th International Symposium on Functional and Logic Programming (FLOPS 2014).
Available: PDF
Lecture Notes in Computer Science 8475, Springer, pages 52-68, 2014.
DOI:10.1007/978-3-319-07151-0_4


• A. Riesco.
An integration of CafeOBJ into Full Maude
In S. Escobar, editor, Proceedings of the 10th International Workshop on Rewriting Logic and its Applications (WRLA 2014).
Available: PDF
Lecture Notes in Computer Science 8663, Springer, pages 230-246, 2014.
DOI:10.1007/978-3-319-12904-4_13


• R. Caballero, E. Martin-Martin, A. Riesco, and S. Tamarit.
EDD: A Declarative Debugger for Sequential Erlang Programs
In E. Ábrahám and K. Havelund, editors, Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014)
Available: PDF
Lecture Notes in Computer Science 8413, Springer, pages 581-586, 2014.
DOI:10.1007/978-3-642-54862-8_49

---

2013

• R. Caballero, E. Martin-Martin, A. Riesco, and S. Tamarit.
A Declarative Debugger for Concurrent Erlang Programs (extended version)
Available: PDF
Technical Report SIC-15/13, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2013.


• R. Caballero, E. Martin-Martin, A. Riesco, and S. Tamarit.
A calculus for zoom debugging sequential Erlang programs.
Available: PDF
Technical Report SIC-07/13, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2013.


• R. Caballero, E. Martin-Martin, A. Riesco, and S. Tamarit.
A calculus for sequential Erlang programs.
Available: PDF
Technical Report SIC-03/13, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2013.


• R. Caballero, E. Martin-Martin, A. Riesco, and S. Tamarit.
A Declarative Debugger for Sequential Erlang Programs
In M. Veanes and L. Vigan, editors, 7th International Conference on Tests and Proofs (TAP 2013).
Available: PDF
Lecture Notes in Computer Science 7942, Springer, pages 96-114, 2013.
DOI:10.1007/978-3-642-38916-0_6


• D. Insa, J. Silva, and A. Riesco.
Speeding Up Algorithmic Debugging Using Balanced Execution Trees
In M. Veanes and L. Vigan, editors, Proceedings of the 7th International Conference on Tests and Proofs (TAP 2013).
Available: PDF
Lecture Notes in Computer Science 7942, Springer, pages 133-151, 2013.
DOI:10.1007/978-3-642-38916-0_8


• A. Riesco, I. M. Asǎvoae, and M. Asǎvoae.
A Generic Program Slicing Technique based on Language Definitions
In N. Martí-Oliet and M. Palomino, editors, Proceedings of the 21st International Workshop on Algebraic Development Techniques (WADT 2012).
Available: PDF
Lecture Notes in Computer Science 7841, IFIP International Federation for Information Processing, pages 248-264, 2013.
DOI:10.1007/978-3-642-37635-1_15

---

2012

• A. Riesco.
Using semantics specified in Maude to generate test cases
In A. Roychoudhury and M. D'Souza, editors, 9th International Colloquium on Theoretical Aspects of Computing 2012 (ICTAC 2012).
Available: PDF
Lecture Notes in Computer Science 7521, Springer, pages 90-104, 2012.
DOI:10.1007/978-3-642-32943-2_7


• A. Riesco and J. Rodríguez-Hortalá.
S-Narrowing for Constructor Systems
In A. Roychoudhury and M. D'Souza, editors, 9th International Colloquium on Theoretical Aspects of Computing 2012 (ICTAC 2012).
Available: PDF
Lecture Notes in Computer Science 7521, Springer, pages 136-150, 2012.
DOI:10.1007/978-3-642-32943-2_10


• A. Riesco.
Using narrowing to test Maude specifications
In F. Durán, editor, 9th International Workshop on Rewriting Logic and its Applications (WRLA 2012).
Available: PDF
Lecture Notes in Computer Science 7571, Springer, pages 201-220, 2012.
DOI:10.1007/978-3-642-34005-5_11


• R. Caballero, A. Riesco, A. Verdejo, and N. Martí-Oliet.
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees
In G. Vidal, editor, 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011).
Available: PDF
Lecture Notes in Computer Science 7225, Springer, pages 73-89, 2012.
DOI:10.1007/978-3-642-32211-2_6


• I. Pita and A. Riesco.
A tool for testing data type implementations from Maude algebraic specifications
In P. Arenas, editor, Proceedings of the 11th Spanish Workshop on Programming Languages (PROLE 2011).
Available: PDF
Electronic Notes in Theoretical Computer Science 282, Elsevier, pages 61-71, 2012.
DOI:10.1016/j.entcs.2011.12.006


• A. Riesco and J. Rodríguez-Hortalá.
Singular and Plural Functions for Functional Logic Programming
Theory and Practice of Logic Programming 14(1): 65-116.
Available: PDF
Cambridge University Press, 2012.
DOI:10.1017/S147106841200004X


• A. Riesco.
Test-case Generation for Maude Functional Modules
In T. Mossakowski and H.-J. Kreowski, editors, Proceedings of the 20th International Workshop on Algebraic Development Techniques (WADT 2010).
Available: PDF
Lecture Notes in Computer Science 7137, pages 287-301. Springer, 2012.
DOI:10.1007/978-3-642-28412-0_18

---

2011

• 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.
Available: PDF
Elsevier, 2011.
DOI:10.1016/j.jlap.2011.06.004


• R. Caballero, A. Riesco, A. Verdejo, and N. Martí-Oliet.
Improving the Debugging of Membership Equational Logic. Specifications
Available: PDF
Technical Report SIC-02/11, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2011.

---

2010

• A. Riesco, A. Verdejo, and N. Martí-Oliet.
A complete declarative debugger for Maude
In M. Johnson and D. Pavlovic, editors, Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology (AMAST 2010).
Available: PDF
Lecture Notes in Computer Science 6486, pages 216-225. Springer, 2011.
DOI:10.1007/978-3-642-17796-5_14


• M. Codescu, T. Mossakowski, A. Riesco, and C. Maeder.
Integrating Maude into Hets
In M. Johnson and D. Pavlovic, editors, Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology (AMAST 2010).
Available: PDF
Lecture Notes in Computer Science 6486, pages 60-75. Springer, 2011.
DOI:10.1007/978-3-642-17796-5_4


• A. Riesco, and J. Rodríguez-Hortalá.
Programming with Singular and Plural Non-deterministic Functions
In J. P. Gallagher and J. Voigtländer, editors, Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation (PEPM 2010).
Available: PDF
ACM Press, pages 165-175, 2010.
DOI:10.1145/1706356.1706373


• A. Riesco, A. Verdejo, and N. Martí-Oliet.
Declarative Debugging of Missing Answers for Maude Specifications
In C. Lynch, editor, Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010).
Available: PDF
Leibniz International Proceedings in Informatics 6, pages 277-294. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010.
DOI:10.4230/LIPIcs.RTA.2010.277


• A. Riesco, A. Verdejo, and N. Martí-Oliet.
Enhancing the Debugging of Maude Specifications
In P. C. Ölveczky, editor, Proceedings of the 8th International Workshop on Rewriting Logic and its Applications (WRLA 2010).
Available: PDF
Lecture Notes in Computer Science 6381, pages 226-242. Springer, 2010.
DOI:10.1007/978-3-642-16310-4_15


• A. Riesco and J. Rodríguez-Hortalá.
A natural implementation of Plural Semantics in Maude
In T. Ekman and J. Vinju, editors, Proceedings of the 9th Workshop on Language Descriptions, Tools, and Applications (LDTA 2009).
Available: PDF
Electronic Notes in Theoretical Computer Science 253(7), pages 165-175. Elsevier, 2010.
DOI:10.1016/j.entcs.2010.08.039


• D. Insa, Josep Silva, and A. Riesco.
Balancing Execution Trees
In V. M. Gulías, J. Silva, and A. Villanueva, editors, Proceedings of the 10th Spanish Workshop on Programming Languages (Informal publication) (PROLE 2010).
Available: PDF
Ibergarceta Publicaciones, pages 129-142, 2010.


• A. Riesco, A. Verdejo, R. Caballero, and N. Martí-Oliet.
Declarative Debugging of Rewriting Logic Specifications.
Available: PDF
Technical Report SIC-02/10, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2010.

---

2009

• 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).
Available: PDF
Electronic Notes in Theoretical Computer Science 238(3), pages 249-266. Elsevier, 2009.
DOI:10.1016/j.entcs.2009.05.023


• 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).
Available: PDF
Electronic Notes in Theoretical Computer Science 238(3), pages 63-81. Elsevier, 2009.
DOI:10.1016/j.entcs.2009.05.013


• A. Riesco, A. Verdejo, R. Caballero, and N. Martí-Oliet.
A declarative debugger for Maude specifications - User guide.
Available: PDF
Technical Report SIC-07/09, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2009.

---

2008

• A. Riesco, A. Verdejo, R. Caballero, and N. Martí-Oliet.
A Declarative Debugger for Maude
In J. Meseguer and G. Rosu, editors, Proceedings of the 12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008).
Available: PDF
Lecture Notes in Computer Science 5140, pages 116-121. Springer, 2008.
DOI:10.1007/978-3-540-79980-1_9


• R. Caballero, N. Martí-Oliet, A. Riesco, and A. Verdejo.
Declarative debugging of membership equational logic specifications
In P. Degano, R. De Nicola and J. Meseguer, editors, Concurrency, Graphs and Models. Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday.
Available: PDF
Lecture Notes in Computer Science 5065, pages 174-193. Springer, 2008.
DOI:10.1007/978-3-540-68679-8_12


• A. Riesco, A. Verdejo, R. Caballero, and N. Martí-Oliet.
Declarative Debugging of Rewriting Logic Specifications
In A. Corradini and U. Montanari, editors, Proceedings of the 19th International Workshop on Algebraic Development Techniques (WADT 2008).
Available: PDF
Lecture Notes in Computer Science 5486, pages 308-325. Springer, 2009.
DOI:10.1007/978-3-642-03429-9_20

---

2007

• M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, C. L. Talcott, A. Riesco and A. Verdejo.
Mobile Maude
In All about Maude: A High-Performance Logical Framework.
Lecture Notes in Computer Science 4350, Chapter 21, pages 667-693. Springer, 2007
DOI:10.1007/978-3-540-71999-1


• A. Riesco and A. Verdejo.
Distributed applications implemented in Maude with parameterized skeletons
In M.M. Bonsangue and E.B. Johnsen, editors, Proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007).
Available: PDF
Lecture Notes in Computer Science 4468, pages 91-106. Springer, 2007.
DOI:10.1007/978-3-540-72952-5_68


• F. Durán, A. Riesco, and A. Verdejo.
A distributed implementation of Mobile Maude
In G. Denker and C. L. Talcott, editors, Proceedings of the 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006).
Available: PDF
Electronic Notes in Theoretical Computer Science 176, pages 113-131. Elsevier, 2007.
DOI:10.1016/j.entcs.2007.06.011


• A. Riesco and A. Verdejo.
The EIGRP Protocol in Maude.
Available: PDF
Technical Report SIC-03/07, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2007.


• A. Riesco and A. Verdejo.
Parameterized skeletons in Maude.
Available: PDF
Technical Report SIC-01/07, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2007.

---

2006

• M. Clavel, M. Palomino, and A. Riesco.
Introducing the ITP Tool: a Tutorial.
Journal of Universal Computer Science 12(11): 1618-1650
Available: PDF
Springer, 2006.
DOI:10.3217/jucs-012-11-1618