User menu

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

Search

Displaying 1 - 25 of 370 results.

Pages

    • Journal article
    Handling Liveness Properties in (<i>omega</i>-)Regular Model Checking.
    Bouajjani, Ahmed Legay, Axel Wolper, Pierre (2005) Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings — Vol. 138, no.3, p. 101-115 (2005)
    • Journal article
    OPENPOSLIB: A library to achieve centimetric geo-spatial positioning on a budget
    Metongnon, Lionel[UCL] Strebelle, Sébastien[UCL] Duchêne, Fabien[UCL] Legay, Axel[UCL] Sadre, Ramin[UCL] (2021) IEEE Access — Vol. 9, no.1, p. 151507-151517 (2021)
    • 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
    • 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)
    • 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
    • Journal article
    SoK: Privacy-enhancing Smart Home Hubs
    Zavalyshyn, Igor[UCL] Legay, Axel[UCL] Rath, Annanda Riviere, Etienne[UCL] (2022) Proceedings on Privacy Enhancing Technologies — Vol. 2022, no. 4, p. 24-43 (2022)
    • 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
    • Journal article
    Test scenario generation for feature-based context-oriented software systems
    Martou, Pierre[UCL] Mens, Kim[UCL] Duhoux, Benoît[UCL] Legay, Axel[UCL] (2023) Journal of Systems and Software — Vol. 197, no. 111570, p. 23 (2023)
    • 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)
    • Journal article
    Analysis of Machine Learning Approaches to Packing Detection
    Bertrand Van Ouytsel, Charles-Henry[UCL] Dam, Khanh Huu The[UCL] Legay, Axel[UCL] (2023) Computer & security — Vol. 136, p. 103536 (January 2024)
    • Journal article
    Sensing of COVID-19 spike protein in nasopharyngeal samples using a portable surface plasmon resonance diagnostic system
    Saada, Hiba Pagneux, Quentin Wei, James Live, Ludovic Roussel, Alain Dogliani, Alexis Die Morini, Lycia Engelmann, Ilka Kazali Alidjinou, Enagnon Rolland, Anne Sophie Faure, Emmanuel Poissy, Julien Labreuche, Julien Lee, Gil Li, Peng Curran, Gerard Jawhari, Anass Yunda Sangoluisa, Jhonny Alexander[UCL] Melinte, Sorin[UCL] Legay, Axel[UCL] Gala, Jean-Luc[UCL] Devos, David Boukherroub, Rabah Szunerits, Sabine (2022) Sensors & Diagnostics — Vol. 1, p. 1021-1031 (2022)
    • 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)

Pages