| 2020 | CAV | Global PAC Bounds for Learning Discrete Time Markov Chains. | Hugo Bazille, Blaise Genest, Cyrille Jgourel, Jun Sun |
| 2018 | DSN | Importance Sampling of Interval Markov Chains. | Cyrille Jgourel, Jingyi Wang, Jun Sun |
| 2018 | ICFEM | Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. | Dileepa Fernando, Naipeng Dong, Cyrille Jgourel, Jin Song Dong |
| 2018 | ISoLA | On the Sequential Massart Algorithm for Statistical Model Checking. | Cyrille Jgourel, Jun Sun, Jin Song Dong |
| 2016 | ICECCS | Verification of Nash-Equilibrium for Probabilistic BAR Systems. | Dileepa Fernando, Naipeng Dong, Cyrille Jgourel, Jin Song Dong |
| 2016 | ISoLA | Feedback Control for Statistical Model Checking of Cyber-Physical Systems. | Kenan Kalajdzic, Cyrille Jgourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu |
| 2016 | SETTA | Importance Sampling for Stochastic Timed Automata. | Cyrille Jgourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bgsted Poulsen, Sean Sedwards |
| 2014 | ISoLA | An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking. | Cyrille Jgourel, Axel Legay, Sean Sedwards |
| 2013 | CAV | Importance Splitting for Statistical Model Checking Rare Properties. | Cyrille Jgourel, Axel Legay, Sean Sedwards |
| 2012 | CAV | Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. | Cyrille Jgourel, Axel Legay, Sean Sedwards |
| 2012 | ISoLA | Statistical Model Checking QoS Properties of Systems with SBIP. | Saddek Bensalem, Marius Bozga, Benot Delahaye, Cyrille Jgourel, Axel Legay, Ayoub Nouri |
| 2012 | TACAS | A Platform for High Performance Statistical Model Checking - PLASMA. | Cyrille Jgourel, Axel Legay, Sean Sedwards |