Biblio

Found 42 results
Filters: First Letter Of Last Name is G  [Clear All Filters]
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
García-Pérez CA, Díaz A, Ríos Á, Merino P, Katsalis K, Chang C-Y, Shariat S, Nikaein N, Rodriguez P, Morris D.  2017.  Improving the efficiency and reliability of wearable based mobile eHealth applications. Pervasive and Mobile Computing. 40:674–691.
García CAugusto, Ríos Á, Merino P, Katsalis K, Nikaein N, Figueiredo R, Morris D, O’Callaghan T.  2016.  Q4HEALTH: Quality of Service and prioritisation for emergency services in the LTE RAN stack. Conference: Networks and Communications (EuCNC), 2016 European Conference on.
García CAugusto, Recio ÁManuel, Ríos Á, Díaz A, Merino P.  2016.  Extensive and repeatable experimentation in mobile communications with programmable instruments. 13th International Conference on Remote Engineering and Virtual Instrumentation (REV 2016).
García CAugusto, Merino P.  2016.  Enabling low latency services in standard LTE networks. IEEE 1st International Workshops on Foundations and Applications of Self-* Systems.
Gallardo M-del-M, Merino P, Panizo L, Linares A.  2009.  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). :287–296.
Gallardo M-del-M, Merino P, Sanán D.  2007.  C.OPEN, a tool for analyzing C code in CADP. 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. :199–214.
Gallardo M-del-M, Merino P, Panizo L, Salmeron A.  2016.  River Basin Management with Spin. Model Checking Software: 23rd. International Symposium, SPIN.
Gallardo M-del-M, Martínez J, Merino P, Pimentel E.  2006.  On the Evolution of Reliability Methods for Critical Software. A. Ertas, et.al.(Eds.). Integrated design & process technology: proceedings of the ninth World Conference on Integrated Design and Process Technology. IDPT 2006. San Diego, California, June 25-30, 2006. 1:53–65.
Gallardo M-del-M, Merino P, Panizo L, Linares A.  2011.  A practical use of model checking for synthesis: generating a dam controller for flood management. Software Practice & Experience. 41:1329–1347.
Gallardo M-del-M, Merino P, Sanán D.  2009.  Model Checking dynamic memory allocation in operating systems. Journal of Automated Reasoning. 42:229–264.
Gallardo M-del-M, Merino P, Panizo L, Salmeron A.  2017.  Integrating river basin DSSs with model checking. International Journal on Software Tools for Technology Transfer. :1–16.
Gallardo M-del-M, Merino P, Joubert C, Sanán D.  2007.  On-the-fly API influence analysis of software. Pedro Merino y Mohammed Bakkali (Eds.). Proceedings of the II International Conference on Science and Technology. JICT 2007, 21-22 March, Malaga, Spain, 23 March, Tangier, Morocco. :1–4.
Gallardo M-del-M, Panizo L, Titolo L.  2015.  A discretized operational semantics for the implementation of Hy-tccp. Jornadas sobre Programación y Lenguajes, PROLE 2015.
Gallardo M-del-M, Sanán D.  2010.  Verification of dynamic data tree with mu-calculus extended with separation. Proceedings of software engineering and formal methods. SEFM 2010. 14-18 september 2010, Pisa, Italy. :211–221.
[Anonymous].  2007.  Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio de 2007. :330.
Gallardo M-del-M, Martínez J, Merino P, Pimentel E.  2006.  On the Evolution of reliability methods for critical software. Journal of Integrated Design and Process Science. 10:55–67.
Gallardo M-del-M, Panizo L.  2011.  Extending model checkers for hybrid system verification: the case study of Spin. 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. :84–98.
Gallardo M-del-M, Merino P, Sanán D.  2009.  Model checking dynamic data structures in operating systems. 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). :3–16.
Gallardo M-del-M, Lavado L, Panizo L, Titolo L.  2017.  A Constraint-based language for modelling intelligent environments. Journal of Reliable Intelligent Environments. 3:55–79.
Gallardo M-del-M, Merino P, Joubert C, Sanán D.  2007.  On the Fly model checking for C programs with extended CADP in FMICS-jETI. 12th IEEE International Conference on Engineering Complex Computer Systems, Auckland, New Zealand, July 11-14, 2007. Proceedings. :321–329.
Gallardo M-del-M, Panizo L, Titolo L.  2015.  A Discretized operational semantic for the implementation of Hy-tccp (abstract). XXIII Jornadas de Concurrencia y Sistemas Distribuidos., JCSD 2015; Doctoral Consortium en Tecnolog{ías Informáticas. DCTI 2015.
Gallardo M-del-M, Sanán D.  2010.  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. :109–110.
Gallardo M-del-M, Merino P, Panizo L.  2008.  Estado del arte de herramientas para la verificación de sistemas h{íbridos. Llanos Tobarra, et al (eds.). Actas de las XVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2008. Albacete, 11 a 13 de Junio. :231–245.
Gallardo M-del-M, Martínez J, Merino P, Nuñez P, Pimentel E.  2007.  PiXL: appliyng XML standards to support the integration of analysis tools for protocols. Science of Computer Programming. 65:57–69.
Gallardo M-del-M, Sanán D.  2012.  Verification of complex dynamic data tree with mu-calculus. Automated Software Engineering. :onlinefirst.

Pages