Biblio

Found 156 results
2019
Díaz-Zayas A, García B, Merino P.  2019.  An End-to-End Automation Framework for Mobile Network Testbeds. Mobile Information Systems. 2019
Ríos Á, Valera-Muros B, Merino-Gomez P, Sobieski J.  2019.  Expanding GÉANT Testbeds Service to Support Pan-European 5G Network Slices for Research in the EuWireless Project. Mobile Information Systems. 2019:13.
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.
Valera-Muros B, Merino-Gomez P.  2019.  Is GÉANT Testbeds Service compliant with ETSI MANO? 2019 IEEE 2nd 5G World Forum (5GWF) (WF-5G'19).
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
Díaz-Zayas A, Pérez CAGarcía, Pérez ÁMRecio, Merino P.  2018.  3GPP Evolution on LTE Connectivity for IoT. Integration, Interconnection, and Interoperability of IoT Systems. :1–20.
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.
Rico D, Merino P.  2018.  Evaluation of multipath TCP in heterogeneous networks. Actas de las XXV Jornadas de Concurrencia y Sistemas Distribuidos, Toledo, junio 2018.
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
Díaz-Zayas A, Merino P.  2017.  The 3GPP NB-IoT system architecture for the Internet of Things. IEEE International Conference on Communications Workshops, ICC Workshops 2017.
Díaz-Zayas A, Salmeron A, F. Tocado JRivas, Merino P.  2017.  Advanced testing of mobile applications and devices. IFIP/IEEE Symposium on Integrated Network and Service Management (IM),.
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.

Pages