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

Maxime Cordy, Pierre‐Yves Schobbens, Patrick Heymans, +2

IEEE Transactions on Software Engineering

EngineeringVerificationLinear Time LogicComputer-aided VerificationSoftware Engineering +19

Model checking software product lines with SNIP

Maxime Cordy, Patrick Heymans, Axel Legay, +1

International Journal on Software Tools for Technology Transfer

Software MaintenanceEngineeringAutomated ReasoningSoftware TestingVerification +9

Test Selection for Deep Learning Systems

Mike Papadakis, Anestis Tsakmalis, Maxime Cordy, +1

ACM Transactions on Software Engineering and Methodology

Artificial IntelligenceLarge Ai ModelEngineeringMachine LearningData Science +13

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

Marcelo Luis Ruiz-Rodríguez, Sylvain Kubler, Andrea de Giorgio, +3

Robotics and Computer-Integrated Manufacturing

Artificial IntelligenceEngineeringMachine LearningEducationAutonomous Agent System +20

ProVeLines

Maxime Cordy, Patrick Heymans, Pierre‐Yves Schobbens, +1

Software MaintenanceEngineeringVerificationComputer-aided VerificationSoftware Engineering +18

Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

Quentin Plazar, Mathieu Acher, Gilles Perrouin, +2

Mathematical ProgrammingSoftware MaintenanceNear-uniform GenerationConfigurable SystemsEngineering +30

Formal semantics, modular specification, and symbolic verification of product-line behaviour

Maxime Cordy, Patrick Heymans, Axel Legay, +1

Science of Computer Programming

Behavioural modelling and verification of real-time software product lines

Maxime Cordy, Pierre‐Yves Schobbens, Patrick Heymans, +1

Software MaintenanceEngineeringVerificationSoftware EngineeringModel Checking +21

Modeling and Verification for Probabilistic Properties in Software Product Lines

Genaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, +5

Software MaintenanceEngineeringVerificationSoftware EngineeringSoftware Analysis +27

Statistical prioritization for software product line testing: an experience report

Xavier Devroey, Gilles Perrouin, Maxime Cordy, +4

Software & Systems Modeling

Software MaintenanceQuantitative ManagementEngineeringProgram AnalysisSoftware Testing +12