Maxime Cordy

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking

Maxime Cordy, Pierre‐Yves Schobbens, Patrick Heymans et al. · IEEE Transactions on Software Engineering · 2013 · 251 citations

Engineering, Verification, Linear Time Logic +21

Model checking software product lines with SNIP

Maxime Cordy, Patrick Heymans, Axel Legay et al. · International Journal on Software Tools for Technology Transfer · 2012 · 107 citations

Software Maintenance, Engineering, Automated Reasoning +11

Test Selection for Deep Learning Systems

Mike Papadakis, Anestis Tsakmalis, Maxime Cordy et al. · ACM Transactions on Software Engineering and Methodology · 2021 · 97 citations · Full text

Artificial Intelligence, Large Ai Model, Engineering +15

Multi-agent deep reinforcement learning based Predictive Maintenance on parallel machines

Marcelo Luis Ruiz-Rodríguez, Sylvain Kubler, Andrea de Giorgio et al. · Robotics and Computer-Integrated Manufacturing · 2022 · 83 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +22

ProVeLines

Maxime Cordy, Patrick Heymans, Pierre‐Yves Schobbens et al. · 2013 · 69 citations

Software Maintenance, Engineering, Verification +20