User menu

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

Search

Displaying 18 results.
    • 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]
    • 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
    • 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
    • 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
    • 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