Jump to Navigation

Biblio

Found 215 results
Author Title Type [ Year(Desc)]
2005
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "Verifying real time properties of 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 Septimebre de 2005, Madrid, Thomson, pp. 85–94, oct, 2005.
Díaz, A., A. Gil, P. Merino, and J. Muñoz, "XAPPmonitor uagent: una herramienta para la medida del rendimiento de servicios en redes GSM/GPRS y 3G desde los terminales de usuario", [Actas] de las Jornadas Telecom I+D, Barcelona, Bilbao, Madrid, Málaga, Valencia 22,23 y 24 de Noviembre, oct, 2005.
2006
de la Cámara, P., M-del-M. Gallardo, and P. Merino, "Abstract Matching for Software Model Checking", Antti Valmari (Ed.). Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings, Berlin, Springer, pp. 182–200, oct, 2006.
Merino, P., M-del-M. Gallardo, and D. Sanán, "C.OPEN and ANNOTATOR: tools for on-the-fly model checking C programs", 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, feb, 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.
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.
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", 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.
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.
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.
2007
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "An Abstract analysis framework for synchronous concurrent languages based on source-to-source transformation", Ernesto Pimentel (Ed.). VII Jornadas de Programación y Lenguajes PROLE 2007, Zaragoza, 12 al 14 de septiembre, Madrid, Spain, pp. 81–102, nov, 2007.
Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio de 2007, , Málaga, España, Universidad de Málaga, pp. 330, jun, 2007.
Martínez, J., P. Merino, and A. Salmeron, "Applying MDE Methodologies to Design Communication Protocols for Distributed Systems", Proceedings of the First International Conference on Complex, Intelligent and Software Intensive Systems. (CISIS 2007),Vienna, Austria: IEEE Computer Society, pp. 185–190, feb, 2007.
Gallardo, M-del-M., P. Merino, and D. Sanán, "C.OPEN, a tool for analyzing C code in CADP", María del Mar Gallardo Melgarejo y Pedro Merino Gómez (Eds.). Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio, pp. 199–214, nov, 2007.
Gallardo, M-del-M., C. Joubert, P. Merino, and D. Sanán, "C.OPEN and ANNOTATOR: tools for On-the-Fly model checking C programs", Dragan Bosnacki and Stefan Edelkamp (Eds.). Model Checking Software: 14th International SPIN Workshop Berlin, Germany, July 1-3, 2007 Proceedings, Berlin, Springer, pp. 268–273, nov, 2007.
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., 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.

Pages



Main menu 2

by Dr. Radut