Biblio

Found 47 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, 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.
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 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 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).
Gallardo M-del-M, Lavado L, Panizo L.  2016.  A simulation tool for tccp programs. 24th International Workshop on Functional and (Constraint) Logic Programming, WFLP2016.
Díaz M, Gallardo M-del-M, Merino P, Panizo L, Romero S, Soler E.  2016.  Smart flood management DSS. International Conference and Exhibition, Achievements, opportunities and challenges. HYDRO 2016.
2015
Gallardo M-del-M, Panizo L, Titolo L.  2015.  A Discretized operational semantic for the implementation of Hy-tccp (abstract). XXIII Jornadas de Concurrencia y Sistemas Distribuidos., JCSD 2015; Doctoral Consortium en Tecnolog{ías Informáticas. DCTI 2015.
Gallardo M-del-M, Panizo L, Titolo L.  2015.  A discretized operational semantics for the implementation of Hy-tccp. Jornadas sobre Programación y Lenguajes, PROLE 2015.
2014
Linares A, Regodón J, Panizo L, Gallardo M-del-M, Merino P.  2014.  A DSS for reservoir operation based on the execution of formal models. Proc of [11th International conference on hydroinformatics. HIC 2014, New York, USA, 17-21 august, 2014]. :8.

Pages