| Global Symbolic Model Checking based on Generalised Intervals | |  | | 2024 | 426 | 168 |
|
| A Formalism to Model Higher-Order Function | Programming '20: Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming |  | | 2020 | 421 | 7 |
|
| Functional Block Programming and Debugging | Conference’17 | | | 2020 | 257 | 9 |
|
| Réalisation d'une méthode pour la création de portails scientifiques | | | | 2018 | 203 | 31 |
|
