User menu

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

All Publications

Displaying 6 results.
    • WorkingPaper
    High-level Frameworks for the Specification and Verification of Scheduling Problems
    Chadli, Mounir Kim, Jin Larsen, Kim Legay, Axel[UCL] Naujokat, Stefan Steffen, Bernhard Traonouez, Louis-Marie (2017)
    • Speech
    Statistical Model Checking meets GDPR
    Baranov, Eduard[UCL] Larsen, Kim Legay, Axel[UCL] (2023) AISoLA — Crete, Greece
    • Speech
    Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata
    Gjøl Jensen, Peter Larsen, Kim Legay, Axel[UCL] Poulsen, Danny (2017) GraMSec 2017 - The Fourth International Workshop on Graphical Models for Security —
    • Speech
    Quantitative Modal Transition Systems
    Larsen, Kim Legay, Axel[UCL] (2012) 21th InternationalWorkshop on Algebraic Development Techniques (WADT) —
    • Speech
    Practical Controller Synthesis for MTL$0,∞$
    Li, Guangyuan Jensen, Peter Larsen, Kim Legay, Axel[UCL] Poulsen, Danny (2017) International SPIN Symposium on Model Checking of Software —
    • Speech
    Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs
    Legay, Axel[UCL] Jaeger, Manfred Haahr Taankvist, Jakob Sedwards, Sean Jensen, Peter Larsen, Kim (2019) ATVA —