Maxime Cordy

PhD in Computer Science

  • Belgium

  • 571 Citations
  • 14 h-Index
20112019
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.

  • 17 Similar Profiles
Model checking Engineering & Materials Science
Specifications Engineering & Materials Science
Explosions Engineering & Materials Science
Testing Engineering & Materials Science
Quality assurance Engineering & Materials Science
Software Product Lines Mathematics
Adaptive systems Engineering & Materials Science
Human computer interaction Engineering & Materials Science

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

Projects 2011 2015

Research Output 2011 2019

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 proceedingChapter (peer-reviewed)

Explosions

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

Embedded systems
Hardware
Engineers
Optimal systems
Automotive industry

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

Learning systems
Printing
Classifiers
Defects
Industry

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

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