| Importance splitting for statistical model checking rare properties C Jegourel, A Legay, S Sedwards Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 107 | 2013 |
| A platform for high performance statistical model checking–PLASMA C Jegourel, A Legay, S Sedwards Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 102 | 2012 |
| Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. C Jegourel, A Legay, S Sedwards CAV 7358, 327-342, 2012 | 65 | 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, 171-185, 2015 | 58 | 2015 |
| Statistical model checking QoS properties of systems with SBIP S Bensalem, M Bozga, B Delahaye, C Jegourel, A Legay, A Nouri Leveraging Applications of Formal Methods, Verification and Validation …, 2012 | 42 | 2012 |
| An effective heuristic for adaptive importance splitting in statistical model checking C Jegourel, A Legay, S Sedwards Leveraging Applications of Formal Methods, Verification and Validation …, 2014 | 33 | 2014 |
| Feedback control for statistical model checking of cyber-physical systems K Kalajdzic, C Jégourel, A Lukina, E Bartocci, A Legay, SA Smolka, ... Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 27 | 2016 |
| Sequential schemes for frequentist estimation of properties in statistical model checking C Jegourel, J Sun, JS Dong Quantitative Evaluation of Systems: 14th International Conference, QEST 2017 …, 2017 | 22 | 2017 |
| Command-based importance sampling for statistical model checking C Jegourel, A Legay, S Sedwards Theoretical Computer Science 649, 1-24, 2016 | 21 | 2016 |
| Distributed verification of rare properties using importance splitting observers C Jegourel, A Legay, S Sedwards, LM Traonouez arXiv preprint arXiv:1502.01838, 2015 | 15 | 2015 |
| Importance sampling for stochastic timed automata C Jegourel, KG Larsen, A Legay, M Mikučionis, DB Poulsen, S Sedwards Dependable Software Engineering: Theories, Tools, and Applications: Second …, 2016 | 11 | 2016 |
| Verification of strong Nash-equilibrium for probabilistic BAR systems D Fernando, N Dong, C Jegourel, JS Dong Formal Methods and Software Engineering: 20th International Conference on …, 2018 | 9* | 2018 |
| Global PAC Bounds for Learning Discrete Time Markov Chains H Bazille, B Genest, C Jegourel, J Sun Upcoming submission in CAV, 0 | 9* | |
| Measuring global similarity between texts U Fahrenberg, F Biondi, K Corre, C Jegourel, S Kongshøj, A Legay Statistical Language and Speech Processing: Second International Conference …, 2014 | 8 | 2014 |
| On the sequential Massart algorithm for statistical model checking C Jegourel, J Sun, JS Dong Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 6 | 2018 |
| 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 |
| Importance sampling of interval markov chains C Jégourel, J Wang, J Sun 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 2018 | 5 | 2018 |
| Rare event simulation for statistical model checking C Jegourel Rennes 1, 2014 | 5 | 2014 |
| Automatically ‘Verifying’Discrete-Time Complex Systems through Learning, Abstraction and Refinement J Wang, J Sun, S Qin, C Jegourel IEEE Transactions on Software Engineering 47 (1), 189-203, 2018 | 4 | 2018 |
| Distributed verification of rare properties with lightweight importance splitting observers C Jégourel, A Legay, S Sedwards, LM Traonouez CoRR, 2015 | 3 | 2015 |
