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 
A
Adalid, D., M-del-M. Gallardo, P. Merino, and A. Salmeron, "TJT: testing temporal logic in JAVA programs", Ernesto Jiménez y Sergio Arévalo. Actas de las XIX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2011. La Granja de San Ildefonso, Segovia. 8,9, y 10 de junio de 2011: Dpto. de Publicaciones de la Escuela Universitaria de Informática de Madrid, pp. 1–18, jul, 2011.
Adalid, D., M-del-M. Gallardo, and L. Titolo, "Modeling Hybrid Systems in Hy-tccp", Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), 2014.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "Testing temporal logic on infinite Java traces", Costin Badica, [et. all]; (eds.). Modelling, simulation, verification and validation of enterprise information systems & web intelligence. Proceedings of MSVVEIS/WEBI 2012. June 28th-July 1st, 2012, Wroclaw, Poland, pp. 37–47, nov, 2012.
Adalid, D., M-del-M. Gallardo, and L. Titolo, "Modeling Hybrid Systems in the Concurrent Constraint Paradigm", Electronic Proceedings in Theoretical Computer Science 173, 2015.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "Testing temporal logic on infinite Java traces", 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. 233–234, sep, 2012.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "Using SPIN for automated debugging of infinite executions of Java programs (in press)", Journal of Systems and Software: Elsevier, pp. 15, nov, 2013.
Alba, E., J. Francisco Aldana, V. Benjumea, J. Carlos Canal, M. Díaz, L. Fuentes, M-del-M. Gallardo, P. Merino, A. Jesús Nebro, M. Roldán, et al., "EVP: un Entorno para la integración de técnicas de descripción formal", J. M. Troya Linero y C. Rodríguez León (Eds.). I Jornadas de Informática, Puerto de la Cruz, 17-21 de Julio de 1995. Actas, pp. 607–616, nov, 1995.
Aldana, J. Francisco, E. Alba, V. Benjumea, J. Carlos Canal, M. Díaz, L. Fuentes, M-del-M. Gallardo, P. Merino, A. Jesús Nebro, E. Pimentel, et al., "Un Entorno declarativo distribuido para especificación y validación de protocolos", Actas de las Jornadas Técnicas Proyecto TEMA/PLANBA, nov, 1994.
Á
Álvarez, A., A. Díaz, P. Merino, and F J. Rivas, "Mobile application profiling with TestelDroid", Proc. of 2012 IEEE Consumer Communications and Networking Conference. CCNC 2012, January 14-17, 2012, Las Vegas, NV: IEEE Communications Society, pp. 36–37, mar, 2012.
Álvarez, A., A. Díaz, P. Merino, and F J. Rivas, "Field measurements of mobile services with Android smartphones", Proc. of 2012 IEEE Consumer Communications and Networking Conference. CCNC 2012, January 14-17, 2012, Las Vegas, NV: IEEE Communications Society, pp. 105–109, 2012.
C
Canal, J. Carlos, L. Fuentes, P. Merino, and J. María Troya, "Especificación y Validación del protocolo de Audio/Vídeo AVP sobre un Entorno Declarativo Distribuido", Actas de XVI Escuela de Verano de Informática, pp. 3–17, feb, 1994.
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.
"Preface to the special issue on formal methods for industrial critical systems (FMICS 2007+FMICS 2008)", Science of Computer Programming, vol. 76: Elsevier, pp. 63–64, feb, 2010.
Contreras, S., M-del-M. Gallardo, P. Merino, D. Sanán, F J. Rivas, and J. Torrecilla, "Validating complex telecommunication software", Ercim News, no. 66, Sophia Antipolis Cedex, ERCIM EEIG, pp. 62–63, feb, 2006.
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.
Cuevas, J. Carlos, J. Martínez, and P. Merino, "Soluciones Domóticas Sin Instalación El Protocolo X-10, Más Seguro Y Fiable", Energia y Computacion, vol. 19, pp. 68–78, oct, 2002.
Cuevas, J. Carlos, P. Merino, F J. Rivas, and P. J. Reche, "Migrando una Aplicación Domótica a Entornos Móviles", Actas de las Jornadas Telecom I+D 2004, feb, 2004.
D
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.
de la Cámara, P., M-del-M. Gallardo, P. Merino, and D. Sanán, "Socketmc a tool to verify C code", Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos.JCSD 2005. En el Congreso Español de Informática, Granada, Spain, pp. 193–204, oct, 2005.
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.
de la Cámara, P., P. Merino, M-del-M. Gallardo, and D. Sanán, "Model checking software with well-defined APIS: the socket case", EASST Newsletters, vol. 11: European Association of Software Science and Technology, pp. 31–34, feb, 2005.
de la Cámara, P., R. Castro, M-del-M. Gallardo, and P. Merino, "Verification support for arinc-653-based avionics software (to appear)", Software Testing Verification & Reliability, UK, Wiley & Sons, mar, 2010.
de la Cámara, P., M-del-M. Gallardo, P. Merino, and D. Sanán, "Model checking software with well-defined APIs: the socket case", Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, FMICS’05, New York, ACM, pp. 16–27, oct, 2005.
Díaz, A., and P. Merino, "SymPA: a measurement tool for evaluating the performance of IP services in mobile networks", Proceedings of Fifth ACM International Symposium on QoS and Security of Wireless and Mobile Networks. Q2SWinet 2009. Tenerife, Canary Islands, Spain. 26-30 October 2009, New York, ACM, pp. 103–106, oct, 2009.

Pages



Main menu 2

by Dr. Radut