Search

Pages

1. • Journal article

   • 

   Timed service contract automata

   Basile, Davide ter Beek, Maurice H. Legay, Axel[UCL] (2020) Innovations in Systems and Software Engineering — Vol. 16, no.2, p. 199-214 (2019)
2. • Speech

   • 

   Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego

   Basile, Davide ter Beek, Maurice H. Legay, Axel[UCL] (2020) —
3. • Speech

   • 

   Formalising fault injection and countermeasures

   Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2020) ARES 2020: The 15th International Conference on Availability, Reliability and Security — Virtual Event Ireland
4. • Speech

   • 

   Building User Trust of Critical Digital Technologies

   Given-Wilson, Thomas[UCL] Baranov, Eduard[UCL] Legay, Axel[UCL] (2020) 2020 IEEE International Conference on Industrial Technology (ICIT) — Buenos Aires, Argentina
5. • Journal article

   • 

   Quantitative Security Risk Modeling and Analysis with RisQFLan

   ter Beek, Maurice H. Legay, Axel[UCL] Lluch Lafuente, Alberto Vandin, Andrea (2021) Computers & Security — Vol. 109, p. 102381 (2021)
6. • Journal article

   • 

   Generalized abstraction-refinement for game-based CTL lifted model checking

   Dimovski, Aleksandar S. Legay, Axel[UCL] Wasowski, Andrzej (2020) Theoretical Computer Science — Vol. 837, no.837, p. 181-206 (2020)
7. • Speech

   • 

   Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage

   Baranov, Eduard[UCL] Legay, Axel[UCL] Meel, Kuldeep S. (2020) 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering — Virtual Event, USA
8. • Speech

   • 

   30 Years of Statistical Model Checking

   Larsen, Kim G. Legay, Axel[UCL] (2020) Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles —
9. • Journal article

   • 

   Combined software and hardware fault injection vulnerability detection

   Given-Wilson, Thomas[UCL] Jafri, Nisrine Legay, Axel[UCL] (2020) Innovations in Systems and Software Engineering — Vol. 16, no.2, p. 101-120 (2020)
10. • Journal article

    • 

    Expressiveness of concurrent intensionality

    Cristescu, Ioana Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2020) Theoretical Computer Science — Vol. 837, p. 54-83 (2020)
11. • Journal article

    • 

    Masterminding change by combining secure system design with security risk assessment

    Kammüller, Florian Legay, Axel[UCL] Schivo, Stefano (2020) International Journal on Software Tools for Technology Transfer — Vol. 23, no.1, p. 69-70 (2020)
12. • Speech

    • 

    Statistical Model Checking for Variability-Intensive Systems

    Cordy, Maxime Papadakis, Mike Legay, Axel[UCL] (2020) Fundamental Approaches to Software Engineering : Lecture Notes in Computer Science —
13. • Journal article

    • 

    Introduction to the special issue for SPIN 2019

    Biondi, Fabrizio Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2020) International Journal on Software Tools for Technology Transfer — Vol. 22, no.5, p. 563-564 (2020)
14. • Journal article

    • 

    A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems

    Ter Beek, Maurice H. Legay, Axel[UCL] Lafuente, Alberto Lluch Vandin, Andrea (2020) IEEE Transactions on Software Engineering — Vol. 46, no.3, p. 321-345 (2020)
15. • 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)
16. • 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)
17. • 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)
18. • 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)
19. • Journal article

    • 

    Performance evaluation of stochastic real-time systems with the SBIP framework

    Nouri, Ayoub Mediouni, Braham Lotfi Bozga, Marius Combaz, Jacques Bensalem, Saddek Legay, Axel[UCL] (2018) International Journal of Critical Computer-Based Systems — Vol. 8, no.3/4, p. 340 (2018)
20. • 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
21. • 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
22. • 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
23. • Journal article

    • 

    An Algebraic Approach to Energy Problems II — The Algebra of Energy Functions

    Ésik, Zoltán Fahrenberg, Uli Legay, Axel[UCL] Quaas, Karin (2017) Acta Cybernetica — Vol. 23, no.1, p. 229-268 (2017)
24. • Journal article

    • 

    X-by-C: Non-functional Security Challenges

    Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2018) Leveraging Applications of Formal Methods, Verification and Validation. Modeling — , p. pp 486-501 (2018)
25. • Report

    • 

    Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed

    Lugan, Sébastien[UCL] Desbordes, Paul[UCL] Legay, Axel[UCL] Tormo, Luis Xavier Ramos Macq, Benoît[UCL] (2019)

Pages