Projects per year
Personal profile
Areas of expertise
Awards
Diplomas
Education/Academic qualification
Doctor of Science, Model Checking for the Masses, University of Namur
1 Oct 2011 → 11 Sept 2014
Award Date: 11 Sept 2014
External positions
Visiting Postdoctoral Researcher, University of Luxembourg, Luxembourg
15 Jul 2017 → 31 Aug 2018
Co-founder and R&D manager, SkalUp
15 Jul 2015 → 30 Jun 2016
Fingerprint
Dive into the research topics where MAXIME CORDY is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 3 Finished
-
Thesis-M-Cordy: Modular Modelling and Verification of Real-Time Software Product Lines
CORDY, M., Heymans, P. & SCHOBBENS, P.
1/10/11 → 30/09/15
Project: PHD
-
TPA: Theory and Practice of Automata and Logics
SCHOBBENS, P., CORDY, M., KANG, E. & Ortiz Vega, J. J.
1/01/11 → 31/12/14
Project: Research
-
VLPL: Software Product Lines Verification
Heymans, P., SCHOBBENS, P., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
Project: Research
-
MALTESQUE 2019 Workshop Summary
Fontana, F. A., Perrouin, G., Ampatzoglou, A., Acher, M., Walter, B., Cordy, M., Palomba, F. & Devroey, X., 22 Jan 2020, p. 34-35. 2 p.Research output: Contribution to conference › Paper
Open AccessFile25 Downloads (Pure) -
A Decade of Featured Transition Systems
Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., Oct 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Open AccessFile43 Downloads (Pure) -
Multifaceted Automated Analyses for Variability-Intensive Embedded Systems
Lazreg, S., Cordy, M., Collet, P., Heymans, P. & Mosser, S., May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering, ICSE 2019. IEEE Computer society, p. 854-865 12 p. 8812057. (Proceedings - International Conference on Software Engineering; vol. 2019-May).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
-
Towards learning-aided configuration in 3D printing: Feasibility study and application to defect prediction
Amand, B., Cordy, M., Heymans, P., Acher, M., Temple, P. & Jézéquel, J. M., 6 Feb 2019, Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2019. ACM Press, (ACM International Conference Proceeding Series).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
-
On Studying Bad Practices in Configuration UIs
Leclercq, T., Cordy, M., Dumas, B. & Heymans, P., 2018, (Accepted/In press) ACM IUI2018 Workshop on Web Intelligence and Interaction (WII 2018).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Activities
-
3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation, MaLTeSQuE 2019, co-located with ESEC/FSE 2019
Francesca Arcelli Fontana (Organiser), GILLES PERROUIN (Organiser), Apostolos Ampatzoglou (Organiser), Mathieu ACHER (Organiser), Bartosz Walter (Organiser), MAXIME CORDY (Organiser), Fabio Palomba (Organiser) & Xavier DEVROEY (Organiser)
27 Aug 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
1st International Workshop on Machine Learning and Software Engineering in Symbiosis
Mathieu ACHER (Organiser), GILLES PERROUIN (Organiser), MAXIME CORDY (Organiser) & Xavier DEVROEY (Organiser)
3 Sept 2018Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
1st International Workshop on Machine Learning and Software Engineering in Symbiosis (Event)
Gilles Perrouin (Chair), Xavier Devroey (Chair), Maxime Cordy (Chair) & Mathieu Acher (Chair)
3 Sept 2018Activity: Membership types › Membership of committee
-
Tutorial: Testing Variability-intensive Systems
Gilles Perrouin (Speaker), Xavier Devroey (Speaker) & Maxime Cordy (Speaker)
26 Sept 2017Activity: Talk or presentation types › Invited talk
-
Dagstuhl Seminar 13091 on "Analysis, Test and Verification in The Presence of Variability"
Maxime Cordy (Speaker)
24 Feb 2013 → 1 Mar 2013Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Thesis
-
Development of a quasi-birth-and-death sensitivity analysis tool
Author: Cordy, M., 2011Supervisor: Remiche, M. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Model checking for the Masses
Author: Cordy, M., 11 Sept 2014Supervisor: Heymans, P. (Supervisor), Schobbens, P. (Supervisor), Petit, M. (Jury), ATLEE, J. (External person) (Jury), Greenyer, J. (External person) (Jury) & Legay, A. (External person) (Jury)
Student thesis: Doc types › Doctor of Sciences
Press/Media
-
New Technology Study Findings Recently Were Reported by Researchers at University of Luxembourg (Multi-agent Deep Reinforcement Learning Based Predictive Maintenance On Parallel Machines)
7/12/22
1 item of Media coverage
Press/Media: Expert Comment