default search action
María-del-Mar Gallardo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j31]Rafael López-Gómez
, Laura Panizo
Flextory: Flexible Software Factory of IoT Data Consumers. Sensors 24(8): 2550 (2024) - 2023
- [j30]Francisco Luque-Schempp
AutomAdapt: Zero Touch Configuration of 5G QoS Flows Extended for Time-Sensitive Networking. IEEE Access 11: 82960-82977 (2023) - [j29]Laura Panizo
STAn: analysis of data traces using an event-driven interval temporal logic. Autom. Softw. Eng. 30(1): 3 (2023) - [j28]Delia Rico
Verification of a multi-connectivity protocol for Tactile Internet applications. Comput. Commun. 212: 390-406 (2023) - [c43]María-del-Mar Gallardo
The Role of Abstraction in Model Checking. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 151-169 - 2022
- [j27]Francisco Luque-Schempp
Toward Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking. IEEE Netw. 36(2): 50-56 (2022) - 2021
- [c42]Delia Rico
Modeling and verification of the Multi-connection Tactile Internet Protocol. Q2SWinet 2021: 105-114 - [i4]Marco Comini, María-del-Mar Gallardo, Alicia Villanueva:
A denotational semantics for PROMELA addressing arbitrary jumps. CoRR abs/2108.12348 (2021) - 2020
- [j26]María-del-Mar Gallardo, Pedro Merino
Introduction to the Special Issue devoted to SPIN 2018. Int. J. Softw. Tools Technol. Transf. 22(2): 103-104 (2020)
2010 – 2019
- 2019
- [j25]Ana Rosario Espada
A formal approach to automatically analyse extra-functional properties in mobile applications. Softw. Test. Verification Reliab. 29(4-5) (2019) - [c41]María-del-Mar Gallardo, Francisco Luque-Schempp
How Formal Methods Can Contribute to 5G Networks. From Software Engineering to Formal Methods and Tools, and Back 2019: 548-571 - [c40]María-del-Mar Gallardo, Laura Panizo
Trace Analysis Using an Event-Driven Interval Temporal Logic. LOPSTR 2019: 177-192 - [c39]María-del-Mar Gallardo
Teaching Formal Methods: From Software in the Small to Software in the Large. FMTea 2019: 97-110 - 2018
- [j24]María-del-Mar Gallardo, Pedro Merino
Integrating river basin DSSs with model checking. Int. J. Softw. Tools Technol. Transf. 20(5): 499-514 (2018) - [e1]María-del-Mar Gallardo, Pedro Merino:
Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. Lecture Notes in Computer Science 10869, Springer 2018, ISBN 978-3-319-94110-3 [contents] - 2017
- [j23]Marco Comini
A program analysis framework for tccp based on abstract interpretation. Formal Aspects Comput. 29(3): 531-557 (2017) - [j22]María-del-Mar Gallardo, Leticia Lavado, Laura Panizo
A constraint-based language for modelling intelligent environments. J. Reliab. Intell. Environ. 3(1): 55-79 (2017) - [j21]Leticia Lavado
A characterisation of verification tools for software defined networks. J. Reliab. Intell. Environ. 3(3): 189-207 (2017) - [j20]Ana Rosario Espada
Performance Analysis of Spotify® for Android with Model-Based Testing. Mob. Inf. Syst. 2017: 2012696:1-2012696:14 (2017) - [c38]Alberto Salmerón, Leticia Lavado, María-del-Mar Gallardo, Pedro Merino Gómez
Adding Correctness Checking to Test Automation Platform. ISSRE Workshops 2017: 132-138 - [c37]Laura Panizo
Guided test case generation for mobile apps in the TRIANGLE project: work in progress. SPIN 2017: 192-195 - [c36]María-del-Mar Gallardo, Leticia Lavado, Laura Panizo
A Simulation Tool for tccp Programs. WLP / WFLP 2017: 120-134 - 2016
- [c35]María-del-Mar Gallardo, Pedro Merino
River Basin Management with Spin. SPIN 2016: 78-96 - 2015
- [c34]Marco Comini
Abstract Analysis of Universal Properties for tccp. LOPSTR 2015: 163-178 - [c33]Ana Rosario Espada
Runtime Verification of Expected Energy Consumption in Smartphones. SPIN 2015: 132-149 - [c32]Ana Rosario Espada
Using Model Checking to Generate Test Cases for Android Applications. MBT 2015: 7-21 - 2014
- [j19]Damián Adalid, Alberto Salmerón
Using SPIN for automated debugging of infinite executions of Java programs. J. Syst. Softw. 90: 61-75 (2014) - [j18]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): 438-471 (2014) - [c31]Damián Adalid, María-del-Mar Gallardo, Laura Titolo
Modeling Hybrid Systems in the Concurrent Constraint Paradigm. PROLE 2014: 1-15 - [i3]Damián Adalid, María-del-Mar Gallardo, Laura Titolo:
Modeling Hybrid Systems in Hy-tccp. CoRR abs/1412.4550 (2014) - 2013
- [j17]María-del-Mar Gallardo, David Sanán
Verification of complex dynamic data tree with mu-calculus. Autom. Softw. Eng. 20(4): 569-612 (2013) - 2012
- [j16]María-del-Mar Gallardo:
Preface of Prole 2012. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 55 (2012) - [j15]María-del-Mar Gallardo, Christophe Joubert
A model-extraction approach to verifying concurrent C programs with CADP. Sci. Comput. Program. 77(3): 375-392 (2012) - [j14]Laura Panizo
An extension of Java PathFinder for hybrid systems. ACM SIGSOFT Softw. Eng. Notes 37(6): 1-5 (2012) - 2011
- [j13]María-del-Mar Gallardo, Pedro Merino
A practical use of model checking for synthesis: generating a dam controller for flood management. Softw. Pract. Exp. 41(11): 1329-1347 (2011) - [j12]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): 267-298 (2011) - 2010
- [c30]María-del-Mar Gallardo, David Sanán
Verification of Dynamic Data Tree with mu-calculus Extended with Separation. SEFM 2010: 211-221
2000 – 2009
- 2009
- [j11]María-del-Mar Gallardo, Pedro Merino
Model Checking Dynamic Memory Allocation in Operating Systems. J. Autom. Reason. 42(2-4): 229-264 (2009) - [j10]Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino
Checking the reliability of socket based communication software. Int. J. Softw. Tools Technol. Transf. 11(5): 359-374 (2009) - [c29]María-del-Mar Gallardo, Pedro Merino
Developing a Decision Support Tool for Dam Management with SPIN. FMICS 2009: 210-212 - [c28]María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares:
Using SCADE for Decision Support in Dam Management. MSVVEIS 2009: 125-131 - 2008
- [c27]María-del-Mar Gallardo, Pedro Merino
Model Checking C Programs with Dynamic Memory Allocation. COMPSAC 2008: 219-226 - [i2]María-del-Mar Gallardo, Christophe Joubert
Web Services for Accessing Explicit State Space Verification Tools. ERCIM News 2008(73) (2008) - 2007
- [j9]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
PiXL: Applying xml standards to support the integration of analysis tools for protocols. Sci. Comput. Program. 65(1): 57-69 (2007) - [c26]María-del-Mar Gallardo, Pedro Merino
On-the-fly model checking for C programs with extended CADP in FMICS-jETI. ICECCS 2007: 321-329 - [c25]Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino:
Model Extraction for ARINC 653 Based Avionics Software. SPIN 2007: 243-262 - [c24]María-del-Mar Gallardo, Christophe Joubert
C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. SPIN 2007: 268-273 - [c23]María-del-Mar Gallardo, Pedro Merino, David Sanán:
Extending CADP for Analyzing C Code. MSVVEIS 2007: 104-113 - [c22]María Alpuente
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. PROLE 2007: 3-21 - [c21]María-del-Mar Gallardo, Christophe Joubert
On-the-Fly Data Flow Analysis Based on Verification Technology. COCV@ETAPS 2007: 33-48 - 2006
- [j8]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): 55-67 (2006) - [j7]María Alpuente
Verifying Real-Time Properties of tccp Programs. J. Univers. Comput. Sci. 12(11): 1551-1573 (2006) - [c20]María-del-Mar Gallardo, Christophe Joubert
Implementing Influence Analysis Using Parameterised Boolean Equation Systems. ISoLA 2006: 416-424 - [c19]Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino:
Abstract Matching for Software Model Checking. SPIN 2006: 182-200 - [c18]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: 57-66 - [c17]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
Static Analysis using Parameterised Boolean Equation Systems. CoRR abs/cs/0606092 (2006) - 2005
- [j6]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
Model checking active networks with SPIN. Comput. Commun. 28(6): 609-622 (2005) - [j5]María Alpuente
A semantic framework for the abstract model checking of tccp programs. Theor. Comput. Sci. 346(1): 58-95 (2005) - [c16]Mariemma Inmaculada Yagüe del Valle, María-del-Mar Gallardo, Antonio Mana
Semantic Access Control Model: A Formal Specification. ESORICS 2005: 24-43 - [c15]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: 17-26 - 2004
- [j4]María-del-Mar Gallardo, Pedro Merino
A generalized semantics of PROMELA for abstract model checking. Formal Aspects Comput. 16(3): 166-193 (2004) - [j3]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): 165-184 (2004) - [c14]María Alpuente
Abstract Model Checking of tccp programs. QAPL 2004: 19-36 - [c13]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
Integration of Reliability and Performance Analyses for Active Network Services. FMICS 2004: 217-236 - 2003
- [c12]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
Abstract Model Checking and Refinement of Temporal Logic in aSPIN. ACSD 2003: 245-246 - [c11]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
- [j2]Guillermo Rodríguez, Pedro Merino
An extension of the ns simulator for active network research. Comput. Commun. 25(3): 189-197 (2002) - [j1]María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel:
Debugging UML Designs with Model Checking. J. Object Technol. 1(2): 101-117 (2002) - [c10]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 - [c9]María-del-Mar Gallardo, Pedro Merino
Refinement of LTL Formulas for Abstract Model Checking. SAS 2002: 395-410 - [c8]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
alpha SPIN: Extending SPIN with Abstraction. SPIN 2002: 254-258 - [c7]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
A Tool for Abstraction in Model Checking. FMICS 2002: 17-32 - [c6]María-del-Mar Gallardo, Pedro Merino
Comparing Under and Over-Approximations of LTL Properties for Model Checking. WFLP 2002: 131-144 - 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
1990 – 1999
- 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]María-del-Mar Gallardo, José M. Troya:
Parlog Programs Nontermination Analysis. GULP 1993: 237-250
Coauthor Index
Pedro Merino 0001
aka: Pedro Merino Gómez
aka: Pedro Merino Gómez
[j30] [j28] [c43] [j27] [c42] [j26] [j25] [c41] [j24] [e1] [j21] [j20] [c38] [c37] [c35] [c33] [c32] [j19] [j15] [j13] [j12] [j11] [j10] [c29] [c28] [c27] [i2] [j9] [c26] [c25] [c24] [c23] [c21] [j8] [c20] [c19] [c18] [c17] [i1] [j6] [c15] [j4] [j3] [c13] [c12] [c11] [j2] [j1] [c10] [c9] [c8] [c7] [c6] [c5] [c4]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 20:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: