Jump to Navigation

Biblio

Found 203 results
Author Title Type [ Year(Asc)]
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.
Salmeron, A., "Tipos, clases y convenciones de nombrado", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 37–49, oct, 2010.
Gallardo, M-del-M., and D. Sanán, "Verification of dynamic data tree with mu-calculus extended with separation", Proceedings of software engineering and formal methods. SEFM 2010. 14-18 september 2010, Pisa, Italy, Los Alamitos, CA, IEEE Computer Society, pp. 211–221, nov, 2010.
Gallardo, M-del-M., and D. Sanán, "Verification of dynamic data tree with mu-calculus extended with separation", Víctor M. Gulías; Josep Silva y Alicia Villanueva (eds.). Actas de las X jornadas sobre programación y lenguajes. PROLE 2010, Madrid, Ibergarceta Publicaciones, S.L., pp. 109–110, oct, 2010.
de la Cámara, P., R. Castro, M-del-M. Gallardo, and P. Merino, "Verification support for arinc-653-based avionics software (to appear)", Software Testing Verification & Reliability, UK, Wiley & Sons, mar, 2010.
2009
Díaz, A., and P. Merino, "Caracterización del perfil de consumo de energía de servicios IP sobre teléfonos móviles", Actas de las VIII Jornadas de Ingeniería Telemática. JITEL 2009. 15 al 17 de septiembre. Cartagena, España, pp. to appear, oct, 2009.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Linares, "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): Universidad Politécnica de Valencia, pp. 287–296, jun, 2009.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Linares, "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, Berlin, Springer, pp. 210–212, nov, 2009.
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.
Gallardo, M-del-M., P. Merino, and L. Panizo, "Integration of quantitative aspects into SPIN to develop a decision support tool for dams", Susana Andova, et al. (eds.). Workshop on Quantitative Formal Methods: Theory and Applications (QFM'09). November 3, Eindhoven, The Netherlands. Preliminary proceedings, pp. 95–100, nov, 2009.
Díaz, A., P. Merino, and F J. Rivas, "Mobile application profiling for connected Smartphones", IEEE Pervasive Computing: IEEE Computer Society, pp. in press, oct, 2009.
Gallardo, M-del-M., P. Merino, and D. Sanán, "Model checking dynamic data structures in operating systems", 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): Universidad Politécnica de Valencia, pp. 3–16, jun, 2009.
Gallardo, M-del-M., P. Merino, and D. Sanán, "Model Checking dynamic memory allocation in operating systems", Journal of Automated Reasoning, vol. 42, no. 2-4, Netherlands, Springer, pp. 229–264, mar, 2009.

Pages



Main menu 2

by Dr. Radut