Publications HAL du labo/EPI LAAS de la collection LAAS-RISC

2023

Thèse

titre
A polyhedral framework for reachability problems in Petri Nets
auteur
Nicolas Amat
article
Networking and Internet Architecture [cs.NI]. INSA de Toulouse, 2023. English. ⟨NNT : 2023ISAT0033⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04458457/file/2023NicolasAMAT.pdf BibTex
titre
Concilier débit et efficacité énergétique dans les réseaux étendus à basse consommation
auteur
Laurent Chasserat
article
Library and information sciences. Université Paul Sabatier - Toulouse III, 2023. English. ⟨NNT : 2023TOU30171⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04347640/file/2023TOU30171.pdf BibTex
titre
Protection des données des véhicules connectés : une approche cryptographique reposant sur le chiffrement basé attributs
auteur
Rémi Adelin
article
Cryptographie et sécurité [cs.CR]. INSA de Toulouse, 2023. Français. ⟨NNT : 2023ISAT0011⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04206570/file/2023RemiADELIN.pdf BibTex
titre
Adaptation d'Outils Cryptographiques pour un Contexte Post-Quantique
auteur
Cyrius Nugier
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2023. Français. ⟨NNT : 2023ISAT0012⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-04172409/file/2023CyriusNUGIER.pdf BibTex
titre
Runtime safety monitoring of ML-based perception functions in autonomous systems
auteur
Raul Sena Ferreira
article
Cryptography and Security [cs.CR]. Université Paul Sabatier - Toulouse III, 2023. English. ⟨NNT : 2023TOU30051⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04342588/file/2023TOU30051a.pdf BibTex
titre
Wide and Local Area Wireless Network security based on physical layer monitoring
auteur
Florent Galtier
article
Cryptography and Security [cs.CR]. Université Paul Sabatier - Toulouse III, 2023. English. ⟨NNT : 2023TOU30017⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04213675/file/2023TOU30017a.pdf BibTex

2022

Thèse

titre
Uncertainty assessment in safety argument structure : an approach based on Dempster-Shafer theory
auteur
Yassir Idmessaoud
article
Cryptography and Security [cs.CR]. Université Paul Sabatier - Toulouse III, 2022. English. ⟨NNT : 2022TOU30263⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04048943/file/2022TOU30263a.pdf BibTex
titre
an Efficient emergency information dissemination scheme for emerging infrastructure-based vehicular networks
auteur
Raoua Chakroun
article
Networking and Internet Architecture [cs.NI]. INSA de Toulouse, 2022. English. ⟨NNT : 2022ISAT0026⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03923467/file/2022RaouaCHAKROUN.pdf BibTex
titre
Prévention des fautes temporelles sur architectures multicoeur pour les systèmes à criticité mixte
auteur
Daniel Loche
article
Autre. Institut National Polytechnique de Toulouse - INPT, 2022. Français. ⟨NNT : 2022INPT0051⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04355175/file/LOCHE_Daniel.pdf BibTex
titre
Détection dynamique d'attaques logicielles et matérielles basée sur l'analyse de signaux microarchitecturaux
auteur
Yuxiao Mao
article
Architectures Matérielles [cs.AR]. INSA de Toulouse, 2022. Français. ⟨NNT : 2022ISAT0015⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03783728/file/2022YuxiaoMAO.pdf BibTex
titre
Offensive and defensive approaches for wireless communication protocols security in IoT
auteur
Romain Cayre
article
Networking and Internet Architecture [cs.NI]. INSA de Toulouse, 2022. English. ⟨NNT : 2022ISAT0022⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-03841305/file/2022RomainCAYRE.pdf BibTex
titre
A Cost-driven Approach for Virtualized Network Services Life-cycle Management)
auteur
Nour El Houda Nouar
article
Networking and Internet Architecture [cs.NI]. Université Toulouse 1 Capitole, 2022. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-03716427/file/The%CC%80se%20NOUAR.pdf BibTex

2021

Thèse

titre
Equilibrage de charge efficace et adaptatif avec contraintes temporelles pour les véhicules connectés
auteur
Jean Ibarz
article
Autre. Institut National Polytechnique de Toulouse - INPT, 2021. Français. ⟨NNT : 2021INPT0123⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04186763/file/IBARZ_Jean.pdf BibTex
titre
Towards a coordination-free orchestration approach to manage consistent service reconfiguration in NFV multi-domain environments
auteur
Josué Castañeda Cisneros
article
Networking and Internet Architecture [cs.NI]. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0038⟩
Accès au texte intégral et bibtex
https://hal.science/tel-03586531/file/2021JosueCASTANEDACISNEROS.pdf BibTex
titre
Numerical modeling of wave propagation in complex media : application to unconsolidated granular media
auteur
Kassem Asfour
article
Geophysics [physics.geo-ph]. Université Paul Sabatier - Toulouse III, 2021. English. ⟨NNT : 2021TOU30195⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03664816/file/2021TOU30195b.pdf BibTex
titre
Synchronous Product of Time Petri Nets and its Applications to Fault-Diagnosis
auteur
Eric Lubat
article
Embedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0025⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-03528121/file/2021EricLUBAT.pdf BibTex
titre
Génération et analyse de tests pour les systèmes autonomes
auteur
Clément Robert
article
Robotique [cs.RO]. Université Paul Sabatier - Toulouse III, 2021. Français. ⟨NNT : 2021TOU30119⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03591139/file/2021TOU30119b.pdf BibTex
titre
Towards ML-based Management of Software-Defined Networks
auteur
Kokouvi Benoit Nougnanke
article
Artificial Intelligence [cs.AI]. Université Paul Sabatier - Toulouse III, 2021. English. ⟨NNT : 2021TOU30047⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03343066/file/2021TOU30047a.pdf BibTex
titre
On QoS Management in NFV-enabled IoT Platforms
auteur
Clovis Anicet Ouedraogo
article
Networking and Internet Architecture [cs.NI]. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0004⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-03580973/file/2021ClovisOUEDRAOGO.pdf BibTex
titre
Détection d'intrusion basée sur l'analyse de compteurs matériels pour des objets connectés
auteur
Malcolm Bourdon
article
Autre [cs.OH]. INSA de Toulouse, 2021. Français. ⟨NNT : 2021ISAT0027⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-03572845/file/2021BourdonMalcolm.pdf BibTex
titre
Study of Qualimetry essentials applied to embedded software development
auteur
Yann Argotti
article
Embedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0034⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03738148/file/2021ARGOTTIYann.pdf BibTex
titre
Enhance innovation in conceptual design through knowledge structuring
auteur
Xin Yi
article
Mechanical engineering [physics.class-ph]. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0039⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03724023/file/2021XinYI.pdf BibTex
titre
Placement optimisé de services dans les architectures fog computing et internet of things sous contraintes d'énergie, de QoS et de mobilité
auteur
Tanissia Djemai
article
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2021. Français. ⟨NNT : 2021TOU30019⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03280438/file/2021TOU30019b.pdf BibTex
titre
VTL : A Stable Framework for Conception, Implementation, and Deployment of Internet Communication Protocols
auteur
El-Fadel Bonfoh
article
Networking and Internet Architecture [cs.NI]. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0012⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03523678/file/2021BONFOHElfadel.pdf BibTex

2020

Mémoire d'étudiant

titre
Applications of ML in Networking and IoT
auteur
Saif Eddine Nouma
article
Artificial Intelligence [cs.AI]. 2020
Accès au texte intégral et bibtex
https://laas.hal.science/hal-02932494/file/Rapport%20PFE.pdf BibTex

Thèse

titre
Proportional-Fair Scheduling of Mobile Users based on a Partial View of Future Channel Conditions
auteur
Thi Thuy Nga Nguyen
article
Automatic Control Engineering. INSA de Toulouse, 2020. English. ⟨NNT : 2020ISAT0023⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03351962/file/2020NguyenNgaThuy.pdf BibTex
titre
Vers des réseaux véhiculaires (VANET) programmables grâce à la technologie SDN (software defined network)
auteur
Soufian Toufga
article
Performance et fiabilité [cs.PF]. Université Paul Sabatier - Toulouse III, 2020. Français. ⟨NNT : 2020TOU30128⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03018618/file/2020TOU30128a.pdf BibTex
titre
Détection autonome de trafic malveillant dans les réseaux véhiculaires
auteur
Quentin Ricard
article
Systèmes embarqués. Université Paul Sabatier - Toulouse III, 2020. Français. ⟨NNT : 2020TOU30149⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-02966530/file/2020TOU30149b.pdf BibTex
titre
4G/5G cellular networks metrology and management
auteur
Imane Oussakel
article
Networking and Internet Architecture [cs.NI]. Université Paul Sabatier - Toulouse III, 2020. English. ⟨NNT : 2020TOU30261⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03236078/file/2020TOU30261b.pdf BibTex
titre
Perception de l'environnement urbain à l'aide d'une flotte de capteurs sur des vélos : application à la pollution de l'air
auteur
Christophe Bertero
article
Modélisation et simulation. Université Paul Sabatier - Toulouse III, 2020. Français. ⟨NNT : 2020TOU30321⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03700021/file/2020TOU30321b.pdf BibTex
titre
Sécurité par analyse comportementale de fonctions embarquées sur plateformes avioniques modulaires intégrées
auteur
Aliénor Damien
article
Cryptographie et sécurité [cs.CR]. INSA de Toulouse, 2020. Français. ⟨NNT : 2020ISAT0001⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-02953842/file/2020AlienorDamien.pdf BibTex
titre
Resource allocation with observable and unobservable environments
auteur
Santiago Duran
article
Systems and Control [cs.SY]. Université Paul Sabatier - Toulouse III, 2020. English. ⟨NNT : 2020TOU30018⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-02900413/file/2020TOU30018b.pdf BibTex
titre
Systèmes résilients pour l'automobile : d'une approche à composants à une approche à objets de la tolérance aux fautes adaptative sur ROS
auteur
Matthieu Amy
article
Autre. Institut National Polytechnique de Toulouse - INPT, 2020. Français. ⟨NNT : 2020INPT0014⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04419451/file/AMY_Matthieu.pdf BibTex

2019

HDR

titre
Capturing Binary Graphs
auteur
Gilles Trédan
article
Computer Science [cs]. Institut National Polytechnique de Toulouse (INPT), 2019
Accès au texte intégral et bibtex
https://laas.hal.science/tel-02298644/file/TREDAN%20Gilles.pdf BibTex

Thèse

titre
Contrôle d'accès dynamique et architecture de sécurité pour la protection des applications sous Android
auteur
Guillaume Averlant
article
Cryptographie et sécurité [cs.CR]. INSA de Toulouse, 2019. Français. ⟨NNT : 2019ISAT0026⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02440787/file/2019AverlantGuillaume.pdf BibTex
titre
Interoperability between heterogeneous systems in an open environment for implementation of co-simulation
auteur
Yassine Motie
article
Computer Aided Engineering. Université Toulouse 3 Paul Sabatier, 2019. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-02301623/file/MOTIE%20Yassine.pdf BibTex
titre
Quality Assurance methodology for system requirement definition
auteur
Karla Gomez Sotelo
article
Other. INSA de Toulouse, 2019. English. ⟨NNT : 2019ISAT0037⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02901527/file/2019KarlaGomezSotelo.pdf BibTex
titre
Safety monitoring for autonomous systems : interactive elicitation of safety rules
auteur
Lola Masson
article
Performance [cs.PF]. Université Paul Sabatier - Toulouse III, 2019. English. ⟨NNT : 2019TOU30220⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02098246/file/2019TOU30220a.pdf BibTex
titre
Parallel genetic algorithms to solve dynamic task scheduling problems efficiently by taking into account the energy
auteur
Jia Luo
article
Networking and Internet Architecture [cs.NI]. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-02009769/file/LUO%20Jia.pdf BibTex

2018

HDR

titre
Vers la Dématérialisation des Réseaux Hybrides Satellites et Terrestres
auteur
Pascal Berthou
article
Réseaux et télécommunications [cs.NI]. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2018
Accès au texte intégral et bibtex
https://laas.hal.science/tel-02197481/file/BERTHOU%20Pascal%20HDR.pdf BibTex
titre
Adaptation dans les systèmes dynamiques : une vision informatique de la résilience
auteur
Matthieu Roy
article
Calcul parallèle, distribué et partagé [cs.DC]. Université de Toulouse - Institut National Polytechnique de Toulouse (INPT), 2018
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01801677/file/HDR-roy-2018.pdf BibTex

Thèse

titre
Développement et évaluation d'obfuscations de protocoles basées sur la spécification
auteur
Julien Duchene
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2018. Français. ⟨NNT : 2018ISAT0054⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04026358/file/2018JulienDUCHENE.pdf BibTex
titre
Approche de gestion orientée service pour l'Internet des objets (IoT) considérant la Qualité de Service (QoS)
auteur
Guillaume Garzone
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2018. Français. ⟨NNT : 2018ISAT0027⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02003697/file/2018GARZONEGuillaume.pdf BibTex
titre
Autonomic Approach based on Semantics and Checkpointing for IoT System Management
auteur
François Aïssaoui
article
Networking and Internet Architecture [cs.NI]. Université Toulouse 1 Capitole (UT1 Capitole), 2018. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-02007331/file/AISSAOUI%20Fran%C3%A7ois.pdf BibTex
titre
Towards interoperable IOT systems with a constraint-aware semantic web of things
auteur
Nicolas Seydoux
article
Artificial Intelligence [cs.AI]. INSA de Toulouse, 2018. English. ⟨NNT : 2018ISAT0035⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-02093952/file/2018NicolasSeydoux.pdf BibTex
titre
Simulation of dynamically structured systems in a model-based system engineering approach applied to reconfigurable hardware
auteur
Min Zhu
article
Computer science. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2018. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-01938154/file/ZHU%20Min.pdf BibTex
titre
Détection d'attaques sur les équipements d'accès à Internet
auteur
Gilles Roudiere
article
Intelligence artificielle [cs.AI]. INSA de Toulouse, 2018. Français. ⟨NNT : 2018ISAT0017⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01886092/file/2018RoudiereGilles.pdf BibTex
titre
Vers les réseaux guidés par et pour les applications hautement dynamiques
auteur
Armel Francklin Simo Tegueu
article
Réseaux et télécommunications [cs.NI]. Institut national des sciences appliquées de Toulouse, 2018. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-01963167/file/SIMO%20TEGUEU%20Armel%20Francklin.pdf BibTex
titre
Résilience des systèmes informatiques adaptatifs : modélisation, analyse et quantification
auteur
William Excoffon
article
Autre. Institut National Polytechnique de Toulouse - INPT, 2018. Français. ⟨NNT : 2018INPT0049⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04206509/file/EXCOFFON_William2.pdf BibTex
titre
Test aléatoire de la navigation de robots dans des mondes virtuels
auteur
Thierry Sotiropoulos
article
Robotique [cs.RO]. Université Paul Sabatier - Toulouse III, 2018. Français. ⟨NNT : 2018TOU30097⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-01886631/file/2018TOU30097b.pdf BibTex
titre
Confidence in safety argument - An assessment framework based on belief function theory
auteur
Rui Wang
article
Cryptography and Security [cs.CR]. INSA de Toulouse, 2018. English. ⟨NNT : 2018ISAT0013⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-01880790/file/2018RuiWANG.pdf BibTex
titre
A distributed modular self-reconfiguring robotic platform based on simplified electro-permanent magnets
auteur
Li Zhu
article
Networking and Internet Architecture [cs.NI]. Universite Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2018. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-01829962/file/ZHU%20Li.pdf BibTex
titre
Improving performance measurement of engineering projects : methods to develop indicators
auteur
Li Zheng
article
Other. INSA de Toulouse, 2018. English. ⟨NNT : 2018ISAT0006⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-02917920/file/ZHENG%20Li.pdf BibTex
titre
Privacy-enhancing technologies for ridesharing
auteur
Ulrich Matchi Aïvodji
article
Cryptography and Security [cs.CR]. Université Paul Sabatier - Toulouse III, 2018. English. ⟨NNT : 2018TOU30017⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-01735575/file/2018TOU30017b.pdf BibTex

2017

Thèse

titre
Architecture Autonome et Extensible pour une Couche de Transport Évolutive. Application aux Communications Aéronautique par Satellites
auteur
Mohamed Oulmahdi
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2017. Français. ⟨NNT : 2017ISAT0015⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01660846/file/2017OulmahdiMohamed.pdf BibTex
titre
Distributed Localization and Conflict Detection in Mobile Wireless Networks
auteur
Imen Mahjri
article
Other. INSA de Toulouse, 2017. English. ⟨NNT : 2017ISAT0012⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02003579/file/2017Mahjri.pdf BibTex
titre
Plateforme de calcul parallèle « Design for Demise »
auteur
Bastien Plazolles
article
Calcul parallèle, distribué et partagé [cs.DC]. Université Paul Sabatier - Toulouse III, 2017. Français. ⟨NNT : 2017TOU30055⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03689959/file/2017TOU30055.pdf BibTex

2016

HDR

titre
Contribution à la conception et à la vérification de systèmes temps réel — Focus sur l'ordonnancement temps réel
auteur
Pierre-Emmanuel Hladik
article
Systèmes embarqués. INP DE TOULOUSE, 2016
Accès au texte intégral et bibtex
https://hal.science/tel-01451027/file/hdr.pdf BibTex

Mémoire d'étudiant

titre
Anomaly Detection in Cloud Applications
auteur
Javier Alcaraz, Mohamed Kaâniche, Carla Sauvanaud
article
Machine Learning [cs.LG]. 2016
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01406168/file/Rapport%20de%20Stage%20Javier%20Alcaraz.pdf BibTex

Thèse

titre
Towards Autonomic and Cognitive IoT Systems, Application to Patients’ Treatments Management
auteur
Emna Mezghani
article
Networking and Internet Architecture [cs.NI]. INSA de Toulouse, 2016. English. ⟨NNT : 2016ISAT0016⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01665497/file/2016EmnaMEZGHANI.pdf BibTex
titre
Monitoring et détection d'anomalie par apprentissage dans les infrastructures virtualisées
auteur
Carla Sauvanaud
article
Autre [cs.OH]. INSA de Toulouse, 2016. Français. ⟨NNT : 2016ISAT0043⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01445648/file/2016SauvanaudCarla.pdf BibTex
titre
Chiffrement homomorphe appliqué au retrait d'information privé
auteur
Joris Barrier
article
Cryptographie et sécurité [cs.CR]. INSA de Toulouse, 2016. Français. ⟨NNT : 2016ISAT0041⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-01682332/file/2016BarrierJoris.pdf BibTex
titre
Protection des systèmes informatiques vis-à-vis des malveillances : un hyperviseur de sécurité assisté par le matériel
auteur
Benoît Morgan
article
Système d'exploitation [cs.OS]. INSA de Toulouse, 2016. Français. ⟨NNT : 2016ISAT0026⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01542490/file/2016benoitmorgan.pdf BibTex
titre
Inférence et modèles de données personnelles : mobilité sociale, proximité spatiale
auteur
Roberto Pasqua
article
Informatique. Université Paul Sabatier - Toulouse III, 2016. Français. ⟨NNT : 2016TOU30195⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01416982/file/2016TOU30195c.pdf BibTex
titre
Simulation product fidelity : a qualitative & quantitative system engineering approach
auteur
Sangeeth Saagar Ponnusamy
article
Electronics. Université Paul Sabatier - Toulouse III, 2016. English. ⟨NNT : 2016TOU30398⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01376060/file/2016TOU30398a.pdf BibTex
titre
An outright open source approach for simple and pragmatic Internet exchange
auteur
Marc Bruyère
article
Networking and Internet Architecture [cs.NI]. Universite Toulouse III Paul Sabatier, 2016. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-01393222/file/BRUYERE%20M.pdf BibTex
titre
MULUS : un réseau social distribué pour une consommation sélective de contenus composites
auteur
Amina Chaabane
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2016. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-01376046/file/CHAABANE%20A.pdf BibTex
titre
Efficient Time and QoS-Aware Selection for Service Composition
auteur
Ikbel Guidara
article
Networking and Internet Architecture [cs.NI]. Université Toulouse 1 Capitole (UT1 Capitole); Ecole Nationale d'Ingénieurs de Sfax, 2016. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-01504516/file/GUIDARA%20Ikbel.pdf BibTex
titre
Improving Cooperation between Systems Engineers and Project Managers in Engineering Projects - Towards the alignment of Systems Engineering and Project Management standards and guides
auteur
Rui Xue
article
Systems and Control [cs.SY]. INSA de Toulouse, 2016. English. ⟨NNT : 2016ISAT0018⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-01376031/file/2016RuiXUE.pdf BibTex

2015

HDR

titre
Trusting robots : Contributions to dependable autonomous collaborative robotic systems
auteur
Jérémie Guiochet
article
Embedded Systems. Université de Toulouse 3 Paul Sabatier, 2015
Accès au texte intégral et bibtex
https://hal.science/tel-01276555/file/mainHDRguiochet.pdf BibTex

Thèse

titre
Gestion de la qualité de service des systèmes publier/souscrire déployés sur un réseau mobile ad hoc
auteur
Imene Lahyani Abdennadher
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse; Co-tutelle avec l'école nationale d'ingénieurs de Sfax, 2015. Français. ⟨NNT : 2015ISAT0053⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02094364/file/2015ImeneLAHYANI.pdf BibTex
titre
Sélection et composition flexible basée services abstraits pour une meilleure adaptation aux intentions des utilisateurs
auteur
Emma Fki
article
Réseaux et télécommunications [cs.NI]. Univerisité Toulouse 1 Capitole, 2015. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01314946/file/FKI%20Emna.pdf BibTex
titre
Contribution à la modélisation et la vérification formelle par model checking - Symétries pour les Réseaux de Petri temporels
auteur
Pierre-Alain Bourdil
article
Systèmes embarqués. INSA de Toulouse, 2015. Français. ⟨NNT : 2015ISAT0041⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01579065/file/2015bourdil.pdf BibTex
titre
Dynamic control of stochastic and fluid resource-sharing systems
auteur
Maialen Larrañaga
article
Information Theory [cs.IT]. Institut National Polytechnique de Toulouse - INPT; Universidad del País Vasco, 2015. English. ⟨NNT : 2015INPT0075⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01241496/file/LARRANAGA%20M.pdf BibTex
titre
Evaluation et analyse des mécanismes de sécurité des réseaux dans les infrastructures virtuelles de cloud computing
auteur
Thibaut Probst
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2015. Français. ⟨NNT : 2015INPT0094⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04258367/file/PROBST_Thibaut.pdf BibTex
titre
Détection d'intrusion pour des réseaux embarqués automobiles : une approche orientée langage
auteur
Ivan Studnia
article
Informatique [cs]. Institut national des sciences appliquées de Toulouse, 2015. Français. ⟨NNT : 2015ISAT0048⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02043149/file/STUDNIA.pdf https://theses.hal.science/tel-02043149/file/RAVET%20%281%29.pdf https://theses.hal.science/tel-02043149/file/RAVET.pdf BibTex
titre
Sécurité des équipements grand public connectés à Internet : évaluation des liens de communication
auteur
Yann Bachy
article
Cryptographie et sécurité [cs.CR]. INSA de Toulouse, 2015. Français. ⟨NNT : 2015ISAT0014⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01195780/file/2015Bachy.pdf BibTex
titre
Privacy-preserving and secure location authentication
auteur
Moussa Traoré
article
Cryptography and Security [cs.CR]. Institut National Polytechnique de Toulouse - INPT, 2015. English. ⟨NNT : 2015INPT0053⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02087888/file/TRAORE_Moussa2.pdf BibTex
titre
Validation de modèles de simulation
auteur
Damien Foures
article
Automatique. Universite Toulouse III Paul Sabatier, 2015. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01200720/file/FOURES%20D.pdf BibTex
titre
Modélisation formelle de systèmes dynamiques autonomes : graphe, réécriture et grammaire
auteur
Cédric Eichler
article
Mathématiques [math]. Universite Toulouse III Paul Sabatier, 2015. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01174370/file/EICHLER%20C.pdf BibTex
titre
From safety analysis to experimental validation by fault injection - Case of automotive embedded systems
auteur
Ludovic Pintard
article
Embedded Systems. Institut National Polytechnique de Toulouse - INPT, 2015. English. ⟨NNT : 2015INPT0052⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01216586/file/PINTARD_Ludovic2.pdf BibTex
titre
Ingénierie des réseaux optiques SDH et WDM et étude multicouche IP/MPLS sur OTN sur DWDM
auteur
Sami Baraketi
article
Réseaux et télécommunications [cs.NI]. Universite Toulouse III Paul Sabatier, 2015. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01150507/file/BARAKETI.pdf BibTex
titre
Analyse et justification de la sécurité de systèmes robotiques en interaction physique avec l’humain
auteur
Quynh Anh Do Hoang
article
Robotique [cs.RO]. Institut National Polytechnique de Toulouse - INPT, 2015. Français. ⟨NNT : 2015INPT0025⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01200728/file/DO%20HOANG.pdf BibTex

2014

Thèse

titre
Étude et évaluation des politiques d'ordonnancement temps réel multiprocesseur
auteur
Maxime Chéramy
article
Systèmes embarqués. Institut National des Sciences Appliquées de Toulouse (INSA Toulouse), 2014. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01104953/file/Cheramy.pdf BibTex
titre
Architecture et processus de développement permettant la mise à jour dynamique de systèmes embarqués automobiles
auteur
Hélène Martorell
article
Autre [cs.OH]. Institut National Polytechnique de Toulouse - INPT, 2014. Français. ⟨NNT : 2014INPT0108⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04260953/file/MARTORELL_Helene.pdf BibTex
titre
Applications of game theory to distributed routing and delay tolerant networking
auteur
Tatiana Seregina
article
Networking and Internet Architecture [cs.NI]. Institut National des Sciences Appliquées de Toulouse (INSA Toulouse), 2014. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01105009/file/Seregina__Thesis_2014-12-08__PRINT.pdf BibTex
titre
Adaptation d’architectures logicielles de contrôle d’accès dans les environnements collaboratifs ubiquitaires
auteur
Aymen Kamoun
article
Réseaux et télécommunications [cs.NI]. Universite de toulouse 1, 2014. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01200743/file/KAMOUN.pdf BibTex
titre
Supervision en ligne de propriétés temporelles dans les systèmes distribués temps-réel
auteur
Olivier Baldellon
article
Autre [cs.OH]. Institut National Polytechnique de Toulouse - INPT, 2014. Français. ⟨NNT : 2014INPT0098⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-02098176/file/BALDELLON_Olivier.pdf BibTex
titre
Modélisation d’une architecture orientée service et basée composant pour une couche de Transport autonome, dynamique et hautement configurable
auteur
Guillaume Dugué
article
Réseaux et télécommunications [cs.NI]. Institut National des Sciences Appliquées de Toulouse (INSA Toulouse), 2014. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01079998/file/DUGUE%20G.pdf BibTex

2013

HDR

titre
CONTRIBUTIONS À LA RÉSILIENCE ET AU RESPECT DE LA VIE PRIVÉE DES SYSTÈMES MOBIQUITAIRES
auteur
Marc-Olivier Killijian
article
Informatique ubiquitaire. Université Paul Sabatier - Toulouse III, 2013
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00849725/file/hdr-marco.pdf BibTex

Thèse

titre
Attaques d'inférence sur des bases de données géolocalisées
auteur
Miguel Nuñez del Prado Cortez
article
Informatique ubiquitaire. INSA de Toulouse, 2013. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00926957/file/Inference_attacks_on_geolocated_data_MNPC.pdf BibTex
titre
Architecting Resilient Computing Systems : a Component-Based Approach
auteur
Miruna Stoicescu
article
Ubiquitous Computing. Institut National Polytechnique de Toulouse - INPT, 2013. English. ⟨NNT : 2013INPT0120⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04301500/file/stoicescu.pdf BibTex
titre
Architecture réseau pour véhicule de transport en commun communiquant
auteur
Lionel Bertaux
article
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2013. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00910772/file/these_lionel_bertaux.pdf BibTex
titre
Contributions to modeling, structural analysis, and routing performance in dynamic networks
auteur
Anh-Dung Nguyen
article
Other. Institut National Polytechnique de Toulouse - INPT, 2013. English. ⟨NNT : 2013INPT0049⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04287344/file/Nguyen_AnhDunG.pdf BibTex
titre
Prévention et détection des interférences inter-aspects : méthode et application à l'aspectisation de la tolérance aux fautes
auteur
Jimmy Lauret
article
Autre. Institut National Polytechnique de Toulouse - INPT, 2013. Français. ⟨NNT : 2013INPT0023⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04237894/file/LAURET_Jimmy.pdf BibTex
titre
Une approche dirigée par les modèles pour le développement de tests pour systèmes avioniques embarqués
auteur
Alexandru Robert Ciprian Guduvan
article
Informatique et langage [cs.CL]. Institut Superieur de L' Aeronautique et de l'Espace, 2013. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00842406/file/Une_approche_dirigA_e_par_les_modA_les_pour_le_dA_veloppement_de_tests_pour_systA_mes_avioniques_embarquA_s_-_SynthA_se_version_finale_.pdf BibTex
titre
Aircraft operational reliability - A Model-based approach and case studies
auteur
Kossi Tiassou
article
Logic in Computer Science [cs.LO]. INSA de Toulouse, 2013. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00807442/file/Thesis_Tiassou.pdf BibTex

2012

HDR

titre
Analyse et optimisation de performance des réseaux de communication
auteur
Olivier Brun
article
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2012
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00728757/file/HDRmain.pdf BibTex

Thèse

titre
Adaptation de la couche transport des systèmes de communication hybrides satellite/terrestre
auteur
Ihsane Tou
article
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2012. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00807583/file/ThA_se_TOU_Ihsane_ComplA_te.pdf BibTex
titre
Processus d'identification de contraintes de sécurité innocuité vérifiables en ligne pour des systèmes autonomes critiques
auteur
Amina Mekki-Mokhtar
article
Autre [cs.OH]. Université Paul Sabatier - Toulouse III, 2012. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00800859/file/THESE_Amina_MEKKI_MOKHTAR.pdf BibTex
titre
Verification of real time properties in fiacre language
auteur
Nouha Abid
article
Computation and Language [cs.CL]. INSA de Toulouse, 2012. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00782554/file/manuscrit_these_Nouha_ABID.pdf BibTex
titre
Architecture sécurisée pour les systèmes d'information des avions du futur
auteur
Maxime Lastera
article
Systèmes embarqués. INSA de Toulouse, 2012. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00938782/file/LASTERA.pdf BibTex
titre
Protection des systèmes informatiques contre les attaques par entrées-sorties
auteur
Fernand Lone Sang
article
Cryptographie et sécurité [cs.CR]. INSA de Toulouse, 2012. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00863020/file/thesis-fernand-lone-sang.pdf BibTex
titre
Virtualization and Distribution of the BGP Control Plane
auteur
Mihaela Iuniana Oprescu
article
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2012. English. ⟨NNT : 2012INPT0126⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04282412/file/oprescu.pdf BibTex
titre
Analyse de vulnérabilités et évaluation de systèmes de détection d'intrusions pour les applications Web
auteur
Rim Akrout
article
Informatique et langage [cs.CL]. INSA de Toulouse, 2012. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00782565/file/PhD_ThesisRimAkrout.pdf BibTex
titre
Contribution à la résolution de problèmes d'optimisation combinatoire : méthodes séquentielles et parallèles
auteur
Mohamed Esseghir Lalami
article
Automatique. Université Paul Sabatier - Toulouse III, 2012. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00748546/file/These_LALAMI.pdf BibTex
titre
Architecture de communication à QoS garantie pour la simulation distribuée
auteur
Akram Hakiri
article
Architectures Matérielles [cs.AR]. Université Paul Sabatier - Toulouse III, 2012. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00719563/file/Akram_Hakiri_These.pdf BibTex
titre
A multimedia ontology-driven architecture for autonomic quality of service management in home networks
auteur
Jorge Ricardo Gomez Montalvo
article
Networking and Internet Architecture [cs.NI]. INSA de Toulouse, 2012. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00752389/file/Thesis.pdf BibTex
titre
A prescriptive approach to derive value-based requirements specification : application to the requirements engineering of commercial aircraft
auteur
Xinwei Zhang
article
Génie des procédés. INSA de Toulouse, 2012. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01068212/file/ThA_se_Xinwei_Zhang.pdf BibTex

2011

HDR

titre
Elimination des fautes : contribution au test du logiciel
auteur
Hélène Waeselynck
article
Informatique et langage [cs.CL]. Institut National Polytechnique de Toulouse - INPT, 2011
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00676826/file/HDR-waeselynck.pdf BibTex

Thèse

titre
An environment for peer-to-peer high performance computing
auteur
The Tung Nguyen
article
Embedded Systems. Institut National Polytechnique de Toulouse - INPT, 2011. English. ⟨NNT : 2011INPT0105⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04241121/file/NGUYEN_TheTung.pdf BibTex
titre
Test and Evaluation of the Robustness of the Functional Layer of an Autonomous Robot
auteur
Hoang-Nam Chu
article
Robotics [cs.RO]. Institut National Polytechnique de Toulouse - INPT, 2011. English. ⟨NNT : 2011INPT0054⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04238736/file/CHU_Hoang-Nam.pdf BibTex
titre
Développement de briques technologiques pour la réalisation des composants de puissance en diamant monocristallin
auteur
Sodjan Koné
article
Energie électrique. Institut National Polytechnique de Toulouse - INPT, 2011. Français. ⟨NNT : 2011INPT0048⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04238829/file/KONE_Sodjan.pdf BibTex
titre
Structuration des critères de sélection de partenaires : application au projet de développement de produits nouveaux
auteur
Arz Wehbe
article
Autre. INSA de Toulouse, 2011. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00647806/file/Manuscrit_de_thA_se_-_Arz_WEHBE.pdf BibTex
titre
Intégration de la Sûreté de Fonctionnement dans les Processus d'Ingénierie Système
auteur
Romaric Guillerm
article
Systèmes embarqués. Université de Toulouse, 2011. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00766124/file/ThA_se_GUILLERM.pdf BibTex

2010

HDR

titre
Methodology, models and paradigms for a next generation transport layer design
auteur
Ernesto Expósito
article
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2010
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00678666/file/HDR_EExposito.pdf BibTex

Thèse

titre
Dependability modelling and evaluation of vehicular applications based on mobile ad-hoc networks. Modélisation et évaluation de la sûreté de fonctionnement d'applications véhiculaires basées sur des réseaux ad-hoc mobiles
auteur
Ossama Hamouda
article
Computer Science [cs]. Université Paul Sabatier - Toulouse III, 2010. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00546260/file/these_de_Ossama_HAMOUDA_finale.pdf BibTex
titre
Architectures innovantes de systèmes de commandes de vol
auteur
Manel Sghairi Haouati
article
Système d'exploitation [cs.OS]. Institut National Polytechnique de Toulouse - INPT, 2010. Français. ⟨NNT : 2010INPT0029⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00509156/file/SGHAIRI_HAOUATI_Manel.pdf BibTex

2009

HDR

titre
La protection des systèmes informatiques vis à vis des malveillances
auteur
Vincent Nicomette
article
Informatique [cs]. Institut National Polytechnique de Toulouse - INPT, 2009
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00450536/file/hdr.pdf BibTex

Thèse

titre
Sécurité des noyaux de systèmes d'exploitation
auteur
Eric Lacombe
article
Informatique [cs]. INSA de Toulouse, 2009. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00462534/file/these-eric_lacombe.pdf BibTex
titre
Robustesse du logiciel embarqué multicouche par une approche réflexive : application à l'automobile
auteur
Caroline Lu
article
Informatique et langage [cs.CL]. Institut National Polytechnique de Toulouse - INPT, 2009. Français. ⟨NNT : 2009INPT059H⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04412462/file/LU_Caroline2.pdf BibTex
titre
Evaluation quantitative de la sécurité informatique : approche par les vulnérabilités
auteur
Géraldine Vache Marconato
article
Informatique [cs]. INSA de Toulouse, 2009. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00462530/file/Binder-FINAL.pdf BibTex
titre
Sécurités (immunité et innocuité) des architectures ouvertes à niveaux de criticité multiples : application en avionique
auteur
Youssef Laarouchi
article
Informatique [cs]. INSA de Toulouse, 2009. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00468923/file/Manuscrit_Youssef_Laarouchi.pdf BibTex
titre
Méthodologie de test de systèmes mobiles : Une approche basée sur les sénarios
auteur
Minh Duc Nguyen
article
Informatique [cs]. Université Paul Sabatier - Toulouse III, 2009. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00459848/file/TheseMinhDucNguyenVersionFinale.pdf BibTex
titre
Controle d'accès pour les grandes infrastructures critiques. Application au réseau d'énergie électrique.
auteur
Amine Baïna
article
Informatique [cs]. INSA de Toulouse, 2009. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00432841/file/these_amine_baina_2009_CNRS.pdf BibTex
titre
Détection d'erreur au plus tôt dans les systèmes temps-réel : une approche basée sur la vérification en ligne
auteur
Thomas Robert
article
Autre. Institut National Polytechnique de Toulouse - INPT, 2009. Français. ⟨NNT : 2009INPT028H⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04400821/file/robert.pdf BibTex
titre
Adaptation en ligne de mécanismes de tolérance aux fautes par une approche à composants ouverts
auteur
Thomas Pareaud
article
Systèmes et contrôle [cs.SY]. Institut National Polytechnique de Toulouse - INPT, 2009. Français. ⟨NNT : 2009INPT011H⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00389267/file/pareaud.pdf BibTex

2008

Thèse

titre
Evaluation des systèmes de détection d'intrusion
auteur
Mohammed Gad El Rab
article
Networking and Internet Architecture [cs.NI]. Université Paul Sabatier - Toulouse III, 2008. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00366690/file/20090209-memoire-GAD-final.pdf BibTex
titre
Fault tolerance through self-configuration in the future nanoscale multiprocessors
auteur
Piotr Zajac
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2008. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00340508/file/Zajac.PhDThesis.pdf BibTex

2007

Thèse

titre
Observation, caractérisation et modélisation de processus d'attaques sur Internet
auteur
Eric Alata
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2007. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00280126/file/THESE_ERIC_ALATA_TSF.pdf BibTex
titre
Sauvegarde coopérative de données pour dispositifs mobiles
auteur
Ludovic Courtès
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00196822/file/phd-thesis.fr_en.pdf BibTex
titre
Modélisation et évaluation de la sûreté de fonctionnement - De AADL vers les réseaux de Pétri stochastiques
auteur
Ana-Elena Rugina
article
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00207502/file/RuginaPhDThesis.pdf BibTex
titre
A situational approach and intelligent tool for collaborative requirements elicitation
auteur
Chad Raymond Coulin
article
Automatic. Université Paul Sabatier - Toulouse III, 2007. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00195833/file/COULIN_PhD_Thesis_vFinal.pdf BibTex
titre
Tolérance aux fautes dans les systèmes autonomes
auteur
Benjamin Lussier
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00172161/file/these-lussier07.pdf BibTex

2006

Thèse

titre
Conception et mise en oeuvre d'une plate-forme pour la sûreté de fonctionnement des services Web
auteur
Nicolas Salatge
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2006. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00135748/file/manuscrit.pdf BibTex
titre
Les communications anonymes à faible latence
auteur
Carlos Aguilar Melchor
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2006. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00110313/file/these_commsanonymesfaiblelatence.pdf BibTex

2005

Thèse

titre
Réseau de communication à haut niveau d'intégrité pour des systèmes de commande-contrôle critiques intégrant des nappes de microsystèmes
auteur
Anis Youssef
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2005. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00111808/file/these_Anis_YOUSSEF.pdf BibTex
titre
Tolérance aux fautes dans les systèmes répartis à base d'intergiciels réflexifs standards
auteur
Taha Bennani
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2005. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00009746/file/tel-00009746.pdf BibTex
titre
Caractérisation de systèmes d'exploitation en présence de pilotes défaillants
auteur
Arnaud Albinet
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2005. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00010056/file/tel-00010056.pdf BibTex
titre
Conception et réalisation d'une architecture tolérant les intrusions pour des serveurs internet
auteur
Ayda Saidane
article
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2005. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00009600/file/tel-00009600.pdf BibTex

2004

Thèse

titre
Caractérisation de la sûreté de fonctionnement de systèmes à base d'intergiciel
auteur
Eric Marsden
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2004. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00010938/file/tel-00010938.pdf BibTex
titre
La réflexivité dans les architectures multi-niveaux : application aux systèmes tolérant les fautes
auteur
François Taïani
article
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2004. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00010940/file/tel-00010940.pdf BibTex

2003

Thèse

titre
MODÈLES ET POLITIQUES DE SECURITE POUR LES DOMAINES DE LA SANTE ET DES AFFAIRES SOCIALES
auteur
Anas Abou El Kalam
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2003. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00012162/file/TheseAnas.pdf BibTex

2000

Thèse

titre
Tolérance aux fautes sur CORBA par protocole à métaobjets et langages réflexifs
auteur
Marc-Olivier Killijian
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2000. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00131879/file/theseMOK.pdf BibTex

1999

HDR

titre
Evaluation de la sûreté de fonctionnement informatique. Fautes physiques, fautes de conception, malveillances
auteur
Mohamed Kaâniche
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1999
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00142168/file/HDR_Mohamed_KAANICHE.pdf BibTex

1998

HDR

titre
Contribution à l’algorithmique parallèle, Le concept d’asynchronisme : étude théorique, mise en œuvre et application.
auteur
Didier El Baz
article
Calcul parallèle, distribué et partagé [cs.DC]. INP DE TOULOUSE, 1998
Accès au texte intégral et bibtex
https://hal.science/tel-01151790/file/HDRDidierElBazFichier.pdf BibTex

Thèse

titre
Évaluation quantitative de la sécurité des systèmes d’information
auteur
Rodolphe Ortalo
article
Cryptographie et sécurité [cs.CR]. INP DE TOULOUSE, 1998. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01115455/file/these_Rodolphe_ORTALO.pdf BibTex

1996

Thèse

titre
La protection dans les systèmes à objets répartis
auteur
Vincent Nicomette
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1996. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00175252/file/Nicomette.pdf BibTex
titre
Sûreté de fonctionnement d'architectures informatiques embarquées sur automobile
auteur
Christian Ziegler
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1996. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00139873/file/Ziegler.pdf BibTex

1994

Thèse

titre
Vers une évaluation quantitative de la sécurité informatique
auteur
Marc Dacier
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1994. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00012022/file/these-dacier.pdf BibTex

1992

Thèse

titre
Modèle hyperexponentiel en temps continu et en temps discret pour l'évaluation de la croissance de la sûreté de fonctionnement
auteur
Mohamed Kaâniche
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1992. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00142181/file/these_Mohamed_KAANICHE.pdf BibTex