User menu

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

Search

Displaying 23 results.
    • Journal article
    An Application of SMC to continuous validation of heterogeneous systems
    Arnold, Alexandre Baleani, Massimo Ferrari, Alberto Marazza, Marco Senni, Valerio Legay, Axel[UCL] Quilbeuf, Jean Etzien, Christoph (2017) EAI Endorsed Transactions on Industrial Networks and Intelligent Systems — Vol. 4, no. 10, p. 152154 (2017)
    • Speech
    Verification of Interlocking Systems Using Statistical Model Checking
    Cappart, Quentin Limbrée, Christophe Schaus, Pierre Quilbeuf, Jean Traonouez, Louis-Marie Legay, Axel[UCL] (2017) 18th IEEE International Symposium on High Assurance Systems Engineering (HASE) — Singapore
    • Speech
    A Language for Analyzing Security of IOT Systems
    Beaulaton, Delphine Ben Said, Najah Cristescu, Ioana Fleurquin, Régis Legay, Axel[UCL] Quilbeuf, Jean Sadou, Salah (2018) 13th Annual Conference on System of Systems Engineering, SoSE 2018 — Paris
    • Speech
    Statistical Model Checking for SystemC Models
    Ngo Van, Chan Legay, Axel[UCL] Quilbeuf, Jean (2016) High Assurance Systems Engineering Symposium —
    • Speech
    Verification of Interlocking Systems Using Statistical Model Checking
    Cappart, Quentin[UCL] Limbrée, Christophe[UCL] Schaus, Pierre[UCL] Quilbeuf, Jean Traonouez, Louis-Marie Legay, Axel[UCL] (2017) IEEE 18th International Symposium on High Assurance Systems Engineering (HASE 2017) — Singapore
    • Speech
    Comparative Analysis of Leakage Tools on Scalable Case Studies
    Biondi, Fabrizio Legay, Axel[UCL] Quilbeuf, Jean (2015) 22nd International SPIN Workshop on Model Checking of Software —