G∀min∃: Exploring the Boundary Between Executable Specification Languages and Behavior Analysis Tools
Ciprian Teodorov
Software Engineering [cs.SE]. Université de Bretagne Occidentale (UBO), Brest, 2023
HDR
tel-04066483v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Accélération matérielle de la vérification de sûreté et vivacité sur des architectures reconfigurables
Émilien Fournier
Génie logiciel [cs.SE]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2022. Français.
⟨NNT : 2022ENTA0006⟩
Thèse
tel-04109895v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Modélisation et Analyse Formelle de Modèles Système pour les Menaces Persistantes Avancées
Tithnara Nicolas Sun
Cryptographie et sécurité [cs.CR]. École nationale supérieure de techniques avancées Bretagne. (Ministère de la Défense), 2022. Français.
⟨NNT : ⟩
Thèse
tel-03889800v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Modélisation et analyse formelle de modèles système pour les menaces persistantes avancées
Tithnara Nicolas Sun
Génie logiciel [cs.SE]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2022. Français.
⟨NNT : 2022ENTA0004⟩
Thèse
tel-04095346v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Conception optimisée d’antenne pour de la localisation passive de sources acoustiques
Milan Courcoux-Caro
Acoustique [physics.class-ph]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2022. Français.
⟨NNT : 2022ENTA0001⟩
Thèse
tel-03848121v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Toward efficient data collection and decision-making strategies for resource-constrained sensor networks
Marwa Ibrahim
Ubiquitous Computing. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne; American University of Culture and Education (Beyrouth (Liban)), 2021. English.
⟨NNT : 2021ENTA0016⟩
Thèse
tel-03902785v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Finalités, contenus et démarches pédagogiques des écoles d'ingénieurs en Algérie face aux enjeux environnementaux
Lydia Djennadi
Education. HESAM Université; Ecole Nationale Supérieure de Management (Koléa), 2021. Français.
⟨NNT : 2021HESAC020⟩
Thèse
tel-03664706v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Analyse des endommagements dans les pipes en matériaux composites
Ammar Maziz
Matériaux et structures en mécanique [physics.class-ph]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. Français.
⟨NNT : 2021ENTA0019⟩
Thèse
tel-04061465v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Multi-hop routing for cognitive radio sensor network
Mohamad Rida Mortada
Networking and Internet Architecture [cs.NI]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. English.
⟨NNT : 2021ENTA0010⟩
Thèse
tel-03760771v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Contributions to the development of deep reinforcement learning-based controllers for AUV
Yoann Sola
Systems and Control [cs.SY]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. English.
⟨NNT : 2021ENTA0015⟩
Thèse
tel-03901160v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Autonomous perception algorithms for a team of underwater robots : coordination strategy based on onboard cameras
Xiaomin Wang
Signal and Image Processing. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. English.
⟨NNT : 2021ENTA0009⟩
Thèse
tel-03649442v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Caractérisation et modélisation de la rupture dans le domaine de la transition ductile-fragile de matériaux tubulaires utilisés dans la fabrication de générateurs de gaz pour airbags
Camille Caisso
Matériaux et structures en mécanique [physics.class-ph]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. Français.
⟨NNT : 2021ENTA0014⟩
Thèse
tel-03848126v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Comportement mécanique et rupture de l’interface adhésif/substrat d’assemblages collés vieillis en eau : caractérisation expérimentale et simulation numérique
Johnatan Leplat
Matériaux et structures en mécanique [physics.class-ph]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. Français.
⟨NNT : 2021ENTA0018⟩
Thèse
tel-04004448v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Safe localization and control of a towed sensor
Joris Tillet
Robotics [cs.RO]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. English.
⟨NNT : 2021ENTA0013⟩
Thèse
tel-03901141v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Étude des propriétés en fatigue polycyclique des matériaux et des structures obtenus par le procédé de fabrication additive arc-fil
Lorenzo Bercelli
Matériaux et structures en mécanique [physics.class-ph]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. Français.
⟨NNT : 2021ENTA0008⟩
Thèse
tel-03649347v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Étude des performances d’un composite carbone/époxy dopé par des nanocharges sous des sollicitations sévères
Manel Chihi
Matériaux et structures en mécanique [physics.class-ph]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne; Ecole Nationale d'Ingénieurs de Sousse (Tunisie), 2021. Français.
⟨NNT : 2021ENTA0017⟩
Thèse
tel-04051170v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Apports de l'imagerie qualitative infrarouge pour la caractérisation thermomécanique et le dimensionnement en fatigue de composites tissés 3D
Libor Navrátil
Matériaux et structures en mécanique [physics.class-ph]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. Français.
⟨NNT : 2021ENTA0007⟩
Thèse
tel-03648848v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Single crystal and polycrystalline niobium and OFE copper for SRF cavities applications : mechanical characterization at low to high strain rates and microstructural investigations
Jean-François Croteau
Materials and structures in mechanics [physics.class-ph]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. English.
⟨NNT : 2021ENTA0006⟩
Thèse
tel-03648489v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Ultra-wideband antenna systems for in-band full-duplex applications
Hadi Hijazi
Electronics. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne; Université de Bretagne Occidentale, 2021. English.
⟨NNT : 2021ENTA0011⟩
Thèse
tel-03772878v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Super résolution modale à partir d’une antenne linéaire horizontale
Thomas Paviet-Salomon
Traitement du signal et de l'image [eess.SP]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. Français.
⟨NNT : 2021ENTA0005⟩
Thèse
tel-03612391v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Transient obfuscation for HLS security : application to cloud security, birthmarking and hardware Trojan defense
Hannah Badier
Cryptography and Security [cs.CR]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. English.
⟨NNT : 2021ENTA0012⟩
Thèse
tel-03789700v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Fédération de modèles pour l’analyse de cybersécurité du point de vue d’un attaquant
Bastien Drouot
Génie logiciel [cs.SE]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. Français.
⟨NNT : 2021ENTA0003⟩
Thèse
tel-03421082v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Étude et modélisation d'impacts hautes et basses vitesses sur des matériaux et structures de satellites
Vincent Jaulin
Matériaux et structures en mécanique [physics.class-ph]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. Français.
⟨NNT : 2021ENTA0004⟩
Thèse
tel-03641686v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Safe & collaborative autonomous underwater docking : interval methods for proving the feasibility of an underwater docking problem
Auguste Bourgois
Robotics [cs.RO]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. English.
⟨NNT : 2021ENTA0002⟩
Thèse
tel-03419041v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Études numériques et expérimentales des impacts hydrodynamiques primaires et secondaires lors du tossage de sections de carènes
Yann Richard
Milieux fluides et réactifs. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. Français.
⟨NNT : 2021ENTA0001⟩
Thèse
tel-03406237v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Hybridation multi-sources pour améliorer les fonctions de détection, pistage, localisation et positionnement dans des environnements difficiles
Ngoc-Tan Truong
Electronique. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2020. Français.
⟨NNT : 2020ENTA0008⟩
Thèse
tel-03373570v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
EMI - Une approche pour unifier l’analyse et l’exécution embarquée à l’aide d’un interpréteur de modèles pilotable : application aux modèles UML des systèmes embarqués
Valentin Besnard
Génie logiciel [cs.SE]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2020. Français.
⟨NNT : 2020ENTA0007⟩
Thèse
tel-03371484v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
A reduced complexity parallel least mean square algorithm for adaptive beamforming
Ghattas Akkad
Electronics. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2020. English.
⟨NNT : 2020ENTA0005⟩
Thèse
tel-03368386v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Détermination rapide des propriétés en fatigue à grand nombre de cycles à partir de mesures d’auto-échauffement sous sollicitations cycliques : application aux alliages métalliques pour turboréacteurs aéronautiques
Vincent Roué
Matériaux et structures en mécanique [physics.class-ph]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2020. Français.
⟨NNT : 2020ENTA0004⟩
Thèse
tel-03364460v2
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Development of a new generation of fiber sensors for structural health monitoring in composites in real-time
Yumna Qureshi
Materials and structures in mechanics [physics.class-ph]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2020. English.
⟨NNT : 2020ENTA0012⟩
Thèse
tel-03405241v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More