Jump to Navigation

Biblio

Found 30 results
Author Title Type [ Year(Asc)]
Filters: Author is Jesús Martínez  [Clear All Filters]
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.
2009
Martínez, J., P. Merino, A. Salmeron, and F. Malpartida, "UML-Based model-driven development for HSDPA design", IEEE Software, vol. 26, no. 3: IEEE, pp. 26–33, dec, 2009.
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.
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.
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.
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.
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.
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.
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.
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.
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.
2004
Martínez, J., L.. López, and P. Merino, "Application-Oriented Middleware for E-Commerce", Middleware for Communications: Wiley & Sons, pp. 393–412, oct, 2004.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "aSpin: a tool for abstract model checking", Software Tools for Technology Transfer, vol. 5, no. 2-3: Springer, pp. 165–184, oct, 2004.
Gallardo, M-del-M., M. Juan Hornos, J. Martínez, and P. Merino, "Integration of interval logic specifications into the model checker SPIN", Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos. Las Navas del Marqués (Ávila), 9 al 11 de Junio de 2004, Madrid, Universidad Rey Juan Carlos, pp. 317–322, oct, 2004.
Martínez, J., P. Merino, M-del-M. Gallardo, and D. Sanán, "Integration of Reliability and Performance Analyses for Active Networks Services", Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004): Austrian Computer Society, pp. 107–124, feb, 2004.
Carmona, A., M-del-M. Gallardo, J. Martínez, and P. Merino, "Un Marco de Trabajo para la Construcción de Herramientas de Model Checking", Actas de las IV Jornadas sobre Programación y Lenguajes. Málaga, 11 al 12 de Noviembre, pp. 191–200, oct, 2004.
2003
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "Abstract model checking and refinement of temporal logic in Spin", Johan Lilius, Felice Balarin, y Ricardo J. Machado (Eds.). Proceedings of Third International Conference on Application of Concurrency to System Design. ACSD 2003, 18-20 June 2003, Gamaraes, Portugal, Los Alamitos, California, IEEE Computer Society, pp. 245–246, oct, 2003.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "Applying data abstraction to XML formal designs", Walter Dosch, Roger Y. Lee (Eds.): Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD'03), October 16-18, 2003, Lübeck, Germany. ACIS 2003, pp. 315–321, oct, 2003.
Gallardo, M-del-M., J. Martínez, E. Pimentel, and P. Merino, "aSPIN: implementing model checking with data abstraction", Concurrencia y sistemas distribuidos : actas de las XI Jornadas de Concurrencia: Universitat Jaume I, pp. 193–206, oct, 2003.
López, L.., J. Martínez, and P. Merino, "Sistema Avanzado de Gestión de Billetes para Transporte Público con Tarjetas Inteligentes", IV Jornadas de Ingeniería Telemática, pp. 65–72, feb, 2003.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "Transforming specifications to verify embedded systems", Ercim News, no. 52, Sophia Antipolis Cedex, European Research Consortium for Informatics and Mathematics, pp. 35–36, oct, 2003.
2002
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "aSPIN: extending Spin with abstraction", D. Bonaki, S Leue (Eds.): .Model Checking Software: 9th International SPIN Workshop, Genoble, France, April 11-13, 2002. Proceedings, Berlin, Springer, pp. 254–258, oct, 2002.
Cuevas, J. Carlos, J. Martínez, and P. Merino, "El Protocolo X10 una solución antigüa a problemas actuales", Simposio en Informática y Telecomunicaciones SIT’02, Sevilla, España, pp. 87–96, oct, 2002.

Pages



Main menu 2

by Dr. Radut