Travelled to:1 × Cyprus
1 × Denmark
1 × Estonia
1 × Hungary
1 × Italy
1 × Japan
1 × Spain
1 × United Kingdom
2 × France
Collaborated with:A.Verdejo ∅ N.Martí-Oliet R.Caballero J.Rodríguez-Hortalá E.Martin-Martin S.Tamarit I.M.Asavoae M.Asavoae D.Insa J.Silva F.Durán
Talks about:maud (10) declar (7) debug (5) debugg (4) implement (3) program (3) specif (3) semant (3) use (3) sequenti (2)
Person: Adrián Riesco
DBLP: Riesco:Adri=aacute=n
Contributed to:
2014
2014
2014
2014
20132012
2011
2010
201020102012
201020092007Wrote 16 papers:
- FLOPS-2014-Riesco #debugging #declarative #maude #semantics #using
- Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging (AR), pp. 52–68.
- IFM-2014-AsavoaeAR #interprocedural #semantics #slicing #towards
- Towards a Formal Semantics-Based Technique for Interprocedural Slicing (IMA, MA, AR), pp. 291–306.
- TACAS-2014-CaballeroMRT #debugging #declarative #erlang #named #source code
- EDD: A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 581–586.
- WRLA-2014-Riesco #integration #maude
- An Integration of CafeOBJ into Full Maude (AR), pp. 230–246.
- TAP-2013-CaballeroMRT #debugging #declarative #erlang #source code
- A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 96–114.
- TAP-2013-InsaSR #algorithm #debugging #execution #using
- Speeding Up Algorithmic Debugging Using Balanced Execution Trees (DI, JS, AR), pp. 133–151.
- WRLA-2012-Riesco #maude #specification #using
- Using Narrowing to Test Maude Specifications (AR), pp. 201–220.
- LOPSTR-2011-CaballeroRVM #debugging #declarative #maude #proving
- Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees (RC, AR, AV, NMO), pp. 73–89.
- PEPM-2010-RiescoR #nondeterminism #programming
- Programming with singular and plural non-deterministic functions (AR, JRH), pp. 83–92.
- RTA-2010-RiescoVM #debugging #declarative #maude
- Declarative Debugging of Missing Answers for Maude (AR, AV, NMO), pp. 277–294.
- WRLA-2010-RiescoVM #debugging #maude #specification
- Enhancing the Debugging of Maude Specifications (AR, AV, NMO), pp. 226–242.
- WRLA-J-2010-RiescoVMC12 #debugging #declarative #logic #specification
- Declarative debugging of rewriting logic specifications (AR, AV, NMO, RC), pp. 851–897.
- LDTA-2009-RiescoR10 #implementation #maude #semantics
- A Natural Implementation of Plural Semantics in Maude (AR, JRH), pp. 165–175.
- WRLA-2008-CaballeroMRV09 #debugging #declarative #functional #maude
- A Declarative Debugger for Maude Functional Modules (RC, NMO, AR, AV), pp. 63–81.
- WRLA-2008-RiescoV09 #implementation #maude #protocol
- Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol (AR, AV), pp. 249–266.
- WRLA-2006-DuranRV07 #distributed #implementation #maude #mobile
- A Distributed Implementation of Mobile Maude (FD, AR, AV), pp. 113–131.