MAXIME CORDY

PhD in Computer Science

Calculated based on number of publications stored in Pure and citations from Scopus
20112023

Research activity 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 201111 Sept 2014

Award Date: 11 Sept 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.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Towards Strengthening Formal Specifications with Mutation Model Checking

    Cordy, M., Lazreg, S., Legay, A. & Schobbens, P. Y., 30 Nov 2023, ESEC/FSE 2023: Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Chandra, S., Blincoe, K. & Tonella, P. (eds.). ACM Press, p. 2102-2106 5 p. (Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

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

    Open Access
  • 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 conferencePaper

    Open Access
    File
    37 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)peer-review

    Open Access
    File
    78 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 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