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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
- 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
-
- 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
-
- 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
- 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
-
- 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
- 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
-
- 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
- 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
-
- 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
- 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
-
- 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
- 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
-
- 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
-
- 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 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
-
- 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
-
- 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
- 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
-
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
- 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
-
- 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
- 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
-
- 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
- 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
-
- 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
-
- 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
- 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
-
- 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
-
- 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
-
- 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
-
- 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
- Other. INSA 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
- 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
-
- 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
- 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
-
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 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
-
- 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
-
- 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
-
- 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
-
- 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
- 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
-
- 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
- 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
- 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
-
- 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
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
- 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
-
- 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
-
- 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
-
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
-
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
-
- 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
-
- 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
- Other. Institut National Polytechnique de Toulouse - INPT, 2013. English. ⟨NNT : 2013INPT0049⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
- 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
-
- 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
- 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
-
- 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
-
- 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 : 2011INPT0105⟩
- 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
- Robotics [cs.RO]. Institut National Polytechnique de Toulouse - INPT, 2011. English. ⟨NNT : 2011INPT0054⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
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
- 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
-
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
- 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
-
- 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
- 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
-
- 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
-
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 (Toulouse), 2007. Français. ⟨NNT : 2007INPT053H⟩
- Accès au texte intégral et 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
-
- 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
- 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
-
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
-
- 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
- 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
-
- 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
-
- 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
- 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
-
- 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
-
- 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
- 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
-
- 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
-
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
-
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
-
- 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
- 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
-
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
- 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
-
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
-