Isabel Pita

According to our database, Isabel Pita authored at least 27 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024

2023

QMaude: Quantitative Specification and Verification in Rewriting Logic.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Proceedings of the Formal Methods - 25th International Symposium, 2023

Strategies in Conditional Narrowing Modulo SMT Plus Axioms.

Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2022

Metalevel transformation of strategies.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

J. Log. Algebraic Methods Program., 2022

Simulating and model checking membrane systems using strategies in Maude.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

J. Log. Algebraic Methods Program., 2022

Model checking strategy-controlled systems in rewriting logic.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Autom. Softw. Eng., 2022

2021

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

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

J. Log. Algebraic Methods Program., 2021

2019

Model Checking Strategy-Controlled Rewriting Systems (System Description).

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

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

Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita

J. Autom. Reason., 2018

Parameterized Strategies Specification in Maude.

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Proceedings of the Recent Trends in Algebraic Development Techniques, 2018

2017

Conditional narrowing modulo SMT and axioms.

Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

2015

Specifying and Analyzing the Kademlia Protocol in Maude.

Isabel Pita, Adrián Riesco

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

2014

Conditional Narrowing Modulo in Rewriting Logic and Maude.

Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita

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

2012

Formal Specification of the Kademlia and the Kad Routing Tables in Maude.

Isabel Pita, María-Inés Fernández-Camacho

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

2011

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

Isabel Pita, Adrián Riesco

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

2008

Interactive Learning of Data Structures and Algorithmic Schemes.

Clara Segura, Isabel Pita, Rafael del Vado Vírseda, Ana Isabel Saiz, Pablo Soler

Proceedings of the Computational Science, 2008

2006

Verification of CRWL Programs with Rewriting Logic.

José Miguel Cleva, Isabel Pita

J. Univers. Comput. Sci., 2006

2005

A Verification Logic for Rewriting Logic.

Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum

J. Log. Comput., 2005

2004

Proving Modal Properties of Rewrite Theories Using Maude's Metalevel.

Isabel Pita, Miguel Palomino

Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004

Proving VLRL Action Properties with the Maude Model Checker.

Miguel Palomino, Isabel Pita

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

2003

Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic.

Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet

Formal Aspects Comput., 2003

2002

A Maude specification of an object-oriented model for telecommunication networks.

Isabel Pita, Narciso Martí-Oliet

Theor. Comput. Sci., 2002

2001

Proving modal and temporal properties of rewriting logic programs.

Isabel Pita, Narciso Martí-Oliet

Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000

The Leader Election Protocol of IEEE 1394 in Maude.

Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

1999

Towards a Verification Logic for Rewriting Logic.

José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

1997

Using Reflection to Specify Transaction Sequences in Rewriting Logic.

Isabel Pita, Narciso Martí-Oliet

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

A Maude specification of an object-oriented database model for telecommunication networks.

Isabel Pita, Narciso Martí-Oliet

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996