Filter your results
- 118
- 8
- 67
- 23
- 13
- 4
- 4
- 3
- 2
- 1
- 1
- 4
- 112
- 7
- 2
- 20
- 23
- 30
- 20
- 15
- 14
- 16
- 84
- 34
- 118
- 12
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 25
- 22
- 15
- 15
- 14
- 13
- 11
- 10
- 8
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Conception et réalisation d'une architecture tolérant les intrusions pour des serveurs internetRéseaux et télécommunications [cs.NI]. INSA de Toulouse, 2005. Français. ⟨NNT : ⟩
Theses
tel-00009600v1
|
||
|
Tolérance aux fautes dans les systèmes répartis à base d'intergiciels réflexifs standardsRéseaux et télécommunications [cs.NI]. INSA de Toulouse, 2005. Français. ⟨NNT : ⟩
Theses
tel-00009746v1
|
||
|
Caractérisation de systèmes d'exploitation en présence de pilotes défaillantsRéseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2005. Français. ⟨NNT : ⟩
Theses
tel-00010056v1
|
||
|
Software dependability modeling using an industry-standard architecture description language4th European Congress ERTS Embedded Real Time Software, Jan 2008, Toulouse, France
Conference papers
hal-00323983v1
|
||
|
Using OWA Operators for Gene Sequential Pattern ClusteringCBMS: Computer-Based Medical Systems, Aug 2009, Albuquerque, NM, United States. ⟨10.1109/CBMS.2009.5255363⟩
Conference papers
lirmm-00395145v1
|
||
|
Benchmarking the Dependability of Windows and Linux using PostMark ™ Workloads *16th IEEE International Symposium on Software Reliability Engineering, ISSRE 2005, Nov 2005, Chicago, United States. pp.11-20
Conference papers
hal-01962754v1
|
||
|
Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL Case Study9th International Conference on Enterprise Information Systems, Jun 2007, Funchal, Madeira, Portugal. pp.80-89
Conference papers
hal-00160807v1
|
||
|
Independent Safety Systems for Autonomy : State of the Art and Future Directions[Research Report] 07710, LAAS-CNRS. 2007
Reports
hal-01292675v1
|
||
|
Evaluation de la validité de la simulation dans le cadre du développement des systèmes embarquésInformatique [cs]. Université Paul Sabatier - Toulouse III, 2009. Français. ⟨NNT : ⟩
Theses
tel-00442449v1
|
||
|
Architectures innovantes de systèmes de commandes de volInformatique [cs]. Institut National Polytechnique de Toulouse - INPT, 2010. Français. ⟨NNT : ⟩
Theses
tel-00509156v1
|
||
|
Sauvegarde coopérative de données pour dispositifs mobilesRéseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. Français. ⟨NNT : ⟩
Theses
tel-00196822v1
|
||
|
Sécurité des noyaux de systèmes d'exploitationInformatique [cs]. INSA de Toulouse, 2009. Français. ⟨NNT : ⟩
Theses
tel-00462534v1
|
||
|
Data Backup for Mobile Nodes : a Cooperative Middleware and Experimentation Platform2009
Preprints, Working Papers, ...
hal-00385203v1
|
||
|
Application of Early Error Detection for Handling Degraded Modes of Operation12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p
Conference papers
hal-00381913v1
|
||
|
System engineering approach for safety management of complex systemsThe 2009 European Simulation and Modelling Conference, Oct 2009, Leicester, United Kingdom. pp.150-157
Conference papers
hal-00766139v1
|
||
|
Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vérification formelle FiacreIDM 2010 : journées sur l'Ingénierie Dirigée par les Modèles, Mar 2010, Pau, France
Conference papers
hal-00492327v1
|
||
|
Modeling the resilience of large and evolving systemsInternational Journal of Performability Engineering, 2008, 4 (2), pp.153-168
Journal articles
hal-00756957v1
|
||
|
Présentation des résultats du projet OpenEmbeDDNeptune, May 2009, Paris, France
Conference papers
inria-00381639v1
|
||
|
Sûreté de Fonctionnement du LogicielLa Revue de l'électricité et de l'électronique, 2005, 11, pp.37-41
Journal articles
hal-01978498v1
|
||
|
BASE DE CONNAISSANCES SYSML POUR LA CONCEPTION DE SYSTEMES COMPLEXES SURS DE FONCTIONNEMENTLambda Mu 17 - Innovation et Maîtrise des risques, Oct 2010, La Rochelle, France. pp.173
Conference papers
hal-00766204v1
|
||
|
Sauvegarde coopérative pour dispositifs mobiles2006
Other publications
hal-00139405v1
|
||
|
Conception et mise en oeuvre d'une plate-forme pour la sûreté de fonctionnement des services WebRéseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2006. Français. ⟨NNT : ⟩
Theses
tel-00135748v1
|
||
|
Defining categories to select representative attack test-cases2007
Other publications
hal-00168602v2
|
||
|
Evaluation des systèmes de détection d'intrusionNetworking and Internet Architecture [cs.NI]. Université Paul Sabatier - Toulouse III, 2008. English. ⟨NNT : ⟩
Theses
tel-00366690v1
|
||
|
Surveillance en ligne de la sécurité basée sur les modes de sécuritéLambda mu 16 - 16e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2008, Avignon, France. pp.1-7
Conference papers
hal-00282460v1
|
||
|
Safety modeling and evaluation of Automated Highway SystemsThe IEEE/IFIP International Conference on Dependable Systems & Networks (DSN '09), Jun 2009, Lisbonne, Portugal. pp.73 - 82, ⟨10.1109/DSN.2009.5270352⟩
Conference papers
hal-00851779v1
|
||
|
A Platform for Experimenting with Mobile Algorithms in a LaboratoryPrinciples Of Distributed Computing, Aug 2009, Calgary, Canada. pp.Brief announcements session
Conference papers
hal-00394002v1
|
||
|
Sécurités (immunité et innocuité) des architectures ouvertes à niveaux de criticité multiples : application en avioniqueInformatique [cs]. INSA de Toulouse, 2009. Français. ⟨NNT : ⟩
Theses
tel-00468923v1
|
||
|
Core Disciplines for Unifying Engineering Education Revisiting with a focus on Modelling and SimulationIEEE Multidisciplinary Engineering Education Magazine, 2010, 5 (3), pp.24-27
Journal articles
hal-01704853v1
|
||
|
Sécurité des systèmes de la robotique médicaleTechniques de l'Ingenieur, 2007, Sécurité et gestion des risques, SE2
Journal articles
hal-01292664v1
|