Importance sampling of Interval Markov Chains

由 JEGOUREL, Cyrille, WANG, Jingyi, SUN, Jun
出版 2019

Sequential schemes for frequentist estimation of properties in statistical model checking

由 JEGOUREL, Cyrille, SUN, Jun, DONG, Jin Song
出版 2017

On the sequential massart algorithm for statistical model checking

由 JEGOUREL, Cyrille, SUN, Jun, DONG, Jin Song
出版 2018

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

由 WANG, Jingyi, SUN, Jun, QIN, Shengchao, JEGOUREL, Cyrille
出版 2018

Global PAC bounds for learning discrete time Markov chains

由 BAZILLE, Hugo, GENEST, Blaise, JEGOUREL, Cyrille, SUN, Jun
出版 2020

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

由 KURNIAWAN, Oka, JEGOUREL, Cyrille, LEE, Norman Tiong Seng, DE MARI, Matthieu, POSKITT, Christopher M.
出版 2022

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

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