Axel Legay

  • 799 Citations
  • 13 h-Index
20082017
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Axel Legay is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 7 Similar Profiles
Model checking Engineering & Materials Science
Explosions Engineering & Materials Science
Testing Engineering & Materials Science
Quality assurance Engineering & Materials Science
Temporal logic Engineering & Materials Science
Adaptive systems Engineering & Materials Science
Specification languages Engineering & Materials Science
Clocks Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2008 2013

Research Output 2010 2017

83 Downloads (Pure)
Open Access
File
Software Product Lines
Prioritization
Testing
Feature Model
Statistical tests

A primer on counterexample guided abstraction refinement of product-line behavioural models

Cordy, M., Dawagne, B., Heymans, P., Legay, A., Leucker, M. & Schobbens, P. Y., 2016, Software Engineering 2016. Gesellschaft fur Informatik (GI), Vol. P252. p. 79-80 2 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Explosions
Model checking
Experiments
34 Downloads (Pure)

Search-based Similarity-driven Behavioural SPL Testing

Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P., 27 Jan 2016, Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Salvador of Bahia, Brazil: ACM Press, p. 89-96 8 p. (VaMoS '16).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
Testing
Evolutionary algorithms
170 Downloads (Pure)

Covering SPL Behaviour with Sampled Configurations: An Initial Assessment

Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P., 2015, Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems. Hildesheim, Germany: ACM Press, Vol. 21-23-January-2015. p. 59:59-59:66 8 p. (VaMoS '15).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
Testing
Momentum

Modeling and Verification for Probabilistic Properties in Software Product Lines

Rodrigues, G. N., Alves, V., Nunes, V., Lanna, A., Cordy, M., Schobbens, P. Y., Sharifloo, A. M. & Legay, A., 29 Jan 2015, Proceedings of IEEE International Symposium on High Assurance Systems Engineering. January ed. IEEE Computer Society Press, Vol. 2015. p. 173-180 8 p. 7027429

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Markov processes
Scalability
Availability
Monitoring
Experiments

Thesis

Behavioural model-based testing of software product lines

Author: Devroey, X., 30 Aug 2017

Supervisor: Schobbens, P. (Supervisor), Heymans, P. (Supervisor), Englebert, V. (President), Baudry, B. (External person) (Jury), Cohen, M. B. (External person) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)

Student thesis: Doc typesDoctor of Sciences

File

Press / Media

14th international conference on runtime verification (RV 2014)

Axel Legay

26/11/13

1 item of media coverage

Press/Media: Expert Comment