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

2020

Master thesis

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://hal.laas.fr/hal-02932494/file/Rapport%20PFE.pdf BibTex

Theses

titre
Proportional-fair scheduling of mobile users based on a partial view of future channel conditions
auteur
Thi Thuy Nga Nguyen
article
Networking and Internet Architecture [cs.NI]. Institut national des sciences appliquées de Toulouse, 2020. English
Accès au texte intégral et bibtex
https://hal.laas.fr/tel-03102097/file/NGUYEN%20Thi%20Thuy%20Nga.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://tel.archives-ouvertes.fr/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://hal.laas.fr/tel-02966530/file/2020TOU30149b.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://hal.laas.fr/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://hal.laas.fr/tel-02900413/file/2020TOU30018b.pdf BibTex

2019

Habilitation à diriger des recherches

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://hal.laas.fr/tel-02298644/file/TREDAN%20Gilles.pdf BibTex

Theses

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://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://hal.laas.fr/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://tel.archives-ouvertes.fr/tel-02901527/file/2019KarlaGomezSotelo.pdf BibTex
titre
Resource allocation in multi-domain wireless software-defined networks
auteur
Lunde Chen
article
Networking and Internet Architecture [cs.NI]. INSA de Toulouse, 2019. English. ⟨NNT : 2019ISAT0002⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02128361/file/2019LundeChen.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://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://hal.laas.fr/tel-02009769/file/LUO%20Jia.pdf BibTex

2018

Habilitation à diriger des recherches

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://hal.laas.fr/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://tel.archives-ouvertes.fr/tel-01801677/file/HDR-roy-2018.pdf BibTex

Theses

titre
Développement et évaluation d'obsfucations de protocoles basées sur la spécification
auteur
Julien Duchene
article
Réseaux et télécommunications [cs.NI]. Institut national des sciences appliquées de Toulouse, 2018. Français
Accès au texte intégral et bibtex
https://hal.laas.fr/tel-02018873/file/DUCHENE%20Julien.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
Accès au texte intégral et bibtex
https://hal.laas.fr/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://hal.laas.fr/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
Accès au texte intégral et bibtex
https://hal.laas.fr/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://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://hal.laas.fr/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
Informatique [cs]. Institut National Polytechnique de Toulouse - INPT, 2018. Français
Accès au texte intégral et bibtex
https://hal.laas.fr/tel-01927719/file/EXCOFFON%20William.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://hal.laas.fr/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
Accès au texte intégral et bibtex
https://hal.laas.fr/tel-01829962/file/ZHU%20Li.pdf BibTex
titre
Improving performance measurement of engineering projects: methods to develop indicators
auteur
Li Zheng
article
Computer Science [cs]. Institut national des sciences appliquées de Toulouse, 2018. English. ⟨NNT : 2018ISAT0006⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/tel-02917920/file/ZHENG%20Li.pdf BibTex

2017

Theses

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://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/tel-02003579/file/2017Mahjri.pdf BibTex

2016

Habilitation à diriger des recherches

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.archives-ouvertes.fr/tel-01451027/file/hdr.pdf BibTex

Master thesis

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://hal.laas.fr/hal-01406168/file/Rapport%20de%20Stage%20Javier%20Alcaraz.pdf BibTex

Theses

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://tel.archives-ouvertes.fr/tel-01665497/file/2016EmnaMEZGHANI.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://hal.laas.fr/tel-01682332/file/2016BarrierJoris.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://tel.archives-ouvertes.fr/tel-01445648/file/2016SauvanaudCarla.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://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://hal.laas.fr/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
Accès au texte intégral et bibtex
https://hal.laas.fr/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
Accès au texte intégral et bibtex
https://hal.laas.fr/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://hal.laas.fr/tel-01376031/file/2016RuiXUE.pdf BibTex

2015

Habilitation à diriger des recherches

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.archives-ouvertes.fr/tel-01276555/file/mainHDRguiochet.pdf BibTex

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01314946/file/FKI%20Emna.pdf BibTex
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://tel.archives-ouvertes.fr/tel-02094364/file/2015ImeneLAHYANI.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://tel.archives-ouvertes.fr/tel-01579065/file/2015bourdil.pdf BibTex
titre
Dynamic control of stochastic and fluid resource-sharing systems
auteur
Maialen Larrañaga
article
Networking and Internet Architecture [cs.NI]. INP Toulouse, 2015. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01241496/file/LARRANAGA%20M.pdf BibTex
titre
Évaluation et analyse des mécanismes de sécurité des réseaux dans les infrastructures virtuelles de cloud computing
auteur
Thibaut Probst
article
Systèmes embarqués. INP Toulouse, 2015. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01216609/file/PROBST%20Thibaut_.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://tel.archives-ouvertes.fr/tel-02043149/file/STUDNIA.pdf https://tel.archives-ouvertes.fr/tel-02043149/file/RAVET%20%281%29.pdf https://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/tel-01195780/file/2015Bachy.pdf BibTex
titre
Privacy-preserving and secure location authentication
auteur
Moussa Traoré
article
Cryptography and Security [cs.CR]. INP Toulouse, 2015. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02087888/file/these-traore.pdf BibTex
titre
Validation de modèles de simulation
auteur
Damien Foures
article
Automatique. Universite Toulouse III Paul Sabatier, 2015. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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. INP Toulouse, 2015. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01216586/file/PINTARD%20L.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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Informatique [cs]. INP DE TOULOUSE, 2015. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01200728/file/DO%20HOANG.pdf BibTex

2014

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01104953/file/Cheramy.pdf BibTex
titre
Architectures et processus de développement permettant la mise à jour dynamique de systèmes embarqués automobiles
auteur
Hélène Martorell
article
Informatique [cs]. Institut national polytechnique de Toulouse (INPT), 2014. Français
Accès au texte intégral et bibtex
https://hal.laas.fr/tel-02098199/file/MARTORELL%20H%C3%A9l%C3%A8ne.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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Calcul parallèle, distribué et partagé [cs.DC]. Institut national polytechnique de Toulouse (INPT), 2014. Français
Accès au texte intégral et bibtex
https://hal.laas.fr/tel-02098176/file/BALDELLON%20Olivier.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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01079998/file/DUGUE%20G.pdf BibTex

2013

Habilitation à diriger des recherches

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://tel.archives-ouvertes.fr/tel-00849725/file/hdr-marco.pdf BibTex

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01018621/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00908502/file/theseAnhDungNGUYEN.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
Informatique et langage [cs.CL]. Institut National Polytechnique de Toulouse - INPT, 2013. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01067471/file/Lauret.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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00807442/file/Thesis_Tiassou.pdf BibTex

2012

Habilitation à diriger des recherches

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://tel.archives-ouvertes.fr/tel-00728757/file/HDRmain.pdf BibTex

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00863020/file/thesis-fernand-lone-sang.pdf BibTex
titre
Virtualization and distribution of the BGP control plane
auteur
Mihaela Iuniana Oprescu
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2012. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00785007/file/iuniana_oprescu_thesis_2.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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01068212/file/ThA_se_Xinwei_Zhang.pdf BibTex

2011

Habilitation à diriger des recherches

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://tel.archives-ouvertes.fr/tel-00676826/file/HDR-waeselynck.pdf BibTex

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00657952/file/Thesis-1.pdf BibTex
titre
Test and evaluation of the robustness of the functional layer of an autonomous robot
auteur
Hoang-Nam Chu
article
Computer Science [cs]. Institut National Polytechnique de Toulouse - INPT, 2011. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00627225/file/CHU_these_final_27092011.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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00766124/file/ThA_se_GUILLERM.pdf BibTex

2010

Habilitation à diriger des recherches

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://tel.archives-ouvertes.fr/tel-00678666/file/HDR_EExposito.pdf BibTex

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Informatique [cs]. Institut National Polytechnique de Toulouse - INPT, 2010. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00509156/file/These_Manel_SGHAIRI.pdf BibTex

2009

Habilitation à diriger des recherches

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://tel.archives-ouvertes.fr/tel-00450536/file/hdr.pdf BibTex

Theses

titre
Sécurité des noyaux de systèmes d'exploitation
auteur
Eric Lacombe
article
Informatique [cs]. INSA de Toulouse, 2009. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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 [cs]. Institut National Polytechnique de Toulouse - INPT, 2009. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00468924/file/Manuscrit_These.final.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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Informatique [cs]. Institut National Polytechnique de Toulouse - INPT, 2009. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00420480/file/These_-_Thomas_ROBERT.pdf BibTex

2008

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00340508/file/Zajac.PhDThesis.pdf BibTex

2007

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00207502/file/RuginaPhDThesis.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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00172161/file/these-lussier07.pdf BibTex

2006

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00110313/file/these_commsanonymesfaiblelatence.pdf BibTex

2005

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00009600/file/tel-00009600.pdf BibTex

2004

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00010940/file/tel-00010940.pdf BibTex

2003

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00012162/file/TheseAnas.pdf BibTex

2000

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00131879/file/theseMOK.pdf BibTex

1999

Habilitation à diriger des recherches

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://tel.archives-ouvertes.fr/tel-00142168/file/HDR_Mohamed_KAANICHE.pdf BibTex

1998

Habilitation à diriger des recherches

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.archives-ouvertes.fr/tel-01151790/file/HDRDidierElBazFichier.pdf BibTex

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01115455/file/these_Rodolphe_ORTALO.pdf BibTex

1996

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00139873/file/Ziegler.pdf BibTex

1994

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00012022/file/these-dacier.pdf BibTex

1992

Theses

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00142181/file/these_Mohamed_KAANICHE.pdf BibTex