Ariane Piel

According to our database, Ariane Piel authored at least 6 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Assessing component impairing at mission level.

Romain Kervarc, Ariane Piel, Stéphanie Lala, Jean Bourrely

Math. Comput. Simul., 2018

2016

Temporal Logic Framework for Performance Analysis of Architectures of Systems.

Ariane Piel, Jean Bourrely, Stéphanie Lala, Sylvain Bertrand, Romain Kervarc

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2014

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

Ariane Piel

PhD thesis, 2014

2013

Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns.

Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel

Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications, 2013

A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows.

Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Behavioural Analysis for Distributed Simulations.

Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012