Publications
2021
Romain Edelmann
EPFL Thesis
2020
Romain Edelmann, Jad Hamza, Viktor Kunčak
PLDI’20
2019
Romain Edelmann, Jad Hamza, Viktor Kunčak
arXiv
Romain Edelmann, Viktor Kunčak
arXiv
2017
Romain Edelmann, Simon Bliudze, Joseph Sifakis
Journal of Logical and Algebraic Methods in Programming 92, 19-44
2015