User menu

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

Search

Displaying 1 - 25 of 360 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)
    • Speech
    Extended abstract - Detection and classification of malware based on symbolic execution and machine learning methods
    Bertrand Van Ouytsel, Charles-Henry[UCL] Legay, Axel[UCL] (2021) Cybersec&AI — Online
    • Speech
    A Scalable t-wise Coverage Estimator
    Baranov, Eduard[UCL] Chakraborty, Sourav Legay, Axel[UCL] Meel, Kuldeep S. Variyam, Vinodchandran N. (2022) 44th International Conference on Software Engineering — Pittsburgh USA / Virtual
    • 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
    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
    User Reception of Babylon Health's Chatbot
    Magalhaes Azevedo, Daniela[UCL] Legay, Axel[UCL] Kieffer, Suzanne[UCL] (2022) HUCAPP 2022, 6th International Conference on Human Computer Interaction Theory and Applications — Vienna, Austria
    • Speech
    Verifying QUIC implementations using Ivy
    Crochet, Christophe[UCL] Rousseaux, Tom[UCL] Piraux, Maxime[UCL] Sambon, Jean-François[UCL] Legay, Axel[UCL] (2021) ACM CoNEXT 2021 Workshop on the Evolution, Performance, and Interoperability of QUIC — Germany
    • 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]
    • 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
    Smart Home Care: Towards Supporting Elderlies in the Comfort and Safety of their (Smart) Homes
    Zavalyshyn, Igor[UCL] Legay, Axel[UCL] Rath, Annanda Riviere, Etienne[UCL] (2021) Safety, Security, and Privacy in Complex Artificial Intelligence based Systems (SAFELIFE 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
    Test Scenario Generation for Context-Oriented Programs
    Martou, Pierre[UCL] Mens, Kim[UCL] Duhoux, Benoît[UCL] Legay, Axel[UCL] (2021) VALID 2021, The Thirteenth International Conference on Advances in System Testing and Validation Lifecycle — Barcelona, Spain
    • Speech
    Implementing the plugin distribution system
    Rybowski, Nicolas[UCL] De Coninck, Quentin[UCL] Rousseaux, Tom[UCL] Legay, Axel[UCL] Bonaventure, Olivier[UCL] (2021) SIGCOMM '21: ACM SIGCOMM 2021 Conference — Virtual Event
    • Speech
    xBGP: Faster Innovation in Routing Protocols
    Wirtgen, Thomas[UCL] Rousseaux, Tom[UCL] De Coninck, Quentin[UCL] Rybowski, Nicolas[UCL] Bush, Randy Vanbever, Laurent Legay, Axel[UCL] Bonaventure, Olivier[UCL] (2023) 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23) — Boston, MA, USA
    • 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]
    • 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
    • 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)
    • Speech
    Beyond Combinatorial Interaction Testing: On the need for transition testing in dynamically adaptive context-aware systems
    Martou, Pierre[UCL] Duhoux, Benoît[UCL] Mens, Kim[UCL] Legay, Axel[UCL] (2023) International Conference on Software Testing, Verification and Validation Workshops (ICSTW) — Dublin, Ireland
    • 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)

Pages