Laure Millet

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 5

Top Topics

Computationally Expensive

Top Venues

SAFECOMP Workshops

Publications

Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey J. Joyce
Assurance Case Arguments in the Large: The CERN LHC Machine Protection System. SAFECOMP (2023)
Simon Diemert, Laure Millet, Jonathan Groves, Jeffrey J. Joyce
Safety Integrity Levels for Artificial Intelligence. SAFECOMP Workshops (2023)
Simon Diemert, Laure Millet, Jeffrey J. Joyce
Safety Properties of Hybrid System Product Lines. SysCon (2020)
Laure Millet, Nancy A. Day, Jeffrey J. Joyce
Morse: Reducing the Feature Interaction Explosion Problem using Subject Matter Knowledge as Abstract Requirements. RE (2018)
Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil
Formal verification of mobile robot protocols. Distributed Comput. 29 (6) (2016)
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil
On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering. CoRR (2014)
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil
On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering. SSS (2014)