Publications

Journals

Konstantinos Cornelis Apostolakis, Barbara Valera-Muros, Nicola Di Pietro, Pablo Garrido, Daniel Del Teso, Manos Kamarianakis, Pedro R Tomás, Hamzeh Khalili, Laura Panizo, Almudena Díaz Zayas, Antonis Protopsaltis, George Margetis, Josep Mangues-Bafalluy, Manuel Requena-Esteso, Andre S Gomes, Luís Cordeiro, George Papagiannakis, Constantine Stephanidis. A Network Application approach towards 5G and beyond critical communications use cases. In Frontiers in Communications and Networks 5 (2024). https://doi.org/10.3389/frcmn.2024.1286660
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. In IEEE Access 11:82960-82077 (2023). https://doi.org/10.1109/ACCESS.2023.3302264
Laura Panizo and María del Mar Gallardo. STAn: analysis of data traces using an event-driven interval temporal logic. In Automated Software Engineering 30 (1), 1-47 (2023). https://doi.org/10.1007/s10515-022-00367-5
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. Int IEEE Network 36(2): 50-56 (2022). https://doi.org/10.1109/MNET.006.2100442
Barbara Valera-Muros, Laura Panizo, Alvaro Rios, Pedro Merino Gómez. An Architecture for Creating Slices to Experiment on Wireless Networks. In Journal of Network System Management 29(1): 1 (2021). https://doi.org/10.1007/s10922-020-09571-8
Laura Panizo, Almudena Díaz, Bruno García. Model-based testing of apps in real network scenarios. In International Journal of Software Tools and Technology Transfer 22(2): 105-114 (2020). https://doi.org/10.1007/s10009-019-00518-2
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. In Software Testing, Verification and Reliability 29(4-5) (2019). https://doi.org/10.1002/stvr.1699
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón. Integrating river basin DSSs with model checking. In International Journal of Software Tools and Technology Transfer 20(5): 499-514 (2018). https://doi.org/10.1007/s10009-017-0478-x
Almudena Díaz-Zayas, Laura Panizo, Janie Baños Polglase, Carlos Cárdenas, Michael Dieudonne. QoE Evaluation: The TRIANGLE Testbed Approach. In Wireless Communication and Mobile Computing 2018. 6202854:1-6202854:12 (2018). https://doi.org/10.1155/2018/6202854
María-del-Mar Gallardo, Leticia Lavado, Laura Panizo, Laura Titolo. A constraint-based language for modelling intelligent environments. In Journal of Reliable Intelligent Environments 3(1): 55-79 (2017). https://doi.org/10.1007/s40860-017-0040-3
Leticia Lavado, Laura Panizo, María-del-Mar Gallardo, Pedro Merino. A characterisation of verification tools for software defined networks. In Journal of Reliable Intelligent Environments 3(3): 189-207 (2017). https://doi.org/10.1007/s40860-017-0045-y
María-del-Mar Gallardo, Laura Panizo. Extending model checkers for hybrid system verification: the case study of SPIN. In Software Testing, Verification and Reliability 24(6): 438-471 (2014). https://doi.org/10.1002/stvr.1505
Laura Panizo, María-del-Mar Gallardo. An extension of Java PathFinder for hybrid systems. In ACM SIGSOFT Software Engineering Notes 37(6): 1-5 (2012). https://doi.org/10.1145/2382756.2382793
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. In Software Practice and Experience 41(11): 1329-1347 (2011). https://doi.org/10.1002/spe.1048

Books and Book Chapters

Análisis interdisciplinar de innovación con H5P en procesos de enseñanza aprendizaje de educación superior (CAPÍTULO 7). Silvia N. Moral-Sánchez, Paloma Gutierrez-Castillo, Eva Lopezosa, Laura Panizo. Tecnologías Emergentes Aplicadas a las Metodologías Activas en la era de la Inteligencia Artificial. pp. 126-144. Dickson, 2023. ISBN: 978-84-1170-579-0. Disponible aquí
The Role of Abstraction in Model Checking. María-del-Mar Gallardo, Pedro Merino, Laura Panizo. In Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Lecture Notes in Computer Science. vol. 13160. pp. 151-169. Springer, 2023. ISBN: 978-3-031-31475-9. https://doi.org/10.1007/978-3-031-31476-6\_8
How Formal Methods can contribute to 5G Networks. María-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino, Laura Panizo. In From Software Engineering to Formal Methods and Tools, and Back. Lecture Notes in Computer Science. vol. 11865. pp. 548-571. Springer, 2019. ISBN: 978-3-030-30984-8. https://doi.org/10.1007/978-3-030-30985-5_32
Programming for Symbian OS. Almudena Díaz-Zayas, Jesús Martínez-Cruz, Pedro Merino, Laura Panizo, Álvaro M. Recio, Alberto Salmerón, et. al. pp. 189. DG Edukacja i kultura Program Uczenie sie przez cale zycie. Leonardo da Vinci: Kraków, 2010.ISBN: 978-83-88309-72-4
Objetos activos (Chapter 7). Laura Panizo. In P. Merino et.al., (eds.). Introducción a la programación en Symbian. pp.101-116. Editorial Arguval: Málaga, 2010. ISBN: 978-84-9612-86-1
Communication software: design and testing. Pedro Merino, José M. Álvarez, Laura Panizo, Francisco C. Pérez and Andrés Sanz. In Encyclopedia of Software Engineering. pp. 153-169. Taylor & Francis, 2010. ISBN: 978-1-4200-5977-9

International Conferences

Paloma Gutierrez-Castillo, Silvia N. Moral-Sánchez, Eva Lópezosa-Reca, Laura Panizo. Experiencia en la aplicación de H5P en educación superior. III Congreso Internacional Innovación y Tendencias Educativas. (Online) Julio 2023. https://hdl.handle.net/10630/27347 (Docencia)
George Margetis, Barbara Valera-Muros, Konstantinos C. Apostolakis, Almudena Dıaz Zayas, Laura Panizo, Pedro Tomas, Luis Cordeiro, Andre Gomes, Joao Henriques. Validation of NFV management and orchestration on Kubernetes-based 5G testbed environment. In IEEE Global Communications Conference (IEEE GlobeComm), 2nd Workshop on architectural evolution toward 6G networks.
Ilkka Harjula, Laura Panizo, Barbara Valera-Muros, Jarno Pinola, Mika Hoppari, Adam Flizikowski, Maria Safianowska. Dynamic Spectrum Management for European-Wide Research Network. VTC Spring 2020: 1-6. https://doi.org/10.1109/VTC2020-Spring48590.2020.9129017
María-del-Mar Gallardo, Laura Panizo. Trace Analysis Using an Event-Driven Interval Temporal Logic. In: Gabbrielli, M. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 2019. Lecture Notes in Computer Science, vol 12042. Springer, Cham. https://doi.org/10.1007/978-3-030-45260-5_11
María-del-Mar Gallardo, Laura Panizo. Teaching Formal Methods: from Software in the Small to Software in the Large. In Formal Methods Teaching, Third International Workshop and Tutorial, FMTea 2019. Lecture Notes in Computer Science. 11758. pp. 97-110. Springer, 2019. ISBN: 978-3-030-32440-7. https://doi.org/10.1007/978-3-030-32441-4_7.
Laura Panizo, Almudena Díaz-Zayas, Bruno García. An extension of TRIANGLE testbed with model-based testing. In Model checking Software, 25th International Symposium, SPIN2018, Lecture Notes in Computer Science. 10869. pp. 190-195. Springer, 2018. ISBN: 978-3-319-94110-3. https://doi.org/10.1007/978-3-319-94111-0_11.
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón. River Basin Management with SPIN. In D. Bosnacki and Anton Wijs (eds). Model Checking Software: 23rd International Symposium SPIN 2016. Lecture Notes in Computer Science 9641. pp. 78-96. Springer: Switzerland, 2016. ISBN: 978-3-319-32582-8 https://doi.org/10.1007/978-3-319-32582-8.
Manuel Díaz, María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Sergio Romero and Enrique Soler. Smart flood management DSS. In Proc. of International Conference and Exhibition, Achievements, opportunities and challenges. HYDRO 2016. Montreux, Switzerland, 10-12 October 2016.
A simulation tool for tccp programs. M.M. Gallardo, L. Lavado and L. Panizo. In Proc. of 24th International Workshop on Functional and (Constraint) Logic Programming (WFLPS 2016), 13-14 September 2016.
Implementing a Hy-tccp interpreter for simulation. M.M. Gallardo, L. Lavado and L. Panizo. In M. J. Hornos (Ed.) Actas de las XXIV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD2016, Granada, 15-17 June 2016. p. 173-186. ISBN: 978-84-16478-90-3
A discretized semantic for the implementation of Hy-tccp. M.M. Gallardo, L. Panizo and L. Titolo. In Proc. of XV Jornadas de Programación y Lenguajes (PROLE 2015), Santander, 15-17 September 2015. p.2-20.
A discretized semantic for the implementation of Hy-tccp. M.M. Gallardo, L. Panizo and L. Titolo. In M.M. Gallardo (Ed.) Actas de las XXIII Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2015. Málaga 10-12 June 2015. p.201-206. ISBN: 978-84-606-8792-4
A DSS for reservoir operation base don the execution of formal models. A. Linares, J. Regodón, L. Panizo, M. del Mar Gallardo and P. Merino. In Hydroinformatics 2014. New York, 16-21 August 2014.
Extending PROMELA and SPIN for hybrid system analysis. M.M. Gallardo and L. Panizo. In Proceedings of the 10th International Workshop on Automated Verification of Critical Systems and the Rodin User and Developer Workshop. AVoCS’10. Düsseldorf, Germany. September 20-23, 2010. p. 118-119, 2010.
Dam management based on model checking techniques. M.M. Gallardo, P. Merino, L. Panizo, D. Sanán and A. Linares. In 8th International Conference on Software Engineering and Formal Methods. SEFM 2010: Proceedings of the posters and tool demo session. CNR, Pisa, Italy 13-18 September 2010. p. 9-13. Consiglio Nazionale delle Ricerche: Pisa, Italy, 2010. ISBN: 978-88-7958-006-9
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares. Developing a decision support tool for dam management with SPIN. In M. Alpuente, By. Cook and C. Joubert (Eds.). Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009. Lecture Notes in Computer Science 5825. pp. 210-212. Springer, Berlin 2009. ISBN: 3-642-04569-3
Integration of quantitative aspects into SPIN to develop a decision support tool for dams. M.M. Gallardo, P. Merino and L. Panizo. In S. Andova, et al. (eds.). Workshop on Quantitative Formal Methods: Theory and Applications (QFM’09). November 3, Eindhoven, The Netherlands. Preliminary proceedings. pp. 95-100, 2009.
Using SCADE for decision support in Dam management. M.M. Gallardo, P. Merino, L. Panizo and A. Linares. In D. Moldt; J.C. Augusto and U. Ultes-Nitsche (Eds.). Modelling, simulation, verification and validation of enterprise information systems: proceedings of the 7th international Workshop… MSVVEIS 2009. pp. 125-131. INSTICC PRESS: Portugal, 2009. ISBN: 978-989-8111-90-6
Experimental analysis of peer-to-peer streaming in cellular networks. A. Díaz, P. Merino, L. Panizo and A.M. Recio. In 21st International Conference on Advanced Information Networking and Applications. AINA 2007, Niagara Falls, Ontario, Canada, 21-23 May. p. 784-791. IEEE Computer Society: Los Alamitos, California, 2007. ISBN: 0-7695-2846-5
Evaluating video streaming over GPRS/UMTS networks: a practical case. A. Díaz, P. Merino, L. Panizo and A.M. Recio. In The 65th IEEE Vehicular Technology Conference. VTC 2007-Spring, 22-25 April 2007, Dublin, Ireland. p. 624-628. IEEE Computer Society: Piscataway, USA, 2007. ISBN: 1-4244-0266-2

National Conferences

Maria del Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón. River basin management with SPIN (abstract). In Villanueva, M. (Ed.), Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016). Salamanca, September 2016. Sistedes, 2016.
Laura Panizo, María-del-Mar Gallardo. Verifying hybrid systems with explicit model checkers. In L.Å. Fredlund, L.M. Castro (eds.) XII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional (TPF). Madrid, 17-20 September 2013. p. 1-15 ISBN: 978-84-695-8331
Laura Panizo, María-del-Mar Gallardo. Analyzing hybrid systems with JPF. In M.M. Gallardo; M. Villaret and L. Iribarne (eds.). XII Jornadas sobre programación y lenguajes. (PROLE), Almería, 17-19 September 2012. p. 235-249. Universidad de Almería, 2012. ISBN: 978-84-15487-27-2
Laura Panizo, María-del-Mar Gallardo.Generation of safe operations for dam management using formal methods. In XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 Jun 2012. p. 129-144, 2012.
María-del-Mar Gallardo, Laura Panizo. Extending model checkers for hybrid system verification: the case study of SPIN. In E. Jiménez y S. Arévalo. Actas de las XIX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2011. La Granja de San Ildefonso, Segovia. 8-10 Jun 2011. p. 84-98. Dpto. de Publicaciones de la Escuela Universitaria de Informática de Madrid, 2011. ISBN: 84-96737-99-0
María-del-Mar Gallardo, Laura Panizo. An approach to verify hybrid systems with SPIN. In V. M. Gulías, J. Silva and A.Villanueva (eds.). Actas de las Jornadas sobre Programación y Lenguajes. PROLE 2010 (Sistedes). Valencia, 8-10 September 2010. Gaceta grupo editorial: Madrid, 2010. ISBN: 978-84-92812-55-4
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares. Dam management using SCADE suite. In Marisa Llorens y Javier Oliver (eds.). Actas de las XVII Jornadas de Concurrencia y Sistemas Distribuidos. 1012 Jun 2009. Sagunto (Valencia). p. 287-296. Universidad Politécnica de Valencia, 2009. ISBN: 978-84-8363-423-3
María-del-Mar Gallardo, Pedro Merino, Laura Panizo. Estado del arte de herramientas para la verificación de sistemas híbridos. In Ll. Tobarra, et al (eds.). Actas de las XVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2008. Albacete, 11 a 13 de Junio. p. 231-245, 2008. ISBN: 978-84-691-2813-8
Almudena Díaz, Pedro Merino, Laura Panizo, Álvaro M. Recio. Monitorización y análisis de servicios de video streaming peer-to-peer sobre redes UMTS. In L. Fuentes, J. López and P. Merino (Eds.). VI Jornadas de Ingeniería Telemática. JITEL 2007, Málaga, del 17 al 19 de Septiembre. pp. 433-440, 2007. ISBN: 978-84-690-6670-6
Almudena Díaz, Pedro Merino, Laura Panizo, Álvaro M. Recio. A Survey on mobile peer-to-peer technology. In M.M. Gallardo and P. Merino (Eds.). Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, 6-8 Jun. pp. 59-68, 2007. ISBN: 978-84-690-6109-1
Almudena Díaz, Pedro Merino, Laura Panizo, Álvaro M. Recio. Un estudio práctico del rendimiento del servicio de streaming de video sobre redes móviles GPRS/UMTS. In Administración, Universidad y Empresa: unidos para formar futuro; XVI Jornadas Telecom I + D, 28-29 November and 1 December 2006, Madrid, Barcelona, Bilbao, Málaga, Valencia, y Zaragoza, 2006.ISBN: 978-84-690-4355- 4355