Filter your results
- 26
- 2
- 12
- 5
- 4
- 4
- 1
- 26
- 6
- 8
- 2
- 1
- 9
- 20
- 6
- 26
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 18
- 8
- 6
- 4
- 3
- 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
|
|
sorted by
|
|
La protection dans les systèmes à objets répartisRéseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1996. Français. ⟨NNT : ⟩
Theses
tel-00175252v1
|
||
|
An Holistic Approach to Dependability ?15th International Conference on Computer Safety, Reliability and Security (Safecomp'96), 149-154., Oct 1996, Vienne, Austria
Conference papers
hal-01986892v1
|
||
|
Sûreté de fonctionnement d'architectures informatiques embarquées sur automobileRéseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1996. Français. ⟨NNT : ⟩
Theses
tel-00139873v1
|
||
|
Diversity against accidental and deliberate faultsP.Ammann, B.H.Barnes, S.Jajodia, E.H.Sibley. Computer Security, Dependability, & Assurance: from needs to solutions, IEEE Computer Society, pp.171-181, 1999, 0-7695-0337-3
Book sections
hal-00761637v1
|
||
|
Fiabilité du logiciel : de la collecte des données à l'évaluation probabilisteRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1997, 16 (7), pp.865-895
Journal articles
hal-01212188v1
|
||
|
Reliability of a commercial telecommunications system7th International Symposium on Software Reliability Engineering (ISSRE'96), Oct 1996, White Plains, New York, United States. ⟨10.1109/ISSRE.1996.558807⟩
Conference papers
hal-01212242v1
|
||
|
Modelling the dependability of CAUTRA, a subset of the French air traffic control system26th Annual International Symposium on Fault-Tolerant Computing (FTCS-26), Jun 1996, Sendai, Japan
Conference papers
hal-01976201v1
|
||
|
Stepwise Construction and Refinement of Dependability Models4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000), Mar 2000, Chicago, United States
Conference papers
hal-01976600v1
|
||
|
Dependability Assessment of GUARDS Instances4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000), Mar 2000, Chicago, United States
Conference papers
hal-01976690v1
|
||
|
Cost of Software Design Diversity-A Case Study10-th IEEE International Conference on Software Reliability Engineering (ISSRE-99), Nov 1999, Boca Raton, FL, United States
Conference papers
hal-01978617v1
|
||
|
Tolérance aux fautes sur CORBA par protocole à métaobjets et langages réflexifsRéseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2000. Français. ⟨NNT : ⟩
Theses
tel-00131879v1
|
||
|
Dependability evaluation of a distributed shared memory multiprocessor systemJ.Hlavicka, E.Maehle, A.Pataricza. Dependable Computing — EDCC-3 Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings, 1667,, Springer, pp.42-59, 1999, Lecture Notes in Computer Science, 3-540-66483-1
Book sections
hal-01986493v1
|
||
|
Dependability of Fault-Tolerant Systems-Explicit Modeling of the Interactions Between Hardware and Software ComponentsIEEE Transactions on Reliability, 2000, 49, pp.363 - 376
Journal articles
hal-01977525v1
|
||
|
Dependability of computer control systems in power plants. Analytical and experimental evaluationF. Koornneff, M. Van der Meulen,. Lecture Notes in Computer Science 1943, Computer Safety, Reliability and Security, Springer, pp.165-175, 2000, 3-540-41186-0
Book sections
hal-01986887v1
|
||
|
Dependability engineering of complex computing systems6th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'2000), Sep 2000, Tokyo, Japan. pp.36-46, ⟨10.1109/ICECCS.2000.873926⟩
Conference papers
hal-01212223v1
|
||
|
Safety Analysis and Evaluation of an Air Traffic Control Computing SystemThe 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP-1996), Oct 1996, Vienne, Austria. pp.219-229
Conference papers
hal-00851765v1
|
||
|
Dependability of Fault-Tolerant Systems — Explicit Modeling of the Interactions Between Hardware and Software Components2nd Annual IEEE International Computer Performance and Dependability Symposium (IPDS'96), 4-6 septembre 1996, pp.252-261, Sep 1996, Urbana-Champaign, United States
Conference papers
hal-01976182v1
|
||
|
SQUALE Dependability Assessment Criteria18th International Conference on Computer Safety, Reliability, and Security (SAFECOMP-99), Sep 1999, Toulouse, France. pp.27-38, ⟨10.1007/3-540-48249-0_3⟩
Conference papers
hal-01911685v1
|
||
|
Evaluation de la sûreté de fonctionnement informatique. Fautes physiques, fautes de conception, malveillancesRéseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1999
Habilitation à diriger des recherches
tel-00142168v1
|
||
|
Software reliability and system reliabilityM. Lyu. Handbook for Software Reliability Engineering, McGraw-Hill, pp.27-69, 1996, 0-07-039400-8
Book sections
hal-00761643v1
|
||
|
Évaluation quantitative de la sécurité des systèmes d’informationCryptographie et sécurité [cs.CR]. INP DE TOULOUSE, 1998. Français. ⟨NNT : ⟩
Theses
tel-01115455v1
|
||
|
Trend AnalysisM. Lyu. Handbook for Software Reliability Engineering, McGraw-Hill, pp.401-437, 1996, 0-07-039400-8
Book sections
hal-00761640v1
|
||
|
Dependability Evaluation of an Air Traffic Control Computing SystemPerformance Evaluation, 1999, 35 (3-4), pp.253-273
Journal articles
hal-00762602v1
|
||
|
Reliability analyses of workstation failure dataEsprit Conference, (CEC-DGXIII), pp. 806-821., Nov 1999, Bruxelles, Belgium
Conference papers
hal-01986501v1
|
||
|
Availability of CAUTRA, a Subset of the French Air Traffic Control SystemIEEE Transactions on Computers, 1999, 48 (5), pp.528 - 535. ⟨10.1109/12.769435⟩
Journal articles
hal-01977520v1
|
||
|
A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture28th IEEE International Symposium on Fault-Tolerant Computing, Jun 1998, Munich, Germany. pp.6-15
Conference papers
hal-00140480v1
|