Axel Legay

UCLouvain — Belgium

Computer Science · Physical Sciences

19h-index1.7kcitations45works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Advanced Software Engineering Methodologies(34), Model-Driven Software Engineering Techniques(16), Formal Methods in Verification(13), Service-Oriented Architecture and Web Services(12), Software Testing and Debugging Techniques(10)

Publications45 total

A Decade of Featured Transition Systems
Lecture notes in computer science·2019· 16 citedOpen Access
Trace checking for dynamic software product lines
2018· 10 citedOpen Access
Survey on cryptanalysis of code-based cryptography: From theoretical to physical attacks
2018· 21 cited
Model-based mutant equivalence detection using automata language equivalence and simulations
Journal of Systems and Software·2018· 13 citedOpen Access
On the Performance of Deep Learning for Side-channel Analysis. IACR Cryptolog
DIAL (Catholic University of Leuven)·2018Open Access
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation
2017· 6 citedOpen Access
On quantitative requirements for product lines
2017· 7 cited
On Featured Transition Systems
HAL (Le Centre pour la Communication Scientifique Directe)·2017Open Access
HyLeak: Hybrid Analysis Tool for Information Leakage
Lecture notes in computer science·2017· 9 cited
Long-term average cost in featured transition systems
2016· 14 citedOpen Access
A complexity tale
2016· 6 cited
Featured model types
2016· 14 citedOpen Access
Featured model-based mutation analysis
2016· 60 citedOpen Access
Long-Term Average Cost in Featured Transition Systems
arXiv (Cornell University)·2016· 2 citedOpen Access
Search-based Similarity-driven Behavioural SPL Testing
2016· 39 citedOpen Access
Counterexample guided abstraction refinement of product-line behavioural models.
2016
Merging Features in Featured Transition Systems
2015· 5 citedOpen Access
Statistical prioritization for software product line testing: an experience report
Software & Systems Modeling·2015· 40 citedOpen Access
SPLat 2015
2015
Covering SPL Behaviour with Sampled Configurations
2015· 18 citedOpen Access
page 1 of 3Next →

Frequent Co-authors

Pierre‐Yves Schobbens(30), Patrick Heymans(24), Maxime Cordy(22), Gilles Perrouin(17), Xavier Devroey(13), Andreas Claßen(11), Uli Fahrenberg(5), Joanne M. Atlee(5), Mike Papadakis(4), Patrick Heymans(3), Mathieu Acher(3), Rafael Olaechea(3), Jean-François Raskin(2), Amir Molzam Sharifloo(2), Bruno Dawagne(2), Martin Leucker(2), Eun-Young Kang(2), Benoît Baudry(2), Sandy Beidu(2), Jean-Baptiste Raclet(1)