Axel Legay -

Not registered as user yet

Name:Axel Legay

Affiliation:Université Catholique de Louvain, Belgium

Contributions

2024

NEXTA

Author of Improving security analysis rule set by relationship identification within the NEXTA 2024-track

ASE

Author of A vision on a methodology for the application of an Intrusion Detection System for satellites within the NIER Track-track

ICSE

Author of Daedalux: An Extensible Platform for Variability-Aware Model Checking within the Demonstrations-track

2023

ESEC/FSE

Author of Towards Strengthening Formal Specifications with Mutation Model Checking within the Ideas, Visions and Reflections-track

2022

ESEC/FSE

Author of Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage within the ESEC/FSE 2020-track

COP

Author of Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study within the COP 2022-track

SESoS/WDES

Committee Member in Program Committee within the SESoS 2022-track

ICSE

Author of A Scalable t-wise Coverage Estimator within the Technical Track-track

2021

SPIN

Author of C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs within the SPIN-track

FormaliSE

Committee Member in Programme Committee within the FormaliSE 2021-track

2020

ESEC/FSE

Author of Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage within the Research Papers-track

FormaliSE

PC Member in Program Committee within the FormaliSE 2020-track

2019

SPIN

Committee Member in Organizing Committee within the 26th International SPIN Symposium on Model Checking of Software-track

FormaliSE

Author of Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata within the FormaliSE 2019-track