User menu

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

Search

Displaying 1 - 25 of 26 results.

Pages

    • BookChapter
    Statistical Model Checking
    Legay, Axel[UCL] Lukina, Anna Traonouez, Louis Marie Yang, Junxing Smolka, Scott A. Grosu, Radu (2019) Lecture Notes in Computer Science : Computing and Software Science — [ISBN : 9783319919072]
    • Journal article
    An ωω\omega-Algebra for Real-Time Energy Problems
    Legay, Axel[UCL] Fahrenberg, Uli Cachera, David (2019) Logical Methods in Computer Science — Vol. 15, no.2 (2019)
    • Speech
    A Decade of Featured Transition Systems
    Cordy, Maxime[UCL] Devroey, Xavier Legay, Axel[UCL] Perrouin, Gilles Classen, Andreas Heymans, Patrick Schobbens, Pierre-Yves Raskin, Jean-François (2019) From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occas — Porto
    • Journal article
    Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking
    Legay, Axel[UCL] (2019) IEEE Xplore digital library (IEEE/IET Electronic Library) — (2019)
    • Journal article
    An automated and scalable formal process for detecting fault injection vulnerabilities in binaries
    Given‐Wilson, Thomas Heuser, Annelie Jafri, Nisrine Legay, Axel[UCL] (2019) Concurrency and Computation: Practice and Experience — Vol. 31, no.23, p. 1-13 (2019)
    • Journal article
    Verification and abstraction of real-time variability-intensive systems
    Cordy, Maxime Legay, Axel[UCL] (2019) International Journal on Software Tools for Technology Transfer — Vol. 21, no.6, p. 635-649 (2019)
    • 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
    Quantitative variability modelling and analysis
    ter Beek, Maurice H. Legay, Axel[UCL] (2019) International Journal on Software Tools for Technology Transfer — Vol. 21, no.6, p. 607-612 (2019)
    • Speech
    Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems
    ter Beek, Maurice H. Legay, Axel[UCL] Lluch Lafuente, Alberto Vandin, Andrea (2019) Integrated Formal Methods - 15th International Conference, {IFM} 2019 — Bergen, Norway
    • Journal article
    Quantitative properties of featured automata
    Fahrenberg, Uli Legay, Axel[UCL] (2019) International Journal on Software Tools for Technology Transfer — Vol. 21, no.6, p. 667-677 (2019)
    • 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
    • Speech
    Computing Branching Distances Using Quantitative Games
    Fahrenberg, Uli Legay, Axel[UCL] Quaas, Karin (2019) Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International Colloquium — Hammamet Tunisia
    • Speech
    Quantitative Variability Modeling and Analysis
    ter Beek, Maurice H. Legay, Axel[UCL] (2019) the 13th International Workshop — Leuven, Belgium
    • Speech
    Pluginizing QUIC
    De Coninck, Quentin[UCL] Michel, François[UCL] Piraux, Maxime[UCL] Rochet, Florentin[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] Pereira, Olivier[UCL] Bonaventure, Olivier[UCL] (2019) The ACM Special Interest Group on Data Communication - SIGCOMM '19 — Beijing, China

Pages