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 
M
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.
Merino, P., and A. Salmeron, "Analysis and optimization of video download on mobile devices", XX Jornadas de Telecom I+D. Valladolid 27, 28 y 29 septiembre 2010 (CD-ROM), dec, 2010.
Merino, P., and J. María Troya, "A Logic based approach to validation and verification of computer protocols", Bulletin of the Association for Theoretical Computer Science, no. 59, pp. 109–124, jun, 1996.
Introducción a la programación en Symbian, , Málaga, Editorial Arguval, oct, 2010.
Merino, P., M. Jacome, and J. Carlos López, A Methodology For Task Based Partitioning And Scheduling of Dynamically Reconfigurable Systems, : IEEE Computer Society, pp. 324, oct, 1998.
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.
P
Panizo, L., and M-del-M. Gallardo, "Generation of safe operations for dam management using formal methods", XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012, pp. 129–144, jun, 2012.
Panizo, L., M-del-M. Gallardo, P. Merino, D. Sanán, and A. Linares, "Dam management based on model checking techniques", 8th International conference on software engineering and formal methods. SEFM 2010: proceedings of the posters and tooldemo session. CNR, Pisa, Italy 13-18 september 2010, Pisa, Italy, Consiglio Nazionale delle Ricerche, pp. 9–13, oct, 2010.
Panizo, L., and M-del-M. Gallardo, "An Extension of Java PathFinder for Hybrid Systems", ACM SIGSOFT Software Engineering Notes, vol. 37, no. 6, New York, NY, USA, ACM, pp. 1–5, nov, 2012.
Panizo, L., and M-del-M. Gallardo, "Analyzing hybrid systems with JPF", María del Mar Gallardo; Mateu Villaret and Luis Iribarne (eds.). XII Jornadas sobre programación y lenguajes. (PROLE), Almería, 17 al 19 de septiembre de 2012: Universidad de Almería, pp. 235–249, sep, 2012.
Panizo, L., "Objetos activos", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 101–116, oct, 2010.
Panizo, L., A. Salmeron, M-del-M. Gallardo, and P. Merino, "Guided test case generation for mobile apps in the TRIANGLE project: work in progress", 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, ACM, 07/2017.
Panizo, L., and M-del-M. Gallardo, "Verifying hybrid systems with explicit model checkers", Lars-Åke Fredlund; Laura M. Castro (Eds.). XII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional (TPF). Madrid, 17 a 20 de septiembre de 2013, pp. 1–15, sep, 2013.
R
Recio, Á. Manuel, "Creación e instalación de aplicaciones", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 11–36, oct, 2010.
Rivas, F J., A. Díaz, and P. Merino, "Obtaining more realistic cross-layer QoS measurements: a VoIP over LTE use case", Journal of Computer Networks and Communications, no. 2013: Hindawi Publishing Corporation, pp. 1–10, dec, 2013.

Pages



Main menu 2

by Dr. Radut