Laure Millet

According to our database, Laure Millet authored at least 6 papers between 2014 and 2023.

Collaborative distances:

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

2023

Assurance Case Arguments in the Large: The CERN LHC Machine Protection System.

Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey J. Joyce

Proceedings of the Computer Safety, Reliability, and Security, 2023

Safety Integrity Levels for Artificial Intelligence.

Simon Diemert, Laure Millet, Jonathan Groves, Jeffrey J. Joyce

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

2020

Safety Properties of Hybrid System Product Lines.

Simon Diemert, Laure Millet, Jeffrey J. Joyce

Proceedings of the IEEE International Systems Conference, 2020

2018

Morse: Reducing the Feature Interaction Explosion Problem using Subject Matter Knowledge as Abstract Requirements.

Laure Millet, Nancy A. Day, Jeffrey J. Joyce

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

2016

Formal verification of mobile robot protocols.

Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil

Distributed Comput., 2016

2014

On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering.

Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2014