2022

• Silvio Fossati, Aurélien Coet and Dimitri Racordon. Belief Programming with Map Family Decision Diagrams. Presented at ICOOOLPS 2022.

• Dimitri Racordon, Aurélien Coet and Didier Buchs. Toward a Lingua Franca for Memory Safety. In: Journal of Object Technology, Volume 21, no. 2 (2022), pp. 2:1-11.

2021

• Dimitri Racordon, Aurélien Coet and Didier Buchs. Fuel: A Compiler Framework for Safe Memory Management. arXiv preprint arXiv:2106.12434, 2021. Presented at ICOOOLPS 2021.

2020

• Dimitri Racordon, Aurélien Coet, Emmanouela Stachtiari and Didier Buchs. Solving Schedulability as a Search Space Problem with Decision Diagrams. In: Search-Based Software Engineering: 12th International Symposium, SSBSE 2020, Bari, Italy, October 7-8, 2020, Proceedings 12. Springer International Publishing, 2020. p. 73-87.

• Aurélien Coet. An Annotation System for Specifying Aliasing Invariants on Object Fields. In: Companion Proceedings of the 4th International Conference on the Art, Science, and Engineering of Programming (<Programming’20> Companion), March 23–26, 2020, Porto, Portugal. ACM, New York, NY, USA, 2 pages. https://doi.org/10.1145/3397537.3398480

2018

• Stefan Klikovits, Aurélien Coet and Didier Buchs. ML4CREST: Machine Learning for CPS Models. In: 2nd International Workshop on Model Driven Engineering for the Internet-of-Things (MDE4IOT), CEUR Workshop Proceedings, vol. 2245, pp 515-520. 2018.