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
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