Hippo: A formal-model execution engine to control and verify critical real-time systems. - Pierre-Emmanuel Hladik; Félix Ingrand; Silvano Dal-Zilio; Reyyan Tekin (J. Syst. Softw., 2021)

JAX based parallel inference for reactive probabilistic programming. - Guillaume Baudart; Louis Mandel; Reyyan Tekin (LCTES, 2022)

WebAssembly serverless join: A Study of its Application. - Chanattan Sok; Laurent d'Orazio; Reyyan Tekin; Dimitri Tombroff (SSDBM, 2024)