Andrea Gurioli, Maurizio Gabbrielli, Stefano Zacchiroli. Is This You, LLM? Recognizing AI-written Programs with Multilingual Code Stylometry. IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2025, Mar 2025, Montréal, Canada. ⟨hal-04845581⟩

Andrea Gurioli, Maurizio Gabbrielli, Stefano Zacchiroli. Stylometry for real-world expert coders: a zero-shot approach. PeerJ Computer Science, 2024, 10, pp.e2429. ⟨10.7717/peerj-cs.2429⟩. ⟨hal-04793178⟩

Franco Cordeiro, Samuel Tardieu, Laurent Pautet. Shackling Uncertainty using Mixed Criticality in Monte-Carlo Tree Search. 2024 IEEE 14th International Symposium on Industrial Embedded Systems, Oct 2024, Chengdu, China. pp.34-41, ⟨10.1109/SIES62473.2024.10767910⟩. ⟨hal-04820824⟩

Lorenzo Guerra, Linhan Xu, Paolo Bellavista, Thomas Chapuis, Guillaume Duc, et al.. AI-Driven Intrusion Detection Systems (IDS) on the ROAD Dataset: A Comparative Analysis for Automotive Controller Area Network (CAN). CSCS '24: Proceedings of the 2024 on Cyber Security in CarS Workshop, Oct 2024, Salt Lake City, United States. pp.39-49, ⟨10.1145/3689936.3694696⟩. ⟨hal-04795854⟩

Moussa Amrani, Mittal Rakshit, Miguel Goulão, Vasco Amaral, Sylvain Guérin, et al.. A Survey of Federative Approaches for Model Management in MBSE. 1st International Workshop on Model Management (MoM) at MODELS 2024, Sep 2024, Linz (AUSTRIA), Austria. ⟨10.1145/3652620.3688221⟩. ⟨hal-04721128⟩

Thomas Lamiaux, Pierre Rousselin, Théo Zimmermann. Coq Platform docs: A Compilation of Short Interactive Tutorials and How-To Guides for Coq. The 15th Coq Workshop 2024, Clément Pit-Gaudel; Théo Winterhalter, Sep 2024, Tbilisi / Hybrid, Georgia. ⟨hal-04823184⟩

Stefano Balla, Maurizio Gabbrielli, Stefano Zacchiroli. Code stylometry vs formatting and minification. PeerJ Computer Science, 2024, 10, pp.e2142. ⟨10.7717/peerj-cs.2142⟩. ⟨hal-04793169⟩

Hugo Teixeira de Castro, Ahmed Hussain, Gregory Blanc, Jamal El Hachem, Dominique Blouin, et al.. A model-based approach for assessing the security of cyber-physical systems. The 19th International Conference on Availability, Reliability and Security (ARES) (2024), Jul 2024, Vienne, Austria. pp.1-10, ⟨10.1145/3664476.3670470⟩. ⟨hal-04669279⟩

Mounira Msahli, Pascal Lafourcade, Dhekra Mahmoud. Formal Analysis of C-ITS PKI protocols. SECRYPT : International Conference on Information Security and Cryptography, Jul 2024, Dijon, France. ⟨hal-04620494⟩

Kameswar Rao Vaddina, Florian Brandner, Gérard Memmi, Pierre Jouvelot. Experimental Assessment and Biaffine Modeling of the Impact of Ambient Temperature on SoC Power Requirements. SAMOS 2024 : International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, Jun 2024, Samos (Greece), Greece. ⟨hal-04604958v2⟩

Felipe Lisboa Malaquias. CoqDRAM - A Foundation for Designing Formally Proven Memory Controllers. Computer Science [cs]. Institut Polytechnique de Paris, 2024. English. ⟨NNT : 2024IPPAT020⟩. ⟨tel-04714818⟩

Ludovic Courtès, Timothy Sample, Simon Tournier, Stefano Zacchiroli. Source Code Archiving to the Rescue of Reproducible Deployment. 2024 ACM Conference on Reproducibility and Replicability, Jun 2024, Rennes, France. ⟨10.1145/3641525.3663622⟩. ⟨hal-04586520⟩

Lucas Massoni Sguerra, Pierre Jouvelot, Fabien Coelho, Emilio Jesús Gallego Arias, Gérard Memmi. The Price of Smart Contract Privacy. E/465/CRI, Mines Paris - PSL. 2024. ⟨hal-04702045⟩

Grégor Quétel, Eric Alata, Pierre-François Gimenez, Laurent Pautet, Thomas Robert. A Parser-Based Data Collector for Intrusion Detection. RESSI 2024 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2024, Eppe-Sauvage, France. pp.1-2. ⟨hal-04871463⟩

Tommaso Fontana, Sebastiano Vigna, Stefano Zacchiroli. WebGraph: The Next Generation (Is in Rust). ACM Web Conference 2024, May 2024, Singapore, Singapore. ⟨10.1145/3589335.3651581⟩. ⟨hal-04494627⟩

Julien Malka. Increasing Trust in the Open Source Supply Chain with Reproducible Builds and Functional Package Management. 46th International Conference on Software Engineering (ICSE 2024) - Doctoral Symposium (DS) Track, Apr 2024, Lisbonne, Portugal. ⟨10.1145/3639478.3639806⟩. ⟨hal-04482192⟩

Julien Malka, Stefano Zacchiroli, Théo Zimmermann. Reproducibility of Build Environments through Space and Time. 46th International Conference on Software Engineering (ICSE 2024) - New Ideas and Emerging Results (NIER) Track, Apr 2024, Lisbonne, Portugal. ⟨10.1145/3639476.3639767⟩. ⟨hal-04430009⟩

Victor Languille, David Menga, Gerard Memmi. Fairness-Privacy Issue in Adaptation of ZEXE Protocol for Exchange Between Untrusted Parties. Telecom Paris; EdF; Institut polytechnique de Paris. 2024. ⟨hal-04445164⟩

Laure Muselli, Mathieu O'Neil, Fred Pailler, Stefano Zacchiroli. Subverting or preserving the institution: Competing IT firm and foundation discourses about open source. New Media and Society, 2024, ⟨10.1177/14614448231222249⟩. ⟨hal-04416993⟩

Annalí Casanueva, Davide Rossi, Stefano Zacchiroli, Théo Zimmermann. The Impact of the COVID-19 Pandemic on Women's Contribution to Public Code. Empirical Software Engineering, In press, ⟨10.1007/s10664-024-10552-7⟩. ⟨hal-04716803⟩

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⟩

Davide Catta, Jean Leneutre, Vadim Malvone. Reasoning About Dynamic Game Models Using Obstruction Logic (short paper). IPS-RCRA-SPIRIT@AI*IA, Nov 2023, Rome, Italy. ⟨hal-04427546⟩

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⟩

Romain Lefeuvre, Jessie Galasso, Benoit Combemale, Houari Sahraoui, Stefano Zacchiroli. Fingerprinting and Building Large Reproducible Datasets. Proceedings of the 2023 ACM Conference on Reproducibility and Replicability, ACM-REP 2023, Jun 2023, Santa Cruz, United States. pp.27-36, ⟨10.1145/3589806.3600043⟩. ⟨hal-04132604⟩

Gerard Memmi. Minimal Generating Sets for Semiflows. 43th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2023, Lisbon, Portugal. pp.189-205, ⟨10.1007/978-3-031-35355-0_12⟩. ⟨hal-04731934⟩

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⟩