Jump to Navigation

Biblio

Found 202 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 
M
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.
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.
Merino, P., and A. Salmeron, "Combining SPIN with ns-2 for protocol optimization", Jaco van de Pol y Michael Weber (Eds.). Model checking software: 17th International SPIN workshop. Enschede, The Netherlands, September 27-29, 2010. Proceedings, Berlín, Springer, pp. 40–57, dec, 2010.
Merino, P., and J. María Troya, "Modeling and verification of the MCS layer with Spin", Jean-Charles Grégoire; Gerard J. Holzmann and Doron A. Peled (Eds.). The Spin verification system: the second workshop on the Spin verification system proceedings of the DIMACS workshop, August 5, 1996, USA, American Mathematical Society, pp. 101–110, jul, 1997.
Merino, P., B. Rubio, and J. María Troya, "Flat-Parlog distribuido", M. Hermenegildo y J. J. Moreno (Eds.). Programación Declarativa. Primer Congreso Nacional, ProDe'92, 28-30 Septiembre, Madrid, España: Facultad de Informática; Universidad Politécnica de Madrid, pp. 397–398, nov, 1992.
Merino, P., B. Rubio, and J. María Troya, "A Distributed implementation of a concurrent logic language", Transputers Communications, vol. 3, no. 2, pp. 117–135, oct, 1996.
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.
"Implementation of a Concurrent Logic Language", Transputers Applications and Systems ´93: IOS Press, pp. 1137–1153, feb, 1993.
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.
Merino, P., and J. María Troya, "EVP: integration of FDTs for the analysis and verification of communication protocols", Rajeev Alur and Thomas A. Henzinger (Eds.). Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings, vol. 1102, Berlin, Springer, pp. 406–410, oct, 1996.
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.
"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.
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., and J. María Troya, "Modelling and Verification of the ITU-T multipoint communication service with SPIN", Proceedings of The 2nd International Workshop on the SPIN Verification System, New Brunswik, EEUU, pp. 60–71, feb, 2008.
Merino, P., and J. María Troya, "Modelling and Verification of the MCS Layer with SPIN", The SPIN Verification System,: American Mathematical Society, pp. 101–110, jan, 1997.
Merino, P., B. Rubio, and J. María Troya, "Una Máquina abstracta con unificación distribuida para Flat-Parlog", Actas de las I Jornadas sobre Programación Declarativa PRODE'91. Torremolinos (Málaga), 2-4 Octubre, pp. 421–432, nov, 1991.
Merino, P., Observadores lineales: un lenguaje de especificación de propiedades para verificación de protocolos, : Universida de Málaga, jun, 1998.

Pages



Main menu 2

by Dr. Radut