Project Details

Description

{description_courte}
AcronymThesis-M-Cordy
StatusFinished
Effective start/end date1/10/1130/09/15

Research Output

  • 3 Conference contribution
  • 1 Chapter
  • 1 Chapter (peer-reviewed)
  • 1 Paper

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 proceedingChapter (peer-reviewed)

  • An extensible platform for product-line behavioural analysis

    Cordy, M., Willemart, M., Dawagne, B., Heymans, P. & Schobbens, P-Y., 15 Sep 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 proceedingConference contribution

    Open Access
    File
  • 99 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)