Axel Legay

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 237

Top Venues

CoRR

Int. J. Softw. Tools Technol. Transf.

ISoLA (1)

Sci. Comput. Program.

Publications

Khanh-Huu-The Dam, Gorby Kabasele Ndonda, Axel Legay, Ramin Sadre
Avoiding "Hot Potato" Problems in Internet Service Providers. NOMS (2024)
Daniela Azevedo, Justine Ramelot, Axel Legay, Suzanne Kieffer
With or Without U(sers): A Journey to Integrate UX Activities in Cybersecurity. HCI (45) (2024)
Pierre Martou, Benoît Duhoux, Kim Mens, Axel Legay
Combinatorial Transition Testing in Dynamically Adaptive Systems. VaMoS (2024)
Charles-Henry Bertrand Van Ouytsel, Khanh-Huu-The Dam, Axel Legay
Analysis of machine learning approaches to packing detection. Comput. Secur. 136 (2024)
Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran
A Scalable $t$t-Wise Coverage Estimator: Algorithms and Applications. IEEE Trans. Software Eng. 50 (8) (2024)
Tom Rousseaux, Christophe Crochet, John O. R. Aoga, Axel Legay
Network Simulator-Centric Compositional Testing. FORTE (2024)
Eduard Baranov, Axel Legay, Martin Vivian
Fuzzing an Industrial Proprietary Protocol. FMICS (2024)
Rosana Veroneze, Charles-Henry Bertrand Van Ouytsel, Khanh-Huu-The Dam, Axel Legay
Feature selection for packer classification based on association rule mining. Eng. Appl. Artif. Intell. 137 (2024)
Justine Ramelot, Daniela Azevedo, Axel Legay, Suzanne Kieffer
Toward interdisciplinary practice and increased social ROI: a case study on downstream effects of integrating UX in cyber system design. HICSS (2024)
Suzanne Kieffer, Sebastien Nahon, Damien Renard, Axel Legay
Bridging Disciplinary Boundaries: Integrating XR in Communication Sciences Master's Programs. HCI (41) (2024)
Xavier Lessage, Leandro Collier, Charles-Henry Bertrand Van Ouytsel, Axel Legay, Saïd Mahmoudi, Philippe Massonet
Secure federated learning applied to medical imaging with fully homomorphic encryption. ICAIC (2024)
Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay
Daedalux: An Extensible Platform for Variability-Aware Model Checking. ICSE Companion (2024)
Alexandre D'Hondt, Charles-Henry Bertrand Van Ouytsel, Axel Legay
Extended Abstract: Evading Packing Detection: Breaking Heuristic-Based Static Detectors. DIMVA (2024)
Magali Legast, Axel Legay
Assistance in the management of rule sets for rule-based expert systems (S). SEKE (2023)
Axel Legay
Design, Validate, Implement, and Validate: From Dreaming Approaches to Realities. IT Prof. 25 (5) (2023)
Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens
Towards Strengthening Formal Specifications with Mutation Model Checking. ESEC/SIGSOFT FSE (2023)
Pierre Martou, Benoît Duhoux, Kim Mens, Axel Legay
Beyond Combinatorial Interaction Testing: On the need for transition testing in dynamically adaptive context-aware systems. ICSTW (2023)
Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski
Timed I/O Automata: It is never too late to complete your timed specification theory. CoRR (2023)
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang
Lightweight Verification of Hyperproperties. ATVA (2023)
Maxime Parmentier, Axel Legay, Firmin Chenoy
Optimized Smart Sampling. AISoLA (2023)
Magali Legast, Yasaman Yousefi, Lisa Koutsoviti Koumeri, Axel Legay, Christoph Schommer, Koen Vanhoof
Métriques d'équité en Apprentissage Automatique et droit de l'Union Europénne en matière de non-discrimination. CNIA (2023)
Yasaman Yousefi, Lisa Koutsoviti Koumeri, Magali Legast, Christoph Schommer, Koen Vanhoof, Axel Legay
Compatibility of Fairness Metrics With EU Non-Discrimination Law: A Legal and Technical Case Study. EWAF (2023)
Lisa Koutsoviti Koumeri, Magali Legast, Yasaman Yousefi, Koen Vanhoof, Axel Legay, Christoph Schommer
Compatibility of Fairness Metrics with EU Non-Discrimination Laws: Demographic Parity & Conditional Demographic Disparity. CoRR (2023)
Aleksandar S. Dimovski, Sami Lazreg, Maxime Cordy, Axel Legay
Family-based model checking of fMultiLTL properties. SPLC (A) (2023)
Serena Lucca, Christophe Crochet, Charles-Henry Bertrand Van Ouytsel, Axel Legay
On Exploiting Symbolic Execution to Improve the Analysis of RAT Samples with angr. FPS (1) (2023)
Alexandre D'Hondt, Charles-Henry Bertrand Van Ouytsel, Axel Legay
Experimental Toolkit for Manipulating Executable Packing. CoRR (2023)
Thomas Wirtgen, Tom Rousseaux, Quentin De Coninck, Nicolas Rybowski, Randy Bush, Laurent Vanbever, Axel Legay, Olivier Bonaventure
xBGP: Faster Innovation in Routing Protocols. NSDI (2023)
Khanh-Huu-The Dam, Axel Legay
Mitigate Data Poisoning Attack by Partially Federated Learning. ARES (2023)
Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay
Test scenario generation for feature-based context-oriented software systems. J. Syst. Softw. 197 (2023)
Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
Refinement of Systems with an Attacker Focus. FMICS (2023)
Alexandre D'Hondt, Charles-Henry Bertrand Van Ouytsel, Axel Legay
Experimental Toolkit for Manipulating Executable Packing. CRiSIS (2023)
Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay
Test Scenario Generation for Feature-Based Context-Oriented Software Systems. SPLC (A) (2023)
Sami Lazreg, Maxime Cordy, Axel Legay
Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. ISoLA (3) (2022)
Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran
A Scalable t-wise Coverage Estimator. ICSE (2022)
Axel Legay, Tiziana Margaria
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017. Int. J. Softw. Tools Technol. Transf. 24 (4) (2022)
Khanh-Huu-The Dam, Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay
Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept. ISoLA (1) (2022)
Igor Zavalyshyn, Axel Legay, Annanda Rath, Etienne Rivière
SoK: Privacy-enhancing Smart Home Hubs. Proc. Priv. Enhancing Technol. 2022 (4) (2022)
Uli Fahrenberg, Axel Legay
Featured games. Sci. Comput. Program. 223 (2022)
Charles-Henry Bertrand Van Ouytsel, Khanh-Huu-The Dam, Axel Legay
Symbolic analysis meets federated learning to enhance malware identifier. ARES (2022)
Khanh-Huu-The Dam, Charles-Henry Bertrand Van Ouytsel, Axel Legay
Symbolic analysis meets federated learning to enhance malware identifier. CoRR (2022)
Charles-Henry Bertrand Van Ouytsel, Axel Legay
Malware Analysis with Symbolic Execution and Graph Kernel. NordSec (2022)
Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
Sequential Relational Decomposition. Log. Methods Comput. Sci. 18 (1) (2022)
Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
Importance Splitting in Uppaal. ISoLA (3) (2022)
Charles-Henry Bertrand Van Ouytsel, Christophe Crochet, Khanh-Huu-The Dam, Axel Legay
Tool Paper - SEMA: Symbolic Execution Toolchain for Malware Analysis. CRiSIS (2022)
Shiraj Arora, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals. SPIN (2022)
Daniela Azevedo, Axel Legay, Suzanne Kieffer
User Reception of Babylon Health's Chatbot. VISIGRAPP (2: HUCAPP) (2022)
Sébastien Dupont, Artsiom Yautsiukhin, Guillaume Ginis, Giacomo Iadarola, Stefano Fagnano, Fabio Martinelli, Christophe Ponsard, Axel Legay, Philippe Massonet
Product Incremental Security Risk Assessment Using DevSecOps Practices. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS (2022)
Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Khanh-Huu-The Dam, Thomas Given-Wilson, Axel Legay, Rosana Veroneze
Packer classification based on association rule mining. Appl. Soft Comput. 127 (2022)
Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay
Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study. COP@ECOOP (2022)
Eduard Baranov, Axel Legay
Baital: an adaptive weighted sampling platform for configurable systems. SPLC (B) (2022)
Davide Basile, Maurice H. ter Beek, Sami Lazreg, Maxime Cordy, Axel Legay
Static detection of equivalent mutants in real-time model-based mutation testing. Empir. Softw. Eng. 27 (7) (2022)
Aleksandar S. Dimovski, Sven Apel, Axel Legay
Several lifted abstract domains for static analysis of numerical program families. Sci. Comput. Program. 213 (2022)
Valeria Trombetta, Maxime Cordy, Enrico Tronci, Axel Legay
CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems. CPS Summer School, PhD Workshop (2022)
Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen
Formal Methods Meet Machine Learning (F3ML). ISoLA (3) (2022)
Charles-Henry Bertrand Van Ouytsel, Axel Legay
Malware Analysis with Symbolic Execution and Graph Kernel. CoRR (2022)
Aleksandar S. Dimovski, Sven Apel, Axel Legay
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features. FASE (2021)
Pierre Martou, Kim Mens, Benoît Duhoux, Axel Legay
Test Scenario Generation for Context-Oriented Programs. CoRR (2021)
Maxime Cordy, Sami Lazreg, Mike Papadakis, Axel Legay
Statistical model checking for variability-intensive systems: applications to bug detection and minimization. Formal Aspects Comput. 33 (6) (2021)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Quantitative Security Risk Modeling and Analysis with RisQFLan. CoRR (2021)
Charles-Henry Bertrand Van Ouytsel, Thomas Given-Wilson, Jeremy Minet, Julian Roussieau, Axel Legay
Analysis of Machine Learning Approaches to Packing Detection. CoRR (2021)
Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre, Etienne Rivière
Chaos Duck: A Tool for Automatic IoT Software Fault-Tolerance Analysis. SRDS (2021)
Christophe Crochet, Tom Rousseaux, Maxime Piraux, Jean-François Sambon, Axel Legay
Verifying QUIC implementations using Ivy. EPIQ@CoNEXT (2021)
René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Peter Gjøl Jensen, Danny Bøgsted Poulsen
ADTLang: a programming language approach to attack defense trees. Int. J. Softw. Tools Technol. Transf. 23 (1) (2021)
Stanley Goffinet, Donatien Schmitz, Igor Zavalyshyn, Axel Legay, Etienne Riviere
Controlling Security Rules Using Natural Dialogue: an Application to Smart Home Care. UbiComp/ISWC Adjunct (2021)
Antoine Chenoy, Fabien Duchene, Thomas Given-Wilson, Axel Legay
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs. SPIN (2021)
Lionel Metongnon, Sébastien Strebelle, Fabien Duchene, Axel Legay, Ramin Sadre
OpenPosLib: A Library to Achieve Centimetric Geo-Spatial Positioning on a Budget. IEEE Access 9 (2021)
Aleksandar S. Dimovski, Sven Apel, Axel Legay
Program Sketching Using Lifted Analysis for Numerical Program Families. NFM (2021)
Uli Fahrenberg, Axel Legay
Featured Games. TASE (2021)
Antoine Aspeel, Axel Legay, Raphaël M. Jungers, Benoît Macq
Optimal measurement budget allocation for Kalman prediction over a finite time horizon by genetic algorithms. EURASIP J. Adv. Signal Process. 2021 (1) (2021)
Nicolas Rybowski, Quentin De Coninck, Tom Rousseaux, Axel Legay, Olivier Bonaventure
Implementing the plugin distribution system. SIGCOMM Posters and Demos (2021)
Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber
A Secure User-Centred Healthcare System: Design and Verification. DataMod (2021)
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE (2021)
Florian Kammüller, Axel Legay, Stefano Schivo
Masterminding change by combining secure system design with security risk assessment. Int. J. Softw. Tools Technol. Transf. 23 (1) (2021)
Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
Analysis of Source Code Using UPPAAL. F-IDE@NFM (2021)
Khanh-Huu-The Dam, Thomas Given-Wilson, Axel Legay
Unsupervised behavioural mining and clustering for malware family identification. SAC (2021)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Quantitative Security Risk Modeling and Analysis with RisQFLan. Comput. Secur. 109 (2021)
Igor Zavalyshyn, Axel Legay, Annanda Rath, Etienne Rivière
Smart Home Care: Towards Supporting Elderlies in the Comfort and Safety of their (Smart) Homes. LADC (2021)
Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
Logical vs. behavioural specifications. Inf. Comput. 271 (2020)
Uli Fahrenberg, Axel Legay
Behavioral Specification Theories: an Algebraic Taxonomy. CoRR (2020)
Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre
Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software. SSS (2020)
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
Introduction to the special issue for SPIN 2019. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Thomas Given-Wilson, Axel Legay
Formalising fault injection and countermeasures. ARES (2020)
Davide Basile, Maurice H. ter Beek, Axel Legay
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. FORTE (2020)
Eduard Baranov, Axel Legay, Kuldeep S. Meel
Baital: an adaptive weighted sampling approach for improved t-wise coverage. ESEC/SIGSOFT FSE (2020)
Uli Fahrenberg, Axel Legay
A linear-time-branching-time spectrum for behavioral specification theories. J. Log. Algebraic Methods Program. 110 (2020)
Thomas Given-Wilson, Nisrine Jafri, Axel Legay
Combined software and hardware fault injection vulnerability detection. Innov. Syst. Softw. Eng. 16 (2) (2020)
Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen
Automatic Verification of LLVM Code. CoRR (2020)
Anshul Paigwar, Eduard Baranov, Alessandro Renzaglia, Christian Laugier, Axel Legay
Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking. IV (2020)
Uli Fahrenberg, Axel Legay
Behavioral Specification Theories: An Algebraic Taxonomy. ISoLA (1) (2020)
Stefano Sebastio, Eduard Baranov, Fabrizio Biondi, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf
Optimizing symbolic execution for malware behavior classification. Comput. Secur. 93 (2020)
Eduardo Gomes, Igor Zavalyshyn, Nuno Santos, João Silva, Axel Legay
Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications. TrustCom (2020)
Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin
Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios. VaMoS (2020)
Kim G. Larsen, Axel Legay
30 Years of Statistical Model Checking. ISoLA (1) (2020)
Ioana Cristescu, Thomas Given-Wilson, Axel Legay
Expressiveness of concurrent intensionality. Theor. Comput. Sci. 837 (2020)
Aleksandar S. Dimovski, Sven Apel, Axel Legay
A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version). CoRR (2020)
Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay
Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. SPLC (A) (2020)
Uli Fahrenberg, Axel Legay
Featured Games. CoRR (2020)
Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
Generalized abstraction-refinement for game-based CTL lifted model checking. Theor. Comput. Sci. 837 (2020)
Aleksandar S. Dimovski, Axel Legay
Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. FASE (2020)

Axel Legay.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Axel Legay