conf.researchr.org / Axel Legay

Not registered as user yet

Name:Axel Legay
Affiliation:Université Catholique de Louvain, Belgium

Contributions

COP 2022 Author of Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study within the COP 2022-track
SESoS 2022 Committee Member in Program Committee within the SESoS 2022-track
SPIN 2021 Author of C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs within the SPIN-track
FormaliSE 2021 Committee Member in Programme Committee within the FormaliSE 2021-track
ICSE 2022 Author of A Scalable t-wise Coverage Estimator within the Technical Track-track
FormaliSE 2020 PC Member in Program Committee within the FormaliSE 2020-track
ESEC/FSE 2020 Author of Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage within the Research Papers-track
FormaliSE 2019 Author of Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata within the FormaliSE 2019-track
SPIN 2019 Committee Member in Organizing Committee within the 26th International SPIN Symposium on Model Checking of Software-track