User menu

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

Search

Displaying 1 - 25 of 278 results.

Pages

    • 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
    Improving Secure and Robust Patient Service Delivery
    Baranov, Eduard[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2020) ISoLA 2021 — Rhodes, Greece
    • 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
    • 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
    • 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
    • Speech
    Compatibility of Fairness Metrics With EU Non-discrimination Law: A Legal and Technical Case Study
    Yousefi, Yasaman Koutsoviti-Koumeri, Lisa Legast, Magali[UCL] Schommer, Christoph Vanhoof, Koen Legay, Axel[UCL] (2023) European Workshop on Algorithmic Fairness — Winterthur, Switzerland
    • Speech
    Assistance in the management of rule sets for rule-based expert systems
    Legast, Magali[UCL] Legay, Axel[UCL] (2023) The 35th International Conference on Software Engineering and Knowledge Engineering — Hybrid, San Francisco, USA
    • Speech
    Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study
    Martou, Pierre[UCL] Mens, Kim[UCL] Duhoux, Benoît[UCL] Legay, Axel[UCL] (2022) COP 2022: International Workshop on Context-Oriented Programming and Advanced Modularity (collocated with ECOOP) — Berlin, Germany
    • 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
    • Speech
    Multimodal machine learning enables improved label-free biosensing: COVID-19 diagnostics
    Yunda Sangoluisa, Jhonny Alexander[UCL] Legay, Axel[UCL] Pagneux, Quentin Boukherroub, Rabah Rolland, Anne-Sophie Devos, David Szunerits, Sabine Melinte, Sorin[UCL] (2023) EMRS Spring Meeting — Strasbourg
    • 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
    • Speech
    On Exploiting Symbolic Execution to Improve the Analysis of RAT Samples with angr
    Lucca, Serena[UCL] Crochet, Christophe[UCL] Bertrand Van Ouytsel, Charles-Henry[UCL] Legay, Axel[UCL] (2023) FPS2023 — Bordeaux
    • Speech
    Métriques d’équité en Apprentissage Automatique et droit de l’Union Europénne en matière de non-discrimination
    Legast, Magali[UCL] Yousefi, Yasaman Koutsoviti Koumeri, Lisa Legay, Axel[UCL] Schommer, Christoph Vanhoof, Koen (2023) Conférence Nationale en Intelligence Artificielle — Strasbourg, France
    • Speech
    Statistical Model Checking meets GDPR
    Baranov, Eduard[UCL] Larsen, Kim Legay, Axel[UCL] (2023) AISoLA — Crete, Greece
    • Speech
    Test Scenario Generation for Feature-Based Context-Oriented Software Systems
    Martou, Pierre[UCL] Mens, Kim[UCL] Duhoux, Benoît[UCL] Legay, Axel[UCL] (2023) 27th ACM International Systems and Software Product Line Conference — Tokyo, Japan
    • Speech
    Simulation-Based Iteration of Tree Transducers.
    Abdulla, Parosh Aziz Legay, Axel d'Orso, Julien Rezine, Ahmed (2005) TACAS —
    • Report
    On the Performance of Deep Learning for Side-channel Analysis. IACR Cryptolog
    Legay, Axel[UCL] (2018)
    • Speech
    On the Performance of Convolutional Neural Networks for Side-Channel Analysis
    Legay, Axel[UCL] Picek, Stjepan Samiotis, Ioannis Petros Jaehun, Kim Heuser, Annelie Bhasin, Shivam (2018) Space 2018 — Indian Institute of Technology, Kanpur
    • Speech
    Omega-Regular Model Checking.
    Boigelot, Bernard Legay, Axel Wolper, Pierre (2004) TACAS —
    • Report
    A framework for quantitative modeling and analysis of highly (re)configurable systems
    Legay, Axel[UCL] (2017)
    • Book
    Model Checking Software
    Fabrizio Biondi Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2019)
    • Report
    Sequential Relational Decomposition
    Legay, Axel[UCL] Dror, Fried Ouaknine, Joël Moshe Y. Vardi (2019)
    • Speech
    Iterating Transducers in the Large (Extended Abstract).
    Boigelot, Bernard Legay, Axel Wolper, Pierre (2003) CAV —
    • Book
    Computing Convex Hulls by Automata Iteration
    Cantin, François Legay, Axel Wolper, Pierre (2008)
    • Speech
    Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Uppaal SMC
    Legay, Axel[UCL] Ter Beek, Maurice Ferrari, Alessio Basile, Davide (2019) Formal Methods for Industrially Critical Systems —

Pages