• 497 Citations
  • 13 h-Index
20112018
If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Doctor of Science, University of Namur

1 Oct 201111 Sep 2014

External positions

Visiting Postdoctoral Researcher, University of Luxembourg, Luxembourg

15 Jul 201731 Aug 2018

Co-founder and R&D manager, SkalUp

15 Jul 201530 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.

  • 8 Similar Profiles
Model checking Engineering & Materials Science
Testing Engineering & Materials Science
Explosions Engineering & Materials Science
Specifications Engineering & Materials Science
Quality assurance Engineering & Materials Science
Adaptive systems Engineering & Materials Science
Human computer interaction Engineering & Materials Science
Specification languages Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2011 2015

Research Output 2011 2018

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 proceedingConference contribution

Human computer interaction
Defects
Railroad cars
Industry

Representing Repairs in Configuration Interfaces: A Look at Industrial Practices

Leclercq, T., Cordy, M., Dumas, B. & Heymans, P., 2018, (Accepted/In press) ACM IUI2018 Workshop on Explainable Smart Systems (ExSS).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Repair
Industry
14 Downloads (Pure)

On Featured Transition Systems

Legay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P-Y. & Heymans, P., Jan 2017, SOFSEM 2017: Theory and Practice of Computer Science: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Baier, C., van den Brand, M., Eder, J., Hinchey, M., Margaria, T. & Steffen, B. (eds.). Limerick, Ireland: Springer, p. 453-463 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10139 LNCS).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
Testing
83 Downloads (Pure)
Open Access
File
Software Product Lines
Prioritization
Testing
Feature Model
Statistical tests

Activities 2010 2018

  • 21 Participation in conference
  • 6 Participation in workshop, seminar, course
  • 1 Membership of committee
  • 1 Invited talk

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 Sep 2018

Activity: Membership typesMembership of committee

Testing Variability-intensive Systems

Gilles Perrouin (Speaker), Xavier Devroey (Speaker), Maxime Cordy (Speaker)
26 Sep 2017

Activity: Talk or presentation typesInvited talk

Dagstuhl Seminar 13091 on "Analysis, Test and Verification in The Presence of Variability"

Maxime Cordy (Speaker)
24 Feb 20131 Mar 2013

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Reviewer: FME Workshop on Formal Methods in Software Engineering (FormaliSE)

Maxime Cordy (Organiser)
2013

Activity: Participating in or organising an event typesParticipation in conference

Thesis

Computer-Aided Reasoning for Product-Line Model Checking

Author: Dawagne, B., 3 Sep 2014

Supervisor: Heymans, P. (Supervisor) & Cordy, M. (Co-Supervisor)

Student thesis: Master typesMaster in Computer science

File

Configuration assistée par machine learning: études empiriques et application à la prédiction de défauts dans l'impression 3D

Author: Amand, B., 27 Aug 2018

Supervisor: Heymans, P. (Supervisor) & Cordy, M. (Co-Supervisor)

Student thesis: Master typesMaster in Computer science

File

Development of a quasi-birth-and-death sensitivity analysis tool

Author: Cordy, M., 2011

Supervisor: Remiche, M. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

High-Level Modelling and Formal Semantics of Product-Line Behaviour

Author: Jeanjot, A., 4 Sep 2013

Supervisor: Schobbens, P. (Supervisor) & Cordy, M. (Co-Supervisor)

Student thesis: Master typesMaster in Computer science

File

Model checking for the Masses

Author: Cordy, M., 11 Sep 2014

Supervisor: 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 typesDoctor of Sciences

Press / Media