| Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Anciennes équipes : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
| Anciens thèmes : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- HUANG Yining :
“Le jumeau numérique pour l’orchestration dynamique de systèmes autonomes et embarqués”,
direction de recherche Jacques MALENFANT,
soutenance 08/02/2024. - GUIFO FODJO Yvan : “Séparation des préoccupations dans les modèles compartimentaux étendus”, direction de recherche Mikal ZIANE, Samuel BOWONG, soutenance 15/09/2023.
- VALLADE Vincent : “Groupes de partage pour solveurs sat parallèles”, direction de recherche Souheib BAARIR, Fabrice KORDON, soutenance 27/06/2023.
- HOUHOU Sara : “Vérification paramétrée à partir des spécifications formelles des systèmes d’information”,
direction de recherche Pascal POIZAT, Laîd KAHLOUL,
soutenance 22/12/2021.
- GROLLEMUND Vincent : “Exploration et modélisation de données peu ou pas structurées”, direction de recherche Jean-François PRADAT-PEYRE, soutenance 25/06/2021.
- LEHAUT Mathieu : “Synthèse pour les systèmes paramétrés”, direction de recherche Béatrice BÉRARD, soutenance 17/12/2020.
- METIN Hakan : “Exploitation des symétries dynamiques pour la résolution des problèmes SAT”, direction de recherche Fabrice KORDON, soutenance 18/12/2019.
- EFFA BELLA Emma : “Apports des techniques d’apprentissage semi-supervisées dans l’établissement de liens entre artefacts de conception”, direction de recherche Marie-Pierre GERVAIS, soutenance 28/10/2019.
- LE FRIOUX Ludovic : “Vers une parallélisation efficace de la résolution du problème de satisfaisabilité”, direction de recherche Fabrice KORDON, soutenance 03/07/2019.
- BUI Thi-Mai-Anh : “Séparation des Préoccupations en Épidémiologie”, direction de recherche Mikal ZIANE, soutenance 09/12/2016.
- MARTINEZ Jabier : “Exploration des variantes d'artefacts logiciels pour une analyse et une migration vers des lignes de produits”, direction de recherche Mikal ZIANE, soutenance 18/10/2016.
- KHELLADI Djamel Eddine : “Co-évolution des contraintes OCL suite à l'évolution des métamodèles”,
direction de recherche Reda BENDRAOU,
soutenance 30/09/2016.
- MILLET Laure : “Vérification et synthèse d'algorithmes de robots”,
direction de recherche Béatrice BÉRARD,
soutenance 01/12/2015.
- LAURENT Yoann : “Alloy4PV : Un Framework pour la Vérification de Procédés Métiers”, direction de recherche Marie-Pierre GERVAIS, soutenance 15/01/2015.
- RENAULT Etienne : “Contribution aux tests de vacuité pour le model checking explicite”, direction de recherche Fabrice KORDON, soutenance 05/12/2014.
- BEN SALEM Ala Eddine : “Model checking adapté aux spécifications et propriétés à vérifier”, direction de recherche Fabrice KORDON, soutenance 25/09/2014.
- KCHIR Selma : “Faciliter le développement des applications de robotique”, direction de recherche Mikal ZIANE, soutenance 26/06/2014.
- COLANGE Maximilien : “Exploitation des symétries pour le modèle checking : du modèle au codage”,
direction de recherche Fabrice KORDON,
soutenance 10/12/2013.
- MELEKHOVA Olga : “Modèle de décision de composants autonomiques pour systèmes répartis à grande échelle”, direction de recherche Jacques MALENFANT, soutenance 18/11/2013.
- BEN MAÏSSA Yann : “Contribution à la modélisation et à la vérification de réseaux de capteurs sans fil”, direction de recherche Fabrice KORDON, soutenance 21/09/2013.
- ZHANG Yan : “Conception semi-automatique de contrôleurs avec VeriJ”,
direction de recherche Béatrice BÉRARD,
soutenance 05/07/2013.
- WOUTERS Laurent : “Infrastructure pour la modélisation multi-domaines orientée experts”,
direction de recherche Marie-Pierre GERVAIS,
soutenance 18/01/2013.
- ALMEIDA DA SILVA Marcos Aurélio : “Détection et Traitement des Déviations dans les Environnements de développement logiciel centrés procédés”,
direction de recherche Marie-Pierre GERVAIS,
soutenance 25/06/2012.
- FALL Ibrahima : “Gestion Optimisée de Produits-Modèles de Procédés Logiciels”, direction de recherche Marie-Pierre GERVAIS, soutenance 08/02/2012.
- SASSOLAS Mathieu : “Noninterférence et canaux cachés dans les systèmes temporisés”, direction de recherche Béatrice BÉRARD, soutenance 28/11/2011.
- LE DUC Bao : “Un système générique de surveillance adaptative fondé sur la qualité de l'information”,
direction de recherche Jacques MALENFANT,
soutenance 07/12/2010.
- ROGOVCHENKO Olena : “Abstractions for time and resource conscious composition in the context of distributed autonomous robotic systems”,
direction de recherche Jacques MALENFANT,
soutenance 03/12/2010.
- MOUGENOT Alix : “Praxis: Détection des incohérences dans les modèles répartis”, direction de recherche Marie-Pierre GERVAIS, soutenance 19/11/2010.
- BONNEFOI Fabien : “Vérification Formelle des Spécifications de Systèmes Complexes, Application aux Systèmes de Transport Intelligents”, direction de recherche Fabrice KORDON, soutenance 27/09/2010.
- CHATEL Pierre : “Une approche qualitative pour la prise de décision sous contraintes non-fonctionnelles dans le cadre d'une composition agile de services”, direction de recherche Jacques MALENFANT, soutenance 05/05/2010.
- LAJMI Amine : “Usines logiciels de composants de simulation de procédés CAPE-OPEN”, direction de recherche Mikal ZIANE, soutenance 15/03/2010.
- BENMERZOUG Djamel : “Méthodes et outils formels pour l’intégration d’applications d’entreprises”, direction de recherche Fabrice KORDON, soutenance 13/12/2009.
- VORON Jean-Baptiste : “Construction automatique et particularisée de systèmes de détection d'intrusion pour les systèmes parallèles à l'aide de réseaux de Petri”, direction de recherche Fabrice KORDON, soutenance 09/12/2009.
- HAMEZ Alexandre : “Génération efficace de grands espaces d'états”, direction de recherche Fabrice KORDON, soutenance 08/12/2009.
- RENAULT Xavier : “Mise en oeuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps-réel répartis”, direction de recherche Fabrice KORDON, soutenance 03/12/2009.
- LINARD Alban : “Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification”, direction de recherche Fabrice KORDON, soutenance 29/09/2009.
- HILLAH Lom Messan : “Intégration des méthodes formelles au développement dirigé par les modèles, pour la conception et la vérification des systèmes et applications répartis”, direction de recherche Fabrice KORDON, soutenance 23/09/2009.
- MOREAU Aurélien : “Mise en oeuvre automatique de processus métier dans le domaine des architectures orientées services”, direction de recherche Jacques MALENFANT, soutenance 09/04/2009.
- PAJAULT Christophe : “Model Checking parallèle et réparti de réseaux de Petri colorés de haut-niveau”, direction de recherche Jean-François PRADAT-PEYRE, soutenance 23/06/2008.
- OZANNE Alain : “Interact : Un modèle général de contrat pour la garantie des assemblages de composants et services”, direction de recherche Jacques MALENFANT, soutenance 30/11/2007.
- JEVARDAT DE FOMBELLE Grégory : “Gestion incrémentale des propriétés de cohérence structurelle dans l'ingénierie dirigée par les modèles”, direction de recherche Marie-Pierre GERVAIS, soutenance 25/09/2007.
- BENDRAOU Reda : “UML4SPM: Un Langage de Modélisation de Procédés De Développement Logiciel Exécutable Et Orienté Modèle”, direction de recherche Marie-Pierre GERVAIS, soutenance 06/09/2007.
- SRIPLAKICH Prawee : “ModelBus : un environnement réparti et ouvert pour l’ingénierie de modèles”, direction de recherche Marie-Pierre GERVAIS, soutenance 05/09/2007.
- DURET-LUTZ Alexandre : “Contributions à l'approche automate pour la vérification de propriétés de systèmes concurrents”, direction de recherche Fabrice KORDON, soutenance 10/07/2007.
- BAARIR Souheib : “Exploitation des symétries partielles pour la vérification et l'évaluation de performances des systèmes concurrents”, direction de recherche Serge HADDAD, soutenance 16/05/2007.
- CHANTIT Salima : “Transformations de programmes et contraintes de qualité pour améliorer l’outillage des patrons de conception”, direction de recherche Mikal ZIANE, soutenance 28/11/2006.
- AMMOUR Samir : “Support des patrons de conception dans les outils UML”, direction de recherche Mikal ZIANE, soutenance 10/11/2006.
- BOUZITOUNA Salim : “Construction d'applications réparties par réutilisation de modèles dans l'approche MDA : application à la plate-forme EJB”, direction de recherche Marie-Pierre GERVAIS, soutenance 06/11/2006.
- PERNET Nicolas : “Implantation distribuée temps réel de programmes conditionnés à l'aide d'ordonnancements mixtes hors-ligne en-ligne de tâches périodiques avec contraintes de latence et acceptation de tâches apériodiques”, direction de recherche Fabrice KORDON, soutenance 07/07/2006.
- GILLIERS Frédéric : “Développement par prototypage et génération de code à partir de LfP, un langage de modélisation de haut niveau”, direction de recherche Fabrice KORDON, soutenance 28/09/2005.
- THIÉFAINE Arnaud : “Caractérisation et formalisation du processus de développement construit autour du paradigme de l'ingénierie des modèles”, direction de recherche Jean-François PERROT, soutenance 08/07/2005.
- THIERRY-MIEG Yann : “Techniques pour le Model-Checking de spécifications de Haut Niveau”,
direction de recherche Fabrice KORDON,
soutenance 13/12/2004.
- DELERUE Olivier : “Spatialisation du son et programmation par contraintes : le système MusicSpace”, direction de recherche Jean-François PERROT, soutenance 22/01/2004.
- REGEP Dan Marius : “LfP : un langage de spécification pour supporter une démarche de développement par prototypage pour les systèmes répartis”, direction de recherche Fabrice KORDON, soutenance 17/12/2003.
- KLAI Kais : “Réseaux de Petri : Vérification Modulaire et Symbolique”, direction de recherche Serge HADDAD, soutenance 01/12/2003.