Research output per year
Research output per year
Project Details
Description
{description_courte}
| Acronym | Thèse-A-Classen |
|---|---|
| Status | Finished |
| Effective start/end date | 1/10/07 → 1/10/11 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
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 AccessFile83 Downloads (Pure) -
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 Jan 2013, In: IEEE Transactions on Software Engineering. 39, 8, p. 1069-1089 21 p.Research output: Contribution to journal › Article › peer-review