2022
Theses
- titre
- Uncertainty assessment in safety argument structures – An approach based on Dempster-Shafer Theory
- auteur
- Yassir IDMESSAOUD
- article
- Computer Science [cs]. UPS Toulouse, 2022. English. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- titre
- Prévention des fautes temporelles sur architectures multicœur pour les systèmes à criticité mixte
- auteur
- Daniel Loche
- article
- Informatique [cs]. INP DE TOULOUSE, 2022. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Détection dynamique d'attaques logicielles et matérielles basée sur l'analyse de signaux microarchitecturaux
- auteur
- Yuxiao Mao
- article
- Architectures Matérielles [cs.AR]. INSA de Toulouse, 2022. Français. ⟨NNT : 2022ISAT0015⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
2021
Theses
- titre
- Équilibrage de charge efficace et adaptatif avec contraintes temporelles pour les véhicules connectés
- auteur
- Jean Ibarz
- article
- Informatique [cs]. INPT, 2021. Français. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- titre
- Génération et analyse de tests pour les systèmes autonomes
- auteur
- Clément Robert
- article
- Robotique [cs.RO]. Université Paul Sabatier - Toulouse III, 2021. Français. ⟨NNT : 2021TOU30119⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- titre
- Détection d'intrusion basée sur l'analyse de compteurs matériels pour des objets connectés
- auteur
- Malcolm Bourdon
- article
- Autre [cs.OH]. INSA de Toulouse, 2021. Français. ⟨NNT : 2021ISAT0027⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- titre
- Placement optimisé de services dans les architectures fog computing et internet of things sous contraintes d'énergie, de QoS et de mobilité
- auteur
- Tanissia Djemai
- article
- Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2021. Français. ⟨NNT : 2021TOU30019⟩
- Accès au texte intégral et bibtex
-
- 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
-
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
-
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
-
- 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
-
- 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
-
- 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
-
- titre
- Perception de l'environnement urbain à l'aide d'une flotte de capteurs sur des vélos : application à la pollution de l'air
- auteur
- Christophe Bertero
- article
- Modélisation et simulation. Université Paul Sabatier - Toulouse III, 2020. Français. ⟨NNT : 2020TOU30321⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- titre
- Systèmes résilients pour l'automobile: d'une approche à composants à une approche à objets de la tolérance aux fautes adaptatives sur ROS
- auteur
- Matthieu Amy
- article
- Systèmes embarqués. Institut National Polytechnique de Toulouse, 2020. Français. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Approche de gestion orientée service pour l'Internet des objets (IoT) considérant la Qualité de Service (QoS)
- auteur
- Guillaume Garzone
- article
- Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2018. Français. ⟨NNT : 2018ISAT0027⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Vers les réseaux guidés par et pour les applications hautement dynamiques
- auteur
- Armel Francklin Simo Tegueu
- article
- Réseaux et télécommunications [cs.NI]. Institut national des sciences appliquées de Toulouse, 2018. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- 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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Test aléatoire de la navigation de robots dans des mondes virtuels
- auteur
- Thierry Sotiropoulos
- article
- Robotique [cs.RO]. Université Paul Sabatier - Toulouse III, 2018. Français. ⟨NNT : 2018TOU30097⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- titre
- Plateforme de calcul parallèle « Design for Demise »
- auteur
- Bastien Plazolles
- article
- Calcul parallèle, distribué et partagé [cs.DC]. Université Paul Sabatier - Toulouse III, 2017. Français. ⟨NNT : 2017TOU30055⟩
- Accès au texte intégral et bibtex
-
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
-
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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- MULUS : un réseau social distribué pour une consommation sélective de contenus composites
- auteur
- Amina Chaabane
- article
- Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2016. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- 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
-
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
-
Theses
- 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
-
- titre
- Sélection et composition flexible basée services abstraits pour une meilleure adaptation aux intentions des utilisateurs
- auteur
- Emma Fki
- article
- Réseaux et télécommunications [cs.NI]. Univerisité Toulouse 1 Capitole, 2015. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- 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
-
- titre
- Privacy-preserving and secure location authentication
- auteur
- Moussa Traoré
- article
- Cryptography and Security [cs.CR]. INP Toulouse, 2015. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Validation de modèles de simulation
- auteur
- Damien Foures
- article
- Automatique. Universite Toulouse III Paul Sabatier, 2015. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Modélisation formelle de systèmes dynamiques autonomes : graphe, réécriture et grammaire
- auteur
- Cédric Eichler
- article
- Mathématiques [math]. Universite Toulouse III Paul Sabatier, 2015. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- 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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Ingénierie des réseaux optiques SDH et WDM et étude multicouche IP/MPLS sur OTN sur DWDM
- auteur
- Sami Baraketi
- article
- Réseaux et télécommunications [cs.NI]. Universite Toulouse III Paul Sabatier, 2015. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- 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. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- titre
- Adaptation d’architectures logicielles de contrôle d’accès dans les environnements collaboratifs ubiquitaires
- auteur
- Aymen Kamoun
- article
- Réseaux et télécommunications [cs.NI]. Universite de toulouse 1, 2014. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- 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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Modélisation d’une architecture orientée service et basée composant pour une couche de Transport autonome, dynamique et hautement configurable
- auteur
- Guillaume Dugué
- article
- Réseaux et télécommunications [cs.NI]. Institut National des Sciences Appliquées de Toulouse (INSA Toulouse), 2014. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et 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 : ⟩
- Accès au texte intégral et 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
-
- 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. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Une approche dirigée par les modèles pour le développement de tests pour systèmes avioniques embarqués
- auteur
- Alexandru Robert Ciprian Guduvan
- article
- Informatique et langage [cs.CL]. Institut Superieur de L' Aeronautique et de l'Espace, 2013. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- 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
-
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
-
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
-
- titre
- Processus d'identification de contraintes de sécurité innocuité vérifiables en ligne pour des systèmes autonomes critiques
- auteur
- Amina Mekki-Mokhtar
- article
- Autre [cs.OH]. Université Paul Sabatier - Toulouse III, 2012. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- titre
- Protection des systèmes informatiques contre les attaques par entrées-sorties
- auteur
- Fernand Lone Sang
- article
- Cryptographie et sécurité [cs.CR]. INSA de Toulouse, 2012. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
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 : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Structuration des critères de sélection de partenaires : application au projet de développement de produits nouveaux
- auteur
- Arz Wehbe
- article
- Autre. INSA de Toulouse, 2011. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Intégration de la Sûreté de Fonctionnement dans les Processus d'Ingénierie Système
- auteur
- Romaric Guillerm
- article
- Systèmes embarqués. Université de Toulouse, 2011. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
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
-
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
-
- 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
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
-
- 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- 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
-
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
-
- titre
- Sauvegarde coopérative de données pour dispositifs mobiles
- auteur
- Ludovic Courtès
- article
- Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Modélisation et évaluation de la sûreté de fonctionnement - De AADL vers les réseaux de Pétri stochastiques
- auteur
- Ana-Elena Rugina
- article
- Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- 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
-
- titre
- Tolérance aux fautes dans les systèmes autonomes
- auteur
- Benjamin Lussier
- article
- Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- titre
- Caractérisation de systèmes d'exploitation en présence de pilotes défaillants
- auteur
- Arnaud Albinet
- article
- Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2005. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- 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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- La réflexivité dans les architectures multi-niveaux : application aux systèmes tolérant les fautes
- auteur
- François Taïani
- article
- Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2004. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
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. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- 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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-