Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Axel Legay
conf.researchr.org general profile
ECOOP 2022 profile
ECOOP and ISSTA 2021 profile
ESEC/FSE 2020 profile
ESEC/FSE 2022 profile
ESEC/FSE 2023 profile
ICSE 2019 profile
ICSE 2020 profile
ICSE 2021 profile
ICSE 2022 profile
ISSTA 2019 profile
Not registered as user yet
Name:
Axel Legay
Affiliation:
Université Catholique de Louvain, Belgium
Contributions
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
Share
x
Sun 1 Oct 00:47