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 | 9 | 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 | 5 | 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 | 4 | 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 |
WebAssembly serverless join: A Study of its Application C Sok, L D'Orazio, R Tekin, D Tombroff Proceedings of the 36th International Conference on Scientific and …, 2024 | 1 | 2024 |