Résultat de recherche par an
Résultat de recherche par an
Résultats de recherche
-
2013
A methodology for formal analysis and verification of EAST-ADL models
Kang, E-Y., Enoiu, E. P., Marinescu, R., Seceleanu, C., Schobbens, P. Y. & Pettersson, P., 31 juil. 2013, Dans: Reliability Engineering and System Safety. 120, p. 127-138 12 p.Résultats de recherche: Contribution à un journal/une revue › Article › Revue 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 revue › Article › Revue par des pairs
-
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érence › Chapitre
Accès ouvertFile221 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 › Revue par des pairs