User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 7 results.
    • Speech
    Measuring Global Similarity between Texts
    Fahrenberg, Uli Biondi, Fabrizio Corre, Kevin Jegourel, Cyrille Kongshøj, Simon Legay, Axel[UCL] (2014) SLSP 2014 : Second International Conference on Statistical Language and Speech Processing —
    • WorkingPaper
    Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
    Kalajdzic, K Jegourel, Cyrille Bartocci, E Legay, Axel[UCL] Smolka, Scott Grosu, R (2014)
    • Speech
    A Platform for High Performance Statistical Model Checking – PLASMA
    Jegourel, Cyrille Legay, Axel[UCL] Sedwards, Sean (2012) TACAS 2012 - 18th International Conference Tools and Algorithms for the Construction and Analysis of Systems —
    • Speech
    Importance Sampling for Stochastic Timed Automata
    Jegourel, Cyrille Larsen Kim, Guldstrand Legay, Axel[UCL] Mikučionis, Marius Poulsen, Danny Sedwards, Sean (2016) Dependable Software Engineering: Theories, Tools, and Applications —
    • Speech
    An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking
    Jegourel, Cyrille Legay, Axel[UCL] Sedwards, Sean (2014) International Symposium On Leveraging Applications of Formal Methods, Verification and Validation —
    • Speech
    Importance Splitting for Statistical Model Checking Rare Properties
    Jegourel, Cyrille Legay, Axel[UCL] Sedwards, Sean (2013) Computer Aided Verification —
    • Speech
    Distributed Verification of Rare Properties using Importance Splitting Observers
    Jegourel, Cyrille Legay, Axel[UCL] Sedwards, Sean Traonouez, Louis-Marie (2015) Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) —