Estimating the probability fo false alarm for a zero-bit watermarking technique. - Teddy Furon; Cyrille Jégourel; Arnaud Guyader; Frédéric Cérou (DPS, 2009)

Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. - Cyrille Jégourel; Axel Legay; Sean Sedwards (CAV, 2012)

A Platform for High Performance Statistical Model Checking - PLASMA. - Cyrille Jégourel; Axel Legay; Sean Sedwards (TACAS, 2012)

Importance Splitting for Statistical Model Checking Rare Properties. - Cyrille Jégourel; Axel Legay; Sean Sedwards (CAV, 2013)

An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking. - Cyrille Jégourel; Axel Legay; Sean Sedwards (ISoLA (2), 2014)

Measuring Global Similarity Between Texts. - Uli Fahrenberg; Fabrizio Biondi; Kevin Corre; Cyrille Jégourel; Simon Kongshøj; Axel Legay (SLSP, 2014)

Measuring Structural Distances between Texts. - Uli Fahrenberg; Fabrizio Biondi; Kevin Corre; Cyrille Jégourel; Simon Kongshøj; Axel Legay (CoRR, 2014)

Rare event simulation for statistical model checking. (Simulation d'événements rares pour le model checking statistique). - Cyrille Jégourel (2014)

Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers. - Cyrille Jégourel; Axel Legay; Sean Sedwards; Louis-Marie Traonouez (CoRR, 2015)

Distributed Verification of Rare Properties using Importance Splitting Observers. - Cyrille Jégourel; Axel Legay; Sean Sedwards; Louis-Marie Traonouez (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Statistical model checking QoS properties of systems with SBIP. - Ayoub Nouri; Saddek Bensalem; Marius Bozga; Benoît Delahaye; Cyrille Jégourel; Axel Legay (Int. J. Softw. Tools Technol. Transf., 2015)

Verification of Nash-Equilibrium for Probabilistic BAR Systems. - Dileepa Fernando; Naipeng Dong; Cyrille Jégourel; Jin Song Dong (ICECCS, 2016)

Feedback Control for Statistical Model Checking of Cyber-Physical Systems. - Kenan Kalajdzic; Cyrille Jégourel; Anna Lukina; Ezio Bartocci; Axel Legay; Scott A. Smolka; Radu Grosu (ISoLA (1), 2016)

Importance Sampling for Stochastic Timed Automata. - Cyrille Jégourel; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Sean Sedwards (SETTA, 2016)

Command-based importance sampling for statistical model checking. - Cyrille Jégourel; Axel Legay; Sean Sedwards (Theor. Comput. Sci., 2016)

Importance Sampling of Interval Markov Chains. - Cyrille Jégourel; Jingyi Wang 004; Jun Sun 001 (DSN, 2018)

Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. - Dileepa Fernando; Naipeng Dong; Cyrille Jégourel; Jin Song Dong 001 (ICFEM, 2018)

On the Sequential Massart Algorithm for Statistical Model Checking. - Cyrille Jégourel; Jun Sun 001; Jin Song Dong (ISoLA (2), 2018)

Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. - Cyrille Jégourel; Jun Sun 001; Jin Song Dong (ACM Trans. Model. Comput. Simul., 2019)

Global PAC Bounds for Learning Discrete Time Markov Chains. - Hugo Bazille; Blaise Genest; Cyrille Jégourel; Jun Sun 001 (CAV (2), 2020)

Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement. - Jingyi Wang 004; Jun Sun 001; Shengchao Qin; Cyrille Jégourel (IEEE Trans. Software Eng., 2021)

Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework. - Oka Kurniawan; Cyrille Jégourel; Norman Tiong Seng Lee; Matthieu De Mari; Christopher M. Poskitt (HICSS, 2022)

How Helpful do Novice Programmers Find the Feedback of an Automated Repair Tool? - Oka Kurniawan; Christopher M. Poskitt; Ismam Al Hoque; Norman Tiong Seng Lee; Cyrille Jégourel; Nachamma Sockalingam (TALE, 2023)

Sieving Coding Assignments Over Submissions Generated by AI and Novice Programmers. - Cyrille Jégourel; Jung Yi Ong; Oka Kurniawan; Lim Meng Shin; Kushat Chitluru (Koli Calling, 2024)

Simulated Interactive Debugging. - Yannic Noller; Erick Chandra 002; Srinidhi HC; Kenny T. W. Choo; Cyrille Jégourel; Oka Kurniawan; Christopher M. Poskitt (CoRR, 2025)