3268 articles – 5421 references  [version française]
.:. Lists > All collaborations with the ENS Cachan > ADAM .:.
6 documents ordered by :
fulltext access 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.
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Grèce (2012) [hal-00726121 - version 1]
Towards 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.
5th International Sympoisum on Leveraging Applications of Formal Methods, Greece (2012) [hal-00718180 - version 1]
Behavioural Modelling and Verification of Real-time Software Product Lines
Cordy M., Heymans P., Schobbens P.-Y., Legay A.
16th Software Product Line Conference, Brazil (2012) [hal-00718157 - version 1]
Simulation-Based Abstractions for Software Product-Line Model Checking
Cordy M., Classen A., Gilles P., Schobbens P.-Y., Heymans P., Legay A.
34th International Conference on Software Engineering, ICSE 2012, Switzerland (2012) [hal-00718047 - version 1]
Managing Evolution in Software Product Lines : A Model-Checking Perspective
Cordy M., Classen A., Heymans P., Schobbens P.-Y., Legay A.
6th International Workshop on Variability Modelling of Software Intensive Systems, Germany (2012) [hal-00718216 - version 1]
Model Checking for Software Product Lines with SNIP
Classen A., Cordy M., Heymans P., Schobbens P.-Y., Legay A.
International Journal on Software Tools for Technology Transfer (STTT) (2012) [hal-00717956 - version 1]