Aurélien Coet

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 5

Top Topics

Top Venues

MoDELS (Workshops)

J. Object Technol.

Publications

Dimitri Racordon, Aurélien Coet, Didier Buchs
Toward a Lingua Franca for Memory Safety. J. Object Technol. 21 (2) (2022)
Dimitri Racordon, Aurélien Coet, Didier Buchs
Fuel: A Compiler Framework for Safe Memory Management. CoRR (2021)
Aurélien Coet
An annotation system for specifying aliasing invariants on object fields. Programming (2020)
Dimitri Racordon, Aurélien Coet, Emmanouela Stachtiari, Didier Buchs
Solving Schedulability as a Search Space Problem with Decision Diagrams. SSBSE (2020)
Stefan Klikovits, Aurélien Coet, Didier Buchs
ML4CREST: Machine Learning for CPS Models. MoDELS (Workshops) (2018)