| Formal verification of mobile robot protocols B Bérard, P Lafourcade, L Millet, M Potop-Butucaru, Y Thierry-Mieg, ... Distributed Computing 29, 459-487, 2016 | 44 | 2016 |
| On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering. L Millet, M Potop-Butucaru, N Sznajder, S Tixeuil Stabilization, Safety, and Security of Distributed Systems - 16th …, 2014 | 43 | 2014 |
| Formal methods for mobile robots: current results and open problems B Bérard, P Courtieu, L Millet, M Potop-Butucaru, L Rieg, N Sznajder, ... International Journal of Informatics Society 7 (3), 101-114, 2015 | 13 | 2015 |
| Assurance case arguments in the large: The CERN LHC machine protection system L Millet, S Diemert, C Rees, T Viger, M Chechik, C Menghi, J Joyce International Conference on Computer Safety, Reliability, and Security, 3-10, 2023 | 11 | 2023 |
| Safety integrity levels for artificial intelligence S Diemert, L Millet, J Groves, J Joyce International Conference on Computer Safety, Reliability, and Security, 397-409, 2023 | 9 | 2023 |
| Bridging the gap between ISO 26262 and machine learning: A survey of techniques for developing confidence in machine learning systems J Serna, S Diemert, L Millet, R Debouk, S Ramesh, J Joyce SAE International Journal of Advances and Current Practices in Mobility 2 …, 2020 | 8 | 2020 |
| Facing peak loads in a p2p transaction system L Millet, M Lorrillere, L Arantes, S Gançarski, H Naacke, J Sopena Proceedings of the First Workshop on P2P and Dependability, 1-7, 2012 | 5 | 2012 |
| Safety Properties of Hybrid System Product Lines S Diemert, L Millet, J Joyce 2020 IEEE International Systems Conference (SysCon), 1-8, 2020 | 1 | 2020 |
| Morse: Reducing the Feature Interaction Explosion Problem using Subject Matter Knowledge as Abstract Requirements L Millet, NA Day, JJ Joyce 2018 IEEE 26th International Requirements Engineering Conference (RE), 251-261, 2018 | 1 | 2018 |
| Vérification formelle et robots mobiles B Bérard, L Millet, MG Potop-Butucaru, Y Thierry-Mieg, S Tixeuil 15èmes Rencontres Francophones sur les Aspects Algorithmiques des …, 2013 | 1 | 2013 |
| Using Eliminative Argumentation to Enhance Trust in ILI Results A Casey, L Millet, J Joyce, V Nachiappan, S Keane International Pipeline Conference 88551, V02BT03A032, 2024 | | 2024 |
| Including Defeaters in Quantitative Confidence Assessments for Assurance Cases S Diemert, L Millet, J Joyce, JH Weber International Conference on Computer Safety, Reliability, and Security, 239-250, 2024 | | 2024 |
| Synthèse d'algorithmes pour robots mobiles: le cas du regroupement sur un anneau L Millet, M Potop-Butucaru, N Sznajder, S Tixeuil ALGOTEL 2015—17èmes Rencontres Francophones sur les Aspects Algorithmiques …, 2015 | | 2015 |
| Vérification et synthèse d'algorithmes de robots. L Millet Paris 6, 2015 | | 2015 |
| Lionel Rieg, Nathalie Sznajder, Sébastien Tixeuil, and Xavier Urbain UPMC Sorbonne Universités, LIP6-CNRS UMR 7606, France CNRS, LIP6-CNRS UMR 7606, France CNAM, Cédric EA 4629 … B Bérard, P Courtieu, L Millet, M Potop-Butucaru Informatics Society, 101, 0 | | |
Maria Potop-ButucaruProfessor, Sorbonne Université, LIP6 (UPMC Campus), Paris, FranceE-mail megerősítve itt: lip6.fr
