BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
2 × Spain
Collaborated with:
M.Gallardo J.M.Troya C.Joubert E.Pimentel J.Martínez E.Rosales
Talks about:
abstract (2) analysi (2) verif (2) model (2) check (2) technolog (1) implement (1) protocol (1) communic (1) formula (1)

Person: Pedro Merino

DBLP DBLP: Merino:Pedro

Contributed to:

COCV 20072007
SAC 20022002
SAS 20022002
CAV 19961996

Wrote 4 papers:

COCV-2007-GallardoJM #analysis #data flow #on the fly #verification
On-the-Fly Data Flow Analysis Based on Verification Technology (MdMG, CJ, PM), pp. 33–48.
SAC-2002-GallardoMMR #abstraction #model checking #using #xml
Using XML to implement abstraction for Model Checking (MdMG, JM, PM, ER), pp. 1021–1025.
SAS-2002-GallardoMP #ltl #model checking #refinement
Refinement of LTL Formulas for Abstract Model Checking (MdMG, PM, EP), pp. 395–410.
CAV-1996-MerinoT #analysis #communication #integration #named #protocol #verification
EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols (PM, JMT), pp. 406–410.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.