Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems PE Hladik, F Ingrand, S Dal Zilio, R Tekin Journal of Systems and Software 181, 111033, 2021 | 7 | 2021 |
Jax based parallel inference for reactive probabilistic programming G Baudart, L Mandel, R Tekin Proceedings of the 23rd ACM SIGPLAN/SIGBED International Conference on …, 2022 | 4 | 2022 |
Pruda: An api for time and space predictible programming in nvdia gpus using cuda R Tekin, HE Zahaf, G Lipari Junior Workshop: JRWRTC-Real-Time Networks and Systems 2019, 2019 | 3 | 2019 |
Inférence parallèle pour un langage réactif probabiliste G Baudart, L Mandel, M Pouzet, R Tekin 33èmes Journées Francophones des Langages Applicatifs, 2022 | 2 | 2022 |