Importance splitting for statistical model checking rare properties C Jegourel, A Legay, S Sedwards Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 121 | 2013 |
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 | 104 | 2012 |
Cross-entropy optimisation of importance sampling parameters for statistical model checking C Jegourel, A Legay, S Sedwards Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 70 | 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 | 60 | 2015 |
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 | 45 | 2012 |
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 | 34 | 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 | 33 | 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 | 25 | 2017 |
Command-based importance sampling for statistical model checking C Jegourel, A Legay, S Sedwards Theoretical Computer Science 649, 1-24, 2016 | 24 | 2016 |
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 | 14 | 2016 |
Distributed verification of rare properties using importance splitting observers C Jegourel, A Legay, S Sedwards, LM Traonouez arXiv preprint arXiv:1502.01838, 2015 | 14 | 2015 |
Global PAC Bounds for Learning Discrete Time Markov Chains H Bazille, B Genest, C Jegourel, J Sun Upcoming submission in CAV, 0 | 13* | |
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 | 11* | 2018 |
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 | 11 | 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 | 7 | 2018 |
Importance sampling of interval markov chains C Jégourel, J Wang, J Sun 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 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 |
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 | 5 | 2018 |
Rare event simulation for statistical model checking C Jegourel Université de Rennes, 2014 | 5 | 2014 |
Steps before syntax: Helping novice programmers solve problems using the PCDIT framework O Kurniawan, C Jégourel, NTS Lee, M De Mari, CM Poskitt arXiv preprint arXiv:2109.08896, 2021 | 3 | 2021 |