Christophe Joubert

2014
Linares A, Regodón J, Panizo L, Gallardo M-del-M, Merino P.  2014.  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]. :8.
2010
Panizo L, Gallardo M-del-M, Merino P, Sanán D, Linares A.  2010.  Dam management based on model checking techniques. 8th International conference on software engineering and formal methods. SEFM 2010: proceedings of the posters and tooldemo session. CNR, Pisa, Italy 13-18 september 2010. :9–13.
2009
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, Panizo L, Linares A.  2009.  Developing a decision support tool for dam management with SPIN. Mar{ía Alpuente; Byron Cook and Christophe Joubert (eds.). Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. :210–212.
Gallardo M-del-M, Merino P, Panizo L, Linares A.  2009.  Using SCADE for decision support in Dam management. Daniel Moldt; Juan C. Augusto and Ulrich Ultes-Nitsche (Eds.). Modelling, simulation, verification and validation of enterprise information systems: proceedings of the 7th international Workshop... MSVVEIS 2009. :125–131.