Search

Pages

1. • Speech

   • 

   Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software

   Zavalyshyn, Igor[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] Sadre, Ramin[UCL] (2020) SSS 2020: Stabilization, Safety, and Security of Distributed Systems —
2. • Speech

   • 

   Improving Secure and Robust Patient Service Delivery

   Baranov, Eduard[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2020) ISoLA 2021 — Rhodes, Greece
3. • Speech

   • 

   Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking

   Paigwar, Anshul Baranov, Eduard[UCL] Renzaglia, Alessandro Laugier, Christian Legay, Axel[UCL] (2020) IEEE Intelligent Vehicles Symposium (IV) 2020 — (Virtual) Las Vegas, NV, United States
4. • Speech

   • 

   Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications

   Gomes, Eduardo Zavalyshyn, Igor[INESC-ID / Instituto Superior Tecnico, Universidad de Lisboa, UCL] Santos, Nuno Silva, João Legay, Axel[UCL] (2020) The 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom'20) — Guangzhou, China
5. • Speech

   • 

   My House, My Rules: A Private-by-Design Smart Home Platform

   Zavalyshyn, Igor[UCL] Santos, Nuno Sadre, Ramin[UCL] Legay, Axel[UCL] (2020) EAI MobiQuitous 2020 - 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services — Virtual
6. • Journal article

   • 

   A linear-time–branching-time spectrum for behavioral specification theories

   Fahrenberg, Uli Legay, Axel[UCL] (2020) Journal of Logical and Algebraic Methods in Programming — Vol. 110, no.110, p. 100499 (2020)
7. • Journal article

   • 

   Computing branching distances with quantitative games

   Fahrenberg, Uli Legay, Axel[UCL] Quaas, Karin (2020) Theoretical Computer Science — Vol. 847, no.847, p. 134-146 (2020)
8. • Speech

   • 

   Behavioral Specification Theories: An Algebraic Taxonomy

   Fahrenberg, Uli Legay, Axel[UCL] (2020) Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles —
9. • Speech

   • 

   Exploiting Virtualisation for Interactive Virtual Teaching

   Duchêne, Fabien[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] Strebelle, Sébastien[UCL] (2020) Teaching and Learning Computer Networking During the Pandemic and Beyond — Online
10. • Speech

    • 

    Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting

    Dimovski, Aleksandar S. Legay, Axel[UCL] (2020) —
11. • Journal article

    • 

    Optimizing symbolic execution for malware behavior classification

    Sebastio, Stefano Baranov, Eduard[UCL] Biondi, Fabrizio Decourbe, Olivier Given-Wilson, Thomas[UCL] Legay, Axel[UCL] Puodzius, Cassius Quilbeuf, Jean (2020) Computers & Security — Vol. 93, no.?, p. 101775 (2020)
12. • Journal article

    • 

    Controller synthesis of service contracts with variability

    Basile, Davide ter Beek, Maurice H. Degano, Pierpaolo Legay, Axel[UCL] Ferrari, Gian-Luigi Gnesi, Stefania Di Giandomenico, Felicita (2020) Science of Computer Programming — Vol. 187, no.1, p. 102344 (2020)
13. • Speech

    • 

    X-by-Construction : Correctness Meets Probability

    ter Beek, Maurice H. Cleophas, Loek Legay, Axel[UCL] Schaefer, Ina Watson, Bruce W. (2020) Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles —
14. • Speech

    • 

    Tackling the equivalent mutant problem in real-time systems : the 12 commandments of model-based mutation testing

    Basile, Davide Beek, Maurice H. ter Cordy, Maxime Legay, Axel[UCL] (2020) SPLC '20: 24th ACM International Systems and Software Product Line Conference — Montreal Quebec Canada
15. • 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)
16. • 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) —
17. • 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
18. • 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
19. • 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)
20. • 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
21. • Speech

    • 

    30 Years of Statistical Model Checking

    Larsen, Kim G. Legay, Axel[UCL] (2020) Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles —
22. • 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)
23. • 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)
24. • 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)
25. • 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 —

Pages