Behavioural Analysis for Distributed Simulations. - Patrice Carle; Christine Choppy; Romain Kervarc; Ariane Piel (APSEC, 2012)

A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows. - Patrice Carle; Christine Choppy; Romain Kervarc; Ariane Piel (APSEC (1), 2013)

Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns. - Patrice Carle; Christine Choppy; Romain Kervarc; Ariane Piel (FSFMA, 2013)

Reconnaissance de comportements complexes par traitement en ligne de flux d'événements. (Online event flow processing for complex behaviour recognition). - Ariane Piel (2014)

Temporal Logic Framework for Performance Analysis of Architectures of Systems. - Ariane Piel; Jean Bourrely; Stéphanie Lala; Sylvain Bertrand; Romain Kervarc (NFM, 2016)

Assessing component impairing at mission level. - Romain Kervarc; Ariane Piel; Stéphanie Lala; Jean Bourrely (Math. Comput. Simul., 2018)