Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

24 Results
authFullName_s : Maxime Cordy

Verifying Software Product Lines with ProVeLines

Maxime Cordy , Marco Willemart , Andreas Classen , Patrick Heymans , Pierre-Yves Schobbens et al.
6ème Journée Lignes de Produits, Nov 2013, Paris, France. pp.ATV-1
Conference papers hal-00931670v1

Managing Evolution in Software Product Lines : A Model-Checking Perspective

Maxime Cordy , Andreas Classen , Patrick Heymans , Pierre-Yves Schobbens , Axel Legay et al.
6th International Workshop on Variability Modelling of Software Intensive Systems, Jan 2012, Leipzig, Saxe, Germany. pp.183-191
Conference papers hal-00718216v1
Image document

Using fuzzy modeling for consistent definitions of product qualities in requirements

Jean-Marc Davril , Maxime Cordy , Patrick Heymans , Mathieu Acher
Artificial Intelligence for Requirements Engineering (AIRE), 2015 IEEE Second International Workshop on, Aug 2015, Otawa Canada. ⟨10.1109/AIRE.2015.7337624⟩
Conference papers hal-01243006v1
Image document

Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models

Maxime Cordy , Patrick Heymans , Axel Legay , Pierre-Yves Schobbens , Bruno Dawagne et al.
FSE 2014 : International Symposium on Foundations of Software Engineering, Nov 2014, Hong Kong, Hong Kong SAR China. pp.190-201, ⟨10.1145/2635868.2635919⟩
Conference papers hal-01087789v1
Image document

Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata

Maxime Cordy , Axel Legay , Sami Lazreg , Philippe Collet
2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE), May 2019, Montreal, Canada. pp.61-64, ⟨10.1109/FormaliSE.2019.00015⟩
Conference papers hal-02342744v1
Image document

Enabling lock-free concurrent workers over temporal graphs composed of multiple time-series

François Fouquet , Thomas Hartmann , Sébastien Mosser , Maxime Cordy
Symposium on Applied Computing (SAC), Apr 2018, Pau, France. ⟨10.1145/3167132.3167255⟩
Conference papers hal-01659786v1
Image document

Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction

Benoit Amand , Maxime Cordy , Patrick Heymans , Mathieu Acher , Paul Temple et al.
VAMOS 2019 - 13th International Workshop on Variability Modelling of Software-Intensive Systems, Feb 2019, Leuven, Belgium. pp.1-9, ⟨10.1145/3302333.3302338⟩
Conference papers hal-01990767v1

Behavioural Modelling and Verification of Real-time Software Product Lines

Maxime Cordy , Patrick Heymans , Pierre-Yves Schobbens , Axel Legay
16th Software Product Line Conference, Sep 2012, Salvador de Bahia, Brazil
Conference papers hal-00718157v1
Image document

A Vision for Behavioural Model-Driven Validation of Software Product Lines

Xavier Devroey , Maxime Cordy , Gilles Perrouin , Eun-Young Kang , Pierre-Yves Schobbens et al.
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Heraclion, Greece
Conference papers hal-00726121v1
Image document

Simulation-Based Abstractions for Software Product-Line Model Checking

Maxime Cordy , Andreas Classen , Gilles Perrouin , Pierre-Yves Schobbens , Patrick Heymans et al.
ICSE 2012 : 34th International Conference on Software Engineering, Jun 2012, Zürich, Switzerland. pp.672 - 682, ⟨10.1109/ICSE.2012.6227150⟩
Conference papers hal-01087659v1
Image document

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

Quentin Plazar , Mathieu Acher , Gilles Perrouin , Xavier Devroey , Maxime Cordy et al.
ICST 2019 - 12th IEEE International Conference on Software Testing, Verification, and Validation, Apr 2019, Xian, China. pp.240-251, ⟨10.1109/ICST.2019.00032⟩
Conference papers hal-01991857v1
Image document

Towards statistical prioritization for software product lines testing

Xavier Devroey , Gilles Perrouin , Maxime Cordy , Pierre-Yves Schobbens , Axel Legay et al.
VAMOS, Jan 2014, Nice, France. pp.1 - 7, ⟨10.1145/2556624.2556635⟩
Conference papers hal-01092958v1

Model Checking for Software Product Lines with SNIP

Andreas Classen , Maxime Cordy , Patrick Heymans , Pierre-Yves Schobbens , Axel Legay et al.
International Journal on Software Tools for Technology Transfer, 2012, ⟨10.1007/s10009-012-0234-1⟩
Journal articles istex hal-00717956v1
Image document

Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-Features

Maxime Cordy , Pierre-Yves Schobbens , Patrick Heymans , Axel Legay
ICSE 2013 International Conference on Software Engineering, Jun 2013, San Francisco, United States. pp.472-481
Conference papers hal-01087792v1
Image document

State machine flattening, a mapping study and tools assessment

Xavier Devroey , Gilles Perrouin , Maxime Cordy , Pierre-Yves Schobbens , Patrick Heymans et al.
8th IEEE International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. ⟨10.1109/ICSTW.2015.7107408⟩
Conference papers hal-01242787v1
Image document

MALTESQUE 2019 Workshop Summary

Francesca Arcelli Fontana , Gilles Perrouin , Apostolos Ampatzoglou , Mathieu Acher , Bartosz Walter et al.
Software Engineering Notes, 2020, ⟨10.1145/3375572.3375582⟩
Journal articles hal-02471302v1
Image document

BURST: Benchmarking Uniform Random Sampling Techniques

Mathieu Acher , Gilles Perrouin , Maxime Cordy
Science of Computer Programming, 2023, pp.1-10
Journal articles hal-03897639v1
Image document

Multifaceted Automated Analyses for Variability-Intensive Embedded Systems

Sami Lazreg , Maxime Cordy , Philippe Collet , Patrick Heymans , Sébastien Mosser et al.
41st ACM/IEEE International Conference on Software Engineering, May 2019, Montréal, Canada
Conference papers hal-02061251v1
Image document

A Variability Perspective of Mutation Analysis

Xavier Devroey , Gilles Perrouin , Maxime Cordy , Mike Papadakis , Axel Legay et al.
FSE 2014 : International Symposium on Foundations of Software Engineering, Nov 2014, Hong Kong, Hong Kong SAR China. pp.841-844, ⟨10.1145/2635868.2666610⟩
Conference papers hal-01087644v1
Image document

A framework for the rigorous design of highly adaptive timed systems

Maxime Cordy , Axel Legay , Pierre-Yves Schobbens , Louis-Marie Traonouez
1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), May 2013, San Francisco, United States. pp.64 - 70, ⟨10.1109/FormaliSE.2013.6612279⟩
Conference papers hal-01087810v1

Towards Behavioural Model-Driven Validation of Software Product Lines

Xavier Devroey , Maxime Cordy , Gilles Perrouin , Eun-Young Kang , Pierre-Yves Schobbens et al.
5th International Sympoisum on Leveraging Applications of Formal Methods, Oct 2012, Héraklion, Crète, Greece
Conference papers hal-00718180v1
Image document

On Featured Transition Systems

Gilles Perrouin , Patrick Heymans , Axel Legay , Xavier Devroey , Maxime Cordy et al.
SOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Informatics, Jan 2017, Limerick Ireland
Conference papers hal-01640267v1
Image document

Statistical Prioritization for Software Product Line Testing: an Experience Report

Xavier Devroey , Gilles Perrouin , Maxime Cordy , Hamza Samih , Axel Legay et al.
Software and Systems Modeling, 2017, 16 (1), pp.153-171. ⟨10.1007/s10270-015-0479-8⟩
Journal articles hal-01642289v1

Efficient Consistency Checking of Scenario-Based Product Line Specifications

Joel Greenyer , Amir Sharifloo , Maxime Cordy , Patrick Heymans
RE 2012 - 20th IEEE International Requirements Engineering Conference, Sep 2012, Chicago, United States. ⟨10.1109/RE.2012.6345800⟩
Conference papers hal-00718476v1