Search - Archive ouverte HAL Access content directly

Filter your results

58 Results
Structure: Internal structure identifier : 489559
Image document

Design of resilient networked control systems

Rongyao Ling
Automatic. Ecole nationale supérieure Mines-Télécom Atlantique; Zhejiang University (Hangzhou, Chine), 2020. English. ⟨NNT : 2020IMTA0193⟩
Theses tel-03299347v1
Image document

Défense contre les attaques à l'aune des nouvelles formes de virtualisation des infrastructures

Maxime Bélair
Cryptographie et sécurité [cs.CR]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. Français. ⟨NNT : 2021IMTA0279⟩
Theses tel-03520546v1
Image document

Reconciling parallelism expressivity and separation of concerns in reconfiguration of distributed systems

Maverick Chardet
Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2020. English. ⟨NNT : 2020IMTA0194⟩
Theses tel-03230476v2
Image document

Tactical planning models for combined biofuel and bioenergy production

Sobhan Razm
Operations Research [cs.RO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2022. English. ⟨NNT : 2022IMTA0322⟩
Theses tel-03965502v1
Image document

Conception d’un système de supervision programmable et reconfigurable pour une infrastructure informatique et réseau répartie

Mohamed Abderrahim
Autre [cs.OH]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. Français. ⟨NNT : 2018IMTA0119⟩
Theses tel-02049129v1
Image document

Outils d'aide à la décision pour la mise en place et la configuration dynamique des lignes de production reconfigurables

Abdelkrim Ramzi Yelles-Chaouche
Recherche opérationnelle [cs.RO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. Français. ⟨NNT : 2021IMTA0269⟩
Theses tel-03520800v1
Image document

Model-driven methods for dynamic analysis applied to energy-aware software engineering

Thibault Beziers La Fosse
Software Engineering [cs.SE]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. English. ⟨NNT : 2021IMTA0232⟩
Theses tel-03274363v1
Image document

A model-driven methodology to unify software engineering in the internet of things

Imad Berrouyne
Modeling and Simulation. Ecole nationale supérieure Mines-Télécom Atlantique; Université du Québec à Chicoutimi, 2021. English. ⟨NNT : 2021IMTA0233⟩
Theses tel-03273235v1
Image document

Data-driven control of interdependent energy systems

Billy Wladimir Toro Tovar
Automatic Control Engineering. Ecole nationale supérieure Mines-Télécom Atlantique; Universidad nacional de Colombia, 2022. English. ⟨NNT : 2022IMTA0337⟩
Theses tel-04003286v1
Image document

Tactical production planning for physical and financial flows for supply chain in a multi-site context

Yuan Bian
Operations Research [cs.RO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0064⟩
Theses tel-01719523v1
Image document

Contribution à l'ordonnancement et la planication de ressources humaines

Odile Bellenguez-Morineau
Recherche opérationnelle [cs.RO]. Université de Nantes, 2015
Habilitation à diriger des recherches tel-02526237v1
Image document

Robust balancing of production lines : MILP models and pre-processing rules

Aleksandr Pirogov
Operations Research [cs.RO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0158⟩
Theses tel-02418792v1
Image document

Concepts et modèles formels pour l'analyse et la conception à objets

Jean-Claude Royer
Langage de programmation [cs.PL]. Université de Nantes - Faculté des Sciences et Techniques, 2001
Habilitation à diriger des recherches tel-02466362v1
Image document

Robust optimization for a lot-sizing problems under production yield uncertainty

Paula Metzker Soares
Operations Research [cs.RO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2022. English. ⟨NNT : 2022IMTA0309⟩
Theses tel-04008097v1
Image document

Model based localization and estimation of an ellipsoidal object using artificial electric sense

Sylvain Lanneau
Robotics [cs.RO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0030⟩
Theses tel-01713048v1
Image document

Modélisation dynamique des systèmes non-holonomes intermittents : application à la bicyclette

Johan Raphaël Mauny
Automatique / Robotique. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. Français. ⟨NNT : 2018IMTA0113⟩
Theses tel-02940450v1
Image document

Architectures réparties et conteneurs logiciels sécurisés pour coopérations médicales multi-sites

Sirine Sayadi
Calcul parallèle, distribué et partagé [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2022. Français. ⟨NNT : 2022IMTA0331⟩
Theses tel-03922210v1
Image document

A testing framework for executable domain-specific languages

Faezeh Khorram
Modeling and Simulation. Ecole nationale supérieure Mines-Télécom Atlantique, 2022. English. ⟨NNT : 2022IMTA0332⟩
Theses tel-03977604v1
Image document

Generic Model-based Approaches for Software Reverse Engineering and Comprehension

Hugo Bruneliere
Software Engineering [cs.SE]. Université de Nantes, 2018. English. ⟨NNT : 2018NANT4040⟩
Theses tel-02106854v1
Image document

Conception d’un système avancé de réacteur PWR flexible par les apports conjoints de l’ingénierie système et de l’automatique

Lori Lemazurier
Automatique. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. Français. ⟨NNT : 2018IMTA0069⟩
Theses tel-01815345v1
Image document

Control of Hybrid Systems and Discrete-Event Systems

Naly Rakoto-Ravalontsalama
Computer Science [cs]. IMT Atlantique, 2017
Habilitation à diriger des recherches tel-01761771v1
Image document

Efficient persistence, query, and transformation of large models

Gwendal Daniel
Programming Languages [cs.PL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0049⟩
Theses tel-01668561v1
Image document

Controlling Cloud-Based Systems for Elasticity Testing

Michel Albonico
Other [cs.OH]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0027⟩
Theses tel-01597829v1
Image document

Pilotage distribué de systèmes multi-énergies en réseau

Pierre Blaud
Automatique. Ecole nationale supérieure Mines-Télécom Atlantique, 2022. Français. ⟨NNT : 2022IMTA0290⟩
Theses tel-03681888v1
Image document

Semantic monitoring mechanisms dedicated to security monitoring in IaaS cloud

Yacine Hebbal
Computation and Language [cs.CL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0029⟩
Theses tel-01797056v1
Image document

Reconfiguration dynamique d’architectures logicielles : des métaclasses aux « nuages verts »

Thomas Ledoux
Génie logiciel [cs.SE]. Université de Nantes, Faculté des sciences et des techniques, 2018
Habilitation à diriger des recherches tel-01864344v1
Image document

Constraint modelling and solving of some verification problems

Anicet Bart
Programming Languages [cs.PL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0031⟩
Theses tel-01743851v1
Image document

Extending type theory with syntactic models

Simon Pierre Boulier
Logic in Computer Science [cs.LO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. English. ⟨NNT : 2018IMTA0110⟩
Theses tel-02007839v1
Image document

Estimating the number of solutions on cardinality constraints

Giovanni Christian Lo Bianco Accou
Combinatorics [math.CO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0155⟩
Theses tel-02408009v1
Image document

A type theory with definitional proof-irrelevance

Gaëtan Gilbert
Logic in Computer Science [cs.LO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0169⟩
Theses tel-03236271v1