Jump to Navigation

Biblio

Found 215 results
Author Title Type [ Year(Asc)]
2006
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.
Joseph, A. D., A. Díaz, P. Merino, F J. Rivas, U. P. Kulkarni, J. V. Vadavi, G.. S. Thyagaraju, S. M. Joshi, and A. R. Yardi, "Mobile and ubiquitous objects - Communication awareness in mobile devices", IEEE Distributed Systems Online, vol. 7, no. 9: IEEE Computer Society, sep, 2006.
Joseph, A. D., A. Díaz, P. Merino, F J. Rivas, U. P. Kulkarni, J. V. Vadavi, G.. S. Thyagaraju, S. M. Joshi, and A. R. Yardi, "Mobile and ubiquitous objects - Communication awareness in mobile devices", IEEE Pervasive Computing, vol. 5, no. 3: IEEE Computer Society, pp. 57–59, nov, 2006.
Díaz, A., P. Merino, and F J. Rivas, "Performance monitoring and analysis of wireless communication protocols for mobile devices", Proceedings of the I International Conference on Ubiquitous Computing, 2006, Alcalá de Henares, Spain, Universidad de Alcalá de Henares. Serv, de Publicaciones, pp. 103–108, feb, 2006.
Gallardo, M-del-M., J. Martínez, P. Merino, P. Nuñez, and E. Pimentel, "PIXL: applying XML standards to support the integration of analysis tools for protocols", Joseph Barjis; Ulrich Ulte-Nitsche and Juan C.Augusto (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 4th International Workshop on (...) MSVVEIS 2006, Paphos, Cyprus, May, Portugal, INSTICC Press, pp. 57–66, nov, 2006.
Díaz, A., P. Merino, and F J. Rivas, "SymPA: un analizador de protocolos para dispositivos móviles", RIiCU: Revista Internacional Iberoamericana sobre Computación Ubicua, no. 1, pp. 1–8, nov, 2006.
Díaz, A., P. Merino, and F J. Rivas, "SymPA: un analizador de protocolos para dispositivos móviles", Actas de la II Conferencia Iberoamericana sobre Computación Ubicua (CICU 2006), Alcalá de Henares, Madrid, {Servicio de Publicaciones de la Universidad de Alcalá, pp. 65–72, jun, 2006.
Gallardo, M-del-M., P. Merino, and D. Sanán, "Towards model checking C code with OPEN/CAESAR", Joseph Barjis; Ulrich Ulte-Nitsche and Juan C.Augusto (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 4th International Workshop on (...) MSVVEIS 2006, Paphos, Cyprus, May, Portugal, INSTICC Press, pp. 198–201, nov, 2006.
Díaz, A., P. Merino, L. Panizo, and Á. Manuel Recio, "Un estudio práctico del rendimiento del servicio de streaming de video sobre redes móviles GPRS/UMTS", Administración, Universidad y Empresa: unidos para formar futuro; XVI Jornadas Telecom I + D, 28, 29 de noviembre y 1 de Diciembre de 2006, Madrid, Barcelona, Bilbao, Málaga, Valencia, y Zaragoza, nov, 2006.
Contreras, S., M-del-M. Gallardo, P. Merino, D. Sanán, F J. Rivas, and J. Torrecilla, "Validating complex telecommunication software", Ercim News, no. 66, Sophia Antipolis Cedex, ERCIM EEIG, pp. 62–63, feb, 2006.
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "Verifying real-time properties of tccp programs", Journal of Universal Computer Science, vol. 12, no. 11: Graz University of Technology, pp. 1551–1573, nov, 2006.
Díaz, A., A. Gil, P. Merino, and J. Muñoz, "x-AppMonitor μAgent: a tool for QoS measurements in cellular networks", Proceedings of the 3rd International Symposium on Wireless Communication Systems, Piscataway, N.J., IEEE, pp. 343–347, sep, 2006.
2005
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "Abstract model checking of TCCP programs", Electronic Notes in Theoretical Computer Science, vol. 112: Elsevier, pp. 19–36, dec, 2005.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "Abstracting UML behaviour diagrams for verification", Hongji Yang (Ed.).Software evolution with UML and XML, Leicester, Inglaterra, Idea Group Publishing, pp. 296–320, oct, 2005.
Díaz, A., P. Merino, and F J. Rivas, "Análisis de Symbian OS para desarrollar aplicaciones distribuidas sobre terminales GPRS", Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2005. En el Congreso Español de Informática. Granada, Spain, pp. 259–269, oct, 2005.
Gallardo, M-del-M., J. Martínez, P. Merino, and G. Rodriguez, "Integration of reliability of performance analyses for active network services", Electronic Notes in Theoretical Computer Science, vol. 133: Elservier, pp. 217–236, dec, 2005.
Gallardo, M-del-M., J. Martínez, and P. Merino, "Model checking active networks with SPIN", Computer Communications, vol. 28, no. 6: Elservier, pp. 609–622, apr, 2005.
de la Cámara, P., M-del-M. Gallardo, P. Merino, and D. Sanán, "Model checking software with well-defined APIs: the socket case", Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, FMICS’05, New York, ACM, pp. 16–27, oct, 2005.
de la Cámara, P., P. Merino, M-del-M. Gallardo, and D. Sanán, "Model checking software with well-defined APIS: the socket case", EASST Newsletters, vol. 11: European Association of Software Science and Technology, pp. 31–34, feb, 2005.
Yagüe, M. I., M-del-M. Gallardo, and A. Maña, "Semantic access control model: a formal specification", Computer Security-ESORICS 2005: 10th European Symposium on Research in Computer Security Milan, Italy, September, 2005. Proceedings, Berlin, Springer, pp. 24–43, sep, 2005.
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "A Semantic framework for the abstract model checking of TCCP programs", Theoretical Computer Science, vol. 346: Elsevier, pp. 58–95, oct, 2005.
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "A Semantic framework for the abstract model checking ot tccp programs", Francisco Javier López Fraguas (Ed.). Actas de las V Jornadas sobre Programación y Lenguajes. PROLE 2005: Simposio 10 del I Congreso Español de Informática (CEDI 2005), Granada 13 al 16 de Septiembre de 2005, Madrid, Thomson, pp. 97–100, feb, 2005.
de la Cámara, P., M-del-M. Gallardo, P. Merino, and D. Sanán, "Socketmc a tool to verify C code", Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos.JCSD 2005. En el Congreso Español de Informática, Granada, Spain, pp. 193–204, oct, 2005.
Martínez, J., Un enfoque basado en estándares para la integración de técnicas y herramientas de ingeniería de protocolos, : Universida de Málaga, jun, 2005.

Pages



Main menu 2

by Dr. Radut