Biblio

Found 138 results
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, 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, Lavado L, Panizo L.  2016.  A simulation tool for tccp programs. 24th International Workshop on Functional and (Constraint) Logic Programming, WFLP2016.
Gallardo M-del-M, Panizo L.  2010.  An approach to verify hybrid systems with SPIN. Victor M. Gul{ías; Josep Silva y Alicia Villanueva (eds.). Actas de las Jornadas sobre Programación y Lenguajes. PROLE 2010 (Sistedes). Valencia, septiembre del 8 al 10 de 2010.
Gallardo M-del-M, Martínez J, Merino P, Nuñez P, Pimentel E.  2006.  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. :57–66.
Gallardo M-del-M, Merino P, Sanán D.  2007.  Extending CADP for analyzing C code. Juan C. Augusto; Joseph Barjis and Ulrich Ultes-Nitsche (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 5th International Workshop on (...). MSVVEIS-2007, Funchal, Madeira, Portugal, June. :104–113.
Gallardo M-del-M, Merino P, Joubert C, Sanán D.  2012.  A Model-extraction approach to verifying concurrent C programs with CADP. Science of Computer Programming. 77:375–392.
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, Merino P, Joubert C.  2007.  On-the-Fly data flow analysis based on verification technology. Proc. of International Workshop on Compiler Optimization Meets Compiler Verification. COCV 2007. Braga, Portugal, 25 March.
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, 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, Merino P, Sanán D.  2008.  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. :247–261.
Gallardo M-del-M, Panizo L.  2013.  Extending model checkers for hybrid system verification: the case study of SPIN (in press). Software Testing Verification & Reliability. 24:438–471.
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, Panizo L, Salmeron A.  2016.  River basin management with SPIN (abstract). XVI Jornadas de Programación y Lenguajes, PROLE 2016.
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.
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-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.
L
Lavado L, Panizo L, Gallardo M-del-M.  2016.  A simulation tool for tccp programs. Proc. of 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP’16).
Lavado L, Panizo L, Gallardo M-del-M, Merino P.  2017.  A Characterisation of verification tools for software defined networks. Journal of Reliable Intelligent Environments. 3:189–207.
Lavado L, Panizo L, Gallardo M-del-M, Merino P.  2017.  A Characterisation of reliability tools for software defined networks (abstract). XVII Jornadas de Programación y Lenguajes, PROLE 2017.
Lavado L, Panizo L, Gallardo M-del-M.  2016.  Implementing a Hy-tccp interpreter for simulation. XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’16).
[Anonymous].  2007.  Proceedings of the XII International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS’07), Berlin, Germany July 1-2.

Pages