Photo de MAXIME CORDY

MAXIME CORDY

PhD in Computer Science

  • 622 Citations
  • 14 h-Index
20112020

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Profil personnel

Domaines de compétence

Software engineering

Artificial intelligence

Quality assurance

Natural language processing

Configuration

Model checking

Prix/Distinctions

RE'12: best paper award

2nd Precise Day: best poster award

FNRS research fellow grant (2011-2015)

Diplômes

Bachelor in Computer Science, magna cum laude, 2009, FUNDP

Master in Computer Science, summa cum laude, 2011, FUNDP

PhD in Computer Science, 2014, University of Namur

Qualification académique

Docteur ès sciences, Universite de Namur

1 oct. 201111 sept. 2014

Date d'octroi: 11 sept. 2014

Les positions extérieures

Visiting Postdoctoral Researcher, University of Luxembourg, Luxembourg

15 juil. 201731 août 2018

Co-founder and R&D manager, SkalUp

15 juil. 201530 juin 2016

Empreinte digitale Passez en revue plus en détail les thèmes de recherche où MAXIME CORDY est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 11 Profils similaires

Réseau Collaboration externe récente au niveau des pays. Analysez le détail en cliquant sur les points.

Projets

Résultat de recherche

MALTESQUE 2019 Workshop Summary

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

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
  • 15 Téléchargements (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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

  • Multifaceted Automated Analyses for Variability-Intensive Embedded Systems

    Lazreg, S., Cordy, M., Collet, P., Heymans, P. & Mosser, S., mai 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • 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 févr. 2019, Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2019. ACM Press, (ACM International Conference Proceeding Series).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • On Studying Bad Practices in Configuration UIs

    Leclercq, T., Cordy, M., Dumas, B. & Heymans, P., 2018, (Accepté/sous presse) ACM IUI2018 Workshop on Web Intelligence and Interaction (WII 2018).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Activités

    • 21 Participation à une conférence, un congrès
    • 6 Participation à un atelier/workshop, un séminaire, un cours
    • 1 Membre d'un comité
    • 1 Discours invité

    1st International Workshop on Machine Learning and Software Engineering in Symbiosis (Evénement)

    Gilles Perrouin (Président), , Xavier Devroey (Président), , Maxime Cordy (Président), & Mathieu Acher (Président)

    3 sept. 2018

    Activité: Types de MembreMembre d'un comité

    Testing Variability-intensive Systems

    Gilles Perrouin (Orateur), , Xavier Devroey (Orateur), & Maxime Cordy (Orateur)

    26 sept. 2017

    Activité: Types de discours ou de présentationDiscours invité

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

    Maxime Cordy (Conférencier)

    24 févr. 20131 mars 2013

    Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

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

    Maxime Cordy (Organisateur)

    2013

    Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

    Reviewer: 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering

    Maxime Cordy (Orateur)

    2013

    Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

    Thèse

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

    Author: Cordy, M., 2011

    Superviseur: Remiche, M. (Promoteur)

    Thèse de l'étudiant: Master typesMaster en sciences informatiques

    Fichier

    Model checking for the Masses

    Author: Cordy, M., 11 sept. 2014

    Superviseur: Heymans, P. (Promoteur), Schobbens, P. (Promoteur), Petit, M. (Jury), ATLEE, J. (Personne externe) (Jury), Greenyer, J. (Personne externe) (Jury) & Legay, A. (Personne externe) (Jury)

    Thèse de l'étudiant: Doc typesDocteur en Sciences

    Presse/médias

    6th international workshop on formal methods and analysis in spl engineering (FMSPLE 2015)

    Maxime Cordy & Patrick Heymans

    20/10/14

    1 élément de Couverture média

    Presse/Médias: Commentaire d'expert