User menu

All Publications

Displaying 1 - 25 of 283 results.

Pages

    • Speech
    On the Expressiveness of Symmetric Communication
    Given-Wilson, Thomas Legay, Axel[UCL] (2016) Theoretical Aspects of Computing – ICTAC 2016 —
    • Journal article
    Orchestration Synthesis for Real-Time Service Contracts
    Basile, Davide ter Beek, Maurice H. Legay, Axel Traonouez, Louis-Marie (2018) Verification and Evaluation of Computer and Communication Systems — (2018)
    • Speech
    QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems
    Legay, Axel[UCL] Vandin, Andrea H. ter Beek, Maurice Lluch Lafuente, Alberto (2018) FM 2018 : 22nd International Symposium on Formal Methods — Oxford, United Kingdom
    • Speech
    Sequential Relational Decomposition
    Fried, Dror Legay, Axel[UCL] Ouaknine, Joël Vardi, Moshe Y. (2018) the 33rd Annual ACM/IEEE Symposium — Oxford, United Kingdom
    • 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)
    • Journal article
    Physical Security Versus Masking Schemes
    Danger, Jean-Luc Guilley, Sylvain Heuser, Annelie Legay, Axel[UCL] Ming, Tang (2018) Cyber-Physical Systems Security — , p. pp 269-284 (2018)
    • 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 ωω\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)
    • Journal article
    Handling Liveness Properties in (<i>omega</i>-)Regular Model Checking.
    Bouajjani, Ahmed Legay, Axel Wolper, Pierre (2005) Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings — Vol. 138, no.3, p. 101-115 (2005)
    • Speech
    Quantitative Variability Modeling and Analysis
    ter Beek, Maurice H. Legay, Axel (2019) the 13th International Workshop — Leuven, Belgium

Pages