Axel Legay

  • 932 Citations
  • 14 h-Index
20082019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution
2016

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

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
38 Downloads (Pure)
2015

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
175 Downloads (Pure)

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

SPLat 2015 Second international workshop on software product line analysis tools

Perrouin, G. & Legay, A., 20 Jul 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. ACM Press, Vol. 20-24-July-2015. p. 395-395 1 p.

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

State machine flattening, a mapping study and tools assessment

Devroey, X., Cordy, M., Schobbens, P. Y., Legay, A. & Heymans, P., 13 May 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings: A-MOST '15. IEEE, p. 1-8 8 p. 7107408

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

2014

Counterexample Guided Abstraction Refinement of product-line behavioural models

Cordy, M., Heymans, P., Legay, A., Schobbens, P. Y., Dawagne, B. & Leucker, M., 16 Nov 2014, 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings. ACM Press, Vol. 16-21-November-2014. p. 190-201 12 p.

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

Towards Statistical Prioritization for Software Product Lines Testing

Devroey, X., Cordy, M., Perrouin, G., Schobbens, P-Y., Legay, A. & Heymans, P., 22 Jan 2014, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems: VaMoS '14 . Wasowski, A. & Weyer, T. (eds.). Sophia Antipolis, France: ACM Press, Vol. VaMoS '14. p. 10:1-10:7 8 p. 10

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

Open Access
File
205 Downloads (Pure)
2013

A framework for the rigorous design of highly adaptive timed systems

Cordy, M., Legay, A., Schobbens, P. Y. & Traonouez, L. M., 28 Oct 2013, 2013 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013 - Proceedings. p. 64-70 7 p. 6612279

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

Open Access
File
11 Downloads (Pure)

Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features

Cordy, M., Schobbens, P. Y., Heymans, P. & Legay, A., 30 Oct 2013, Proceedings - International Conference on Software Engineering. p. 472-481 10 p. 6606593

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

File
80 Downloads (Pure)

Efficient quality assurance of variability-intensive systems

Heymans, P., Legay, A. & Cordy, M., 30 Oct 2013, Proceedings - International Conference on Software Engineering. p. 1496-1498 3 p. 6606757

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

2012

A vision for behavioural model-driven validation of software product lines

Devroey, X., Cordy, M., Perrouin, G., Kang, E-Y., Schobbens, P-Y., Heymans, P., Legay, A. & Baudry, B., 15 Oct 2012, Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Vol. 7609 LNCS. p. 208-222 15 p.

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

Open Access
File
111 Downloads (Pure)

Simulation-Based Abstractions for Software Product-Line Model Checking

Cordy, M., Classen, A., Perrouin, G., Heymans, P., Schobbens, P-Y. & Legay, A., 2012, Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9. IEEE, Vol. 672-682.

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

File
29 Downloads (Pure)

Verification of Component-based Architectural Models on an Autonomous Truck System

Kang, E-Y., Schobbens, P-Y. & Legay, A., 2012, 9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems.

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

2011

Distributed Event Clock Automata: Extended abstract

Ortiz Vega, J., Legay, A. & Schobbens, P-Y., 2011, CIAA 2011: 16th International Conference on Implementation and Application of Automata . Bouchou-Markhoff, B. (ed.). Heidelberg: Springer, Vol. 6807. p. 250-263 14 p.

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

File
229 Downloads (Pure)

Symbolic Model Checking of Software Product Lines

Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., 2011, 33rd International Conference on Software Engineering, ICSE 2011, May 21-28, 2011, Waikiki, Honolulu, Hawaii, Proceedings. ACM Press, p. 321-330 10 p.

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

File
165 Downloads (Pure)
2010

Memory Event Clocks

Ortiz, J., Legay, A. & Schobbens, P-Y., 2010, Formal Modeling and Analysis of Timed Systems. Springer, Vol. 6246. p. 198 (Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science).

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

File
2 Downloads (Pure)

Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines

Classen, A., Heymans, P., Schobbens, P-Y., Legay, A. & Raskin, J-F., 2010, 32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, Proceedings. ACM Press, p. 335-344 10 p.

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

File
52 Downloads (Pure)