Filter your results
- 58
- 52
- 6
- 53
- 5
- 3
- 1
- 9
- 11
- 6
- 6
- 10
- 13
- 1
- 1
- 1
- 39
- 19
- 57
- 18
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Design of resilient networked control systemsAutomatic. Ecole nationale supérieure Mines-Télécom Atlantique; Zhejiang University (Hangzhou, Chine), 2020. English. ⟨NNT : 2020IMTA0193⟩
Theses
tel-03299347v1
|
||
|
Défense contre les attaques à l'aune des nouvelles formes de virtualisation des infrastructuresCryptographie et sécurité [cs.CR]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. Français. ⟨NNT : 2021IMTA0279⟩
Theses
tel-03520546v1
|
||
|
Reconciling parallelism expressivity and separation of concerns in reconfiguration of distributed systemsDistributed, Parallel, and Cluster Computing [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2020. English. ⟨NNT : 2020IMTA0194⟩
Theses
tel-03230476v2
|
||
|
Tactical planning models for combined biofuel and bioenergy productionOperations Research [cs.RO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2022. English. ⟨NNT : 2022IMTA0322⟩
Theses
tel-03965502v1
|
||
|
Conception d’un système de supervision programmable et reconfigurable pour une infrastructure informatique et réseau répartieAutre [cs.OH]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. Français. ⟨NNT : 2018IMTA0119⟩
Theses
tel-02049129v1
|
||
|
Outils d'aide à la décision pour la mise en place et la configuration dynamique des lignes de production reconfigurablesRecherche opérationnelle [cs.RO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. Français. ⟨NNT : 2021IMTA0269⟩
Theses
tel-03520800v1
|
||
|
Model-driven methods for dynamic analysis applied to energy-aware software engineeringSoftware Engineering [cs.SE]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. English. ⟨NNT : 2021IMTA0232⟩
Theses
tel-03274363v1
|
||
|
A model-driven methodology to unify software engineering in the internet of thingsModeling and Simulation. Ecole nationale supérieure Mines-Télécom Atlantique; Université du Québec à Chicoutimi, 2021. English. ⟨NNT : 2021IMTA0233⟩
Theses
tel-03273235v1
|
||
|
Data-driven control of interdependent energy systemsAutomatic Control Engineering. Ecole nationale supérieure Mines-Télécom Atlantique; Universidad nacional de Colombia, 2022. English. ⟨NNT : 2022IMTA0337⟩
Theses
tel-04003286v1
|
||
|
Tactical production planning for physical and financial flows for supply chain in a multi-site contextOperations Research [cs.RO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0064⟩
Theses
tel-01719523v1
|
||
|
Contribution à l'ordonnancement et la planication de ressources humainesRecherche opérationnelle [cs.RO]. Université de Nantes, 2015
Habilitation à diriger des recherches
tel-02526237v1
|
||
|
Robust balancing of production lines : MILP models and pre-processing rulesOperations Research [cs.RO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0158⟩
Theses
tel-02418792v1
|
||
|
Concepts et modèles formels pour l'analyse et la conception à objetsLangage de programmation [cs.PL]. Université de Nantes - Faculté des Sciences et Techniques, 2001
Habilitation à diriger des recherches
tel-02466362v1
|
||
|
Robust optimization for a lot-sizing problems under production yield uncertaintyOperations Research [cs.RO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2022. English. ⟨NNT : 2022IMTA0309⟩
Theses
tel-04008097v1
|
||
|
Model based localization and estimation of an ellipsoidal object using artificial electric senseRobotics [cs.RO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0030⟩
Theses
tel-01713048v1
|
||
|
Modélisation dynamique des systèmes non-holonomes intermittents : application à la bicycletteAutomatique / Robotique. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. Français. ⟨NNT : 2018IMTA0113⟩
Theses
tel-02940450v1
|
||
|
Architectures réparties et conteneurs logiciels sécurisés pour coopérations médicales multi-sitesCalcul parallèle, distribué et partagé [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2022. Français. ⟨NNT : 2022IMTA0331⟩
Theses
tel-03922210v1
|
||
|
A testing framework for executable domain-specific languagesModeling and Simulation. Ecole nationale supérieure Mines-Télécom Atlantique, 2022. English. ⟨NNT : 2022IMTA0332⟩
Theses
tel-03977604v1
|
||
|
Generic Model-based Approaches for Software Reverse Engineering and ComprehensionSoftware Engineering [cs.SE]. Université de Nantes, 2018. English. ⟨NNT : 2018NANT4040⟩
Theses
tel-02106854v1
|
||
|
Conception d’un système avancé de réacteur PWR flexible par les apports conjoints de l’ingénierie système et de l’automatiqueAutomatique. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. Français. ⟨NNT : 2018IMTA0069⟩
Theses
tel-01815345v1
|
||
|
Control of Hybrid Systems and Discrete-Event SystemsComputer Science [cs]. IMT Atlantique, 2017
Habilitation à diriger des recherches
tel-01761771v1
|
||
|
Efficient persistence, query, and transformation of large modelsProgramming Languages [cs.PL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0049⟩
Theses
tel-01668561v1
|
||
|
Controlling Cloud-Based Systems for Elasticity TestingOther [cs.OH]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0027⟩
Theses
tel-01597829v1
|
||
|
Pilotage distribué de systèmes multi-énergies en réseauAutomatique. Ecole nationale supérieure Mines-Télécom Atlantique, 2022. Français. ⟨NNT : 2022IMTA0290⟩
Theses
tel-03681888v1
|
||
|
Semantic monitoring mechanisms dedicated to security monitoring in IaaS cloudComputation and Language [cs.CL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0029⟩
Theses
tel-01797056v1
|
||
|
Reconfiguration dynamique d’architectures logicielles : des métaclasses aux « nuages verts »Génie logiciel [cs.SE]. Université de Nantes, Faculté des sciences et des techniques, 2018
Habilitation à diriger des recherches
tel-01864344v1
|
||
|
Constraint modelling and solving of some verification problemsProgramming Languages [cs.PL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0031⟩
Theses
tel-01743851v1
|
||
|
Extending type theory with syntactic modelsLogic in Computer Science [cs.LO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. English. ⟨NNT : 2018IMTA0110⟩
Theses
tel-02007839v1
|
||
|
Estimating the number of solutions on cardinality constraintsCombinatorics [math.CO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0155⟩
Theses
tel-02408009v1
|
||
|
A type theory with definitional proof-irrelevanceLogic in Computer Science [cs.LO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0169⟩
Theses
tel-03236271v1
|
- 1
- 2