User menu

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

All Publications

Displaying 1 - 25 of 39 results.

Pages

    • Speech
    Chaos Duck: Towards Automatic IoT Software Fault-Tolerance Analysis
    Zavalyshyn, Igor[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] Sadre, Ramin[UCL] Riviere, Etienne[UCL] (2021) The 40th International Symposium on Reliable Distributed Systems (SRDS) —
    • Speech
    C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
    Chenoy, Antoine[UCL] Duchêne, Fabien[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2021) SPIN 2021 - 27th International SPIN Symposium on Model Checking of Software — Online
    • 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 —
    • Speech
    A Secure User-Centred Healthcare System: Design and Verification
    Baranov, Eduard[UCL] Bowles, Juliana Given-Wilson, Thomas[UCL] Legay, Axel[UCL] Webber, Thais (2021) 10th International Symposium "From Data to Models and Back" — Virtual
    • Journal article
    Packer classification based on association rule mining
    Dam, Khanh Huu The[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] Veroneze, Rosana[UCL] (2022) Applied Soft Computing — Vol. 127, p. 109373 (2022)
    • 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
    • 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
    • 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
    • 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)
    • 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)
    • 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)
    • 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
    • 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)
    • Speech
    Information Leakage as a Scheduling Resource
    Biondi, Fabrizio Chadli, Mounir Given-Wilson, Thomas Legay, Axel[UCL] (2017) International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems —
    • Journal article
    Group Abstraction for Assisted Navigation of Social Activities in Intelligent Environments
    Given-Wilson, Thomas Legay, Axel[UCL] Sedwards, Sean Zendra, Olivier (2018) Journal of Reliable Intelligent Environments — Vol. 4, no. 2, p. 107-120 (2018)

Pages