| TREXMO: a translation tool to support the use of regulatory occupational exposure models N Savic, D Racordon, D Buchs, B Gasic, D Vernez Annals of Occupational Hygiene 60 (8), 991-1008, 2016 | 30 | 2016 |
| Tri. nh, G., Wolf, K.: Complete Results for the 2016 Edition of the Model Checking Contest, June 2016 F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, G Chiardo, A Hamez, ... | 12 | |
| Implementation Strategies for Mutable Value Semantics. D Racordon, D Shabalin, D Zheng, D Abrahams, B Saeta J. Object Technol. 21 (2), 2:1-11, 2022 | 9 | 2022 |
| A model checker collection for the model checking contest using docker and machine learning D Buchs, S Klikovits, A Linard, R Mencattini, D Racordon International Conference on Applications and Theory of Petri Nets and …, 2018 | 8 | 2018 |
| Featherweight Swift: a Core calculus for Swift’s type system D Racordon, D Buchs Proceedings of the 13th ACM SIGPLAN International Conference on Software …, 2020 | 7 | 2020 |
| From ASTs to machine code with LLVM D Racordon Companion Proceedings of the 5th International Conference on the Art …, 2021 | 5 | 2021 |
| nh, and K. Wolf. Complete Results for the 2016 Edition of the Model Checking Contest F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, G Chiardo, A Hamez, ... | 4 | 2016 |
| Verifying multi-core schedulability with data decision diagrams D Racordon, D Buchs Software Engineering for Resilient Systems: 8th International Workshop …, 2016 | 4 | 2016 |
| LogicKit: bringing logic programming to swift D Racordon, D Buchs Companion Proceedings of the 4th International Conference on Art, Science …, 2020 | 3 | 2020 |
| Implementing a language with explicit assignment semantics D Racordon, D Buchs Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual …, 2019 | 3 | 2019 |
| Coroutines with higher order functions D Racordon arXiv preprint arXiv:1812.08278, 2018 | 3 | 2018 |
| A practical type system for safe aliasing D Racordon, D Buchs Proceedings of the 11th ACM SIGPLAN International Conference on Software …, 2018 | 3 | 2018 |
| A CEGAR-like Approach for Cost LTL Bounds M Colange, D Racordon, D Buchs arXiv preprint arXiv:1506.05728, 2015 | 3 | 2015 |
| Revisiting Memory Assignment Semantics in Imperative Programming Languages D Racordon éditeur non identifié, 2019 | 2 | 2019 |
| Native Implementation of Mutable Value Semantics D Racordon, D Shabalin, D Zheng, D Abrahams, B Saeta arXiv preprint arXiv:2106.12678, 2021 | 1 | 2021 |
| 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 |
| Explicit and Controllable Assignment Semantics D Racordon, D Buchs arXiv preprint arXiv:1907.11317, 2019 | 1 | 2019 |
| Démystifier les concepts informatiques par l’expérimentation D Racordon, D Buchs De 0 à 1 ou l’heure de l’informatique à l’école, 219, 2018 | 1 | 2018 |
| Introducing Formal Verification with LEGO R O D Lawrence, D Racordon, M Colange, S Hostettler, A Linard, EL Bóbeda, ... | 1 | |
| Use Site Checking Considered Harmful D Racordon, B Chung Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas …, 2024 | | 2024 |
Didier BuchsProfessor of Computer Science, Geneva UniversityVerified email at unige.ch