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⟩