Подразделения : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Бывшие команды : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
Архив исследовательских проектов : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- HUANG Yining : “Digital twin for the dynamic orchestration of autonomous and embedded systems”, научны(е)й руководител(и)ь Jacques MALENFANT, защита диссертаций 08.02.2024.
- GUIFO FODJO Yvan : “Separation of concerns in extended compartmental models”, научны(е)й руководител(и)ь Mikal ZIANE, Samuel BOWONG, защита диссертаций 15.09.2023.
- VALLADE Vincent : “Contributions to the parallel resolution of the SAT problem”, научны(е)й руководител(и)ь Souheib BAARIR, Fabrice KORDON, защита диссертаций 27.06.2023.
- HOUHOU Sara : “Parameterised Verification from Formal Specifications of Information Systems”, научны(е)й руководител(и)ь Pascal POIZAT, Laîd KAHLOUL, защита диссертаций 22.12.2021.
- GROLLEMUND Vincent : “Data mining and modeling of poorly structured or unstructured data”, научны(е)й руководител(и)ь Jean-François PRADAT-PEYRE, защита диссертаций 25.06.2021.
- LEHAUT Mathieu : “Synthesis for Parameterized Systems”, научны(е)й руководител(и)ь Béatrice BÉRARD, защита диссертаций 17.12.2020.
- METIN Hakan : “Exploitation des symétries dynamiques pour la résolution des problèmes SAT”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 18.12.2019.
- EFFA BELLA Emma : “Benefits of semi-supervised learning techniques in recovering traceability links between design artifacts”, научны(е)й руководител(и)ь Marie-Pierre GERVAIS, защита диссертаций 28.10.2019.
- LE FRIOUX Ludovic : “Towards more efficient parallel SAT solving”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 03.07.2019.
- BUI Thi-Mai-Anh : “Separation of Concerns in Epidemiology”, научны(е)й руководител(и)ь Mikal ZIANE, защита диссертаций 09.12.2016.
- MARTINEZ Jabier : “Mining software artefact variants for product line migration and analysis”, научны(е)й руководител(и)ь Mikal ZIANE, защита диссертаций 18.10.2016.
- KHELLADI Djamel Eddine : “Co-evolution of OCL constraints with evolution of metamodels”, научны(е)й руководител(и)ь Reda BENDRAOU, защита диссертаций 30.09.2016.
- MILLET Laure : “Verification and synthesis of robot protocols”, научны(е)й руководител(и)ь Béatrice BÉRARD, защита диссертаций 01.12.2015.
- LAURENT Yoann : “Alloy4PV : Un Framework pour la Vérification de Procédés Métiers”, научны(е)й руководител(и)ь Marie-Pierre GERVAIS, защита диссертаций 15.01.2015.
- RENAULT Etienne : “Contribution aux tests de vacuité pour le model checking explicite”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 05.12.2014.
- BEN SALEM Ala Eddine : “Improving the Model Checking of Stutter-Invariant LTL Properties”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 25.09.2014.
- KCHIR Selma : “Faciliter le développement des applications de robotique”, научны(е)й руководител(и)ь Mikal ZIANE, защита диссертаций 26.06.2014.
- COLANGE Maximilien : “Symmetry Reduction and Symbolic Data Structures for Model-Checking of Distributed Systems.”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 10.12.2013.
- MELEKHOVA Olga : “Coordination in decision-making for large-scale autonomic architectures”, научны(е)й руководител(и)ь Jacques MALENFANT, защита диссертаций 18.11.2013.
- BEN MAÏSSA Yann : “Contribution to the modeling and verification of wireless sensor networks”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 21.09.2013.
- ZHANG Yan : “Semi-Automatic Controller Design in a Java-like Language”, научны(е)й руководител(и)ь Béatrice BÉRARD, защита диссертаций 05.07.2013.
- WOUTERS Laurent : “Multi-Domain Expert-User Modeling Infrastructure”, научны(е)й руководител(и)ь Marie-Pierre GERVAIS, защита диссертаций 18.01.2013.
- ALMEIDA DA SILVA Marcos Aurélio : “Detection and Handling of Deviations in Process-centered Software Engineering Environments”, научны(е)й руководител(и)ь Marie-Pierre GERVAIS, защита диссертаций 25.06.2012.
- FALL Ibrahima : “Gestion Optimisée de Produits-Modèles de Procédés Logiciels”, научны(е)й руководител(и)ь Marie-Pierre GERVAIS, защита диссертаций 08.02.2012.
- SASSOLAS Mathieu : “Noninterférence et canaux cachés dans les systèmes temporisés”, научны(е)й руководител(и)ь Béatrice BÉRARD, защита диссертаций 28.11.2011.
- LE DUC Bao : “A QoI-aware Framework for Adaptive Monitoring”, научны(е)й руководител(и)ь Jacques MALENFANT, защита диссертаций 07.12.2010.
- ROGOVCHENKO Olena : “Abstractions for time and resource conscious composition in the context of distributed autonomous robotic systems”, научны(е)й руководител(и)ь Jacques MALENFANT, защита диссертаций 03.12.2010.
- MOUGENOT Alix : “Praxis: Détection des incohérences dans les modèles répartis”, научны(е)й руководител(и)ь Marie-Pierre GERVAIS, защита диссертаций 19.11.2010.
- BONNEFOI Fabien : “Vérification Formelle des Spécifications de Systèmes Complexes, Application aux Systèmes de Transport Intelligents”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 27.09.2010.
- CHATEL Pierre : “A qualitative approach for decision making under non-functional constraints during agile service composition”, научны(е)й руководител(и)ь Jacques MALENFANT, защита диссертаций 05.05.2010.
- LAJMI Amine : “A Software Factory for the Generation of CAPE-OPEN compliant Process Modelling Components”, научны(е)й руководител(и)ь Mikal ZIANE, защита диссертаций 15.03.2010.
- BENMERZOUG Djamel : “Méthodes et outils formels pour l’intégration d’applications d’entreprises”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 13.12.2009.
- VORON Jean-Baptiste : “Petri Nets-Based Automated and Dedicated Generation of Intrusion Detection Systems for Parallel Systems”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 09.12.2009.
- HAMEZ Alexandre : “Efficient generation of large state spaces”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 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”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 03.12.2009.
- LINARD Alban : “Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 29.09.2009.
- HILLAH Lom Messan : “Integration of formal methods into Model-Driven Development, for distributed systems and applications design and verification”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 23.09.2009.
- MOREAU Aurélien : “Mise en oeuvre automatique de processus métier dans le domaine des architectures orientées services”, научны(е)й руководител(и)ь Jacques MALENFANT, защита диссертаций 09.04.2009.
- PAJAULT Christophe : “Model Checking parallèle et réparti de réseaux de Petri colorés de haut-niveau”, научны(е)й руководител(и)ь Jean-François PRADAT-PEYRE, защита диссертаций 23.06.2008.
- OZANNE Alain : “Interact : Un modèle général de contrat pour la garantie des assemblages de composants et services”, научны(е)й руководител(и)ь Jacques MALENFANT, защита диссертаций 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”, научны(е)й руководител(и)ь Marie-Pierre GERVAIS, защита диссертаций 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”, научны(е)й руководител(и)ь Marie-Pierre GERVAIS, защита диссертаций 06.09.2007.
- SRIPLAKICH Prawee : “ModelBus : un environnement réparti et ouvert pour l’ingénierie de modèles”, научны(е)й руководител(и)ь Marie-Pierre GERVAIS, защита диссертаций 05.09.2007.
- DURET-LUTZ Alexandre : “Contributions à l'approche automate pour la vérification de propriétés de systèmes concurrents”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 10.07.2007.
- BAARIR Souheib : “Exploitation des symétries partielles pour la vérification et l'évaluation de performances des systèmes concurrents”, научны(е)й руководител(и)ь Serge HADDAD, защита диссертаций 16.05.2007.
- CHANTIT Salima : “Transformations de programmes et contraintes de qualité pour améliorer l’outillage des patrons de conception”, научны(е)й руководител(и)ь Mikal ZIANE, защита диссертаций 28.11.2006.
- AMMOUR Samir : “Support des patrons de conception dans les outils UML”, научны(е)й руководител(и)ь Mikal ZIANE, защита диссертаций 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”, научны(е)й руководител(и)ь Marie-Pierre GERVAIS, защита диссертаций 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”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 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”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 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”, научны(е)й руководител(и)ь Jean-François PERROT, защита диссертаций 08.07.2005.
- THIERRY-MIEG Yann : “Techniques for Model-checking of high-level specifications”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 13.12.2004.
- DELERUE Olivier : “Spatialisation du son et programmation par contraintes : le système MusicSpace”, научны(е)й руководител(и)ь Jean-François PERROT, защита диссертаций 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”, научны(е)й руководител(и)ь Fabrice KORDON, защита диссертаций 17.12.2003.
- KLAI Kais : “Réseaux de Petri : Vérification Modulaire et Symbolique”, научны(е)й руководител(и)ь Serge HADDAD, защита диссертаций 01.12.2003.