Back to INDEX

  Publications of Emilie Oudot  

Articles in journal or book chapters
  1. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Incremental Verification of Component-Based Timed Systems. IJCAT, International Journal of Computer Applications in Technology, special issue on Formal Modeling and Verification of Critical Systems, 42(2-3):***--***, 2011. Note: Accepted manuscript. To appear. [bibtex]


  2. Frédéric Fondement, Pierre-Alain Muller, Brice Wittman, Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Emilie Oudot, Fabien Peureux, Bruno Legeard, Marc Alter, and Claude Scherrer. VETESS : IDM, Test et SysML. Génie Logiciel, (93):43--48, June 2010. Note: Selected paper from the 7-th NEPTUNE Workshop. [bibtex]


  3. Jacques Julliand, Pierre-Alain Masson, and Emilie Oudot. Partitioned PLTL Model-Checking for Refined Transition Systems. Information and Computation, 207(6):681--698, June 2009. [bibtex]


Conference articles
  1. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Preservation of timed properties during an incremental development by components. In Y. Ait Ameur, F. Boniol, and V. Wiels, editors, ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, RNTI, Revue des Nouvelles Technologies de l'Information, Poitiers, France, pages 159--166, December 2007. Cépaduès éditions. [bibtex]


  2. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. VeSTA : Vérification de la préservation des propriétés d'un composant lors de son intégration dans un système temporisé. In AFADL'07, Approches Formelles dans l'Assistance au Développement de Logiciels - Session Outils, Namur, Belgium, pages 289--290, June 2007. [bibtex]


  3. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. VeSTA : a Tool to Verify the Correct Integration of a Component in a Composite Timed System. In M. Butler, M. Hinchey, and M.M. Larrondo-Petrie, editors, ICFEM'07, the 9th Int. Conf. on Formal Engineering Methods, volume 4789 of LNCS, Boca Raton, Florida, United States, pages 116--135, November 2007. Springer. [bibtex]


  4. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Experiments in the use of tau-simulations for the components-verification of real-time systems. In SAVCBS'06, Specification and Verification of Component-Based Systems, Portland, Oregon, United States, pages 33--40, November 2006. [bibtex]


  5. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. On the contribution of a tau-simulation in the incremental modeling of timed systems. In FACS'05, 2nd Int. Workshop on Formal Aspects of Components Software, volume 160 of Electronic Notes in Theoretical Computer Science, Macao, Macao, pages 97--111, October 2005. Elsevier. [bibtex]


  6. Ahmed Hammad, Hassan Mountassir, and Emilie Oudot. Préservation de propriétés MITL par raffinement temporisé. In Jacques Julliand, editor, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, Besançon, France, pages 207--221, June 2004. [bibtex]


  7. Emilie Oudot. Refinement based verification of real-time systems. In Winter School on Modelling and Verifying Parallel Processes, MOVEP'04, Bruxelles, Belgique, December 2004. [bibtex]


Internal reports
  1. Jacques Julliand, Pierre-Alain Masson, and Emilie Oudot. Partitioned PLTL Model-Checking for Refined Transition Systems. Research Report RR2008-07, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2008. [Abstract] [bibtex]


  2. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Composability, compatibility, compositionality: automatic preservation of timed properties during incremental development. Research Report RR2007-01, LIFC - Laboratoire d'Informatique de l'Universit é de Franche Comté, November 2007.
    Keywords: tau-simulations, component-based timed systems, integration of components, preservation of timed linear properties.. [Abstract] [bibtex]


  3. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Experiments in the use of tau-simulations for the Verification of Timed Components. Research Report RR2006-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, July 2006.
    Keywords: tau-simulation, integration of components, timed systems, preservation of linear-time properties. [Abstract] [bibtex]


  4. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. The tool VeSTA: Verification of Simulations for Timed Automata. Technical Report RT2006-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, July 2006.
    Keywords: tau-simulation, integration of components, timed automata, preservation of linear-time properties. [Abstract] [bibtex]


Other publications
  1. Jonathan Lasalle, Frédéric Fondement, Pierre-Alain Muller, Brice Wittman, Fabrice Ambert, Fabrice Bouquet, Emilie Oudot, Fabien Peureux, Bruno Legeard, Marc Alter, and Claude Scherrer. Using Topcased for Model-Based Testing. First TopCased Days, Toulouse, France, February 2011. [bibtex]


  2. Frédéric Fondement, Pierre-Alain Muller, Brice Wittman, Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Emilie Oudot, Fabien Peureux, Bruno Legeard, Marc Alter, and Claude Scherrer. VETESS : IDM, Test et SysML. 7-th Neptune Workshop. Environment with a Process and Tools Using Norms and Example, Toulouse, France, May 2010. [bibtex]


Back to INDEX

Wed May 16 18:07:19 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html