Isabel Pita

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 16

Top Topics

Rewriting Systems

Top Venues

J. Log. Algebraic Methods Program.

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Publications

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Strategies, model checking and branching-time properties in Maude. CoRR (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Specifying Fairness Constraints and Model Checking with Non-intensional Strategies. WRLA (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Simulating and model checking membrane systems using strategies in Maude. CoRR (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Metalevel transformation of strategies. CoRR (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Model checking strategy-controlled systems in rewriting logic. CoRR (2024)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
QMaude: Quantitative Specification and Verification in Rewriting Logic. FM (2023)
Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
Strategies in Conditional Narrowing Modulo SMT Plus Axioms. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Model checking strategy-controlled systems in rewriting logic. Autom. Softw. Eng. 29 (1) (2022)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Simulating and model checking membrane systems using strategies in Maude. J. Log. Algebraic Methods Program. 124 (2022)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Metalevel transformation of strategies. J. Log. Algebraic Methods Program. 124 (2022)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Strategies, model checking and branching-time properties in Maude. J. Log. Algebraic Methods Program. 123 (2021)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Strategies, Model Checking and Branching-Time Properties in Maude. WRLA@ETAPS (2020)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Model Checking Strategy-Controlled Rewriting Systems (System Description). FSCD (2019)
Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. J. Autom. Reason. 60 (4) (2018)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
Parameterized Strategies Specification in Maude. WADT (2018)
Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
Conditional narrowing modulo SMT and axioms. PPDP (2017)
Isabel Pita, Adrián Riesco
Specifying and Analyzing the Kademlia Protocol in Maude. ICTAC (2015)
Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. Logic, Rewriting, and Concurrency (2015)
Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
Conditional Narrowing Modulo in Rewriting Logic and Maude. WRLA (2014)
Isabel Pita, María-Inés Fernández-Camacho
Formal Specification of the Kademlia and the Kad Routing Tables in Maude. WADT (2012)
Isabel Pita, Adrián Riesco
A Tool for Testing Data Type Implementations from Maude Algebraic Specifications. Electron. Notes Theor. Comput. Sci. 282 (2012)
Clara Segura, Isabel Pita, Rafael del Vado Vírseda, Ana Isabel Saiz, Pablo Soler
Interactive Learning of Data Structures and Algorithmic Schemes. ICCS (1) (2008)
José Miguel Cleva, Isabel Pita
Verification of CRWL Programs with Rewriting Logic. J. Univers. Comput. Sci. 12 (11) (2006)
Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum
A Verification Logic for Rewriting Logic. J. Log. Comput. 15 (3) (2005)
Isabel Pita, Miguel Palomino
Proving Modal Properties of Rewrite Theories Using Maude's Metalevel. Electron. Notes Theor. Comput. Sci. 137 (1) (2005)
Miguel Palomino, Isabel Pita
Proving VLRL Action Properties with the Maude Model Checker. WRLA (2004)
Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet
Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic. Formal Aspects Comput. 14 (3) (2003)
Isabel Pita, Narciso Martí-Oliet
A Maude specification of an object-oriented model for telecommunication networks. Theor. Comput. Sci. 285 (2) (2002)
Isabel Pita, Narciso Martí-Oliet
Proving modal and temporal properties of rewriting logic programs. APPIA-GULP-PRODE (2001)
Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet
The Leader Election Protocol of IEEE 1394 in Maude. WRLA (2000)
José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita
Towards a Verification Logic for Rewriting Logic. WADT (1999)
Isabel Pita, Narciso Martí-Oliet
Using Reflection to Specify Transaction Sequences in Rewriting Logic. WADT (1998)
Isabel Pita, Narciso Martí-Oliet
Using Reflection to Specify Transaction Sequences in Rewriting Logic. APPIA-GULP-PRODE (1997)
Isabel Pita, Narciso Martí-Oliet
A Maude specification of an object-oriented database model for telecommunication networks. WRLA (1996)