Biblio

Found 19 results
Filters: First Letter Of Title is E  [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.
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 Mdel Mar, 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.
2016
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 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).
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.
2012
Panizo L, Gallardo M-del-M.  2012.  An Extension of Java PathFinder for Hybrid Systems. ACM SIGSOFT Software Engineering Notes. 37:1–5.
2011
Gallardo M-del-M, Panizo L.  2011.  Extending model checkers for hybrid system verification: the case study of Spin. Ernesto Jiménez y Sergio Arévalo. Actas de las XIX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2011. La Granja de San Ildefonso, Segovia. 8,9, y 10 de junio de 2011. :84–98.
2010
Díaz A, Merino P.  2010.  Evaluación de los mecanismos de handover implementados en redes comerciales de telefon{ía móvil. Yannis Dimitriadis y Mar{ía Jesús Verdú Pérez (eds.). IX Jornadas de Ingenier{ía Telemática. Jitel 2010. Universidad de Valladolid, del 29 de septiembre al 1 de octubre de 2010. :159–166.
Díaz A, Merino P.  2010.  Evaluation of handover implementations in commercial GPRS/UMTS/HSDPA networks. Proc. of 2010 IEEE Global Telecommunications Conference. GLOBECOM 2010..
Gallardo M-del-M, Panizo L.  2010.  Extending PROMELA and SPIN for hybrid system analysis80. Proceedings of the 10th international workshop on automated verification of critical systems and the rodin user and developer workshop. AVoCS’10. Düsseldorf, Germany. September 20-23, 2010. :118–119.
2009
Díaz A, Martínez C, Merino P.  2009.  Evaluación del servicio de VOIP sobre redes UMTS basada en pruebas de campo reales. Actas de las XIX Jornadas Telecom I+D 2009. Madrid, 24, 25 y 26 de noviembre de 2009. :toappear.
2008
Gallardo M-del-M, Merino P, Panizo L.  2008.  Estado del arte de herramientas para la verificación de sistemas h{íbridos. Llanos Tobarra, et al (eds.). Actas de las XVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2008. Albacete, 11 a 13 de Junio. :231–245.
2007
Díaz A, Merino P, Panizo L, Recio ÁManuel.  2007.  Evaluating video streaming over GPRS/UMTS networks: a practical case. The 65th IEEE Vehicular Technology Conference. VTC 2007-Spring, 22-25 April 2007, Dublin, Ireland. :624–628.
Díaz A, Merino P, Panizo L, Recio ÁManuel.  2007.  Experimental analysis of peer-to-peer streaming in cellular networks. 21st International Conference on Advanced Information Networking and Applications. AINA 2007, Niagara Falls, Ontario, Canada, 21-23 May. :784–791.
Gallardo M-del-M, Merino P, Sanán D.  2007.  Extending CADP for analyzing C code. Juan C. Augusto; Joseph Barjis and Ulrich Ultes-Nitsche (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 5th International Workshop on (...). MSVVEIS-2007, Funchal, Madeira, Portugal, June. :104–113.
2006
Gallardo M-del-M, Martínez J, Merino P, Pimentel E.  2006.  On the Evolution of reliability methods for critical software. Journal of Integrated Design and Process Science. 10:55–67.
Gallardo M-del-M, Martínez J, Merino P, Pimentel E.  2006.  On the Evolution of Reliability Methods for Critical Software. A. Ertas, et.al.(Eds.). Integrated design & process technology: proceedings of the ninth World Conference on Integrated Design and Process Technology. IDPT 2006. San Diego, California, June 25-30, 2006. 1:53–65.