CV Accueil - Archive ouverte HAL

	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
	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
	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

Étienne André