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