Suivre
Reyyan Tekin
Reyyan Tekin
Computer scientist
Adresse e-mail validée de ens.psl.eu
Titre
Citée par
Citée par
Année
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
72021
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
42022
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
32019
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
22022
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–4