Jump to Navigation

Biblio

Found 203 results
Author Title Type [ Year(Asc)]
2007
de la Cámara, P., M-del-M. Gallardo, and P. Merino, "Model extraction for ARINC 653 based avionics software", Dragan Bosnacki and Stefan Edelkamp (Eds.). Model Checkin Software: 14th International SPIN Workshop Berlin, Germany, July 1-3, 2007, Proceedigns, Berlin, Springer, pp. 243–262, nov, 2007.
Díaz, A., P. Merino, L. Panizo, and Á. Manuel Recio, "Monitorización y análisis de servicios de video streaming peer-to-peer sobre redes UMTS", Lidia Fuentes; Javier López y Pedro Merino (Eds.). VI Jornadas de Ingeniería Telemática. JITEL 2007, Málaga, del 17 al 19 de Septiembre, pp. 433–440, nov, 2007.
Gallardo, M-del-M., P. Merino, C. Joubert, and D. Sanán, "On-the-fly API influence analysis of software", Pedro Merino y Mohammed Bakkali (Eds.). Proceedings of the II International Conference on Science and Technology. JICT 2007, 21-22 March, Malaga, Spain, 23 March, Tangier, Morocco, Málaga, SPICUM; Serv. de Publicaciones, pp. 1–4, nov, 2007.
Gallardo, M-del-M., P. Merino, and C. Joubert, "On-the-Fly data flow analysis based on verification technology", Proc. of International Workshop on Compiler Optimization Meets Compiler Verification. COCV 2007. Braga, Portugal, 25 March, feb, 2007.
Gallardo, M-del-M., C. Joubert, and P. Merino, "On-the-Fly data flow analysis based on verification technology", Electronic Notes in Theoretical Computer Science, vol. 190, no. 4: Elsevier, pp. 33–48, dec, 2007.
Gallardo, M-del-M., J. Martínez, P. Merino, P. Nuñez, and E. Pimentel, "PiXL: appliyng XML standards to support the integration of analysis tools for protocols", Science of Computer Programming, vol. 65, no. 1: Elservier, pp. 57–69, mar, 2007.
Proceedings of the II International Conference on Science and Technology (CD), : Universidad de Málaga, feb, 2007.
Proceedings of the XII International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'07), Berlin, Germany July 1-2, , Germany; Spain, Universität Konstanz; Universidad de Málaga, nov, 2007.
Martínez, J., P. Merino, F. Carlos Pérez, P. de la Cámara, and J. María Álvarez, "An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing", Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation, feb, 2007.
Díaz, A., P. Merino, L. Panizo, and Á. Manuel Recio, "A Survey on mobile peer-to-peer technology", 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. 59–68, nov, 2007.
VI Jornadas de Ingeniería Telemática. JITEL 2007, Málaga, : Los Autores, oct, 2007.
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", 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 Pervasive Computing, vol. 5, no. 3: IEEE Computer Society, pp. 57–59, nov, 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.
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.

Pages



Main menu 2

by Dr. Radut