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: Gallardo:Mar=iacute=a=del=Mar
Contributed to:
2010
2007
2005
2002
2002
1995Wrote 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.