Maxime Cordy

PhD in Computer Science

  • Belgique

  • 565 Citations
  • 14 h-Index
20112019
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, Université de Namur

1 oct. 201111 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 Examinez les sujets de recherche où Maxime Cordy est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 13 Profils similaires
Model checking Ingénierie et Science des Matériaux
Testing Ingénierie et Science des Matériaux
Explosions Ingénierie et Science des Matériaux
Specifications Ingénierie et Science des Matériaux
Quality assurance Ingénierie et Science des Matériaux
Software Product Lines mathématiques
Adaptive systems Ingénierie et Science des Matériaux
Human computer interaction Ingénierie et Science des Matériaux

Réseau Récente collaboration externe au niveau du pays. Découvrez tous les détails en cliquant sur les points.

Projets 2011 2015

Résultat de recherche 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).

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

Explosions

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

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, (Accepté/sous presse) ACM IUI2018 Workshop on Explainable Smart Systems (ExSS).

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

Repair
Industry
14 Downloads (Pure)

On Featured Transition Systems

Legay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P-Y. & Heymans, P., janv. 2017, SOFSEM 2017: Theory and Practice of Computer Science: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Baier, C., van den Brand, M., Eder, J., Hinchey, M., Margaria, T. & Steffen, B. (eds.). Limerick, Ireland: Springer, p. 453-463 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 10139 LNCS).

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

File
Testing

Activités 2010 2018

  • 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

Computer-Aided Reasoning for Product-Line Model Checking

Auteur: Dawagne, B., 3 sept. 2014

Superviseur: Heymans, P. (Promoteur) & Cordy, M. (Copromoteur)

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

Fichier

Configuration assistée par machine learning: études empiriques et application à la prédiction de défauts dans l'impression 3D

Auteur: Amand, B., 27 août 2018

Superviseur: Heymans, P. (Promoteur) & Cordy, M. (Copromoteur)

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

Fichier

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

Auteur: Cordy, M., 2011

Superviseur: Remiche, M. (Promoteur)

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

Fichier

High-Level Modelling and Formal Semantics of Product-Line Behaviour

Auteur: Jeanjot, A., 4 sept. 2013

Superviseur: Schobbens, P. (Promoteur) & Cordy, M. (Copromoteur)

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

Fichier

Model checking for the Masses

Auteur: 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