cyrille Jegourel
cyrille Jegourel
Verified email at sutd.edu.sg
Title
Cited by
Cited by
Year
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
902012
Importance splitting for statistical model checking rare properties
C Jegourel, A Legay, S Sedwards
International Conference on Computer Aided Verification, 576-591, 2013
752013
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
542012
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
422012
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
372015
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
272014
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
162016
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
132017
Command-based importance sampling for statistical model checking
C Jegourel, A Legay, S Sedwards
Theoretical Computer Science 649, 1-24, 2016
112016
Distributed verification of rare properties using importance splitting observers
C Jegourel, A Legay, S Sedwards, LM Traonouez
arXiv preprint arXiv:1502.01838, 2015
112015
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
72016
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
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
52014
Rare event simulation for statistical model checking
C Jegourel
32014
Measuring structural distances between texts
U Fahrenberg, F Biondi, K Corre, C Jegourel, S Kongshøj, A Legay
arXiv preprint arXiv:1403.4024, 2014
32014
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
22018
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
22018
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
22016
Distributed verification of rare properties with lightweight importance splitting observers
C Jégourel, A Legay, S Sedwards, L Traonouez
CoRR, 2015
22015
Global PAC Bounds for Learning Discrete Time Markov Chains
H Bazille, B Genest, C Jegourel, J Sun
Upcoming submission in CAV, 0
2
The system can't perform the operation now. Try again later.
Articles 1–20