Axel Legay -

Registered user since Thu 11 Oct 2018

Name:Axel Legay

Contributions

SPIN 2019	Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track
FASE 2019	Author of Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL within the FASE 2019-track
MeTRiD 2019	Committee Member in Program Committee within the MeTRiD-track
SPIoT 2019	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
SEAMS 2018	Author of Trace Checking for Dynamic Software Product Lines within the SEAMS 2018-track
VMCAI 2018	Author of Scalable Approximation of Quantitative Information Flow in Programs within the VMCAI 2018-track
SPIN 2017	Session Chair of Session 6: Runtime Enforcement (part of SPIN Full Paper)