Jump to Navigation

Biblio

Found 215 results
Author Title [ Type(Desc)] Year
Conference Paper
Gallardo, M-del-M., J. Martínez, P. Merino, P. Nuñez, and E. Pimentel, "PIXL: applying XML standards to support the integration of analysis tools for protocols", 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. 57–66, nov, 2006.
Gallardo, M-del-M., and P. Merino, "A Practical method to integrate abstraction into SDL and MSC based tools", Stefania Gnesi, et al (eds.). 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems: proceedings of FMICS'2000, April 3-4, 2000 in Berlin, pp. 225–246, oct, 2000.
Gallardo, M-del-M., P. Merino, and J. María Troya, "Property preserving abstractions of SDL", Diego Cazorla López (Coor.). Actas de las VIII Jornadas de Concurrencia : Cuenca, 14 a 16 de junio de 2000: Universidad de Castilla-La Mancha, pp. 111–124, oct, 2000.
García, C A., Á. Ríos, P. Merino, K. Katsalis, N. Nikaein, R. Figueiredo, D. Morris, and T. O'Callaghan, "Q4HEALTH: Quality of Service and prioritisation for emergency services in the LTE RAN stack", Conference: Networks and Communications (EuCNC), 2016 European Conference on, 2016.
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.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Salmeron, "River Basin Management with Spin", Model Checking Software: 23rd. International Symposium, SPIN , Eindhoven, The Netherlands, Springer: Switzerland, 04/2016.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Salmeron, "River basin management with SPIN (abstract)", XVI Jornadas de Programación y Lenguajes, PROLE 2016, Salamanca, Spain, Villanueva, M. (Ed.), 09/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.
Gallardo, M-del-M., L. Lavado, and L. Panizo, "A simulation tool for tccp programs", 24th International Workshop on Functional and (Constraint) Logic Programming, WFLP2016, Leipzig, Germany, 09/2016.
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.
Gallardo, M-del-M., L. Lavado, and L. Panizo, "A Simulation tool for TCCP programs (abstract)", XVII Jornadas de Programación y Lenguajes, PROLE 2017, La Laguna, Tenerife, Spain, Durán, F. (Ed.), 07/2017.
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.
Díaz, M., M-del-M. Gallardo, P. Merino, L. Panizo, S. Romero, and E. Soler, "Smart flood management DSS", International Conference and Exhibition, Achievements, opportunities and challenges. HYDRO 2016, Montreux, Switzerland, 10/2016.
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.

Pages



Main menu 2

by Dr. Radut