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

2023

Theses

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
Predicting the performance of Web services in a Cloud environment
auteur
Clément Cassé
article
Library and information sciences. Université Paul Sabatier - Toulouse III, 2023. English. ⟨NNT : 2023TOU30268⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04544207/file/2023TOU30268.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
Study of the sustainability of microgrids using systemic models based on the theory of modeling and simulation
auteur
Antoine Boche, Luiz Fernando Lavado Villa, Clément Foucher
article
Electric power. Université Paul Sabatier (Toulouse 3), 2023. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://hal.science/tel-04645018/file/Study%20of%20the%20sustainability%20of%20microgrids%20using%20systemic%20models%20based%20on%20modeling%20and%20simulation.pdf BibTex
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
titre
Proposal of a model-driven approach for software safety - Application to the software architecture of connected and autonomous vehicles
auteur
Yandika Sirgabsou
article
Embedded Systems. INSA de Toulouse, 2023. English. ⟨NNT : 2023ISAT0062⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04551124/file/2023YandikaSIRGABSOU.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
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
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
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
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

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
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
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
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
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
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
Optimized placement of services in Fog Computing and Internet of Things architectures under energy, QoS and mobility constraints
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

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://laas.hal.science/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
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
Towards software defined vehicular networks
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
Autonomous detection of malicious traffic in vehicular networks
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 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
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
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
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

Habilitation à diriger des recherches

titre
Toward virtualized satellites and terrestrial hybrid networks
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

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
Service oriented approach for the Internet of Things (IoT) Quality of Service (QoS) aware
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
Attack detection on network access devicest
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
Towards networks guided by and for highly dynamic applications
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
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
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

Theses

titre
Extensible and Standalone Architecture for a Scalable Transport Layer.Application to Aeronautical Satellite Communications
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
Parallel computing platform « 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

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.science/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://laas.hal.science/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://theses.hal.science/tel-01665497/file/2016EmnaMEZGHANI.pdf BibTex
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
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 :a distributed social network for selective use of composite content
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

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
Selection and flexible composition based abstract services to better adapt to users' intentions
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
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
Contribution to the modeling and formal verification by model checking - Symmetries for Temporal Petri Nets
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 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
Validation of simulation models
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
Formal modeling of autonomous dynamical systems: graph rewriting and grammar
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
Engineering SDH and WDM optical networks and multilayer study IP / MPLS over OTN 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
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
Study and evaluation of multiprocessor real-time scheduling policies
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 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
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
Software architectures adaptation access control in ubiquitous collaborative environments
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
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
titre
Modeling a Service -oriented and component -based architecture for Transport Layer autonomous, dynamic and highly 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

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

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://theses.hal.science/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. ⟨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
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
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
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
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

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
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
Development of technologies for single crystal diamond power devices processing
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
Structuring partners selection criteria: application to new product development projects
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
Integration of Dependability in System Engineering Processes
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

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://theses.hal.science/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. ⟨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
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
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

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

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