Flextory: Flexible Software Factory of IoT Data Consumers
López-Gómez, Rafael, Panizo, Laura, Gallardo, María-Del-Mar
Published in Sensors (Basel, Switzerland) (16.04.2024)
Published in Sensors (Basel, Switzerland) (16.04.2024)
Get full text
Journal Article
Extending model checkers for hybrid system verification: the case study of SPIN
Gallardo, María-del-Mar, Panizo, Laura
Published in Software testing, verification & reliability (01.09.2014)
Published in Software testing, verification & reliability (01.09.2014)
Get full text
Journal Article
A Simulation Tool for tccp Programs
Gallardo, María-del-Mar, Lavado, Leticia, Panizo, Laura
Published in Electronic proceedings in theoretical computer science (01.01.2017)
Published in Electronic proceedings in theoretical computer science (01.01.2017)
Get full text
Journal Article
New Insights into the Roles of lncRNAs as Modulators of Cytoskeleton Architecture and Their Implications in Cellular Homeostasis and in Tumorigenesis
García-Padilla, Carlos, Muñoz-Gallardo, María Del Mar, Lozano-Velasco, Estefanía, Castillo-Casas, Juan Manuel, Caño-Carrillo, Sheila, García-López, Virginio, Aránega, Amelia, Franco, Diego, García-Martínez, Virginio, López-Sánchez, Carmen
Published in Non-coding RNA (13.04.2022)
Published in Non-coding RNA (13.04.2022)
Get full text
Journal Article
A polypharmacy risk prediction model for elderly patients based on sociodemographic and clinical factors
Santos-Pérez, María Isabel, Fierro, Inmaculada, Salgueiro-Vázquez, M Esther, Gallardo-Lavado, María Del Mar, Sáinz-Gil, María, Martín-Arias, Luis H
Published in International journal of clinical pharmacology and therapeutics (01.12.2018)
Published in International journal of clinical pharmacology and therapeutics (01.12.2018)
Get full text
Journal Article
Integrating river basin DSSs with model checking
del Mar Gallardo, María, Merino, Pedro, Panizo, Laura, Salmerón, Alberto
Published in International journal on software tools for technology transfer (01.10.2018)
Published in International journal on software tools for technology transfer (01.10.2018)
Get full text
Journal Article
AutomAdapt: Zero Touch Configuration of 5G QoS Flows extended for Time-Sensitive Networking
Luque-Schempp, Francisco, Panizo, Laura, Gallardo, Maria-del-Mar, Merino, Pedro
Published in IEEE access (01.01.2023)
Published in IEEE access (01.01.2023)
Get full text
Journal Article
Performance Analysis of Spotify® for Android with Model-Based Testing
Merino, Pedro, Salmerón, Alberto, Gallardo, María del Mar, Espada, Ana Rosario
Published in Mobile information systems (01.01.2017)
Published in Mobile information systems (01.01.2017)
Get full text
Journal Article
A characterisation of verification tools for software defined networks
Lavado, Leticia, Panizo, Laura, Gallardo, María-del-Mar, Merino, Pedro
Published in Journal of reliable intelligent environments (01.09.2017)
Published in Journal of reliable intelligent environments (01.09.2017)
Get full text
Journal Article
A constraint-based language for modelling intelligent environments
Gallardo, María-del-Mar, Lavado, Leticia, Panizo, Laura, Titolo, Laura
Published in Journal of reliable intelligent environments (01.07.2017)
Published in Journal of reliable intelligent environments (01.07.2017)
Get full text
Journal Article
Verification of a multi-connectivity protocol for Tactile Internet applications
Rico, Delia, Gallardo, María-del-Mar, Merino, Pedro
Published in Computer communications (01.12.2023)
Published in Computer communications (01.12.2023)
Get full text
Journal Article
Using SPIN for automated debugging of infinite executions of Java programs
Adalid, Damián, Salmerón, Alberto, Gallardo, María del Mar, Merino, Pedro
Published in The Journal of systems and software (01.04.2014)
Published in The Journal of systems and software (01.04.2014)
Get full text
Journal Article
Post-Transcriptional Regulation of Molecular Determinants during Cardiogenesis
Lozano-Velasco, Estefania, Garcia-Padilla, Carlos, Del Mar Muñoz-Gallardo, Maria, Martinez-Amaro, Francisco Jose, Caño-Carrillo, Sheila, Castillo-Casas, Juan Manuel, Sanchez-Fernandez, Cristina, Aranega, Amelia E, Franco, Diego
Published in International journal of molecular sciences (04.03.2022)
Published in International journal of molecular sciences (04.03.2022)
Get full text
Journal Article
Modeling Hybrid Systems in the Concurrent Constraint Paradigm
Adalid, Damián, Gallardo, María del Mar, Titolo, Laura
Published in Electronic proceedings in theoretical computer science (01.01.2015)
Published in Electronic proceedings in theoretical computer science (01.01.2015)
Get full text
Journal Article
Toward Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking
Luque-Schempp, Francisco, Panizo, Laura, Gallardo, Maria-del-Mar, Merino, Pedro, Rivas, Javier
Published in IEEE network (01.03.2022)
Published in IEEE network (01.03.2022)
Get full text
Journal Article