Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Axel Legay
conf.researchr.org general profile
* ICSE 2018 * profile
ETAPS 2019 profile
ICST 2023 profile
ICST 2025 profile
ISSTA 2017 profile
ISSTA 2019 profile
POPL 2018 profile
Registered user since Thu 11 Oct 2018
Name:
Axel Legay
Contributions
2025
IWCT
Author of Testing Tool for Combinatorial Transition Testing in Dynamically Adaptive Software Systems within the IWCT 2025-track
2023
CoAST
Author of Beyond Combinatorial Interaction Testing: On the need for transition testing in dynamically adaptive context-aware systems within the CoAST 2023-track
2019
SPIN
Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track
FASE
Author of Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL within the FASE 2019-track
MeTRiD
Committee Member in Program Committee within the MeTRiD-track
SPIoT
Committee Member in Program Committee within the SPIoT-track
Author of ADTLang: A Programming Language Approach to Attack Defense Trees within the SPIoT-track
Committee Member in Organizing Committee within the SPIoT-track
2018
International Conference on Software Engineering for Adaptive and Self-Managing Systems
Author of Trace Checking for Dynamic Software Product Lines within the SEAMS 2018-track
VMCAI
Author of Scalable Approximation of Quantitative Information Flow in Programs within the VMCAI 2018-track
2017
SPIN
Session Chair of Session 6: Runtime Enforcement (part of SPIN Full Paper)
Share
x
Fri 16 May 07:04
