Importance sampling of Interval Markov Chains

by JEGOUREL, Cyrille, WANG, Jingyi, SUN, Jun
Published 2019

Sequential schemes for frequentist estimation of properties in statistical model checking

by JEGOUREL, Cyrille, SUN, Jun, DONG, Jin Song
Published 2017

On the sequential massart algorithm for statistical model checking

by JEGOUREL, Cyrille, SUN, Jun, DONG, Jin Song
Published 2018

Automatically `Verifying’ discrete-time complex systems through learning, abstraction and refinement

by WANG, Jingyi, SUN, Jun, QIN, Shengchao, JEGOUREL, Cyrille
Published 2018

Global PAC bounds for learning discrete time Markov chains

by BAZILLE, Hugo, GENEST, Blaise, JEGOUREL, Cyrille, SUN, Jun
Published 2020

Steps before syntax: Helping novice programmers solve problems using the PCDIT framework

by KURNIAWAN, Oka, JEGOUREL, Cyrille, LEE, Norman Tiong Seng, DE MARI, Matthieu, POSKITT, Christopher M.
Published 2022

How helpful do novice programmers find the feedback of an automated repair tool?

by KURNIAWAN, Oka, POSKITT, Christopher M., HOQUE, Ismam Al, LEE, Norman Tiong Seng, JÉGOUREL, Cyrille, SOCKALINGAM, Nachamma
Published 2023