| ML4CREST: Machine Learning for CPS Models. S Klikovits, A Coet, D Buchs MoDELS (Workshops), 515-520, 2018 | 3 | 2018 |
| Solving Schedulability as a Search Space Problem with Decision Diagrams D Racordon, A Coet, E Stachtiari, D Buchs Search-Based Software Engineering: 12th International Symposium, SSBSE 2020 …, 2020 | 1 | 2020 |
| Belief Programming with Map Family Decision Diagrams S Fossati, A Coet, D Racordon | | 2022 |
| Toward a Lingua Franca for Memory Safety D Racordon, A Coet, D Buchs Journal of Object Technology 21, 2:1-11, 2022 | | 2022 |
| Fuel: A Compiler Framework for Safe Memory Management D Racordon, A Coet, D Buchs arXiv preprint arXiv:2106.12434, 2021 | | 2021 |
| An annotation system for specifying aliasing invariants on object fields A Coet Companion Proceedings of the 4th International Conference on Art, Science …, 2020 | | 2020 |
| LEAN: A Lexical Entailment Augmented Network for Natural Language Inference A Coet | | 2019 |
| Deep Learning for Natural Language Inference: A Literature Review A Coet | | 2019 |
Didier BuchsProfessor of Computer Science, Geneva UniversityVerified email at unige.ch
