Laure Millet

According to our database, Laure Millet authored at least 9 papers between 2014 and 2025.

Collaborative distances:

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

2025

Uncovering Unsafe Feature Interactions in Vehicle Control Using Generative AI and Digital Twins.

Laure Millet, Justin Kernot, Arun Adiththan, S. Ramesh, Rami Debouk, Jeffrey Joyce

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

Balancing the Risks and Benefits of Using Large Language Models to Support Assurance Case Development.

Simon Diemert, Erin Cyffka, Naweed Anwari, Olivia Foster, Torin Viger, Laure Millet, Jeffrey J. Joyce

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

2024

Including Defeaters in Quantitative Confidence Assessments for Assurance Cases.

Simon Diemert, Laure Millet, Jeffrey J. Joyce, Jens H. Weber

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

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