Luı́s Soeiro, Thomas Robert, Stefano Zacchiroli. Assessing the Threat Level of Software Supply Chains with the Log Model. 2023 IEEE International Conference on Big Data - 6th Annual Workshop on Cyber Threat Intelligence and Hunting, Dec 2023, Sorrento, Italy, France. ⟨hal-04292650⟩

Ella Hamonic, Rémi Sharrock, Petra Bonfert-Taylor, Michael Goudzwaard, Gérard Memmi, et al.. Designing a unique revision loop updating courses simultaneously on different MOOC platforms. Learning With MOOCs, MIT, Oct 2023, Cambridge (MA), US, United States. pp.1-6, ⟨10.1109/LWMOOCS58322.2023.10305900⟩. ⟨hal-04255412⟩

Hassan Chaitou, Thomas Robert, Jean Leneutre, Laurent Pautet. Intrinsic weaknesses of IDSs to malicious adversarial attacks and their mitigation. Communications in Computer and Information Science, 2023, Communications in Computer and Information Science, 1849, pp.122-155. ⟨10.1007/978-3-031-45137-9_6⟩. ⟨hal-04320964⟩

Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, et al.. Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩. ⟨hal-04098856v2⟩

Théo Zimmermann, Jean-Rémy Falleri. A grounded theory of Community Package Maintenance Organizations. Empirical Software Engineering, 2023, 28 (4), pp.101. ⟨10.1007/s10664-023-10337-4⟩. ⟨hal-03976601⟩

Roberto Di Cosmo, Stefano Zacchiroli. The Software Heritage Open Science Ecosystem. Software Ecosystems, Springer International Publishing, pp.33-61, 2023, ⟨10.1007/978-3-031-36060-2_2⟩. ⟨hal-04240651⟩

Mingming Qiu. Designing smart home services using machine learning and knowledge-based approaches. Machine Learning [cs.LG]. Institut Polytechnique de Paris, 2023. English. ⟨NNT : 2023IPPAT014⟩. ⟨tel-04299086⟩

Nan Li. Real-time and efficient control for autonomous racing. Artificial Intelligence [cs.AI]. Institut Polytechnique de Paris, 2023. English. ⟨NNT : 2023IPPAT008⟩. ⟨tel-04061550⟩

Yiming Sun, Daniel M. German, Stefano Zacchiroli. Using the Uniqueness of Global Identifiers to Determine the Provenance of Python Software Source Code. Empirical Software Engineering, In press, ⟨10.1007/s10664-023-10317-8⟩. ⟨hal-04101937⟩

Romain Lefeuvre, Jessie Galasso, Benoit Combemale, Houari Sahraoui, Stefano Zacchiroli. Fingerprinting and Building Large Reproducible Datasets. 2023. ⟨hal-04132604⟩