Publicaciones (83) Publicaciones de ADRIÁN RIESCO RODRÍGUEZ

2025

  1. Maude2Lean: Theorem proving for Maude specifications using Lean

    Journal of Logical and Algebraic Methods in Programming, Vol. 142

2024

  1. Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving

    Multimedia Tools and Applications, Vol. 83, Núm. 12, pp. 36865-36898

2023

  1. Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way

    ACM Transactions on Software Engineering and Methodology, Vol. 32, Núm. 6

  2. Verification of the ROS NavFn planner using executable specification languages

    Journal of Logical and Algebraic Methods in Programming, Vol. 132

2022

  1. An integrated tool set for verifying CafeOBJ specifications

    Journal of Systems and Software, Vol. 189

  2. Hardware Trojan detection via rewriting logic

    Journal of Logical and Algebraic Methods in Programming, Vol. 127

  3. Improving Database Learning with an Automatic Judge

    Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

  4. Integration of SMGA and Maude to Facilitate Characteristic Conjecture

    DMSVIVA 2022 - Proceedings of the 28th International DMS Conference on Visualization and Visual Languages

  5. LearnSQL: un juez para el aprendizaje de las bases de datos

    Jornada «Aprendizaje Eficaz con TIC en la UCM» (Universidad Complutense de Madrid), pp. 277-288

  6. Parallel Maude-NPA for Cryptographic Protocol Analysis

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  7. Preface

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  8. Theorem Proving for Maude Specifications Using Lean

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2021

  1. A Parallel Stratified Model Checking Technique/Tool for Leads-to Properties

    Proceedings - 2021 7th International Symposium on System and Software Reliability, ISSSR 2021

  2. A unified framework for declarative debugging and testing

    Information and Software Technology, Vol. 129

  3. Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model

    Advances in Intelligent Systems and Computing

  4. Teaching Inquiry-Oriented Mathematics: Establishing Support for Novice Lecturers

    Inquiry in University Mathematics Teaching and Learning: The PLATINUM Project (Masaryk University), pp. 289-306

2020

  1. CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model

    Practical Applications of Computational Biology & Bioinformatics: 14th International Conference (PACBB 2020)

2019

  1. A core Erlang semantics for declarative debugging

    Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 1-37

  2. An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)