Axel Legay

Axel Legay

Université Catholique de Louvain - Louvain-la-Neuve / Belgium
Others
AD Scientific Index ID: 1409275
Catholic University of Louvain
person_outline Axel Legay's MOST POPULAR ARTICLES
1-) Statistical model checking: An overviewA Legay, B Delahaye, S BensalemRuntime Verification, 122-135, 20105462010
2-) Uppaal SMC tutorialA David, KG Larsen, A Legay, M Mikučionis, DB PoulsenInternational journal on software tools for technology transfer 17 (4), 397-415, 20154972015
3-) Model Checking Lots of SystemsA Classen, P Heymans, PY Schobbens, A Legay, JF RaskinICSE’10, 2009417*2009
4-) Symbolic model checking of software product linesA Classen, P Heymans, PY Schobbens, A LegayProceeding of the 33rd international conference on Software engineering, 321-330, 2011371*2011
5-) A bayesian approach to model checking biological systemsS Jha, E Clarke, C Langmead, A Legay, A Platzer, P ZulianiComputational Methods in Systems Biology, 218-234, 20093152009