Jump to Navigation

Biblio

Found 214 results
[ Author(Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
L
Lavado, L., L. Panizo, and M-del-M. Gallardo, "Implementing a Hy-tccp interpreter for simulation", XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD'16), 06/2016.
Lavado, L., L. Panizo, M-del-M. Gallardo, and P. Merino, "A Characterisation of verification tools for software defined networks", Journal of Reliable Intelligent Environments, vol. 3, issue 3: Springer International Publishing, pp. 189–207, 07/2017.
Lavado, L., L. Panizo, and M-del-M. Gallardo, "A simulation tool for tccp programs", Proc. of 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP'16), 12/2016.
Lavado, L., L. Panizo, M-del-M. Gallardo, and P. Merino, "A Characterisation of reliability tools for software defined networks (abstract)", XVII Jornadas de Programación y Lenguajes, PROLE 2017, La Laguna, Tenerife, Spain, Durán, F. (ed.), 07/2017.
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.
Linares, A., J. Regodón, L. Panizo, M-del-M. Gallardo, and P. Merino, "A DSS for reservoir operation based on the execution of formal models", Proc of [11th International conference on hydroinformatics. HIC 2014, New York, USA, 17-21 august, 2014], pp. 8, 2014.
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.
López, F. Javier, A. Maña, P. Merino, and J. María Troya, "The Role of smartcards in practical information security", Ercim News, vol. 49, Sophia Antipolis Cedex, European Research Consortium for Informatics and Mathematics, pp. 38–40, oct, 2002.
López, L.., J. Martínez, and P. Merino, "Advanced public transport ticketing with Smartcards", Proc. of Youth Forum in Computer Science and Engineering (YUFORIC'01), Valencia, Spain: Universidad Politécnica de Valencia, pp. 41–46, oct, 2001.
Actas IV Jornadas sobre Programación y Lenguajes. PROLE 2004, Málaga 11 al 12 de noviembre de 2004, , jul, 2004.
M
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.
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.
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.
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.
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., 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.
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.
Merino, P., and E. Schoitsch, "Safety-critical software", Ercim News, vol. 75, Sophia Antipolis Cedex, ERCIM EEIG, pp. 12–13, jul, 2008.
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.
Merino, P., and J. María Troya, "Verifying Protocols with Executable Linear Logic", Pre-Proceeding of LOPSTR98: University of Manchester, pp. 88–95, feb, 1998.
Merino, P., and J. María Troya, "A Logic based approach to validation and verification of computer protocols", Proc. of Workshop on Formal Methods for Industrial Critical Systems, St Hugh's College, Oxford (UK), March, 19, 1996, pp. 109–124, jun, 1996.
Merino, P., A. Jesús Nebro, B. Rubio, and J. María Troya, "Un Kernel para comunicaciones y entrada-salida en redes de Transputers", Actas de Tercera Reunión sobre Paralelismo, feb, 2008.
Merino, P., J. María Álvarez, L. Panizo, F. Carlos Pérez, and A. Sanz, "Communication software: design and testing", Encyclopedia of Software Engineering: Taylor & Francis, pp. 153–169, jan, 2010.

Pages



Main menu 2

by Dr. Radut