Searching for authors named "Pedro Merino" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
A Framework for Automatic Construction of Abstract Promela Models
- … Merino {gallardo,pedro}@(email omitted); Dpto. de Lenguajes y Ciencias de la Computacion University of Malaga…
- Cited by 6 (5 self) – Add To MetaCart
-
Integration of Reliability and Performance Analyses for Active Network Services
- … Martínez Pedro Merino, Guillermo Rodríguez Dpto. de Lenguajes y Ciencias de la Computacion University…
- Add To MetaCart
-
αSPIN: A tool for abstract model checking
- …10009-003-0122-9 αSPIN: A tool for abstract model checking María del Mar Gallardo, Jesús Martínez, Pedro…
- Add To MetaCart
-
αSPIN: Extending SPIN with Abstraction
- …αSPIN: Extending SPIN with Abstraction María del Mar Gallardo, Jesús Martínez, Pedro Merino…
- Add To MetaCart
-
Formal Aspects of Computing A generalized semantics of promela for abstract model checking
- … generalized semantics of promela for abstract model checking María del Mar Gallardo, Pedro Merino and Ernesto…
- Add To MetaCart
-
aSpin: Extending spin with abstraction
- …αSPIN: Extending SPIN with Abstraction Maria del Mar Gallardo, Jesus Martinez, Pedro Merino…
- Cited by 4 (1 self) – Add To MetaCart
-
Using XML to implement Abstraction for Model Checking
- …Ss Marfinez, Pedro Merino, Estefan[a Rosales Dpto. Lenguajes y Ciencias de la Computaci6n Universidad de M…
- Cited by 4 (4 self) – Add To MetaCart
-
Comparing Under and Over-Approximations of LTL Properties for Model Checking
- … del Mar Gallardo a,1,2 Pedro Merino a,3 Ernesto Pimentel a,4 a Dpto. de Lenguajes y Ciencias de la…
- Cited by 3 (3 self) – Add To MetaCart
-
Refinement of LTL Formulas for Abstract Model Checking
- …Refinement of LTL Formulas for Abstract Model Checking María del Mar Gallardo, Pedro Merino…
- Cited by 7 (3 self) – Add To MetaCart
-
Model checking active networks with SPIN
- …Abstract Model checking active networks with SPIN * María del Mar Gallardo*, Jesús Martínez, Pedro…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
