- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j21 |      | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán: A model-extraction approach to verifying concurrent C programs with CADP. Sci. Comput. Program. 77(3): 375-392 (2012) |
| j20 | | Laura Panizo, María-del-Mar Gallardo: An extension of Java PathFinder for hybrid systems. ACM SIGSOFT Software Engineering Notes 37(6): 1-5 (2012) |
| 2011 | ||
| j19 | | María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares: A practical use of model checking for synthesis: generating a dam controller for flood management. Softw., Pract. Exper. 41(11): 1329-1347 (2011) |
| j18 | | Pedro de la Cámara, J. Raúl Castro, María-del-Mar Gallardo, Pedro Merino: Verification support for ARINC-653-based avionics software. Softw. Test., Verif. Reliab. 21(4): 267-298 (2011) |
| 2010 | ||
| c23 | | María-del-Mar Gallardo, David Sanán: Verification of Dynamic Data Tree with mu-calculus Extended with Separation. SEFM 2010: 211-221 |
| 2009 | ||
| j17 | | 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) |
| j16 | | Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán: Checking the reliability of socket based communication software. STTT 11(5): 359-374 (2009) |
| c22 | | 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 |
| c21 |  | María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares: Using SCADE for Decision Support in Dam Management. MSVVEIS 2009: 125-131 |
| 2008 | ||
| j15 | | 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) |
| j14 | | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán: Web Services for Accessing Explicit State Space Verification Tools. ERCIM News 2008(73) (2008) |
| c20 | | María-del-Mar Gallardo, Pedro Merino, David Sanán: Model Checking C Programs with Dynamic Memory Allocation. COMPSAC 2008: 219-226 |
| 2007 | ||
| j13 | | 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) |
| j12 | | 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) |
| c19 | | 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 |
| c18 | | Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino: Model Extraction for ARINC 653 Based Avionics Software. SPIN 2007: 243-262 |
| c17 | | 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 |
| c16 | | María-del-Mar Gallardo, Pedro Merino, David Sanán: Extending CADP for Analyzing C Code. MSVVEIS 2007: 104-113 |
| 2006 | ||
| j11 | | 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) |
| c15 | | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino: Implementing Influence Analysis Using Parameterised Boolean Equation Systems. ISoLA 2006: 416-424 |
| c14 | | Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino: Abstract Matching for Software Model Checking. SPIN 2006: 182-200 |
| c13 | | 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 |
| c12 | | María-del-Mar Gallardo, Pedro Merino, David Sanán: Towards Model Checking C Code with OPEN/CÆSAR. MSVVEIS 2006: 198-201 |
| i1 | | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino: Static Analysis using Parameterised Boolean Equation Systems. CoRR abs/cs/0606092 (2006) |
| 2005 | ||
| j10 | | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino: Model checking active networks with SPIN. Computer Communications 28(6): 609-622 (2005) |
| j9 | | 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) |
| j8 | | 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) |
| j7 | | 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) |
| c11 | | Mariemma Inmaculada Yagüe del Valle, María-del-Mar Gallardo, Antonio Mana: Semantic Access Control Model: A Formal Specification. ESORICS 2005: 24-43 |
| 2004 | ||
| j6 | | 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) |
| j5 | | 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 | ||
| c10 | | 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 |
| c9 | | 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 | ||
| j4 | | 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) |
| j3 | | 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): 17-32 (2002) |
| j2 | | 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: 131-144 (2002) |
| j1 | | María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Debugging UML Designs with Model Checking. Journal of Object Technology 1(2): 101-117 (2002) |
| c8 | | 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 |
| c7 | | María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Refinement of LTL Formulas for Abstract Model Checking. SAS 2002: 395-410 |
| c6 | | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: alpha SPIN: Extending SPIN with Abstraction. SPIN 2002: 254-258 |
| 2000 | ||
| c5 | | 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 | ||
| c4 | | María-del-Mar Gallardo, Pedro Merino: A Framework for Automatic Construction of Abstract Promela Models. SPIN 1999: 184-199 |
| 1995 | ||
| c3 | | 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 | ||
| c2 | | 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 | ||
| c1 | | |
| 1 | María Alpuente | |
| 2 | J. Raúl Castro | |
| 3 | Pedro de la Cámara | |
| 4 | Christophe Joubert | |
| 5 | Antonio Linares | |
| 6 | Jesús Martínez | |
| 7 | Antonio Maña (Antonio Maña Gómez, Antonio Mana) | |
| 8 | Pedro Merino (Pedro Merino Gómez) | |
| 9 | Pablo Nuñez | |
| 10 | Laura Panizo | |
| 11 | Ernesto Pimentel | |
| 12 | Guillermo Rodriguez | |
| 13 | Estefanía Rosales | |
| 14 | David Sanán | |
| 15 | José M. Troya (José María Troya Linero) | |
| 16 | Mariemma Inmaculada Yagüe del Valle | |
| 17 | Alicia Villanueva |
Data released under the ODC-BY 1.0 license — See also our legal information page