| 2021 | MSWIM | Modeling and verification of the Multi-connection Tactile Internet Protocol. | Delia Rico, Mara-del-Mar Gallardo, Pedro Merino |
| 2019 | LOPSTR | Trace Analysis Using an Event-Driven Interval Temporal Logic. | Mara-del-Mar Gallardo, Laura Panizo |
| 2017 | ISSRE | Adding Correctness Checking to Test Automation Platform. | Alberto Salmern, Leticia Lavado, Mara-del-Mar Gallardo, Pedro Merino Gmez |
| 2015 | LOPSTR | Abstract Analysis of Universal Properties for tccp. | Marco Comini, Mara-del-Mar Gallardo, Laura Titolo, Alicia Villanueva |
| 2010 | SEFM | Verification of Dynamic Data Tree with mu-calculus Extended with Separation. | Mara-del-Mar Gallardo, David Sann |
| 2009 | FMICS | Developing a Decision Support Tool for Dam Management with SPIN. | Mara-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares |
| 2008 | COMPSAC | Model Checking C Programs with Dynamic Memory Allocation. | Mara-del-Mar Gallardo, Pedro Merino, David Sann |
| 2007 | ICECCS | On-the-fly model checking for C programs with extended CADP in FMICS-jETI. | Mara-del-Mar Gallardo, Pedro Merino, Christophe Joubert, David Sann |
| 2006 | ISoLA | Implementing Influence Analysis Using Parameterised Boolean Equation Systems. | Mara-del-Mar Gallardo, Christophe Joubert, Pedro Merino |
| 2005 | ESORICS | Semantic Access Control Model: A Formal Specification. | Mariemma Inmaculada Yage del Valle, Mara-del-Mar Gallardo, Antonio Mana |
| 2005 | FMICS | Model checking software with well-defined APIs: the socket case. | Pedro de la Cmara, Mara-del-Mar Gallardo, Pedro Merino, David Sann |
| 2003 | SNPD | Applying Data Abstraction to XML Formal Designs. | Mara-del-Mar Gallardo, Jess Martnez, Pedro Merino, Ernesto Pimentel |
| 2002 | SAC | Using XML to implement abstraction for Model Checking. | Mara-del-Mar Gallardo, Jess Martnez, Pedro Merino, Estefana Rosales |
| 2002 | SAS | Refinement of LTL Formulas for Abstract Model Checking. | Mara-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel |
| 1995 | LOPSTR | Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis. | Mara-del-Mar Gallardo, Jos M. Troya |