Publications HAL du labo/EPI LAAS-TSF

2023

Theses

titre
Data protection for connected vehicles : a cryptographic approach based on attribute-based encryption
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
Adapting Cryptographic Tools to a Post-Quantum Context
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

Theses

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
Dynamic software and hardware attack detection based on microarchitectural signals analysis
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
Preventing temporal faults on multicore architectures for mixed-criticality systems
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
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

2021

Theses

titre
Efficient and adaptive load balancing with temporal constraints for connected vehicles
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
Test generation and analysis for autonomous systems
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
Intrusion detection based on hardware counters for connected things
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

2020

Theses

titre
Perception of the urban environment with sensors aboard bicycles : application to air pollution
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
Security based on behavioral analysis of embedded functions on integrated modular avionics platforms
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
Intrusion Detection Within Wireless Connected Environments Through The Analysis of Radio Activities
auteur
Jonathan Roux
article
Informatique mobile. Université Paul Sabatier - Toulouse III, 2020. Français. ⟨NNT : 2020TOU30011⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-02880658/file/2020TOU30011a.pdf BibTex
titre
Resilient automotive systems : from a component-based to an object-based approach to adaptive fault-tolerance on 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

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

Theses

titre
Dynamic access control and security architecture to protect Android applications.
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
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

2018

Habilitation à diriger des recherches

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

Theses

titre
Development and evaluation of protocol obsfucations based on the specification
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
Resilience of adaptive computer systems : modelling, analysis and 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
Random testing of robots navigation in virtual worlds
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
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

2016

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

Theses

titre
Monitoring and detection of learning abnormalities in virtualized infrastructures
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
Homomorphic encryption applied on Private Information Retrieval
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 of the computer systems face to face hostilities : a hypersight of sight (security) assisted by the material ( equipment)
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
Inference and models of personal data : social mobility, spatial proximity
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

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

Theses

titre
Evaluation and analysis of network security mechanisms in virtual cloud computing infrastructures
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
Intrusion detection for automotive embedded networks: a language oriented approach
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
Security of consumer devices connected to the Internet : communication channel evaluation
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
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
Safety analysis and justification of human-robot interactions
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

Theses

titre
Architecture and Development Process for Dynamic Updates within Automotive Embedded Systems
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
Online monitoring of temporal properties in distributed real-time system
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

2013

Habilitation à diriger des recherches

titre
TOWARDS RESILIENT AND PRIVATE MOBIQUITOUS SYSTEMS
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

Theses

titre
Inference attacks on geolocated data
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
Aspect onlated programs testing
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
A model-driven development of tests for avionics embedded systems.
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

Theses

titre
Specification of online verifiable safety constraints for critical autonomous systems
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
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
Protecting Computer Systems against Input/Output Attacks
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
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

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://theses.hal.science/tel-00676826/file/HDR-waeselynck.pdf BibTex

Theses

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

2010

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. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00546260/file/these_de_Ossama_HAMOUDA_finale.pdf BibTex
titre
Innovative Architectures of Flight Control Systems
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

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://theses.hal.science/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. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00462534/file/these-eric_lacombe.pdf BibTex
titre
Robustness of multilayered embedded software through a reflective approach : application in the automotive industry
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
Early error detection for real time applications : an approach using runtime verification
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
On-line fault tolerance mechanisms adaptation based on open component models
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

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. ⟨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

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. ⟨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 (Toulouse), 2007. Français. ⟨NNT : 2007INPT053H⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00196822/file/phd-thesis.fr_en.pdf BibTex
titre
Dependability modeling and evaluation
auteur
Ana-Elena Rugina
article
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique (Toulouse), 2007. English. ⟨NNT : 2007INPT052H⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00207502/file/RuginaPhDThesis.pdf BibTex
titre
Fault tolerance in autonomous systems
auteur
Benjamin Lussier
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique (Toulouse), 2007. Français. ⟨NNT : 2007INPT048H⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00172161/file/these-lussier07.pdf BibTex

2006

Theses

titre
Design and implementation of a platform for the Web Services dependability
auteur
Nicolas Salatge
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique (Toulouse), 2006. Français. ⟨NNT : 2006INPT051H⟩
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

Theses

titre
High Integrity Communication Network for Critical Control Systems Integrating Micro-Systems Arrays
auteur
Anis Youssef
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique (Toulouse), 2005. Français. ⟨NNT : 2005INPT061H⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00111808/file/these_Anis_YOUSSEF.pdf BibTex
titre
Availability modeling and evaluation of web-based services
auteur
Magnos Martinello
article
Computer Science [cs]. Institut National Polytechnique (Toulouse), 2005. English. ⟨NNT : 2005INPT043H⟩
Accès au texte intégral et bibtex
https://hal.science/tel-04595476/file/MARTINELLO_2005-11-04.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
Benchmarking operating systems dependability
auteur
Ali Kalakech
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2005. Français. ⟨NNT : 2005INPT013H⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00010014/file/tel-00010014.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 : 2005INPT026H⟩
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

Theses

titre
Unspecified
auteur
Eric Marsden
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique (Toulouse), 2004. Français. ⟨NNT : 2004INPT010H⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00010938/file/tel-00010938.pdf BibTex
titre
The composite "Know Thyself" : fault-tolerance in complex computer systems
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

Theses

titre
Security policies and models for Health Care Computing and Communication Systems
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

Theses

titre
Missing
auteur
Salimeh Behnia
article
Informatique [cs]. Institut National Polytechnique (Toulouse), 2000. Français. ⟨NNT : 2000INPT031H⟩
Accès au texte intégral et bibtex
https://hal.science/tel-04493582/file/behnia.pdf BibTex
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

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://theses.hal.science/tel-00142168/file/HDR_Mohamed_KAANICHE.pdf BibTex

1998

Theses

titre
Quantitative Evaluation of Information Systems Security
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

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. ⟨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

Theses

titre
Towards a quantitative evaluation of computer security
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

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. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00142181/file/these_Mohamed_KAANICHE.pdf BibTex