Search

Pages

1. • 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]
2. • BookChapter

   • 

   IoT in a New Age of Unified and Zero-Trust Networks and Increased Privacy Protection

   Sava Zxivanovich Branislav Todorovic Jean Pierre Lorré Darko Trifunovic Adrian Kotelba Sadre, Ramin[UCL] Legay, Axel[UCL] (2022) Cybersecurity in Smart Homes: Architectures, Solutions and Technologies — [ISBN : 9781789450866]
3. • Book

   • 

   Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs

   Jaeger, Manfred Jensen, Peter Gjøl Guldstrand Larsen, Kim Legay, Axel[UCL] Sedwards, Sean Taankvist, Jakob Haahr (2019)
4. • Speech

   • 

   Mitigate Data Poisoning Attack by Partially Federated Learning

   Dam, Khanh Huu The[UCL] Legay, Axel[UCL] (2023) ARES 2023: The 18th International Conference on Availability, Reliability and Security — Benevento Italy
5. • Speech

   • 

   Simulation-Based Iteration of Tree Transducers.

   Abdulla, Parosh Aziz Legay, Axel d'Orso, Julien Rezine, Ahmed (2005) TACAS —
6. • Speech

   • 

   Omega-Regular Model Checking.

   Boigelot, Bernard Legay, Axel Wolper, Pierre (2004) TACAS —
7. • Book

   • 

   Model Checking Software

   Fabrizio Biondi Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2019)
8. • Speech

   • 

   Iterating Transducers in the Large (Extended Abstract).

   Boigelot, Bernard Legay, Axel Wolper, Pierre (2003) CAV —
9. • Book

   • 

   Computing Convex Hulls by Automata Iteration

   Cantin, François Legay, Axel Wolper, Pierre (2008)
10. • Speech

    • 

    Sociable Interfaces.

    Alfaro, Luca de Silva, Leandro Dias da Faella, Marco Legay, Axel Roy, Pritam Sorea, Maria (2005) FROCOS —
11. • 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
12. • Speech

    • 

    Scalable Approximation of Quantitative Information Flow in Programs.

    Biondi, Fabrizio Enescu, Michael A. Heuser, Annelie Legay, Axel[UCL] Meel, Kuldeep S. Quilbeuf, Jean (2018) VMCAI —
13. • Speech

    • 

    Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL

    Dimovski, Aleksandar S. Legay, Axel[UCL] Wasowski, Andrzej (2019) —
14. • Speech

    • 

    Synchronous Interface Theories and Time Triggered Scheduling

    Delahaye, Benot Fahrenberg, Uli Legay, Axel[UCL] Ničković, Dejan (2012) 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) —
15. • Speech

    • 

    Performance Evaluation of Complex Systems Using the SBIP Framework

    Nouri, Ayoub Bozga, Marius Legay, Axel[UCL] Bensalem, Saddek (2016) he International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) —
16. • Speech

    • 

    Statistical Model Checking: Past, Present, and Future

    Larsen Kim, Guldstrand Legay, Axel[UCL] (2014) 6th International Symposium, ISoLA 2014 —
17. • Speech

    • 

    Scalable Verification of Markov Decision Processes

    Legay, Axel[UCL] Sedwards, Sean Traonouez, Louis-Marie (2014) 4th Workshop on Formal Methods in the Development of Software (FMDS 2014) —
18. • Speech

    • 

    Symbolic Model Checking of Software Product Lines

    Classen, Andreas Heymans, Patrick Schobbens, Pierre-Yves Legay, Axel[UCL] (2011) ICSE 2011 : 33rd International Conference on Software Engineering — Waikiki, Honolulu, HI, USA
19. • Speech

    • 

    Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

    D'Argenio, Pedro Hartmanns, Arnd Legay, Axel[UCL] Sedwards, Sean (2016) Integrated Formal Methods —
20. • Speech

    • 

    Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems.

    Delahaye, Benoît Caillaud, Benoît Legay, Axel[UCL] (2010) 10th International Conference on Application of Concurrency to System Design (ACSD) —
21. • Speech

    • 

    An Application of SMC to continuous validation of heterogeneous systems

    Arnold, Alexandre Baleani, Massimo Ferrari, Alberto Marazza, Marco Senni, Valerio Legay, Axel[UCL] Quilbeuf, Jean Etzien, Christoph (2016) Simutools 2016 - Ninth EAI International Conference on Simulation Tools and Techniques —
22. • Speech

    • 

    Managing Evolution in Software Product Lines : A Model-Checking Perspective

    Cordy, Maxime Classen, Andreas Heymans, Patrick Schobbens, Pierre-Yves Legay, Axel[UCL] (2012) 6th International Workshop on Variability Modelling of Software Intensive Systems —
23. • Speech

    • 

    Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems

    Legay, Axel[UCL] Sedwards, Sean (2014) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change —
24. • Speech

    • 

    Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-Features

    Cordy, Maxime Schobbens, Pierre-Yves Heymans, Patrick Legay, Axel[UCL] (2013) ICSE 2013 International Conference on Software Engineering —
25. • Speech

    • 

    A completion algorithm for lattice tree automata

    Genet, Thomas Le Gall, Tristan Legay, Axel[UCL] Murat, Valérie (2013) CIAA 2013 - 18th International Conference on Implementation and Application of Automata —

Pages