C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Reyyan Tekin
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Bayesian Reasoning
Execution Engine
Independence Assumption
Real Time Embedded
Top Venues
J. Syst. Softw.
LCTES
</>
Publications
</>
Guillaume Baudart
,
Louis Mandel
,
Reyyan Tekin
JAX based parallel inference for reactive probabilistic programming.
LCTES
(2022)
Pierre-Emmanuel Hladik
,
Félix Ingrand
,
Silvano Dal-Zilio
,
Reyyan Tekin
Hippo: A formal-model execution engine to control and verify critical real-time systems.
J. Syst. Softw.
181 (2021)