User menu

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

Search

Displaying 5 results.
    • Speech
    Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata
    D'Argenio, Pedro Hartmanns, Arnd Legay, Axel[UCL] Sedwards, Sean (2016) Integrated Formal Methods —
    • Speech
    Rare Events for Statistical Model Checking: An Overview
    Legay, Axel[UCL] Sedwards, Sean Traonouez, Louis-Marie (2016) Reachability Problems —
    • Speech
    Plasma Lab: A Modular Statistical Model Checking Platform
    Legay, Axel[UCL] Sedwards, Sean Traonouez, Louis-Marie (2016) ISoLA —
    • 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 —
    • Journal article
    Command-based importance sampling for statistical model checking
    Jegourel, Cyrille Legay, Axel[UCL] Sedwards, Sean (2016) Theoretical Computer Science — Vol. 649, p. 1 - 24 (2016)