CV Accueil - Archive ouverte HAL

	Reachability and liveness in parametric timed automata Étienne André , Didier Lime , Olivier Henri Roux Logical Methods in Computer Science, 2022, 18 (1), ⟨10.46298/lmcs-18(1:31)2022⟩ Article dans une revue hal-03574379v1

	Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems Baptiste Parquier , Laurent Rioux , Rafik Henia , Romain Soulat , Olivier Henri Roux 5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-53946-1_8⟩ Communication dans un congrès hal-02538041v1
	On the Expressiveness of Parametric Timed Automata Étienne André , Didier Lime , Olivier Henri Roux 14th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2016), Aug 2016, Québec, Canada. ⟨10.1007/978-3-319-44878-7_2⟩ Communication dans un congrès hal-02538061v1
	Decision Problems for Parametric Timed Automata Étienne André , Didier Lime , Olivier Henri Roux 18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-47846-3_25⟩ Communication dans un congrès hal-02538055v1
	Integer-Complete Synthesis for Bounded Parametric Timed Automata Étienne André , Didier Lime , Olivier Henri Roux 9th International Conference on Reachability Problems (RP 2015), Sep 2015, Warsaw, Poland. pp.7-19, ⟨10.1007/978-3-319-24537-9_2⟩ Communication dans un congrès hal-02939637v1

Étienne André