María-del-Mar Gallardo

	2009
37		María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares: Developing a Decision Support Tool for Dam Management with SPIN. FMICS 2009: 210-212
36		María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares: Using SCADE for Decision Support in Dam Management. MSVVEIS 2009: 125-131
35		María-del-Mar Gallardo, Pedro Merino, David Sanán: Model Checking Dynamic Memory Allocation in Operating Systems. J. Autom. Reasoning 42(2-4): 229-264 (2009)
	2008
34		María-del-Mar Gallardo, Pedro Merino, David Sanán: Model Checking C Programs with Dynamic Memory Allocation. COMPSAC 2008: 219-226
33		María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva: An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. Electr. Notes Theor. Comput. Sci. 206: 3-21 (2008)
	2007
32		María-del-Mar Gallardo, Pedro Merino, Christophe Joubert, David Sanán: On-the-fly model checking for C programs with extended CADP in FMICS-jETI. ICECCS 2007: 321-329
31		Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino: Model Extraction for ARINC 653 Based Avionics Software. SPIN 2007: 243-262
30		María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán: C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. SPIN 2007: 268-273
29		María-del-Mar Gallardo, Christophe Joubert, Pedro Merino: On-the-Fly Data Flow Analysis Based on Verification Technology. Electr. Notes Theor. Comput. Sci. 190(4): 33-48 (2007)
28		María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel: PiXL: Applying xml standards to support the integration of analysis tools for protocols. Sci. Comput. Program. 65(1): 57-69 (2007)
	2006
27		María-del-Mar Gallardo, Christophe Joubert, Pedro Merino: Implementing Influence Analysis Using Parameterised Boolean Equation Systems. ISoLA 2006: 416-424
26		María-del-Mar Gallardo, Pedro Merino, David Sanán: Towards Model Checking C Code with OPEN/CÆSAR. MSVVEIS 2006: 198-201
25		María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel: PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. MSVVEIS 2006: 57-66
24		Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino: Abstract Matching for Software Model Checking. SPIN 2006: 182-200
23		María-del-Mar Gallardo, Christophe Joubert, Pedro Merino: Static Analysis using Parameterised Boolean Equation Systems CoRR abs/cs/0606092: (2006)
22		María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva: Verifying Real-Time Properties of tccp Programs. J. UCS 12(11): 1551-1573 (2006)
	2005
21		Mariemma Inmaculada Yagüe del Valle, María-del-Mar Gallardo, Antonio Mana: Semantic Access Control Model: A Formal Specification. ESORICS 2005: 24-43
20		María-del-Mar Gallardo, Jesús Martínez, Pedro Merino: Model checking active networks with SPIN. Computer Communications 28(6): 609-622 (2005)
19		María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva: Abstract Model Checking of tccp programs. Electr. Notes Theor. Comput. Sci. 112: 19-36 (2005)
18		María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodriguez: Integration of Reliability and Performance Analyses for Active Network Services. Electr. Notes Theor. Comput. Sci. 133: 217-236 (2005)
17		María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva: A semantic framework for the abstract model checking of tccp programs. Theor. Comput. Sci. 346(1): 58-95 (2005)
	2004
16		María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: A generalized semantics of PROMELA for abstract model checking. Formal Asp. Comput. 16(3): 166-193 (2004)
15		María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: aSPIN: A tool for abstract model checking. STTT 5(2-3): 165-184 (2004)
	2003
14		María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: Abstract Model Checking and Refinement of Temporal Logic in aSPIN. ACSD 2003: 245-246
13		María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: Applying Data Abstraction to XML Formal Designs. SNPD 2003: 315-321
	2002
12		María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Estefanía Rosales: Using XML to implement abstraction for Model Checking. SAC 2002: 1021-1025
11		María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Refinement of LTL Formulas for Abstract Model Checking. SAS 2002: 395-410
10		María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: alpha SPIN: Extending SPIN with Abstraction. SPIN 2002: 254-258
9		Guillermo Rodriguez, Pedro Merino, María-del-Mar Gallardo: An extension of the ns simulator for active network research. Computer Communications 25(3): 189-197 (2002)
8		María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: A Tool for Abstraction in Model Checking. Electr. Notes Theor. Comput. Sci. 66(2): (2002)
7		María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Comparing Under and Over-Approximations of LTL Properties for Model Checking. Electr. Notes Theor. Comput. Sci. 76: (2002)
6		María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Debugging UML Designs with Model Checking. Journal of Object Technology 1(2): 101-117 (2002)
	2000
5		María-del-Mar Gallardo, Pedro Merino: Verifying Distributed Systems with Model Checking and Static Analysis. ICDCS Workshop on Distributed System Validation and Verification 2000: E87-E90
	1999
4		María-del-Mar Gallardo, Pedro Merino: A Framework for Automatic Construction of Abstract Promela Models. SPIN 1999: 184-199
	1995
3		María-del-Mar Gallardo, José M. Troya: Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis. LOPSTR 1995: 91-105
	1994
2		María-del-Mar Gallardo, José M. Troya: Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation. GULP-PRODE (1) 1994: 342-356
	1993
1		María-del-Mar Gallardo, José M. Troya: Parlog Programs Nontermination Analysis. GULP 1993: 237-250

Coauthor Index

1	María Alpuente	[17] [19] [22] [33]
2	Pedro de la Cámara	[24] [31]
3	Christophe Joubert	[23] [27] [29] [30] [32]
4	Antonio Linares	[36] [37]
5	Antonio Maña (Antonio Mana)	[21]
6	Jesús Martínez	[8] [10] [12] [13] [14] [15] [18] [20] [25] [28]
7	Pedro Merino	[4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [20] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [34] [35] [36] [37]
8	Pablo Nuñez	[25] [28]
9	Laura Panizo	[36] [37]
10	Ernesto Pimentel	[6] [7] [8] [10] [11] [13] [14] [15] [16] [17] [19] [22] [25] [28] [33]
11	Guillermo Rodriguez	[9] [18]
12	Estefanía Rosales	[12]
13	David Sanán	[26] [30] [32] [34] [35]
14	José M. Troya (José María Troya Linero)	[1] [2] [3]
15	Mariemma Inmaculada Yagüe del Valle	[21]
16	Alicia Villanueva	[17] [19] [22] [33]