User menu

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

Search

Displaying 1 - 25 of 45 results.

Pages

    • Journal article
    Compositionality for quantitative specifications
    Fahrenberg, Uli Křetínský, Jan Legay, Axel[UCL] Traonouez, Louis-Marie (2017) Soft Computing — Vol. 22, no.4, p. 1139-1158 (2017)
    • Speech
    Model Checking the IKEv2 Protocol Using Spin
    Ninet, Tristan Legay, Axel[UCL] Maillard, Romaric Traonouez, Louis-Marie Zendra, Olivier (2019) 2019 17th International Conference on Privacy, Security and Trust (PST) — Fredericton, NB, Canada
    • Journal article
    Statistical Model Checking of Incomplete Stochastic Systems
    Arora, Shiraj Legay, Axel[UCL] Richmond, Tania Traonouez, Louis-Marie (2018) Statistical Model Checking of Incomplete Stochastic Systems — (2018)
    • Speech
    The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2
    Ninet, Tristan Legay, Axel[UCL] Maillard, Romaric Traonouez, Louis-Marie Zendra, Olivier (2019) 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications — Rotorua, New Zealand
    • Journal article
    Orchestration Synthesis for Real-Time Service Contracts
    Basile, Davide ter Beek, Maurice H. Legay, Axel[UCL] Traonouez, Louis-Marie (2018) Verification and Evaluation of Computer and Communication Systems — (2018)
    • Journal article
    Logical vs. behavioural specifications
    Beneš, Nikola Fahrenberg, Uli Křetínský, Jan Legay, Axel[UCL] Traonouez, Louis-Marie (2020) Information and Computation — Vol. 271, no.1, p. 104487 (2020)
    • Journal article
    Smart Sampling for Lightweight Verification of Markov Decision Processes
    D'Argenio, Pedro Legay, Axel[UCL] Sedwards, Sean Traonouez, Louis-Marie (2015) International Journal on Software Tools for Technology Transfer — Vol. 17, no. 4, p. 469-484 (2015)
    • Speech
    Scalable Verification of Markov Decision Processes
    Legay, Axel[UCL] Sedwards, Sean Traonouez, Louis-Marie (2014) 4th Workshop on Formal Methods in the Development of Software (FMDS 2014) —
    • Journal article
    Real-Time Specifications
    David, Alexandre Larsen Kim, Guldstrand Legay, Axel[UCL] Nyman, Ulrik Traonouez, Louis-Marie Wasowski, Andrzej (2015) Software Tools for Technology Transfer (STTT) — Vol. 17, no. 1, p. 17-45 (2015)
    • Speech
    Statistical Model Checking of Simulink Models with Plasma Lab
    Legay, Axel[UCL] Traonouez, Louis-Marie (2015) Fourth International Workshop on Formal Techniques for Safety-Critical Systems —
    • 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
    Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems
    Naujokat, Stefan Traonouez, Louis-Marie Isberner, Malte Steffen, Bernhard Legay, Axel[UCL] (2014) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. —
    • Speech
    Robust Specification of Real Time Components
    Larsen Kim, Guldstrand Legay, Axel[UCL] Traonouez, Louis-Marie Wasowski, Andrzej (2011) 9th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2011) —
    • Journal article
    Robust Synthesis for Real Time Systems
    Larsen Kim, Guldstrand Legay, Axel[UCL] Traonouez, Louis-Marie Wąsowski, Andrzej (2014) Theoretical Computer Science — Vol. 515, p. 96-122 (2014)

Pages