Biblio

Found 141 results
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Z
Zayas ADíaz, 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.
T
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).
S
Sanán D.  2009.  Técnicas para el análisis automático de software descrito en lenguajes de programación.
Salmeron A.  2010.  . Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian. :67–81.
Salmeron A, Merino P.  2012.  Integration of model checking and simulation for protocol analysis. XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012. :153–168.
Salmeron A, Merino P.  2013.  On-the-fly VoIP call quality evaluation with improved E-model. Proceedings of the 8th ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wirede Networks. PM²HW²N´13, November 3-8, 2013, Barcelona Spain. :145–151.
Salmeron A.  2010.  Tipos, clases y convenciones de nombrado. Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian. :37–49.
R
Rivas FJavier, Díaz A, Merino P.  2014.  Charactierizing traffic performance in cellular networks. IEEE Internet Computing. 18:12–19.
Rivas FJavier, Díaz A, Merino P.  2013.  Performance study of internet traffic on high speed railways. 2013 IEEE 14th International Symposium and Workshops on A world of wireless, Mobile and multimedia networks (WoWMoM). Digital proceedings. Madrid, Spain, June 4-7, 2013. :1–9.
Rivas FJavier, Díaz A, Merino P.  2012.  Testing of LTE configurations and applications. En T. Korakis, M. Zink, and M. Ott (Eds.): TridentCom 2012. :417–418.
Rivas FJavier, Díaz A, Merino P.  2013.  Obtaining more realistic cross-layer QoS measurements: a VoIP over LTE use case. Journal of Computer Networks and Communications. :1–10.
Rivas FJavier, Díaz A, Merino P.  2013.  Tools and methods for characterization of traffic performance in cellular networks (Characterizing traffic performance in cellular networks). IEEE Internet Computing. :inpress.
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.
Recio ÁManuel.  2010.  Creación e instalación de aplicaciones. Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian. :11–36.
P
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.
Panizo L.  2010.  Objetos activos. Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian. :101–116.
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.
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.
Panizo L, Gallardo M-del-M.  2012.  Generation of safe operations for dam management using formal methods. XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012. :129–144.
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.
Panizo L, Gallardo M-del-M, Merino P, Sanán D, Linares A.  2010.  Dam management based on model checking techniques. 8th International conference on software engineering and formal methods. SEFM 2010: proceedings of the posters and tooldemo session. CNR, Pisa, Italy 13-18 september 2010. :9–13.
Panizo L, Gallardo M-del-M.  2012.  An Extension of Java PathFinder for Hybrid Systems. ACM SIGSOFT Software Engineering Notes. 37:1–5.
M
Merino P, Salmeron A.  2010.  Analysis and optimization of video download on mobile devices. XX Jornadas de Telecom I+D. Valladolid 27, 28 y 29 septiembre 2010 (CD-ROM).
Merino P, Panizo L, Díaz A.  2018.  A pan-European infrastructure for research in mobile networks. XXV Jornadas de Concurrencia y Sistemas Distribuidos.

Pages