Jump to Navigation

Biblio

Found 203 results
Author [ Title(Desc)] Type Year
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 
E
Canal, J. Carlos, L. Fuentes, P. Merino, and J. María Troya, "Especificación y Validación del protocolo de Audio/Vídeo AVP sobre un Entorno Declarativo Distribuido", Actas de XVI Escuela de Verano de Informática, pp. 3–17, feb, 1994.
Gallardo, M-del-M., P. Merino, and L. Panizo, "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, pp. 231–245, jun, 2008.
Díaz, A., and P. Merino, "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, pp. 159–166, nov, 2010.
Díaz, A., C. Martínez, and P. Merino, "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, pp. to appear, oct, 2009.
Díaz, A., P. Merino, L. Panizo, and Á. Manuel Recio, "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, Piscataway, USA, IEEE Computer Society, pp. 624–628, 2007.
Díaz, A., and P. Merino, "Evaluation of handover implementations in commercial GPRS/UMTS/HSDPA networks", Proc. of 2010 IEEE Global Telecommunications Conference. GLOBECOM 2010., Piscataway, USA, IEEE Computer Society, jan, 2010.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "On the Evolution of reliability methods for critical software", Journal of Integrated Design and Process Science, vol. 10, no. 4, Amsterdam, The Netherlands, IOS Press, pp. 55–67, mar, 2006.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "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, vol. 1, USA, Society for design and process science (SDPS), pp. 53–65, jan, 2006.
Merino, P., and J. María Troya, "EVP: integration of FDTs for the analysis and verification of communication protocols", Rajeev Alur and Thomas A. Henzinger (Eds.). Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings, vol. 1102, Berlin, Springer, pp. 406–410, oct, 1996.
Alba, E., J. Francisco Aldana, V. Benjumea, J. Carlos Canal, M. Díaz, L. Fuentes, M-del-M. Gallardo, P. Merino, A. Jesús Nebro, M. Roldán, et al., "EVP: un Entorno para la integración de técnicas de descripción formal", J. M. Troya Linero y C. Rodríguez León (Eds.). I Jornadas de Informática, Puerto de la Cruz, 17-21 de Julio de 1995. Actas, pp. 607–616, nov, 1995.
Díaz, A., P. Merino, L. Panizo, and Á. Manuel Recio, "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, Los Alamitos, California, IEEE Computer Society, pp. 784–791, may, 2007.
Gallardo, M-del-M., P. Merino, and D. Sanán, "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, Portugal, INSTICC Press, pp. 104–113, nov, 2007.
Gallardo, M-del-M., and L. Panizo, "Extending model checkers for hybrid system verification: the case study of SPIN (in press)", Software Testing Verification & Reliability, vol. 24, no. 6: Wiley & Sons, pp. 438–471, 2013.
Gallardo, M-del-M., and L. Panizo, "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: Dpto. de Publicaciones de la Escuela Universitaria de Informática de Madrid, pp. 84–98, jul, 2011.
Gallardo, M-del-M., and L. Panizo, "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, pp. 118–119, oct, 2010.
Panizo, L., and M-del-M. Gallardo, "An Extension of Java PathFinder for Hybrid Systems", ACM SIGSOFT Software Engineering Notes, vol. 37, no. 6, New York, NY, USA, ACM, pp. 1–5, nov, 2012.
Rodriguez, G., P. Merino, and M-del-M. Gallardo, "An Extension of the NS simulator for active network research", Computer Communications, vol. 25, pp. 189–197, oct, 2002.
García, C A., Á. Manuel Recio, Á. Ríos, A. Díaz, and P. Merino, "Extensive and repeatable experimentation in mobile communications with programmable instruments", 13th International Conference on Remote Engineering and Virtual Instrumentation (REV 2016), 2016.
F
Álvarez, A., A. Díaz, P. Merino, and F J. Rivas, "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: IEEE Communications Society, pp. 105–109, 2012.
Merino, P., B. Rubio, and J. María Troya, "Flat-Parlog distribuido", M. Hermenegildo y J. J. Moreno (Eds.). Programación Declarativa. Primer Congreso Nacional, ProDe'92, 28-30 Septiembre, Madrid, España: Facultad de Informática; Universidad Politécnica de Madrid, pp. 397–398, nov, 1992.
Gallardo, M-del-M., P. Merino, C. Joubert, and D. Sanán, "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, Los Alamitos, California, IEEE Computer Society, pp. 321–329, nov, 2007.
Gallardo, M-del-M., and P. Merino, "A Framework for Automatic Construction of Abstract Promela Models", Dennis Dams...(ed.).Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 1999, Toulouse, France, September 1999. Proceedings, Berlin, Springer, pp. 184–199, oct, 1999.
G
Gallardo, M-del-M., P. Merino, and E. Pimentel, "A Generalized semantics of Promela for abstract model checking", Formal Aspects of Computing, vol. 16: Springer-Verlag, pp. 166–193, oct, 2004.
Panizo, L., and M-del-M. Gallardo, "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, pp. 129–144, jun, 2012.
Díaz, A., "Gestión de los recursos del sistema: arquitectura cliente-servidor", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 117–130, oct, 2010.

Pages



Main menu 2

by Dr. Radut