ML4CREST: Machine Learning for CPS Models. - Stefan Klikovits; Aurélien Coet; Didier Buchs (MoDELS (Workshops), 2018)

An annotation system for specifying aliasing invariants on object fields. - Aurélien Coet (Programming, 2020)

Solving Schedulability as a Search Space Problem with Decision Diagrams. - Dimitri Racordon; Aurélien Coet; Emmanouela Stachtiari; Didier Buchs (SSBSE, 2020)

Fuel: A Compiler Framework for Safe Memory Management. - Dimitri Racordon; Aurélien Coet; Didier Buchs (CoRR, 2021)

Toward a Lingua Franca for Memory Safety. - Dimitri Racordon; Aurélien Coet; Didier Buchs (J. Object Technol., 2022)