| 2025 | SAFECOMP | 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 |
| 2025 | SAFECOMP | 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 |
| 2024 | SAFECOMP | Including Defeaters in Quantitative Confidence Assessments for Assurance Cases. | Simon Diemert, Laure Millet, Jeffrey J. Joyce, Jens H. Weber |
| 2023 | SAFECOMP | Safety Integrity Levels for Artificial Intelligence. | Simon Diemert, Laure Millet, Jonathan Groves, Jeffrey J. Joyce |
| 2023 | SAFECOMP | 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 |
| 2018 | RE | Morse: Reducing the Feature Interaction Explosion Problem using Subject Matter Knowledge as Abstract Requirements. | Laure Millet, Nancy A. Day, Jeffrey J. Joyce |
| 2014 | SSS | On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering. | Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sbastien Tixeuil |