Search results
-
2019
A Decade of Featured Transition Systems
Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P.-Y. & Raskin, J.-F., Oct 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Open AccessFile176 Downloads (Pure) -
2014
An extensible platform for product-line behavioural analysis
Cordy, M., Willemart, M., Dawagne, B., Heymans, P. & Schobbens, P.-Y., 15 Sept 2014, ACM International Conference Proceeding Series: Companion Volume for Workshops, Demonstrations and Tools-Volume 2. ACM Press, Vol. 2. p. 102-109 8 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile202 Downloads (Pure) -
2013
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. 6606593Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File185 Downloads (Pure) -
Model checking adaptive software with featured transition systems
Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P., 1 Jan 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques. Cámara, J., de Lemos, R., Ghezzi , C. & Lopes , A. (eds.). Heidelberg Dordrecht London New York: Springer, Vol. 7740. p. 1-29 29 p. (Lecture Notes in Computer Science).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter
Open AccessFile257 Downloads (Pure) -
ProVeLines: A Product Line of Verifiers for Software Product Lines
Cordy, M., Classen, A., Heymans, P., Schobbens, P.-Y. & Legay, A., Aug 2013, p. 141 - 146. 6 p.Research output: Contribution to conference › Paper › peer-review
-
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 proceeding › Conference contribution
Open AccessFile205 Downloads (Pure)