Cyrille Jegourel

Cyrille Jegourel

Singapore University of Technology and Design - Singapore / Singapore
Others
AD Scientific Index ID: 361018
-
person_outline Cyrille Jegourel's MOST POPULAR ARTICLES
1-) Importance splitting for statistical model checking rare propertiesC Jegourel, A Legay, S SedwardsInternational Conference on Computer Aided Verification, 576-591, 20131042013
2-) A platform for high performance statistical model checking–PLASMAC Jegourel, A Legay, S SedwardsInternational Conference on Tools and Algorithms for the Construction and …, 2012992012
3-) Cross-entropy optimisation of importance sampling parameters for statistical model checkingC Jegourel, A Legay, S SedwardsComputer Aided Verification: 24th International Conference, CAV 2012 …, 2012652012
4-) Statistical model checking QoS properties of systems with SBIPA Nouri, S Bensalem, M Bozga, B Delahaye, C Jegourel, A LegayInternational Journal on Software Tools for Technology Transfer 17, 171-185, 2015602015
5-) Statistical model checking QoS properties of systems with SBIPS Bensalem, M Bozga, B Delahaye, C Jegourel, A Legay, A NouriInternational Symposium On Leveraging Applications of Formal Methods …, 2012452012