Biblio

Found 52 results
Filters: Author is Laura Panizo  [Clear All Filters]
2019
Espada ARosario, Gallardo M-del-M, Salmeron A, Panizo L, Merino P.  2019.  A formal approach to automatically analyse extra-functional properties in mobile applications. Software Testing, Verification and Reliability. :e1699.
Gallardo M-del-M, Luque-Schempp F, Merino P, Panizo L.  2019.  How Formal Methods Can Contribute to 5G Networks. From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. :548–571.
Panizo L, Díaz-Zayas A, García B.  2019.  Model-based testing of apps in real network scenarios. International Journal on Software Tools for Technology Transfer. 22(2)
Gallardo M-del-M, Panizo L.  2019.  Modelling and Specifying Software Systems with Alloy (tutorial). Jornadas de la Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software SISTEDES. XIX Jornadas de Programación y Lenguajes (PROLE).
Gallardo M-del-M, Panizo L.  2019.  Modelling Software-Defined Networks with Alloy. Actas de las XXVI Jornadas de Concurrencia y Sistemas Distribuidos, Zaragoza, junio 2019.
Luque-Schempp F, Panizo L, Gallardo M-del-M, Merino-Gomez P.  2019.  Optimizing the deployment of Virtual Network Functions in 5G networks with Model Based Testing. Actas de las XXVI Jornadas de Concurrencia y Sistemas Distribuidos, Zaragoza, junio 2019.
Gallardo M-del-M, Panizo L.  2019.  Teaching Formal Methods: From Software in the Small to Software in the Large. Formal Methods Teaching.
Gallardo M-del-M, Panizo L.  2019.  Trace Analysis Using an Event-Driven Interval Temporal Logic. Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers.
2018
Merino P, Panizo L, Díaz A.  2018.  EuWireless: design of a pan-European mobile network operator for research. European Conference on Networks and Communications, EuCNC2018.
Gallardo M-del-M, Panizo L.  2018.  An Event-driven interval temporal logic for hybrid systems (Work in Progress). XXV Jornadas de Concurrencia y Sistemas Distribuidos, Toledo.
Panizo L, Díaz-Zayas A, García B.  2018.  An extension of TRIANGLE testbed with model-based testing. 25th International Symposium on Model checking Software, SPIN2018.
Gómez-Beas R, Contreras-Arribas E, Romero S, Lorente Ó, Linares-Sáenz A, Panizo L.  2018.  Integrated water resources management in a complex reservoir system through a multipurpose DSS tool. Proc. of 13th International Conference on Hydroinformatics. HIC2018. EPiC Series in Engineering; vol. 3.
Merino P, Panizo L, Díaz A.  2018.  A pan-European infrastructure for research in mobile networks. XXV Jornadas de Concurrencia y Sistemas Distribuidos.
Díaz-Zayas A, Panizo L, Baños J, Cárdenas C, Dieudonne M.  2018.  QoE Evaluation: The TRIANGLE testbed approach. Wireless Communications and Mobile Computing. 2018:12.
2017
Lavado L, Panizo L, Gallardo M-del-M, Merino P.  2017.  A Characterisation of reliability tools for software defined networks (abstract). XVII Jornadas de Programación y Lenguajes, PROLE 2017.
Lavado L, Panizo L, Gallardo M-del-M, Merino P.  2017.  A Characterisation of verification tools for software defined networks. Journal of Reliable Intelligent Environments. 3:189–207.
Gallardo M-del-M, Lavado L, Panizo L, Titolo L.  2017.  A Constraint-based language for modelling intelligent environments. Journal of Reliable Intelligent Environments. 3:55–79.
Panizo L, Salmeron A, Gallardo M-del-M, Merino P.  2017.  Guided test case generation for mobile apps in the TRIANGLE project: work in progress. 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software.
Gallardo M-del-M, Merino P, Panizo L, Salmeron A.  2017.  Integrating river basin DSSs with model checking. International Journal on Software Tools for Technology Transfer. :1–16.
Gallardo M-del-M, Lavado L, Panizo L.  2017.  A Simulation tool for TCCP programs (abstract). XVII Jornadas de Programación y Lenguajes, PROLE 2017.
2016
Lavado L, Panizo L, Gallardo M-del-M.  2016.  Implementing a Hy-tccp interpreter for simulation. XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’16).
Gallardo M-del-M, Merino P, Panizo L, Salmeron A.  2016.  River Basin Management with Spin. Model Checking Software: 23rd. International Symposium, SPIN.
Gallardo M-del-M, Merino P, Panizo L, Salmeron A.  2016.  River basin management with SPIN (abstract). XVI Jornadas de Programación y Lenguajes, PROLE 2016.
Lavado L, Panizo L, Gallardo M-del-M.  2016.  A simulation tool for tccp programs. Proc. of 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP’16).

Pages