Biblio

Found 131 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 
D
Gallardo M-del-M, Merino P, Panizo L, Linares A.  2009.  Dam management using SCADE suite. Marisa Llorens y Javier Oliver (eds.). Actas de las XVII Jornadas de Concurrencia y Sistemas Distribuidos. 10,11 y 12 de Junio de 2009. Sagunto (Valencia). :287–296.
Gallardo M-del-M, Merino P, Panizo L, Linares A.  2009.  Developing a decision support tool for dam management with SPIN. Mar{ía Alpuente; Byron Cook and Christophe Joubert (eds.). Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. :210–212.
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.
Espada ARosario, Gallardo M-del-M, Adalid D.  2013.  DRAGONFLY : Encapsulating Android for Instrumentation. Proceedings of the XIII PROLE13.
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.
E
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.
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.
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, 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.
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.  2010.  Evaluation of handover implementations in commercial GPRS/UMTS/HSDPA networks. Proc. of 2010 IEEE Global Telecommunications Conference. GLOBECOM 2010..
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.
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.
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.
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.
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.
Panizo L, Gallardo M-del-M.  2012.  An Extension of Java PathFinder for Hybrid Systems. ACM SIGSOFT Software Engineering Notes. 37:1–5.
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).
F
Álvarez A, Díaz A, Merino P, Rivas FJavier.  2012.  Field measurements of mobile services with Android smartphones. Proc. of 2012 IEEE Consumer Communications and Networking Conference. CCNC 2012, January 14-17, 2012, Las Vegas, NV. :105–109.
Gallardo M-del-M, Merino P, Joubert C, Sanán D.  2007.  On the Fly model checking for C programs with extended CADP in FMICS-jETI. 12th IEEE International Conference on Engineering Complex Computer Systems, Auckland, New Zealand, July 11-14, 2007. Proceedings. :321–329.
G
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.
Díaz A.  2010.  Gestión de los recursos del sistema: arquitectura cliente-servidor. Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian. :117–130.

Pages