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
672006
A survey of algorithmic debugging
R Caballero, A Riesco, J Silva
ACM Computing Surveys (CSUR) 50 (4), 1-35, 2017
362017
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
362012
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
Recent Trends in Algebraic Development Techniques: 19th International …, 2009
232009
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
222018
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
222017
A Maude environment for CafeOBJ
A Riesco, K Ogata, K Futatsugi
Formal Aspects of Computing 29, 309-334, 2017
212017
EDD: A Declarative Debugger for Sequential Erlang Programs.
R Caballero, E Martin-Martin, A Riesco, S Tamarit
TACAS, 581-586, 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
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
192019
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
Recent Trends in Algebraic Development Techniques: 21st International …, 2013
172013
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
FlinkCheck: property-based testing for apache flink
CV Espinosa, E Martin-Martin, A Riesco, J Rodríguez-Hortalá
IEEE Access 7, 150369-150382, 2019
152019
Test-case generation for maude functional modules
A Riesco
Recent Trends in Algebraic Development Techniques: 20th International …, 2012
142012
A complete declarative debugger for Maude
A Riesco, A Verdejo, N Martí-Oliet
Algebraic Methodology and Software Technology: 13th International Conference …, 2011
142011
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
112018
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
112018
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
The system can't perform the operation now. Try again later.
Articles 1–20