Jump to Navigation

Biblio

Found 203 results
Author Title [ Type(Desc)] Year
Conference Paper
Gallardo, M-del-M., P. Merino, and E. Pimentel, "Refinement of LTL formulas for abstract model checking", Manuel V. Hermenegildo and Germán Puebla (Eds.).Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings, Berlin, Springer, pp. 395–410, oct, 2002.
Gallardo, M-del-M., P. Merino, and J. María Troya, "Relating abstract interpretation with logic program verification", Proc. International Workshop on Verification, Model Checking and Abstract Interpretation' 97, Universita´Ca´foscari di Venezia Report CS97-14, oct, 1997.
Díaz, A., Á. Manuel Recio, C A. García, and P. Merino, " Remote control and instrumentation of Android devices", 13th International Conference on Remote Engineering and Virtual Instrumentation (REV 2016), 2016.
Espada, A. Rosario, M-del-M. Gallardo, and D. Adalid, "A Runtime Verification Framework for android Applications", Proceedings of XXI JCSD, 2013.
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.
Yagüe, M. I., M-del-M. Gallardo, and A. Maña, "Semantic access control model: a formal specification", Computer Security-ESORICS 2005: 10th European Symposium on Research in Computer Security Milan, Italy, September, 2005. Proceedings, Berlin, Springer, pp. 24–43, sep, 2005.
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "A Semantic framework for the abstract model checking ot tccp programs", Francisco Javier López Fraguas (Ed.). Actas de las V Jornadas sobre Programación y Lenguajes. PROLE 2005: Simposio 10 del I Congreso Español de Informática (CEDI 2005), Granada 13 al 16 de Septiembre de 2005, Madrid, Thomson, pp. 97–100, feb, 2005.
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.
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.
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.
Gallardo, M-del-M., and J. María Troya, "Studying the cost of logic languages in an abstract interpretation framework for granularity analysis", Maurizio Proietti (Ed.). Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings, Berlin, Springer, pp. 91–105, oct, 1996.
Díaz, A., P. Merino, L. Panizo, and Á. Manuel Recio, "A Survey on mobile peer-to-peer technology", 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. 59–68, nov, 2007.
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.
Díaz, A., P. Merino, and F J. Rivas, "SymPA: un analizador de protocolos para dispositivos móviles", Actas de la II Conferencia Iberoamericana sobre Computación Ubicua (CICU 2006), Alcalá de Henares, Madrid, {Servicio de Publicaciones de la Universidad de Alcalá, pp. 65–72, jun, 2006.
Díaz, A., and P. Merino, "SymPA: una herramienta para la caracterización del rendimiento de aplicaciones móviles en entornos celulares (demostración)", Yannis Dimitriadis y María Jesús Verdú Pérez (eds.). IX Jornadas de Ingeniería Telemática. Jitel 2010. Universidad de Valladolid, del 29 de septiembre al 1 de octubre de 2010, Valladolid, UVa, pp. 421–424, nov, 2010.
Díaz, A., P. Merino, and F J. Rivas, "Test environment for QoS testing of VoIP over LTE", Filip De Truck; Luciano Paschoal Gaspary; Deep Medhi, (eds.). Proceedings of the 2012 IEEE Network Operations and Management Symposium 16-20 aplil 2012, Maui, Hawaii, USA, Piscataway, NJ, IEEE Computer Society, pp. 780–794, oct, 2012.
Díaz, A., and P. Merino, "Testing and profiling internet services in mobile devices", Witold Abramowicz...[et.al], (eds.). Towards a service-based internet: 4th european conference, ServiceWave 2011. Poznan, Poland, october 26-28, 2011. Proceedings, Berlín, Springer-Verlag, pp. 329–330, oct, 2011.
Rivas, F J., A. Díaz, and P. Merino, "Testing of LTE configurations and applications", En T. Korakis, M. Zink, and M. Ott (Eds.): TridentCom 2012, Berlin, Springer, pp. 417–418, mar, 2012.
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, "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, 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.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "A Tool for abstraction in model checking", Rance Cleaveland, Hubert Garavel (Eds.). 7th Workshop on Formal Methods for Industrial Critical Systems (FMICS'02). University of Malaga, Spain, July 12-13, USA, European Research Consortiun for Informatics and Mahtematics, ERCIM, pp. 19–34, oct, 2002.
Díaz, A., and P. Merino, "Towards a lightweight middleware for mobile multimedia communications awareness", Proc. of 4th International Mobile Multimedia Communications Conference. MOBIMEDIA'08. Oulu, Finland. 7-9th of July 2008: ACM, pp. 1–4, oct, 2008.
Gallardo, M-del-M., P. Merino, and D. Sanán, "Towards model checking C code with OPEN/CAESAR", 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. 198–201, nov, 2006.
Gallardo, M-del-M., E. Pimentel, and J. María Troya, "Traducción de SDL a un lenguaje lógico concurrente", Proc. Jornadas Técnicas Proyecto TEMA/PLANBA, oct, 1994.

Pages



Main menu 2

by Dr. Radut