Isabel Pita

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