Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former teams : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
Former research topics : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- HUANG Yining : “Digital twin for the dynamic orchestration of autonomous and embedded systems”, supervision Jacques MALENFANT, defence 02/08/2024.
- GUIFO FODJO Yvan :
“Separation of concerns in extended compartmental models”, supervision Mikal ZIANE, Samuel BOWONG, defence 09/15/2023.
- VALLADE Vincent :
“Contributions to the parallel resolution of the SAT problem”, supervision Souheib BAARIR, Fabrice KORDON, defence 06/27/2023.
- HOUHOU Sara : “Parameterised Verification from Formal Specifications of Information Systems”, supervision Pascal POIZAT, Laîd KAHLOUL, defence 12/22/2021.
- GROLLEMUND Vincent :
“Data mining and modeling of poorly structured or unstructured data”, supervision Jean-François PRADAT-PEYRE, defence 06/25/2021.
- LEHAUT Mathieu :
“Synthesis for Parameterized Systems”, supervision Béatrice BÉRARD, defence 12/17/2020.
- METIN Hakan :
“Exploitation des symétries dynamiques pour la résolution des problèmes SAT”, supervision Fabrice KORDON, defence 12/18/2019.
- EFFA BELLA Emma :
“Benefits of semi-supervised learning techniques in recovering traceability links between design artifacts”, supervision Marie-Pierre GERVAIS, defence 10/28/2019.
- LE FRIOUX Ludovic :
“Towards more efficient parallel SAT solving”, supervision Fabrice KORDON, defence 07/03/2019.
- BUI Thi-Mai-Anh :
“Separation of Concerns in Epidemiology”, supervision Mikal ZIANE, defence 12/09/2016.
- MARTINEZ Jabier :
“Mining software artefact variants for product line migration and analysis”, supervision Mikal ZIANE, defence 10/18/2016.
- KHELLADI Djamel Eddine : “Co-evolution of OCL constraints with evolution of metamodels”, supervision Reda BENDRAOU, defence 09/30/2016.
- MILLET Laure : “Verification and synthesis of robot protocols”, supervision Béatrice BÉRARD, defence 12/01/2015.
- LAURENT Yoann :
“Alloy4PV : Un Framework pour la Vérification de Procédés Métiers”, supervision Marie-Pierre GERVAIS, defence 01/15/2015.
- RENAULT Etienne :
“Contribution aux tests de vacuité pour le model checking explicite”, supervision Fabrice KORDON, defence 12/05/2014.
- BEN SALEM Ala Eddine :
“Improving the Model Checking of Stutter-Invariant LTL Properties”, supervision Fabrice KORDON, defence 09/25/2014.
- KCHIR Selma :
“Faciliter le développement des applications de robotique”, supervision Mikal ZIANE, defence 06/26/2014.
- COLANGE Maximilien : “Symmetry Reduction and Symbolic Data Structures for Model-Checking of Distributed Systems.”, supervision Fabrice KORDON, defence 12/10/2013.
- MELEKHOVA Olga :
“Coordination in decision-making for large-scale autonomic architectures”, supervision Jacques MALENFANT, defence 11/18/2013.
- BEN MAÏSSA Yann :
“Contribution to the modeling and verification of wireless sensor networks”, supervision Fabrice KORDON, defence 09/21/2013.
- ZHANG Yan : “Semi-Automatic Controller Design in a Java-like Language”, supervision Béatrice BÉRARD, defence 07/05/2013.
- WOUTERS Laurent : “Multi-Domain Expert-User Modeling Infrastructure”, supervision Marie-Pierre GERVAIS, defence 01/18/2013.
- ALMEIDA DA SILVA Marcos Aurélio : “Detection and Handling of Deviations in Process-centered Software Engineering Environments”, supervision Marie-Pierre GERVAIS, defence 06/25/2012.
- FALL Ibrahima :
“Gestion Optimisée de Produits-Modèles de Procédés Logiciels”, supervision Marie-Pierre GERVAIS, defence 02/08/2012.
- SASSOLAS Mathieu :
“Noninterférence et canaux cachés dans les systèmes temporisés”, supervision Béatrice BÉRARD, defence 11/28/2011.
- LE DUC Bao : “A QoI-aware Framework for Adaptive Monitoring”, supervision Jacques MALENFANT, defence 12/07/2010.
- ROGOVCHENKO Olena : “Abstractions for time and resource conscious composition in the context of distributed autonomous robotic systems”, supervision Jacques MALENFANT, defence 12/03/2010.
- MOUGENOT Alix :
“Praxis: Détection des incohérences dans les modèles répartis”, supervision Marie-Pierre GERVAIS, defence 11/19/2010.
- BONNEFOI Fabien :
“Vérification Formelle des Spécifications de Systèmes Complexes, Application aux Systèmes de Transport Intelligents”, supervision Fabrice KORDON, defence 09/27/2010.
- CHATEL Pierre :
“A qualitative approach for decision making under non-functional constraints during agile service composition”, supervision Jacques MALENFANT, defence 05/05/2010.
- LAJMI Amine :
“A Software Factory for the Generation of CAPE-OPEN compliant Process Modelling Components”, supervision Mikal ZIANE, defence 03/15/2010.
- BENMERZOUG Djamel :
“Méthodes et outils formels pour l’intégration d’applications d’entreprises”, supervision Fabrice KORDON, defence 12/13/2009.
- VORON Jean-Baptiste :
“Petri Nets-Based Automated and Dedicated Generation of Intrusion Detection Systems for Parallel Systems”, supervision Fabrice KORDON, defence 12/09/2009.
- HAMEZ Alexandre :
“Efficient generation of large state spaces”, supervision Fabrice KORDON, defence 12/08/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”, supervision Fabrice KORDON, defence 12/03/2009.
- LINARD Alban :
“Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification”, supervision Fabrice KORDON, defence 09/29/2009.
- HILLAH Lom Messan :
“Integration of formal methods into Model-Driven Development, for distributed systems and applications design and verification”, supervision Fabrice KORDON, defence 09/23/2009.
- MOREAU Aurélien :
“Mise en oeuvre automatique de processus métier dans le domaine des architectures orientées services”, supervision Jacques MALENFANT, defence 04/09/2009.
- PAJAULT Christophe :
“Model Checking parallèle et réparti de réseaux de Petri colorés de haut-niveau”, supervision Jean-François PRADAT-PEYRE, defence 06/23/2008.
- OZANNE Alain :
“Interact : Un modèle général de contrat pour la garantie des assemblages de composants et services”, supervision Jacques MALENFANT, defence 11/30/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”, supervision Marie-Pierre GERVAIS, defence 09/25/2007.
- BENDRAOU Reda :
“UML4SPM: Un Langage de Modélisation de Procédés De Développement Logiciel Exécutable Et Orienté Modèle”, supervision Marie-Pierre GERVAIS, defence 09/06/2007.
- SRIPLAKICH Prawee :
“ModelBus : un environnement réparti et ouvert pour l’ingénierie de modèles”, supervision Marie-Pierre GERVAIS, defence 09/05/2007.
- DURET-LUTZ Alexandre :
“Contributions à l'approche automate pour la vérification de propriétés de systèmes concurrents”, supervision Fabrice KORDON, defence 07/10/2007.
- BAARIR Souheib :
“Exploitation des symétries partielles pour la vérification et l'évaluation de performances des systèmes concurrents”, supervision Serge HADDAD, defence 05/16/2007.
- CHANTIT Salima :
“Transformations de programmes et contraintes de qualité pour améliorer l’outillage des patrons de conception”, supervision Mikal ZIANE, defence 11/28/2006.
- AMMOUR Samir :
“Support des patrons de conception dans les outils UML”, supervision Mikal ZIANE, defence 11/10/2006.
- BOUZITOUNA Salim :
“Construction d'applications réparties par réutilisation de modèles dans l'approche MDA : application à la plate-forme EJB”, supervision Marie-Pierre GERVAIS, defence 11/06/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”, supervision Fabrice KORDON, defence 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”, supervision Fabrice KORDON, defence 09/28/2005.
- THIÉFAINE Arnaud :
“Caractérisation et formalisation du processus de développement construit autour du paradigme de l'ingénierie des modèles”, supervision Jean-François PERROT, defence 07/08/2005.
- THIERRY-MIEG Yann : “Techniques for Model-checking of high-level specifications”, supervision Fabrice KORDON, defence 12/13/2004.
- DELERUE Olivier :
“Spatialisation du son et programmation par contraintes : le système MusicSpace”, supervision Jean-François PERROT, defence 01/22/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”, supervision Fabrice KORDON, defence 12/17/2003.
- KLAI Kais :
“Réseaux de Petri : Vérification Modulaire et Symbolique”, supervision Serge HADDAD, defence 12/01/2003.