Follow
Adrián Riesco
Adrián Riesco
Associate Professor in Computer Science, Dpto. Sistemas Informáticos y Computación, Universidad
Verified email at fdi.ucm.es - Homepage
Title
Cited by
Cited by
Year
Introducing the ITP Tool: a Tutorial.
M Clavel, M Palomino, A Riesco
J. Univers. Comput. Sci. 12 (11), 1618-1650, 2006
642006
Declarative debugging of rewriting logic specifications
A Riesco, A Verdejo, N Martí-Oliet, R Caballero
The Journal of Logic and Algebraic Programming 81 (7), 851-897, 2012
352012
A survey of algorithmic debugging
R Caballero, A Riesco, J Silva
ACM Computing Surveys (CSUR) 50 (4), 1-35, 2017
312017
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
232009
Declarative debugging of rewriting logic specifications
A Riesco, A Verdejo, R Caballero, N Martí-Oliet
International Workshop on Algebraic Development Techniques, 308-325, 2008
232008
Prove it! inferring formal proof scripts from CafeOBJ proof scores
A Riesco, K Ogata
ACM Transactions on Software Engineering and Methodology (TOSEM) 27 (2), 1-32, 2018
212018
A Maude environment for CafeOBJ
A Riesco, K Ogata, K Futatsugi
Formal Aspects of Computing 29 (2), 309-334, 2017
202017
EDD: A declarative debugger for sequential erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
International Conference on Tools and Algorithms for the Construction and …, 2014
202014
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
202009
A distributed implementation of Mobile Maude
F Durán, A Riesco, A Verdejo
Electronic Notes in Theoretical Computer Science 176 (4), 113-131, 2007
192007
A generic program slicing technique based on language definitions
A Riesco, IM Asăvoae, M Asăvoae
International Workshop on Algebraic Development Techniques, 248-264, 2012
172012
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
172010
Epidermal growth factor signaling towards proliferation: modeling and logic inference using forward and backward search
A Riesco, B Santos-Buitrago, J De Las Rivas, M Knapp, G Santos-García, ...
BioMed research international 2017, 2017
162017
A complete declarative debugger for Maude
A Riesco, A Verdejo, N Martí-Oliet
International Conference on Algebraic Methodology and Software Technology …, 2010
142010
FlinkCheck: property-based testing for apache flink
CV Espinosa, E Martin-Martin, A Riesco, J Rodríguez-Hortalá
IEEE Access 7, 150369-150382, 2019
132019
Soft set theory for decision making in computational biology under incomplete information
B Santos-Buitrago, A Riesco, M Knapp, JCR Alcantud, G Santos-García, ...
IEEE Access 7, 18183-18193, 2019
132019
Test-case generation for maude functional modules
A Riesco
International Workshop on Algebraic Development Techniques, 287-301, 2010
132010
Specification and verification of invariant properties of transition systems
D Gaina, I Tutu, A Riesco
2018 25th Asia-Pacific Software Engineering Conference (APSEC), 99-108, 2018
122018
Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study
JL Brita-Paja, C Gregorio, L Llana, C Pareja, A Riesco
Interactive Learning Environments 27 (1), 15-32, 2019
102019
Declarative debugging of concurrent Erlang programs
R Caballero, E Martin-Martin, A Riesco, S Tamarit
Journal of logical and algebraic methods in programming 101, 22-41, 2018
102018
The system can't perform the operation now. Try again later.
Articles 1–20