Jump to Navigation

Biblio

Found 215 results
Author Title Type [ Year(Asc)]
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.
Gallardo, M-del-M., P. Merino, C. Joubert, and D. Sanán, "On the Fly model checking for C programs with extended CADP in FMICS-jETI", 12th IEEE International Conference on Engineering Complex Computer Systems, Auckland, New Zealand, July 11-14, 2007. Proceedings, Los Alamitos, California, IEEE Computer Society, pp. 321–329, nov, 2007.
"Implementing Influence Analysis using Parameterized Boolean Equation Systems", Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation, feb, 2007.
Ocaña, M. del Carmen, and P. Merino, La madurez de la tecnología IP, , pp. 47–48, feb, 2007.
Martínez, J., and A. Salmeron, "MDA for reliable and high performance communication protocols", 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. 215–230, nov, 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.

Pages



Main menu 2

by Dr. Radut