• Sign in
  • Sign up
conf.researchr.org / Axel Legay
  • * ICSE 2018 * profile
  • ETAPS 2019 profile
  • ISSTA 2017 profile
  • ISSTA 2019 profile
  • POPL 2018 profile

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)

Share
xThu 30 Mar 21:59
using conf.researchr.org (v1.60.0)
Support page
Sign Up