CV Accueil - Archive ouverte HAL

	Robust optimal periodic control using guaranteed Euler's method Jawher Jerray , Laurent Fribourg , Étienne André ACC 2021 - American Control Conference, May 2021, New Orleans/Virtual, United States. pp.986-991, ⟨10.23919/ACC50511.2021.9482621⟩ Communication dans un congrès hal-03174207v1
	Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge) Jawher Jerray , Laurent Fribourg , Étienne André ARCH20 - 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, Goran Frehse and Matthias Althoff, Jul 2020, Berlin, Germany. pp.197-184, ⟨10.29007/l3k2⟩ Communication dans un congrès hal-02972549v1
	Time4sys2imi: A tool to formalize real-time system models under uncertainty Étienne André , Jawher Jerray , Sahar Mhiri 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), Robert M. Hierons; Mohamed Mosbah, Oct 2019, Hammamet, Tunisia Communication dans un congrès hal-02234990v1
	Parametric schedulability analysis of a launcher flight control system under reactivity constraints Étienne André , Emmanuel Coquard , Laurent Fribourg , Jawher Jerray , David Lesens 19th International Conference on Application of Concurrency to System Design (ACSD 2019), Wil van der Aalst, Jun 2019, Aachen, Germany Communication dans un congrès hal-02072159v1

Étienne André