Publications (35) MARÍA ISABEL PITA ANDREU publications

2024

  1. Specifying Fairness Constraints and Model Checking with Non-intensional Strategies

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

2023

  1. QMaude: Quantitative Specification and Verification in Rewriting Logic

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

  2. Strategies in Conditional Narrowing Modulo SMT Plus Axioms

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 1-20

  3. UnitJudge: a novel online automatic correction system for long programming practices by means of unit tests

    10th International and the 16th National Conference on E-Learning and E-Teaching, ICeLeT 2023

2022

  1. Metalevel transformation of strategies

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

  2. Model checking strategy-controlled systems in rewriting logic

    Automated Software Engineering, Vol. 29, Núm. 1

  3. Simulating and model checking membrane systems using strategies in Maude

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

2021

  1. Strategies, model checking and branching-time properties in Maude

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

2020

  1. Strategies, Model Checking and Branching-Time Properties in Maude

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

2019

  1. Model checking strategy-controlled rewriting systems

    Leibniz International Proceedings in Informatics, LIPIcs

  2. Parameterized strategies specification in Maude

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

2018

  1. Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

    Journal of Automated Reasoning, Vol. 60, Núm. 4, pp. 421-463

2017

  1. Conditional narrowing modulo SMT and axioms

    ACM International Conference Proceeding Series

2015

  1. Sentence-normalized conditional narrowing modulo in rewriting logic and Maude

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

  2. Specifying and analyzing the kademlia protocol in maude

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

2014

  1. Conditional narrowing modulo in rewriting logic and maude

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8663, pp. 80-96

2013

  1. Formal specification of the Kademlia and the Kad routing tables in Maude

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

2012

  1. A tool for testing data type implementations from Maude algebraic specifications

    Electronic Notes in Theoretical Computer Science

2008

  1. Estudio de una experiencia de aprendizaje interactivo para la asignatura de Estructura de Datos a través del Campus Virtual

    Experiencias en el campus virtual: resultados

  2. Interactive learning of data structures and algorithmic schemes

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