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