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
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
Projects
- 3 Finished
-
Thesis-M-Cordy: Modular Modelling and Verification of Real-Time Software Product Lines
CORDY, M. (Researcher), Heymans, P. (CoI) & Schobbens, P. Y. (CoI)
1/10/11 → 30/09/15
Project: PHD
-
VLPL: Software Product Lines Verification
Heymans, P. (PI), Schobbens, P. Y. (PI), Classen, A. (Researcher), CORDY, M. (Researcher), KANG, E.-Y. (Researcher) & Legay, A. (Researcher)
1/01/11 → 1/01/13
Project: Research
-
TPA: Theory and Practice of Automata and Logics
Schobbens, P. Y. (PI), CORDY, M. (Researcher), KANG, E.-Y. (Researcher) & Ortiz Vega, J. J. (Researcher)
1/01/11 → 31/12/14
Project: Research
-
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 proceeding › Conference 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 conference › Paper
Open AccessFile45 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 AccessFile118 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
Prizes
-
VAMOS 2024 ten-year Most Influential Paper Award
Devroey, X. (Recipient), Perrouin, G. (Recipient), CORDY, M. (Recipient), Legay, A. (Recipient), Heymans, P. (Recipient) & Schobbens, P. Y. (Recipient), 8 Feb 2024
Prize: Prize (including medals and awards)
Activities
-
3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation, MaLTeSQuE 2019, co-located with ESEC/FSE 2019
Arcelli Fontana, F. (Organiser), PERROUIN, G. (Organiser), Ampatzoglou, A. (Organiser), ACHER, M. (Organiser), Walter, B. (Organiser), CORDY, M. (Organiser), Palomba, F. (Organiser) & DEVROEY, X. (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 (Event)
Perrouin, G. (Chair), Devroey, X. (Chair), Cordy, M. (Chair) & Acher, M. (Chair)
3 Sept 2018Activity: Membership types › Membership of committee
-
1st International Workshop on Machine Learning and Software Engineering in Symbiosis
ACHER, M. (Organiser), PERROUIN, G. (Organiser), CORDY, M. (Organiser) & DEVROEY, X. (Organiser)
3 Sept 2018Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Tutorial: Testing Variability-intensive Systems
Perrouin, G. (Speaker), Devroey, X. (Speaker) & Cordy, M. (Speaker)
26 Sept 2017Activity: Talk or presentation types › Invited talk
-
Dagstuhl Seminar 13091 on "Analysis, Test and Verification in The Presence of Variability"
Cordy, M. (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
Cordy, M. (Author), Remiche, M.-A. (Supervisor), 2011Student thesis: Master types › Master in Computer science
File -
Model checking for the Masses
Cordy, M. (Author), Heymans, P. (Supervisor), Schobbens, P.-Y. (Supervisor), Petit, M. (Jury), ATLEE, J. (Jury), Greenyer, J. (Jury) & Legay, A. (Jury), 11 Sept 2014Student thesis: Doc types › Doctor of Sciences