Documentation
Français (FR)

Anglais (EN)

Étienne André

10

Documents

Identifiants chercheurs

etienne-andre

Présentation

Publications

laure-petrucci

	Parametric Verification: An Introduction Étienne André , Michał Knapik , Didier Lime , Wojciech Penczek , Laure Petrucci LNCS Transactions on Petri Nets and Other Models of Concurrency, inPress Article dans une revue hal-02170526v1
	Parametric Verification: An Introduction Etienne André , Michal Jozef Knapik , Didier Lime , Wojciech Penczek , Laure Petrucci LNCS Transactions on Petri Nets and Other Models of Concurrency, 2019, ⟨10.1007/978-3-662-60651-3_3⟩ Article dans une revue hal-03544041v1

	Efficient Convex Zone Merging in Parametric Timed Automata Étienne André , Dylan Marinho , Laure Petrucci , Jaco van de Pol 20th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2022, Warsaw, Poland. pp.200-218, ⟨10.1007/978-3-031-15839-1_12⟩ Communication dans un congrès hal-03772708v1
	Minimal-Time Synthesis for Parametric Timed Automata Étienne André , Vincent Bloemen , Laure Petrucci , Jaco van de Pol 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Apr 2019, Prague, Czech Republic. pp.211--228, ⟨10.1007/978-3-030-17465-1_12⟩ Communication dans un congrès hal-02153342v1
	Parametric Model Checking Timed Automata Under Non-Zenoness Assumption Étienne André , Hoang Gia Nguyen , Laure Petrucci , Jun Sun NASA Formal Methods, May 2017, Moffett Field, United States. pp.35-51, ⟨10.1007/978-3-319-57288-8_3⟩ Communication dans un congrès hal-03772844v1
	Efficient Parameter Synthesis Using Optimized State Exploration Strategies Étienne André , Hoang Gia Nguyen , Laure Petrucci 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS), Nov 2017, Fukuoka, France. pp.1-10, ⟨10.1109/ICECCS.2017.28⟩ Communication dans un congrès hal-03772780v1
	Timed ATL: Forget Memory, Just Count Etienne André , Laure Petrucci , Wojciech Jamroga , Michal Jozef Knapik , Wojciech Penczek Conference on Autonomous Agents and MultiAgent Systems, May 2017, Sao Paulo, Brazil Communication dans un congrès hal-03772771v1
	Teaching formal methods: Experience at UPMC and UP13 with CosyVerif Étienne André , Fabrice Kordon , Laure Petrucci 25th EAEEIE annual International Conference, May 2014, Cesme, Turkey. pp.25-28, ⟨10.1109/EAEEIE.2014.6879378⟩ Communication dans un congrès hal-01215588v1
	A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems Étienne André , Benoît Barbot , Clément Démoulins , Lom Messan Hillah , Francis Hulin-Hubard 15th International Conference on Formal Engineering Methods (ICFEM'13), Oct 2013, Queenstown, New Zealand. pp.199-214, ⟨10.1007/978-3-642-41202-8_14⟩ Communication dans un congrès hal-00926126v1
	CosyVerif: An Open Source Extensible Verification Environment Étienne André , Yousra Lembachar , Laure Petrucci , Francis Hulin-Hubard , Alban Linard 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Jul 2013, Singapore, Singapore. pp.33-36, ⟨10.1109/ICECCS.2013.15⟩ Communication dans un congrès hal-00926165v1