María-del-Mar Gallardo

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 22

Top Topics

Top Venues

Softw. Test. Verification Reliab.

Int. J. Softw. Tools Technol. Transf.

Publications

Rafael López-Gómez, Laura Panizo, María-del-Mar Gallardo
Flextory: Flexible Software Factory of IoT Data Consumers. Sensors 24 (8) (2024)
María-del-Mar Gallardo, Pedro Merino, Laura Panizo
The Role of Abstraction in Model Checking. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Francisco Luque-Schempp, Laura Panizo, María-del-Mar Gallardo, Pedro Merino
AutomAdapt: Zero Touch Configuration of 5G QoS Flows Extended for Time-Sensitive Networking. IEEE Access 11 (2023)
Laura Panizo, María-del-Mar Gallardo
STAn: analysis of data traces using an event-driven interval temporal logic. Autom. Softw. Eng. 30 (1) (2023)
Delia Rico, María-del-Mar Gallardo, Pedro Merino
Verification of a multi-connectivity protocol for Tactile Internet applications. Comput. Commun. 212 (2023)
Francisco Luque-Schempp, Laura Panizo, María-del-Mar Gallardo, Pedro Merino, Javier Rivas
Toward Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking. IEEE Netw. 36 (2) (2022)
Marco Comini, María-del-Mar Gallardo, Alicia Villanueva
A denotational semantics for PROMELA addressing arbitrary jumps. CoRR (2021)
Delia Rico, María-del-Mar Gallardo, Pedro Merino
Modeling and verification of the Multi-connection Tactile Internet Protocol. Q2SWinet (2021)
María-del-Mar Gallardo, Pedro Merino
Introduction to the Special Issue devoted to SPIN 2018. Int. J. Softw. Tools Technol. Transf. 22 (2) (2020)
María-del-Mar Gallardo, Laura Panizo
Trace Analysis Using an Event-Driven Interval Temporal Logic. LOPSTR (2019)
María-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino Gómez, Laura Panizo
How Formal Methods Can Contribute to 5G Networks. From Software Engineering to Formal Methods and Tools, and Back (2019)
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Laura Panizo, Pedro Merino
A formal approach to automatically analyse extra-functional properties in mobile applications. Softw. Test. Verification Reliab. 29 (4-5) (2019)
María-del-Mar Gallardo, Laura Panizo
Teaching Formal Methods: From Software in the Small to Software in the Large. FMTea (2019)
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón
Integrating river basin DSSs with model checking. Int. J. Softw. Tools Technol. Transf. 20 (5) (2018)
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino
Performance Analysis of Spotify® for Android with Model-Based Testing. Mob. Inf. Syst. 2017 (2017)
Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino
Guided test case generation for mobile apps in the TRIANGLE project: work in progress. SPIN (2017)
Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva
A program analysis framework for tccp based on abstract interpretation. Formal Aspects Comput. 29 (3) (2017)
Alberto Salmerón, Leticia Lavado, María-del-Mar Gallardo, Pedro Merino Gómez
Adding Correctness Checking to Test Automation Platform. ISSRE Workshops (2017)
Leticia Lavado, Laura Panizo, María-del-Mar Gallardo, Pedro Merino
A characterisation of verification tools for software defined networks. J. Reliab. Intell. Environ. 3 (3) (2017)
María-del-Mar Gallardo, Leticia Lavado, Laura Panizo
A Simulation Tool for tccp Programs. WLP / WFLP (2017)
María-del-Mar Gallardo, Leticia Lavado, Laura Panizo, Laura Titolo
A constraint-based language for modelling intelligent environments. J. Reliab. Intell. Environ. 3 (1) (2017)
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón
River Basin Management with Spin. SPIN (2016)
Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva
Abstract Analysis of Universal Properties for tccp. LOPSTR (2015)
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino
Using Model Checking to Generate Test Cases for Android Applications. MBT (2015)
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino
Runtime Verification of Expected Energy Consumption in Smartphones. SPIN (2015)
Damián Adalid, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino
Using SPIN for automated debugging of infinite executions of Java programs. J. Syst. Softw. 90 (2014)
María-del-Mar Gallardo, Laura Panizo
Extending model checkers for hybrid system verification: the case study of SPIN. Softw. Test. Verification Reliab. 24 (6) (2014)
Damián Adalid, María-del-Mar Gallardo, Laura Titolo
Modeling Hybrid Systems in Hy-tccp. CoRR (2014)
Damián Adalid, María-del-Mar Gallardo, Laura Titolo
Modeling Hybrid Systems in the Concurrent Constraint Paradigm. PROLE (2014)
María-del-Mar Gallardo, David Sanán
Verification of complex dynamic data tree with mu-calculus. Autom. Softw. Eng. 20 (4) (2013)
Laura Panizo, María-del-Mar Gallardo
An extension of Java PathFinder for hybrid systems. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
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) (2012)
María-del-Mar Gallardo
Preface of Prole 2012. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 55 (2012)
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. Exp. 41 (11) (2011)
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. Verification Reliab. 21 (4) (2011)
María-del-Mar Gallardo, David Sanán
Verification of Dynamic Data Tree with mu-calculus Extended with Separation. SEFM (2010)
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares
Developing a Decision Support Tool for Dam Management with SPIN. FMICS (2009)
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares
Using SCADE for Decision Support in Dam Management. MSVVEIS (2009)
María-del-Mar Gallardo, Pedro Merino, David Sanán
Model Checking Dynamic Memory Allocation in Operating Systems. J. Autom. Reason. 42 (2-4) (2009)
Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán
Checking the reliability of socket based communication software. Int. J. Softw. Tools Technol. Transf. 11 (5) (2009)
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)
María-del-Mar Gallardo, Pedro Merino, David Sanán
Model Checking C Programs with Dynamic Memory Allocation. COMPSAC (2008)
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. Electron. Notes Theor. Comput. Sci. 206 (2008)
Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino
Model Extraction for ARINC 653 Based Avionics Software. SPIN (2007)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel
PiXL: Applying xml standards to support the integration of analysis tools for protocols. Sci. Comput. Program. 65 (1) (2007)
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)
María-del-Mar Gallardo, Pedro Merino, David Sanán
Extending CADP for Analyzing C Code. MSVVEIS (2007)
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino
On-the-Fly Data Flow Analysis Based on Verification Technology. Electron. Notes Theor. Comput. Sci. 190 (4) (2007)
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)
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino
Implementing Influence Analysis Using Parameterised Boolean Equation Systems. ISoLA (2006)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel
PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. MSVVEIS (2006)
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
Verifying Real-Time Properties of tccp Programs. J. Univers. Comput. Sci. 12 (11) (2006)
Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino
Abstract Matching for Software Model Checking. SPIN (2006)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
On the Evolution of reliability Methods for Critical Software. Trans. SDPS 10 (4) (2006)
María-del-Mar Gallardo, Pedro Merino, David Sanán
Towards Model Checking C Code with OPEN/CÆSAR. MSVVEIS (2006)
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino
Static Analysis using Parameterised Boolean Equation Systems CoRR (2006)
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
Abstract Model Checking of tccp programs. Electron. Notes Theor. Comput. Sci. 112 (2005)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
Model checking active networks with SPIN. Comput. Commun. 28 (6) (2005)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodríguez
Integration of Reliability and Performance Analyses for Active Network Services. Electron. Notes Theor. Comput. Sci. 133 (2005)
Mariemma Inmaculada Yagüe del Valle, María-del-Mar Gallardo, Antonio Mana
Semantic Access Control Model: A Formal Specification. ESORICS (2005)
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) (2005)
Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán
Model checking software with well-defined APIs: the socket case. FMICS (2005)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
aSPIN: A tool for abstract model checking. Int. J. Softw. Tools Technol. Transf. 5 (2-3) (2004)
María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
A generalized semantics of PROMELA for abstract model checking. Formal Aspects Comput. 16 (3) (2004)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
Applying Data Abstraction to XML Formal Designs. SNPD (2003)
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)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Estefanía Rosales
Using XML to implement abstraction for Model Checking. SAC (2002)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
alpha SPIN: Extending SPIN with Abstraction. SPIN (2002)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
A Tool for Abstraction in Model Checking. Electron. Notes Theor. Comput. Sci. 66 (2) (2002)
Guillermo Rodríguez, Pedro Merino, María-del-Mar Gallardo
An extension of the ns simulator for active network research. Comput. Commun. 25 (3) (2002)
María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
Debugging UML Designs with Model Checking. J. Object Technol. 1 (2) (2002)
María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
Refinement of LTL Formulas for Abstract Model Checking. SAS (2002)
María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
Comparing Under and Over-Approximations of LTL Properties for Model Checking. Electron. Notes Theor. Comput. Sci. 76 (2002)
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)
María-del-Mar Gallardo, Pedro Merino
A Framework for Automatic Construction of Abstract Promela Models. SPIN (1999)
María-del-Mar Gallardo, José M. Troya
Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis. LOPSTR (1995)
María-del-Mar Gallardo, José M. Troya
Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation. GULP-PRODE (1) (1994)
María-del-Mar Gallardo, José M. Troya
Parlog Programs Nontermination Analysis. GULP (1993)