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 | 99 | 2012 |
Importance splitting for statistical model checking rare properties C Jegourel, A Legay, S Sedwards International Conference on Computer Aided Verification, 576-591, 2013 | 98 | 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 | 62 | 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 | 54 | 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 | 44 | 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 | 30 | 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 | 23 | 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 | 21 | 2017 |
Command-based importance sampling for statistical model checking C Jegourel, A Legay, S Sedwards Theoretical Computer Science 649, 1-24, 2016 | 19 | 2016 |
Distributed verification of rare properties using importance splitting observers C Jegourel, A Legay, S Sedwards, LM Traonouez arXiv preprint arXiv:1502.01838, 2015 | 13 | 2015 |
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 | 8* | 2018 |
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 | 8 | 2016 |
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 | 8 | 2014 |
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 |
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 | 5 | 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 | 5 | 2018 |
Rare event simulation for statistical model checking C Jegourel Université Rennes 1, 2014 | 5 | 2014 |
Global PAC Bounds for Learning Discrete Time Markov Chains H Bazille, B Genest, C Jegourel, J Sun Upcoming submission in CAV, 0 | 5* | |
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 | 3 | 2018 |
Distributed verification of rare properties with lightweight importance splitting observers C Jégourel, A Legay, S Sedwards, LM Traonouez CoRR, 2015 | 3 | 2015 |