Laura Panizo

 
 

  1. •Smart flood management DSS. M. Díaz, M.M. Gallardo, P. Merino, L. Panizo, S. Romero and E. Soler. In Proc. of International Conference and Exhibition, Achievements, opportunities and challenges. HYDRO 2016. Montreux, Switzerland, 10-12 October 2016.

  2. •River basin management with SPIN (abstract). M.M. Gallardo, P. Merino, L. Panizo and A. Salmerón. In Villanueva, M. (Ed.), Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016). Salamanca, September 2016. Sistedes, 2016.

  3. •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.

  4. •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

  5. •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. 

  6. •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

  7. •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.

  8. •Verifying hybrid systems with explicit model checkers. L. Panizo and M.M. Gallardo. 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

  9. •Analyzing hybrid systems with JPF. L. Panizo and M.M. Gallardo. 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

  10. •Generation of safe operations for dam management using formal methods. L. Panizo and M.M. Gallardo. In XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 Jun 2012. p. 129-144, 2012.

  11. •Extending model checkers for hybrid system verification: the case study of SPIN. M.M. Gallardo and L. Panizo. 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

  12. •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.

  13. •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

  14. •An approach to verify hybrid systems with SPIN. M.M. Gallardo and L. Panizo. 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

  15. •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.

  16. •Dam management using SCADE suite. M.M. Gallardo, P. Merino, L. Panizo and A. Linares. 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

  17. •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

  18. •Estado del arte de herramientas para la verificación de sistemas híbridos. M.M. Gallardo; P. Merino and L. Panizo. 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

  19. •Monitorización y análisis de servicios de video streaming peer-to-peer sobre redes UMTS. A. Díaz, P, Merino, L. Panizo and A.M. Recio. 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

  20. •A Survey on mobile peer-to-peer technology. A. Díaz, P. Merino, L. Panizo and A.M. Recio. 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

  21. •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

  22. •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

  23. •Un estudio práctico del rendimiento del servicio de streaming de video sobre redes móviles GPRS/UMTS. A. Díaz, P. Merino, L. Panizo and A.M. Recio. 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

Conferences and Workshops

  1. •An Architecture for Creating Slices to Experiment on Wireless Networks. B. Valera-Muros, L. Panizo, A. Ríos and P. Merino. In J. of Network Systems and Management 29(1): 1 (2021). DOI: 10.1007/s10922-020-09571-8

  2. •Model-based testing of apps in real network scenarios. L. Paninzo, A. Díaz-Zayas, B. García. In Int. J of Software Tools and Technology Transfer 22(2), pp. 105-114 (2020). DOI: 10.1007/s10009-019-00518-2

  3. •A formal approach to automatically analyse extra-functional properties in mobile applications.A.R. Espada, M.M. Gallardo, A. Salmerón, L. Panizo and P. Merino.   In Software Testing Verification and Reliability, 29 (4-5) (2019). DOI: 10.1002/stvr.1699

  4. •Integrating river basin DSSs with model checking. M.M. Gallardo, P. Merino, L. Panizo and A. Salmerón. I Int. J. Software Tools and Technology Transfer 20(5): pp. 499-514 (2018). DOI: 10.1007/s10009-017-0478-x

  5. •QoE Evaluation: The TRIANGLE Testbed Approach. A. Díaz- Zayas, L. Panizo, et. al. In Wireless Communication and Mobile Computing, vol 2018 pp. 12 (2018). DOI:  10.1155/2018/6202854

  6. •A characterisation of verification tools for software defined networks. L. Lavado, L. Panizo, M.M. Gallardo and P. Merino. I J. of Reliable Intelligent Environment 3(3), 189-207 (2017). DOI: 10.1007/s40860-017-0045-y

  7. •A constraint-based language for modelling intelligent environments. M.M.Gallardo, L. Lavado, L. Panizo and L. Titolo. In J. of Reliable Intelligent Environment 3, 55–79 (2017). DOI: 10.1007/s40860-017-0040-3

  8. •Extending model checkers for hybrid systems verification: the case study of SPIN. M.M. Gallardo and L. Panizo. In Software Testing Verification & Reliability, vol. 24, p. 359 – 393. Wiley & sons. United Kingdom, 2013. ISSN: 1099-1689. DOI: 10.1002/stvr.1505

  9. •An Extension of Java PathFinder for Hybrid Systems. L. Panizo and M.M. Gallardo. In ACM SIGSOFT Software Engineering Notes. vol. 37. no. 6. p. 1-5. ACM: New York, NY, USA, 2012. ISSN:0163-5948. DOI:10.1145/2382756.2382793

  10. •A practical use of model checking for synthesis: generating a dam controller for flood management. M.M. Gallardo, P. Merino, L. Panizo and A. Linares.  In Software Practice & Experience. vol. 41. no. 11. p. 1329-1347. John Wiley, 2011. ISSN: 0038-0644. DOI: 10.1002/spe.1048

Journals

  1. •Programming for Symbian OS. A. Díaz-Zayas, J. Martínez-Cruz, P. Merino, L. Panizo, A.M. Recio, A. 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

  2. •Objetos activos (Chapter 7). L. 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

  3. •Communication software: design and testing. P. Merino, J.M. Álvarez, L. Panizo, F.C. Pérez and A. Sanz. In Encyclopedia of Software Engineering. pp. 153-169. Taylor & Francis, 2010. ISBN: 978-1-4200-5977-9

Books and Book Chapters

  1. •How Formal Methods can contribute to 5G Networks. M.M. Gallardo, F. Luque-Schempp, P. Merino and L. 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. DOI: 10.1007/978-3-030-30985-5_32

  2. •Teaching Formal Methods: from Software in the Small to Software in the Large. M.M. Gallardo and L. Panizo. 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 . DOI: 10.1007/978-3-030-32441-4_7.

  3. •An extension of TRIANGLE testbed with model-based testing. L. Panizo, A. Díaz-Zayas and B. García. 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 . DOI: https://doi.org/10.1007/978-3-319-94111-0_11.

  4. •River Basin Management with SPIN. M.M. Gallardo, P. Merino, L. Panizo and A. Salmerón. 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  DOI: 10.1007/978-3-319-32582-8.

  5. •Developing a decision support tool for dam management with SPIN. M.M. Gallardo, P. Merino, L. Panizo and A. Linares. 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

LNCS

Phd on Computer Science

University of Málaga



Related Links


  1. ✤MORSE Lab

  2. ✤ITIS Software


  1. ✤ORCID

  2. ✤DBLP

  3. ✤ResearchGate

  4. ✤Publons

  5. ✤LinkedIn