Follow
Maxime Cordy
Title
Cited by
Cited by
Year
Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking
A Classen, M Cordy, PY Schobbens, P Heymans, A Legay, JF Raskin
IEEE Transactions on Software Engineering 39 (8), 1069-1089, 2012
2842012
Beyond boolean product-line model checking: dealing with feature attributes and multi-features
M Cordy, PY Schobbens, P Heymans, A Legay
2013 35th International Conference on Software Engineering (ICSE), 472-481, 2013
1292013
Model checking software product lines with SNIP
A Classen, M Cordy, P Heymans, A Legay, PY Schobbens
International Journal on Software Tools for Technology Transfer 14, 589-612, 2012
1282012
ProVeLines: a product line of verifiers for software product lines
M Cordy, A Classen, P Heymans, PY Schobbens, A Legay
Proceedings of the 17th International Software Product Line Conference co …, 2013
972013
Simulation-based abstractions for software product-line model checking
M Cordy, A Classen, G Perrouin, PY Schobbens, P Heymans, A Legay
Proceedings of the 2012 International Conference on Software Engineering …, 2012
912012
Formal semantics, modular specification, and symbolic verification of product-line behaviour
A Classen, M Cordy, P Heymans, A Legay, PY Schobbens
Science of Computer Programming 80, 416-439, 2014
702014
Towards statistical prioritization for software product lines testing
X Devroey, G Perrouin, M Cordy, PY Schobbens, A Legay, P Heymans
Proceedings of the Eighth International Workshop on Variability Modelling of …, 2014
702014
Behavioural modelling and verification of real-time software product lines
M Cordy, PY Schobbens, P Heymans, A Legay
Proceedings of the 16th International Software Product Line Conference …, 2012
682012
Uniform sampling of sat solutions for configurable systems: Are we there yet?
Q Plazar, M Acher, G Perrouin, X Devroey, M Cordy
2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019
652019
Model checking adaptive software with featured transition systems
M Cordy, A Classen, P Heymans, A Legay, PY Schobbens
Assurances for Self-Adaptive Systems: Principles, Models, and Techniques, 1-29, 2013
562013
Test selection for deep learning systems
W Ma, M Papadakis, A Tsakmalis, M Cordy, YL Traon
ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (2), 1-22, 2021
532021
Modeling and verification for probabilistic properties in software product lines
GN Rodrigues, V Alves, V Nunes, A Lanna, M Cordy, PY Schobbens, ...
2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015
522015
Statistical prioritization for software product line testing: an experience report
X Devroey, G Perrouin, M Cordy, H Samih, A Legay, PY Schobbens, ...
Software & Systems Modeling 16, 153-171, 2017
472017
Data-driven simulation and optimization for Covid-19 exit strategies
S Ghamizi, R Rwemalika, M Cordy, L Veiber, TF Bissyandé, M Papadakis, ...
Proceedings of the 26th ACM SIGKDD international conference on knowledge …, 2020
432020
Coverage criteria for behavioural testing of software product lines
X Devroey, G Perrouin, A Legay, M Cordy, PY Schobbens, P Heymans
Leveraging Applications of Formal Methods, Verification and Validation …, 2014
432014
Managing evolution in software product lines: A model-checking perspective
M Cordy, A Classen, PY Schobbens, P Heymans, A Legay
Proceedings of the Sixth International Workshop on Variability Modeling of …, 2012
432012
Incrementally synthesizing controllers from scenario-based product line specifications
J Greenyer, C Brenner, M Cordy, P Heymans, E Gressi
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
402013
Counterexample guided abstraction refinement of product-line behavioural models
M Cordy, P Heymans, A Legay, PY Schobbens, B Dawagne, M Leucker
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
352014
Towards an incremental automata-based approach for software product-line model checking
M Cordy, PY Schobbens, P Heymans, A Legay
Proceedings of the 16th International Software Product Line Conference …, 2012
282012
A vision for behavioural model-driven validation of software product lines
X Devroey, M Cordy, G Perrouin, EY Kang, PY Schobbens, P Heymans, ...
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
282012
The system can't perform the operation now. Try again later.
Articles 1–20