Adrián Riesco

J. Log. Algebraic Methods Program., 2025

2024

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

[BibT_eX]

[DOI]

Multim. Tools Appl., April, 2024

2023

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

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., November, 2023

Verification of the ROS NavFn planner using executable specification languages.

[BibT_eX]

[DOI]

Manuel Montenegro

J. Log. Algebraic Methods Program., April, 2023

2022

An integrated tool set for verifying CafeOBJ specifications.

[BibT_eX]

[DOI]

J. Syst. Softw., 2022

Hardware Trojan detection via rewriting logic.

[BibT_eX]

[DOI]

Ramtine Tofighi-Shirazi

Uemura Yasuyoshi

J. Log. Algebraic Methods Program., 2022

Parallel Maude-NPA for Cryptographic Protocol Analysis.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

Improving Database Learning with an Automatic Judge.

[BibT_eX]

[DOI]

Manuel Montenegro

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Theorem Proving for Maude Specifications Using Lean.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2022

Integration of SMGA and Maude to Facilitate Characteristic Conjecture.

[BibT_eX]

[DOI]

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

2021

A unified framework for declarative debugging and testing.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2021

2020

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

[BibT_eX]

[DOI]

Merrill Knapp

Emiliano Hernández Galilea

Proceedings of the Practical Applications of Computational Biology & Bioinformatics, 2020

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

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

2019

Property-Based Testing for Spark Streaming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

A core Erlang semantics for declarative debugging.

[BibT_eX]

[DOI]

Carlos Gregorio-Rodríguez

J. Log. Algebraic Methods Program., 2019

Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study.

[BibT_eX]

[DOI]

Jose Luis Brita-Paja

Luis Llana

Cristóbal Pareja

Interact. Learn. Environ., 2019

Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information.

[BibT_eX]

[DOI]

Merrill Knapp

José Carlos R. Alcantud

Cristina Valentina Espinosa

IEEE Access, 2019

FlinkCheck: Property-Based Testing for Apache Flink.

[BibT_eX]

[DOI]

IEEE Access, 2019

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

[BibT_eX]

[DOI]

Ha Thi Thu Doan

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2019

2018

Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2018

Slicing from formal semantics: Chisel - a tool for generic program slicing.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2018

Declarative debugging of concurrent Erlang programs.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2018

A Language-Independent Technique for Assessing Tweet Success: An Experience Report.

[BibT_eX]

[DOI]

Manuel Rodriguez

IEEE Access, 2018

MUnit: A Unit Framework for Maude.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

Context-Updates Analysis and Refinement in Chisel.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 25th International Symposium, 2018

Model Checking Parameterized by the Semantics in Maude.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

Specification and Verification of Invariant Properties of Transition Systems.

[BibT_eX]

[DOI]

Daniel Gâinâ

Ionut Tutu

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017

A Maude environment for CafeOBJ.

[BibT_eX]

[DOI]

Kokichi Futatsugi

Formal Aspects Comput., 2017

A Survey of Algorithmic Debugging.

[BibT_eX]

[DOI]

Josep Silva

ACM Comput. Surv., 2017

Reverse Inference in Symbolic Systems Biology.

[BibT_eX]

[DOI]

Merrill Knapp

Proceedings of the 11th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2017

A Formal Proof Generator from Semi-formal Proof Documents.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

Slicing from Formal Semantics: Chisel.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016

Debugging Meets Testing in Erlang.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 10th International Conference, 2016

Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach.

[BibT_eX]

[DOI]

Javier De Las Rivas

Proceedings of the 10th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2016

Temporal Random Testing for Spark Streaming.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

CafeInMaude: A CafeOBJ Interpreter in Maude.

[BibT_eX]

[DOI]

Kokichi Futatsugi

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015

A zoom-declarative debugger for sequential Erlang programs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Memory Policy Analysis for Semantics Specifications in Maude.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Specifying and Analyzing the Kademlia Protocol in Maude.

[BibT_eX]

[DOI]

Isabel Pita

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

Singular and plural functions for functional logic programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

Lifting Term Rewriting Derivations in Constructor Systems by Using Generators.

[BibT_eX]

[DOI]

Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014

An Integration of CafeOBJ into Full Maude.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

EDD: A Declarative Debugger for Sequential Erlang Programs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Towards a Formal Semantics-Based Technique for Interprocedural Slicing.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2013

Speeding Up Algorithmic Debugging Using Balanced Execution Trees.

[BibT_eX]

[DOI]

David Insa

Josep Silva

Proceedings of the Tests and Proofs - 7th International Conference, 2013

A Declarative Debugger for Sequential Erlang Programs.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 7th International Conference, 2013

2012

Declarative debugging of rewriting logic specifications.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

Using Narrowing to Test Maude Specifications.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

A Generic Program Slicing Technique Based on Language Definitions.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

S-Narrowing for Constructor Systems.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Using Semantics Specified in Maude to Generate Test Cases.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2011

A Tool for Testing Data Type Implementations from Maude Algebraic Specifications.

[BibT_eX]

[DOI]

Isabel Pita

Proceedings of the XI Spanish Conference on Programming and Languages, 2011

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

2010

Enhancing the Debugging of Maude Specifications.

[BibT_eX]

[DOI]

Narciso Martí-Oliet

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

Test-Case Generation for Maude Functional Modules.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Declarative Debugging of Missing Answers for Maude.

[BibT_eX]

[DOI]

Narciso Martí-Oliet

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

Programming with singular and plural non-deterministic functions.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

A Complete Declarative Debugger for Maude.

[BibT_eX]

[DOI]

Narciso Martí-Oliet

Proceedings of the Algebraic Methodology and Software Technology, 2010

Integrating Maude into Hets.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

A Natural Implementation of Plural Semantics in Maude.

[BibT_eX]

[DOI]

Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009

2008

Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

A Declarative Debugger for Maude Functional Modules.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

Declarative Debugging of Membership Equational Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

A Declarative Debugger for Maude.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Mobile Maude.

[BibT_eX]

[DOI]

Proceedings of the All About Maude, 2007

Distributed Applications Implemented in Maude with Parameterized Skeletons.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

2006

Introducing the ITP Tool: a Tutorial.

[BibT_eX]

[DOI]

Manuel Clavel

Miguel Palomino

J. Univers. Comput. Sci., 2006

A Distributed Implementation of Mobile Maude.

[BibT_eX]

[DOI]

Francisco Durán