| A platform for high performance statistical model checking–PLASMA C Jegourel, A Legay, S Sedwards International Conference on Tools and Algorithms for the Construction and …, 2012 | 90 | 2012 |
| Importance splitting for statistical model checking rare properties C Jegourel, A Legay, S Sedwards International Conference on Computer Aided Verification, 576-591, 2013 | 77 | 2013 |
| Cross-entropy optimisation of importance sampling parameters for statistical model checking C Jegourel, A Legay, S Sedwards International Conference on Computer Aided Verification, 327-342, 2012 | 55 | 2012 |
| Statistical model checking QoS properties of systems with SBIP S Bensalem, M Bozga, B Delahaye, C Jegourel, A Legay, A Nouri International Symposium On Leveraging Applications of Formal Methods …, 2012 | 42 | 2012 |
| Statistical model checking QoS properties of systems with SBIP A Nouri, S Bensalem, M Bozga, B Delahaye, C Jegourel, A Legay International Journal on Software Tools for Technology Transfer 17 (2), 171-185, 2015 | 39 | 2015 |
| An effective heuristic for adaptive importance splitting in statistical model checking C Jegourel, A Legay, S Sedwards International Symposium On Leveraging Applications of Formal Methods …, 2014 | 27 | 2014 |
| Feedback control for statistical model checking of cyber-physical systems K Kalajdzic, C Jégourel, A Lukina, E Bartocci, A Legay, SA Smolka, ... International Symposium on Leveraging Applications of Formal Methods, 46-61, 2016 | 17 | 2016 |
| Sequential schemes for frequentist estimation of properties in statistical model checking C Jegourel, J Sun, JS Dong International Conference on Quantitative Evaluation of Systems, 333-350, 2017 | 14 | 2017 |
| Command-based importance sampling for statistical model checking C Jegourel, A Legay, S Sedwards Theoretical Computer Science 649, 1-24, 2016 | 12 | 2016 |
| Distributed verification of rare properties using importance splitting observers C Jegourel, A Legay, S Sedwards, LM Traonouez arXiv preprint arXiv:1502.01838, 2015 | 11 | 2015 |
| Importance sampling for stochastic timed automata C Jegourel, KG Larsen, A Legay, M Mikučionis, DB Poulsen, S Sedwards International Symposium on Dependable Software Engineering: Theories, Tools …, 2016 | 7 | 2016 |
| Estimating the probability fo false alarm for a zero-bit watermarking technique T Furon, C Jégourel, A Guyader, F Cérou 2009 16th International Conference on Digital Signal Processing, 1-8, 2009 | 6 | 2009 |
| Measuring global similarity between texts U Fahrenberg, F Biondi, K Corre, C Jegourel, S Kongshøj, A Legay International Conference on Statistical Language and Speech Processing, 220-232, 2014 | 5 | 2014 |
| Rare event simulation for statistical model checking C Jegourel | 3 | 2014 |
| Measuring structural distances between texts U Fahrenberg, F Biondi, K Corre, C Jegourel, S Kongshøj, A Legay arXiv preprint arXiv:1403.4024, 2014 | 3 | 2014 |
| Verification of strong Nash-equilibrium for probabilistic bar systems D Fernando, N Dong, C Jegourel, JS Dong International Conference on Formal Engineering Methods, 106-123, 2018 | 2 | 2018 |
| On the sequential Massart algorithm for statistical model checking C Jegourel, J Sun, JS Dong International Symposium on Leveraging Applications of Formal Methods, 287-304, 2018 | 2 | 2018 |
| Verification of Nash-equilibrium for probabilistic BAR systems D Fernando, N Dong, C Jegourel, JS Dong 2016 21st International Conference on Engineering of Complex Computer …, 2016 | 2 | 2016 |
| Distributed verification of rare properties with lightweight importance splitting observers C Jégourel, A Legay, S Sedwards, L Traonouez CoRR, 2015 | 2 | 2015 |
| Global PAC Bounds for Learning Discrete Time Markov Chains H Bazille, B Genest, C Jegourel, J Sun Upcoming submission in CAV, 0 | 2* | |
