cv

Edi Assoumou, Jean-Paul Marmorat, Jérôme Houel, Valérie Roy. Load curve impact of large electric vehicles fleet in the Paris Ile-de-France region. [Research Report] Working Paper 2015-04-18, Chaire Modélisation prospective au service du développement durable. 2015, pp.40 - Les Cahiers de la Chaire. 〈hal-01293771〉

Annie Ressouche, Daniel Gaffé, Valérie Roy. Modular Compilation of a Synchronous Language. [Research Report] RR-6424, INRIA. 2008, pp.61. 〈inria-00213472v2〉

Amar Bouali, Annie Ressouche, Valérie Roy, Robert De Simone. The FCTOOLS User Manual (Version 1.0). [Technical Report] RT-0191, INRIA. 1996, pp.34. 〈inria-00069980〉

Valérie Roy, Robert De Simone. An autograph primer. [Research Report] RT-0112, INRIA. 1989, pp.30. 〈inria-00070054〉

Gérard Boudol, Valérie Roy, Robert De Simone, Didier Vergamini. Process calculi, from theory to practice : verification tools. [Research Report] RR-1098, INRIA. 1989. 〈inria-00075461〉

Edi Assoumou, Jean-Paul Marmorat, Valérie Roy. Towards long-term 2050 energy and environment strategies at city scale: an application to the city of Bologna. 9th Conference on Sustainable Development of Energy, Water and Environment Systems, Sep 2014, Venice, Italy. pp.SDEWES2014.0346, 2014, Proceedings of the 9th Conference on Sustainable Development of Energy, Water and Environment Systems. 〈hal-01103595〉

Salma Zouaoui-Elloumi, Valérie Roy, Nadia Maïzi. Behavior analysis modulus for harbor security. OCEANS 2012 MTS/IEEE, Oct 2012, Hampton Roads, VA, United States. Proceedings 2012 Oceans, 9 p. - ISBN 978-1-4673-0829-8, 2012, 〈10.1109/OCEANS.2012.6404857〉. 〈hal-01320763〉

Salma Zouaoui-Elloumi, Valérie Roy, Jean-Paul Marmorat, Nadia Maïzi. Securing harbors by modeling and classifying ship behavior. 20th Annual Conference on Behavior Representation in Modeling and Simulation 2011, BRiMS 2011, Mar 2011, Sundance, United States. Curran Associates, Inc., pp.114-121 - ISBN 978-161839074-5, 2011. 〈hal-00734094〉

Salma Zouaoui-Elloumi, Jean-Paul Marmorat, Valérie Roy, Nadia Maïzi. Modeling ship behavior based on Hidden Markov Models. 8th IASTED International Conference on Signal Processing, Pattern Recognition, and Applications, SPPRA 2011, Feb 2011, Innsbruck, Austria. pp.88-95 - ISBN 978-088986865-6, 2011, 〈10.2316/P.2011.721-107〉. 〈hal-00614412〉

Edi Assoumou, Valérie Roy, Nadia Maïzi. Shift from oil fueled cars for future sustainable mobilities. 10th IAEE European Conference "Energy, Policies and Technologies for Sustainable Economies", Sep 2009, Vienna, Austria. 〈hal-00508719〉

Valérie Roy, Nadia Maïzi. TOWARDS AN INTEGRATED CONCEPTION OF HYBRID DYNAMICAL SYSTEMS. IFAC BARCELONA, 2002, Barcelone, Spain. 15 (1), 2002, 〈10.3182/20020721-6-ES-1901.00525〉. 〈hal-01320822〉

Nadia Maïzi, Valérie Roy. Intégration d'Esterel/Lustre/Simulink en vue de la conception des systèmes hybrides : Application à un système d'alimentation en électricité. Conférence invitée au GDR Systèmes hybrides, Jan 2001, Paris, France. 〈hal-01331187〉

Valérie Roy, Nadia Maïzi. Application of an Hybrid Esterel/Lustre/Simulink System : a Hybrid Energy System. ADPM 2000 : The 4th International Conference on Automation of Mixed Processes - Hybrid Dynamic Systems, At Dortmund, Volume: Conference Proceedings , 2000, Dortmund, Germany. 〈hal-01320929〉

Annie Ressouche, Daniel Gaffé, Valérie Roy. Modular Compilation of a Synchronous Language. Roger Lee. Software Engineering Research, Management and Applications, 150, Springer, pp.151-171, 2008, Studies in Computational Intelligence, 978-3-540-70774-5. 〈10.1007/978-3-540-70561-1〉. 〈inria-00523528〉

Edi Assoumou, Jean-Paul Marmorat, Valérie Roy. Investigating long-term energy and CO2 mitigation options at city scale: A technical analysis for the city of Bologna. Energy, Elsevier, 2015, Sustainable Development of Energy, Water and Environment Systems, 92 (3), pp.592-611. 〈10.1016/j.energy.2015.06.123〉. 〈hal-01206743〉

Salma Zouaoui-Elloumi, Valérie Roy, Nadia Maïzi. Securing harbor by combining probabilistic approach with event-based approach. Applied Ocean Research, Elsevier, 2014, 47, pp.98-109. 〈10.1016/j.apor.2013.12.004〉. 〈hal-00999435〉