Modélisation et vérification modulaires de lignes de produits logiciels temps réel.

Projet: Projet de thèse

Résultat de recherche

  • 3 Article dans les actes d'une conférence/un colloque
  • 1 Chapitre
  • 1 Chapitre (revu par des pairs)
  • 1 Article
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).

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

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.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
99 Téléchargements (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. 6606593

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

File
80 Téléchargements (Pure)

Model checking adaptive software with featured transition systems

Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P., 1 janv. 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).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Accès ouvert
File
189 Téléchargements (Pure)

ProVeLines: A Product Line of Verifiers for Software Product Lines

Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., août 2013, p. 141 - 146. 6 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

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.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
116 Téléchargements (Pure)