Jump to Navigation

Biblio

Found 215 results
Author Title Type [ Year(Asc)]
2011
Díaz, A., P. Merino, and A. Salmeron, "Obtaining models for realistic mobile network simulations using real traces", IEEE Communications Letters, vol. 15, no. 7, Piscataway, N. J., IEEE Communications Society, pp. 782–784, oct, 2011.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Linares, "A practical use of model checking for synthesis: generating a dam controller for flood management", Software Practice & Experience, vol. 41, no. 11: John Wiley, pp. 1329–1347, jan, 2011.
Díaz, A., and P. Merino, "Testing and profiling internet services in mobile devices", Witold Abramowicz...[et.al], (eds.). Towards a service-based internet: 4th european conference, ServiceWave 2011. Poznan, Poland, october 26-28, 2011. Proceedings, Berlín, Springer-Verlag, pp. 329–330, oct, 2011.
Adalid, D., M-del-M. Gallardo, P. Merino, and A. Salmeron, "TJT: testing temporal logic in JAVA programs", 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. 1–18, jul, 2011.
2010
Salmeron, A., "", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 67–81, oct, 2010.
Merino, P., and A. Salmeron, "Analysis and optimization of video download on mobile devices", XX Jornadas de Telecom I+D. Valladolid 27, 28 y 29 septiembre 2010 (CD-ROM), dec, 2010.
Gallardo, M-del-M., and L. Panizo, "An approach to verify hybrid systems with SPIN", Victor M. Gulías; Josep Silva y Alicia Villanueva (eds.). Actas de las Jornadas sobre Programación y Lenguajes. PROLE 2010 (Sistedes). Valencia, septiembre del 8 al 10 de 2010, Madrid, Gaceta grupo editorial, oct, 2010.
Merino, P., and A. Salmeron, "Combining SPIN with ns-2 for protocol optimization", Jaco van de Pol y Michael Weber (Eds.). Model checking software: 17th International SPIN workshop. Enschede, The Netherlands, September 27-29, 2010. Proceedings, Berlín, Springer, pp. 40–57, dec, 2010.
Merino, P., J. María Álvarez, L. Panizo, F. Carlos Pérez, and A. Sanz, "Communication software: design and testing", Encyclopedia of Software Engineering: Taylor & Francis, pp. 153–169, jan, 2010.
Recio, Á. Manuel, "Creación e instalación de aplicaciones", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 11–36, oct, 2010.
Panizo, L., M-del-M. Gallardo, P. Merino, D. Sanán, and A. Linares, "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, Pisa, Italy, Consiglio Nazionale delle Ricerche, pp. 9–13, oct, 2010.
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., 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., 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.
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.
Díaz, A., and P. Merino, "Incorporanto TCP/IP en las aplicaciones Symbian", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 131–158, oct, 2010.
Introducción a la programación en Symbian, , Málaga, Editorial Arguval, oct, 2010.
Díaz, A., P. Merino, and F J. Rivas, "Mobile application profiling for conected mobile devices", IEEE Pervasive Computing, vol. 9: IEEE Computer Society, pp. 54–61, mar, 2010.
Panizo, L., "Objetos activos", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 101–116, oct, 2010.
"Portabilidad de aplicaciones usando Open C/C++", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 171–199, oct, 2010.
"Preface to the special issue on formal methods for industrial critical systems (FMICS 2007+FMICS 2008)", Science of Computer Programming, vol. 76: Elsevier, pp. 63–64, feb, 2010.
Díaz, A., J. Martínez, P. Merino, L. Panizo, Á. Manuel Recio, and A. Salmeron, Programming for Symbian OS, , Kraków, DG Edukacja i kultura Program Uczenie sie przez cale zycie. Leonardo da Vinci, pp. 189, jan, 2010.
Díaz, A., P. Merino, and F J. Rivas, "QOS analysis of video streaming service in live cellular networks", Computer Communications, vol. 33, pp. 322–335, mar, 2010.
Díaz, A., and P. Merino, "SymPA: una herramienta para la caracterización del rendimiento de aplicaciones móviles en entornos celulares (demostración)", 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, Valladolid, UVa, pp. 421–424, nov, 2010.
Díaz, A., and P. Merino, "A Testbed for energy profile characterization of IP services in samrtphones over live networks", Mobile, Networks and Applications (MONET) Journal, Netherlands, Springer, pp. online first, mar, 2010.

Pages



Main menu 2

by Dr. Radut