Seguir
ISABEL PITA
ISABEL PITA
Profesor de Informática, Universidad Complutense de Madrid
Dirección de correo verificada de ucm.es
Título
Citado por
Citado por
Año
Strategies, model checking and branching-time properties in Maude
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Journal of Logical and Algebraic Methods in Programming 123, 100700, 2021
312021
Towards a verification logic for rewriting logic
JL Fiadeiro, T Maibaum, N Martí-Oliet, J Meseguer, I Pita
Recent Trends in Algebraic Development Techniques: 14th International …, 2000
282000
Model checking strategy-controlled systems in rewriting logic
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Automated Software Engineering 29 (1), 7, 2022
262022
Parameterized strategies specification in Maude
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 …, 2019
242019
Model checking strategy-controlled rewriting systems (system description)
R Rubio, N Martí-Oliet, I Pita, A Verdejo
4th International Conference on Formal Structures for Computation and …, 2019
192019
Simulating and model checking membrane systems using strategies in Maude
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Journal of Logical and Algebraic Methods in Programming 124, 100727, 2022
162022
Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic
A Verdejo, I Pita, N Martí-Oliet
Formal Aspects of Computing 14, 228-246, 2003
152003
Interactive Learning of Data Structures and Algorithmic Schemes
C Segura, I Pita, R del Vado Vírseda, AI Saiz, P Soler
Computational Science–ICCS 2008: 8th International Conference, Kraków …, 2008
142008
A Maude specification of an object-oriented database model for telecommunication networks
I Pita, N Martí-Oliet
Electronic Notes in Theoretical Computer Science 4, 405-423, 1996
131996
Metalevel transformation of strategies
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Journal of Logical and Algebraic Methods in Programming 124, 100728, 2022
102022
Conditional narrowing modulo in rewriting logic and Maude
L Aguirre, N Martí-Oliet, M Palomino, I Pita
International Workshop on Rewriting Logic and its Applications, 80-96, 2014
102014
Using reflection to specify transaction sequences in rewriting logic
I Pita, N Martí-Oliet
Recent Trends in Algebraic Development Techniques: 13th International …, 1999
101999
The semantics of the Maude strategy language
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Technical report 01/21, Departamento de Sistemas Informáticos y Computación …, 2021
92021
Strategies, model checking and branching-time properties in Maude
R Rubio, N Martí-Oliet, I Pita, A Verdejo
International Workshop on Rewriting Logic and its Applications, 156-175, 2020
92020
Conditional narrowing modulo SMT and axioms
L Aguirre, N Martí-Oliet, M Palomino, I Pita
Proceedings of the 19th International Symposium on Principles and Practice …, 2017
92017
Estudio de una experiencia de aprendizaje interactivo para la asignatura de estructura de datos
I Pita, R Del Vado
Jornada Campus Virtual UCM, 2007
92007
A verification logic for rewriting logic
N Martí-Oliet, I Pita, JL Fiadeiro, J Meseguer, T Maibaum
Journal of Logic and Computation 15 (3), 317-352, 2005
92005
Strategy language for Maude
S Eker, N Martí-Oliet, J Meseguer, I Pita, R Rubio, A Verdejo
URL: http://maude. ucm. es/strategies, 2021
82021
Sentence-normalized conditional narrowing modulo in rewriting logic and maude
L Aguirre, N Martí-Oliet, M Palomino, I Pita
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 2015
82015
QMaude: quantitative specification and verification in rewriting logic
R Rubio, N Martí-Oliet, I Pita, A Verdejo
International Symposium on Formal Methods, 240-259, 2023
62023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20