Seguir
Maxime Cordy
Título
Citado por
Citado por
Año
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
3082012
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
1362012
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
1322013
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
1032013
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
882012
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
862021
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
772019
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
762014
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
742014
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
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
582017
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
582013
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
542020
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
542015
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
462014
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
422012
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
412022
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
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
372022
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
362014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20