On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering. - Laure Millet; Maria Potop-Butucaru; Nathalie Sznajder; Sébastien Tixeuil (SSS, 2014)

Formal verification of mobile robot protocols. - Béatrice Bérard; Pascal Lafourcade 001; Laure Millet; Maria Potop-Butucaru; Yann Thierry-Mieg; Sébastien Tixeuil (Distributed Comput., 2016)

Morse: Reducing the Feature Interaction Explosion Problem using Subject Matter Knowledge as Abstract Requirements. - Laure Millet; Nancy A. Day; Jeffrey J. Joyce (RE, 2018)

Safety Properties of Hybrid System Product Lines. - Simon Diemert; Laure Millet; Jeffrey J. Joyce (SysCon, 2020)

Safety Integrity Levels for Artificial Intelligence. - Simon Diemert; Laure Millet; Jonathan Groves; Jeffrey J. Joyce (SAFECOMP Workshops, 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 (SAFECOMP, 2023)

Including Defeaters in Quantitative Confidence Assessments for Assurance Cases. - Simon Diemert; Laure Millet; Jeffrey J. Joyce; Jens H. Weber (SAFECOMP (Workshops), 2024)

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 (SAFECOMP, 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 (SAFECOMP (Workshops), 2025)