María-del-Mar Gallardo

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