Concepedia

Axel Legay

AL

23

Publications

1.5K

Citations

18

H-Index

2009

Active since

Affiliations

University of Namur(Current)

Institut national de recherche en sciences et technologies du numérique

Centre Inria de l'Université de Rennes

Institut de Recherche en Informatique et Systèmes Aléatoires

University of Liège

Axel Legay is an author at University of Namur specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceSoftware AnalysisSoftware DesignProgram AnalysisFormal VerificationSoftware EngineeringSoftware TestingSystems EngineeringSoftware Maintenance

Publications per year

2009–2018

23

Publications

23

Model checking <u>lots</u> of systems

Patrick Heymans, Pierre‐Yves Schobbens, Axel Legay et al. · 2010 · 329 citations

Engineering, Family Members, Verification +19

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking

Maxime Cordy, Pierre‐Yves Schobbens, Patrick Heymans et al. · IEEE Transactions on Software Engineering · 2013 · 251 citations

Engineering, Verification, Linear Time Logic +21

Symbolic model checking of software product lines

Patrick Heymans, Pierre‐Yves Schobbens, Axel Legay · 2011 · 208 citations · Full text

Software Maintenance, Engineering, Verification +22

Model checking software product lines with SNIP

Maxime Cordy, Patrick Heymans, Axel Legay et al. · International Journal on Software Tools for Technology Transfer · 2012 · 107 citations

Software Maintenance, Engineering, Automated Reasoning +11

Maxime Cordy, Patrick Heymans, Pierre‐Yves Schobbens et al. · 2013 · 69 citations

Software Maintenance, Engineering, Verification +20

Rows per page

1–5 of 23