Photo of MAXIME CORDY

MAXIME CORDY

PhD in Computer Science

  • 615 Citations
  • 14 h-Index
20112020

Research output per year

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

Award Date: 11 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.

  • 11 Similar Profiles

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

Projects

Research Output

MALTESQUE 2019 Workshop Summary

Fontana, F. A., Perrouin, G., Ampatzoglou, A., Archer, M., Walter, B., Cordy, M., Palomba, F. & Devroey, X., 22 Jan 2020, In : ACM SIGSOFT Software Engineering Notes. 45, 1, p. 34-35 2 p.

Research output: Contribution to journalArticle

Open Access
File
  • 15 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 proceedingChapter (peer-reviewed)

  • 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

  • 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

  • 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

  • Activities

    • 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