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 × Italy
1 × The Netherlands
2 × Spain
Collaborated with:
P.Merino E.Pimentel D.Sanán J.M.Troya C.Joubert M.Alpuente A.Villanueva J.Martínez E.Rosales
Talks about:
abstract (4) model (3) check (3) analysi (2) verif (2) data (2) technolog (1) interpret (1) implement (1) framework (1)

Person: María-del-Mar Gallardo

DBLP DBLP: Gallardo:Mar=iacute=a=del=Mar

Contributed to:

SEFM 20102010
COCV 20072007
QAPL 20042005
SAC 20022002
SAS 20022002
LOPSTR 19951995

Wrote 6 papers:

SEFM-2010-GallardoS #calculus #verification #μ-calculus
Verification of Dynamic Data Tree with μ-calculus Extended with Separation (MdMG, DS), pp. 211–221.
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.
QAPL-2004-AlpuenteGPV05 #model checking #source code
Abstract Model Checking of tccp programs (MA, MdMG, EP, AV), pp. 19–36.
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.
LOPSTR-1995-GallardoT #abstract interpretation #cost analysis #framework #logic
Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis (MdMG, JMT), pp. 91–105.

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.