Modélisation et vérification de lignes de produits logiciel

Projet: Projet de thèse

Détails du projet

Description

{description_courte}
AcronymeThèse-A-Classen
statutFini
Les dates de début/date réelle1/10/071/10/11

Résultat de recherche

  • 1 Chapitre (revu par des pairs)
  • 1 Article

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).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

  • Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking

    Classen, A., Cordy, M., Schobbens, P-Y., Heymans, P., Legay, A. & Raskin, J-F., 1 janv. 2013, Dans : IEEE Transactions on Software Engineering. 39, 8, p. 1069-1089 21 p.

    Résultats de recherche: Contribution à un journal/une revueArticle