Filter your results
- 56
- 6
- 30
- 12
- 10
- 2
- 2
- 2
- 55
- 1
- 1
- 16
- 12
- 10
- 6
- 6
- 6
- 40
- 16
- 56
- 7
- 7
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 24
- 12
- 10
- 7
- 6
- 6
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Availability assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx logfiles : a case studyIEEE Pacific Rim International Symposium on Dependable Computing (PRDC'2005), Dec 2005, Changsha Hunan, China. pp.49-56, ⟨10.1109/PRDC.2005.20⟩
Conference papers
hal-00140364v1
|
||
|
Modélisation et analyse temporelle par réseaux de Petri et logique linéaireRéseaux et télécommunications [cs.NI]. INSA de Toulouse, 2003. Français. ⟨NNT : ⟩
Theses
tel-00134974v1
|
||
|
ETALONNAGE DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES D'EXPLOITATIONCongrès de Maîtrise des Risques et Sûreté de Fonctionnement, Oct 2004, Bourges, France
Conference papers
hal-01980665v1
|
||
|
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
|
||
|
La réflexivité dans les architectures multi-niveaux : application aux systèmes tolérant les fautesRéseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2004. Français. ⟨NNT : ⟩
Theses
tel-00010940v1
|
||
|
Dependability evaluation. From functional to structural modelling20th International Conference on Computer Safety, Reliability and Security (SAFECOMP'2001), Sep 2001, Budapest, Hungary
Conference papers
hal-02007586v1
|
||
|
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
|
||
|
A User-Perceived Availability Evaluation of a Web Based Travel AgencyInternational Conference on Deependable Systems and Networks (DSN-2003), Jun 2003, San Francisco, CA, United States. pp.709 - 718, ⟨10.1109/DSN.2003.1209986⟩
Conference papers
hal-01911676v1
|
||
|
Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" ApproachIEEE Transactions on Computers, 2003, 52 (2), ⟨10.1109/TC.2003.1176988⟩
Journal articles
hal-01977511v1
|
||
|
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
|
||
|
A framework for modeling availability of E-business systems10th International Conference on Computer Communications and Networks, 2001 (ICCCN 2001), Oct 2001, Scottsdale, AZ, United States. pp. 40-45, ⟨10.1109/ICCCN.2001.956217⟩
Conference papers
hal-01212216v1
|
||
|
Sûreté de Fonctionnement du LogicielLa Revue de l'électricité et de l'électronique, 2005, 11, pp.37-41
Journal articles
hal-01978498v1
|
||
|
Event log based dependability analysis of Windows NT and 2K systemsPacific Rim International Symposium on Dependable Computing (PRDC 2002), Dec 2002, Tsukuba, Japan. pp.311-315, ⟨10.1109/PRDC.2002.1185651⟩
Conference papers
hal-01911680v1
|
||
|
Toward a Human-Centered UML for Risk Analysis - Application to a medical robot18th IFIP World Computer Congress (WCC), Human Error, Safety and Systems Development (HESSD04), IFIP/WCC, Aug 2004, Toulouse, France
Conference papers
hal-01276662v1
|
||
|
Dependability modelling of instrumentation and control systems: a comaprison of competing architecturesSafety Science, 2004, 42 (5)
Journal articles
hal-01976575v1
|
||
|
A Preliminary Framework for Dependability Benchmarking2002 International Conference on Dependable Systems & Networks (DSN'2002). Workshop on Dependability Benchmarking, Jun 2002, Washington D.C., United States
Conference papers
hal-01975983v1
|
||
|
Construction and stepwise refinement of dependability modelsPerformance Evaluation, 2004, 56 (1-4), pp.277-306
Journal articles
hal-01980966v1
|
||
|
Collection and analysis of attack data based on honeypots deployed on the InternetWorkshop on Quality of protection (QoP 2005), Security Measurements and Metrics, Sep 2005, France. pp.79-92
Conference papers
hal-00140390v1
|
||
|
Fault Tolerance in Autonomous Systems: How and How Much? 4th IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), 2005, Nagoya, Japan
Conference papers
hal-01292930v1
|
||
|
Multi-Level Modeling Approach for the Availability Assessment of e-Business ApplicationsSoftware: Practice and Experience, 2003, 33 (14), pp.1323-1341. ⟨10.1002/spe.550⟩
Journal articles
istex
hal-00755223v1
|
||
|
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
|
||
|
Toward a human-centered UML for risk analysisIFIP WCC, 2004, Toulouse, France. pp.177-191
Conference papers
hal-00003461v1
|
||
|
Benchmarking The Dependability of Windows NT4, 2000 and XP *2004 International Conference on Dependable Systems and Networks (DSN'2004), Jun 2004, Florence, Italy. pp.681-686
Conference papers
hal-01962911v1
|
||
|
Analysis of the Effects of Real and Injected Software Faults: Linux as a Case Study*Pacific Rim International Symposium on Dependable Computing (PRDC'2002), Dec 2002, Tsukuba, Japan. pp.51-58
Conference papers
hal-01962914v1
|
||
|
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
|
||
|
DBench * (Dependability Benchmarking)5th European Dependable Computing Conference, Apr 2005, Budapest, Hungary
Conference papers
hal-01982631v1
|
- 1
- 2