Follow
cyrille Jegourel
cyrille Jegourel
Verified email at sutd.edu.sg
Title
Cited by
Cited by
Year
Importance splitting for statistical model checking rare properties
C Jegourel, A Legay, S Sedwards
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
1212013
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
1042012
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
702012
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
602015
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
452012
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
342014
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
332016
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
252017
Command-based importance sampling for statistical model checking
C Jegourel, A Legay, S Sedwards
Theoretical Computer Science 649, 1-24, 2016
242016
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
142016
Distributed verification of rare properties using importance splitting observers
C Jegourel, A Legay, S Sedwards, LM Traonouez
arXiv preprint arXiv:1502.01838, 2015
142015
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
112014
On the sequential Massart algorithm for statistical model checking
C Jegourel, J Sun, JS Dong
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
72018
Importance sampling of interval markov chains
C Jégourel, J Wang, J Sun
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 2018
62018
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
62009
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
52018
Rare event simulation for statistical model checking
C Jegourel
Université de Rennes, 2014
52014
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
32021
The system can't perform the operation now. Try again later.
Articles 1–20