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 
G
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Linares, "Dam management using SCADE suite", Marisa Llorens y Javier Oliver (eds.). Actas de las XVII Jornadas de Concurrencia y Sistemas Distribuidos. 10,11 y 12 de Junio de 2009. Sagunto (Valencia): Universidad Politécnica de Valencia, pp. 287–296, jun, 2009.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "A Tool for abstraction in model checking", Electronic Notes in Theoretical Computer Science, vol. 66, no. 2: Elsevier, pp. 16 pages, dec, 2002.
Gallardo, M-del-M., P. Merino, and D. Sanán, "Automatic verification of C programs with dynamic memory allocation", Llanos Tobarra, et al (eds.). Actas de las XVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2008. Albacete, 11 a 13 de Junio, pp. 247–261, jun, 2008.
Gallardo, M-del-M., and D. Sanán, "Verification of dynamic data tree with mu-calculus extended with separation", Víctor M. Gulías; Josep Silva y Alicia Villanueva (eds.). Actas de las X jornadas sobre programación y lenguajes. PROLE 2010, Madrid, Ibergarceta Publicaciones, S.L., pp. 109–110, oct, 2010.
Gallardo, M-del-M., J. Martínez, P. Merino, and G. Rodriguez, "Integration of reliability of performance analyses for active network services", Electronic Notes in Theoretical Computer Science, vol. 133: Elservier, pp. 217–236, dec, 2005.
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., J. Martínez, P. Merino, and E. Pimentel, "Transforming specifications to verify embedded systems", Ercim News, no. 52, Sophia Antipolis Cedex, European Research Consortium for Informatics and Mathematics, pp. 35–36, oct, 2003.
Gallardo, M-del-M., Análisis de lenguajes lógicos concurrentes mediante interpretación abstracta, : Universida de Málaga, jun, 1997.
Gallardo, M-del-M., M. Juan Hornos, J. Martínez, and P. Merino, "Integration of interval logic specifications into the model checker SPIN", Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos. Las Navas del Marqués (Ávila), 9 al 11 de Junio de 2004, Madrid, Universidad Rey Juan Carlos, pp. 317–322, oct, 2004.
Gallardo, M-del-M., P. Merino, and D. Sanán, "Model Checking dynamic memory allocation in operating systems", Journal of Automated Reasoning, vol. 42, no. 2-4, Netherlands, Springer, pp. 229–264, mar, 2009.
Gallardo, M-del-M., E. Pimentel, and J. María Troya, "Un Intérprete abstracto para la detección de la suspensión de programas Parlog", M. Hermenegildo y J. J. Moreno (Eds.). Programación Declarativa. Primer Congreso Nacional, ProDe'92, 28-30 Septiembre, 1992, Madrid, España: Facultad de Informática; Universidad Politécnica de Madrid, pp. 354–358, oct, 1992.
Gallardo, M-del-M., P. Merino, and E. Pimentel, "Abstract satisfiability of linear temporal logic", Fernando Orejas; Fernando Cuartero y Diego Cazorla (Eds.). Primeras Jornadas sobre Programación y Lenguajes (PROLE 2001), Almagro, 23 y 24 de Noviembre: Universidad de Castilla-La Mancha, pp. 163–178, oct, 2001.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "On the Evolution of reliability methods for critical software", Journal of Integrated Design and Process Science, vol. 10, no. 4, Amsterdam, The Netherlands, IOS Press, pp. 55–67, mar, 2006.
García, C A., Á. Manuel Recio, Á. Ríos, A. Díaz, and P. Merino, "Extensive and repeatable experimentation in mobile communications with programmable instruments", 13th International Conference on Remote Engineering and Virtual Instrumentation (REV 2016), 2016.
García, C A., and P. Merino, "Enabling low latency services in standard LTE networks", IEEE 1st International Workshops on Foundations and Applications of Self-* Systems, 2016.
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.
L
Lavado, L., L. Panizo, and M-del-M. Gallardo, "Implementing a Hy-tccp interpreter for simulation", XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD'16), 06/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.
Proceedings of the XII International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'07), Berlin, Germany July 1-2, , Germany; Spain, Universität Konstanz; Universidad de Málaga, nov, 2007.
Linares, A., J. Regodón, L. Panizo, M-del-M. Gallardo, and P. Merino, "A DSS for reservoir operation based on the execution of formal models", Proc of [11th International conference on hydroinformatics. HIC 2014, New York, USA, 17-21 august, 2014], pp. 8, 2014.
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.
López, F. Javier, A. Maña, P. Merino, and J. María Troya, "The Role of smartcards in practical information security", Ercim News, vol. 49, Sophia Antipolis Cedex, European Research Consortium for Informatics and Mathematics, pp. 38–40, oct, 2002.
López, L.., J. Martínez, and P. Merino, "Advanced public transport ticketing with Smartcards", Proc. of Youth Forum in Computer Science and Engineering (YUFORIC'01), Valencia, Spain: Universidad Politécnica de Valencia, pp. 41–46, oct, 2001.

Pages



Main menu 2

by Dr. Radut