AADL  Agilité  Algorithmes parallèles  Analyse d'impact  Analyse de transformations de modèles  Atl  Avionique  Bases de données relationnelles  Bois  COBOL  Carte conceptuelle  Code source  Cohérence  Cohérence  Connaissances scientifiques  Contrôle d’accès  Description d'architecture  Distribution  Extraction des règles métiers  Fiche de connaissances  Gestion des connaissances  Graphes imbriqués  Gremlin  Génie logiciel  Génération automatique de code  Génération de tests  IDM  Ingénierie Dirigée par les Modèles  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Ingénierie dirigée par les modèles  Logiciels -- Vérification  OCL  Rétro-ingénierie  Rétro-ingénierie  Transformation de modèles  

Jordi Cabot a dirigé les 4 thèses suivantes :

Efficient persistence, query, and transformation of large models

par Gwendal Daniel sous la direction de Jordi Cabot et de Gerson Sunyé . - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire

Informatique et applications

Soutenue le 14-11-2017

Model transformation on distributed platforms : decentralized persistence and distributed processing

par Amine Benelallam sous la direction de Jordi Cabot - Nantes, Ecole des Mines

Informatique et applications

Soutenue le 07-12-2016

Pragmatic model verification

par Carlos Alberto Gonzalez Perez sous la direction de Jordi Cabot - Nantes, Ecole des Mines

Informatique et applications

Soutenue le 09-10-2014

A model-based approach for extracting business rules out of legacy information systems

par Valerio Cosentino sous la direction de Jordi Cabot - Nantes, Ecole des Mines

Informatique et applications

Soutenue le 18-12-2013

Jordi Cabot a été président de jury de la thèse suivante :

Generic Model-based Approaches for Software Reverse Engineering and Comprehension

par Hugo Bruneliere sous la direction de Gerson Sunyé - Nantes

Informatique

Soutenue le 20-12-2018

Jordi Cabot a été rapporteur des 4 thèses suivantes :

Approche méthodologique pour le maintien de la cohérence des données de conception des systèmes sur puce

par Aurélien Chichignoud sous la direction de François Terrier - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 16-03-2017

Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles

par Elie Richa sous la direction de Laurent Pautet et de Etienne Borde . - Paris, ENST

Informatique et réseaux

Soutenue le 15-12-2015

A study to define an automatic model transformation approach based on semantic and syntactic comparisons

par Tiexin Wang sous la direction de Frédérick Bénaben et de Sébastien Truptil . - Ecole nationale des Mines d'Albi-Carmaux

Génie Industriel et Informatique

Soutenue le 10-12-2015

Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation

par Jean-Marie Gauthier sous la direction de Fabrice Bouquet , Ahmed Hammad et de Fabien Peureux . - Besançon

Informatique

Soutenue le 19-11-2015

Jordi Cabot a été membre de jury des 3 thèses suivantes :

Exploration d’ensembles de modèles

par Théo Le Calvar sous la direction de Frédéric Saubion , Fabien-Sothéa Chhel et de Frédéric Jouault . - Angers

Informatique

Soutenue le 20-12-2019

Automatic reconstruction and analysis of security policies from deployed security components

par Salvador Martinez sous la direction de Frédéric Cuppens - Nantes, Ecole des Mines

Informatique et applications

Soutenue le 30-06-2014

Représentation des connaissances scientifiques en vue de leur transfert vers l'industrie : Application à la valorisation des produits à base de bois en fin de vie

par Aymen Jmal sous la direction de Mark Irle - Nantes, Ecole des Mines

Génie des procédés

Soutenue le 19-02-2013