Biblio

Found 110 results
Filters: Author is Pedro Merino  [Clear All Filters]
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
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.
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.
Merino P, Panizo L, Díaz A.  2018.  A pan-European infrastructure for research in mobile networks. XXV Jornadas de Concurrencia y Sistemas Distribuidos.
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.
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.
García-Pérez CA, Díaz A, Ríos Á, Merino P, Katsalis K, Chang C-Y, Shariat S, Nikaein N, Rodriguez P, Morris D.  2017.  Improving the efficiency and reliability of wearable based mobile eHealth applications. Pervasive and Mobile Computing. 40:674–691.
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.
F. Tocado JRivas, Díaz-Zayas A, Merino P.  2017.  A methodology and test environment for QoS measurements in mobile networks. IFIP/IEEE Symposium on Integrated Network and Service Management (IM).
2016
Díaz-Zayas A, García CAugusto, Recio ÁManuel, Merino P.  2016.  3GPP Standards to Deliver LTE Connectivity for IoT. IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI).
García CAugusto, Merino P.  2016.  Enabling low latency services in standard LTE networks. IEEE 1st International Workshops on Foundations and Applications of Self-* Systems.
García CAugusto, Recio ÁManuel, Ríos Á, Díaz-Zayas A, Merino P.  2016.  Extensive and repeatable experimentation in mobile communications with programmable instruments. 13th International Conference on Remote Engineering and Virtual Instrumentation (REV 2016).
Tocado FJavier Riv, Díaz-Zayas A, Merino P.  2016.  Innovative Tools and Processes for Mobile Communications Research and Education. International Journal of Online and Biomedical Engineering. 12(9)
García CAugusto, Ríos Á, Merino P, Katsalis K, Nikaein N, Figueiredo R, Morris D, O’Callaghan T.  2016.  Q4HEALTH: Quality of Service and prioritisation for emergency services in the LTE RAN stack. Conference: Networks and Communications (EuCNC), 2016 European Conference on.
Díaz-Zayas A, Recio ÁManuel, García CAugusto, Merino P.  2016.  Remote control and instrumentation of Android devices. 13th International Conference on Remote Engineering and Virtual Instrumentation (REV 2016).
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.
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.

Pages