Biblio

Found 44 results
Filters: Author is Laura Panizo  [Clear All Filters]
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.
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.
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).
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.
2013
Gallardo M-del-M, Panizo L.  2013.  Extending model checkers for hybrid system verification: the case study of SPIN (in press). Software Testing Verification & Reliability. 24:438–471.
Panizo L, Gallardo M-del-M.  2013.  Verifying hybrid systems with explicit model checkers. Lars-Åke Fredlund; Laura M. Castro (Eds.). XII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional (TPF). Madrid, 17 a 20 de septiembre de 2013. :1–15.
2012
Panizo L, Gallardo M-del-M.  2012.  Analyzing hybrid systems with JPF. Mar{ía del Mar Gallardo; Mateu Villaret and Luis Iribarne (eds.). XII Jornadas sobre programación y lenguajes. (PROLE), Almer{ía, 17 al 19 de septiembre de 2012. :235–249.

Pages