| 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 | 314 | 2012 |
| 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 | 138 | 2012 |
| 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 | 133 | 2013 |
| 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 | 104 | 2013 |
| 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 | 99 | 2021 |
| 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 | 88 | 2012 |
| 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 | 85 | 2019 |
| 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 | 79 | 2014 |
| 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 | 74 | 2014 |
| 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 | 68 | 2012 |
| 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 | 62 | 2013 |
| 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 | 59 | 2020 |
| 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 | 58 | 2017 |
| Multi-agent deep reinforcement learning based Predictive Maintenance on parallel machines MLR Rodríguez, S Kubler, A de Giorgio, M Cordy, J Robert, Y Le Traon Robotics and Computer-Integrated Manufacturing 78, 102406, 2022 | 56 | 2022 |
| 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 | 56 | 2015 |
| 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 | 46 | 2014 |
| Managing evolution in software product lines: A model-checking perspective M Cordy, A Classen, PY Schobbens, P Heymans, A Legay Proceedings of the 6th International Workshop on Variability Modeling of …, 2012 | 42 | 2012 |
| An empirical study on data distribution-aware test selection for deep learning enhancement Q Hu, Y Guo, M Cordy, X Xie, L Ma, M Papadakis, Y Le Traon ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-30, 2022 | 40 | 2022 |
| 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 | 40 | 2013 |
| A replication study on the usability of code vocabulary in predicting flaky tests G Haben, S Habchi, M Papadakis, M Cordy, Y Le Traon 2021 IEEE/ACM 18th International Conference on Mining Software Repositories …, 2021 | 38 | 2021 |
Mike PapadakisAssociate professor, University of LuxembourgVerified email at uni.lu
