| 2022 | ICFEM | Theorem Proving for Maude Specifications Using Lean. | Rubn Rubio, Adrin Riesco |
| 2022 | SEKE | Improving Database Learning with an Automatic Judge. | Enrique Martin-Martin, Manuel Montenegro, Adrin Riesco, Rubn Rubio |
| 2020 | ICTAC | CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications. | Adrin Riesco, Kazuhiro Ogata |
| 2020 | PACBB | Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model. | Adrin Riesco, Beatriz Santos-Buitrago, Merrill Knapp, Gustavo Santos-Garca, Emiliano Hernndez Galilea, Carolyn L. Talcott |
| 2019 | HAIS | Classifying Pastebin Content Through the Generation of PasteCC Labeled Dataset. | Adrin Riesco, Eduardo Fidalgo, Mhd Wesam Al-Nabki, Francisco Jez-Martino, Enrique Alegre |
| 2019 | SSS | An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms. | Ha Thi Thu Doan, Adrin Riesco, Kazuhiro Ogata |
| 2018 | APSEC | Specification and Verification of Invariant Properties of Transition Systems. | Daniel Gin, Ionut Tutu, Adrin Riesco |
| 2018 | FLOPS | Model Checking Parameterized by the Semantics in Maude. | Adrin Riesco |
| 2017 | FASE | Slicing from Formal Semantics: Chisel. | Adrin Riesco, Irina Mariuca Asavoae, Mihail Asavoae |
| 2017 | ICTAC | A Formal Proof Generator from Semi-formal Proof Documents. | Adrin Riesco, Kazuhiro Ogata |
| 2017 | PACBB | Reverse Inference in Symbolic Systems Biology. | Beatriz Santos-Buitrago, Adrin Riesco, Merrill Knapp, Gustavo Santos-Garca, Carolyn L. Talcott |
| 2016 | FASE | CafeInMaude: A CafeOBJ Interpreter in Maude. | Adrin Riesco, Kazuhiro Ogata, Kokichi Futatsugi |
| 2016 | IFM | Temporal Random Testing for Spark Streaming. | Adrin Riesco, Juan Rodrguez-Hortal |
| 2016 | PACBB | Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach. | Gustavo Santos-Garca, Carolyn L. Talcott, Adrin Riesco, Beatriz Santos-Buitrago, Javier De Las Rivas |
| 2016 | TAP | Debugging Meets Testing in Erlang. | Salvador Tamarit, Adrin Riesco, Enrique Martin-Martin, Rafael Caballero |
| 2015 | ICTAC | Specifying and Analyzing the Kademlia Protocol in Maude. | Isabel Pita, Adrin Riesco |
| 2015 | LOPSTR | Memory Policy Analysis for Semantics Specifications in Maude. | Adrin Riesco, Irina Mariuca Asavoae, Mihail Asavoae |
| 2014 | FLOPS | Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging. | Adrin Riesco |
| 2014 | IFM | Towards a Formal Semantics-Based Technique for Interprocedural Slicing. | Irina Mariuca Asavoae, Mihail Asavoae, Adrin Riesco |
| 2014 | TACAS | EDD: A Declarative Debugger for Sequential Erlang Programs. | Rafael Caballero, Enrique Martin-Martin, Adrin Riesco, Salvador Tamarit |
| 2013 | TAP | A Declarative Debugger for Sequential Erlang Programs. | Rafael Caballero, Enrique Martin-Martin, Adrin Riesco, Salvador Tamarit |
| 2013 | TAP | Speeding Up Algorithmic Debugging Using Balanced Execution Trees. | David Insa, Josep Silva, Adrin Riesco |
| 2012 | ICTAC | Using Semantics Specified in Maude to Generate Test Cases. | Adrin Riesco |
| 2012 | ICTAC | S-Narrowing for Constructor Systems. | Adrin Riesco, Juan Rodrguez-Hortal |
| 2011 | LOPSTR | Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. | Rafael Caballero, Adrin Riesco, Alberto Verdejo, Narciso Mart-Oliet |
| 2010 | PEPM | Programming with singular and plural non-deterministic functions. | Adrin Riesco, Juan Rodrguez-Hortal |