Search - LAAS-Informatique Critique Access content directly

Filter your results

56 Results
Deposit type : Fulltext
Image document

Availability assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx logfiles : a case study

Cristina Simache , Mohamed Kaâniche
IEEE 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
Image document

Modélisation et analyse temporelle par réseaux de Petri et logique linéaire

Nicolas Rivière
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2003. Français. ⟨NNT : ⟩
Theses tel-00134974v1
Image document

ETALONNAGE DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES D'EXPLOITATION

Yves Crouzet , Ali Kalakech , Karama Kanoun , Jean Arlat
Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, Oct 2004, Bourges, France
Conference papers hal-01980665v1
Image document

Conception et réalisation d'une architecture tolérant les intrusions pour des serveurs internet

Ayda Saidane
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2005. Français. ⟨NNT : ⟩
Theses tel-00009600v1
Image document

Tolérance aux fautes dans les systèmes répartis à base d'intergiciels réflexifs standards

Taha Bennani
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2005. Français. ⟨NNT : ⟩
Theses tel-00009746v1
Image document

Caractérisation de systèmes d'exploitation en présence de pilotes défaillants

Arnaud Albinet
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2005. Français. ⟨NNT : ⟩
Theses tel-00010056v1
Image document

La réflexivité dans les architectures multi-niveaux : application aux systèmes tolérant les fautes

François Taïani
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2004. Français. ⟨NNT : ⟩
Theses tel-00010940v1
Image document

Dependability evaluation. From functional to structural modelling

Claudia Betous-Almeida , Karama Kanoun
20th International Conference on Computer Safety, Reliability and Security (SAFECOMP'2001), Sep 2001, Budapest, Hungary
Conference papers hal-02007586v1
Image document

Benchmarking the Dependability of Windows and Linux using PostMark ™ Workloads *

Karama Kanoun , Yves Crouzet , Ali Kalakech , Ana-Elena Rugina , Philippe Rumeau
16th IEEE International Symposium on Software Reliability Engineering, ISSRE 2005, Nov 2005, Chicago, United States. pp.11-20
Conference papers hal-01962754v1
Image document

A User-Perceived Availability Evaluation of a Web Based Travel Agency

Mohamed Kaâniche , Karama Kanoun , Magnos Martinello
International 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
Image document

Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach

Mourad Rabah , Karama Kanoun
IEEE Transactions on Computers, 2003, 52 (2), ⟨10.1109/TC.2003.1176988⟩
Journal articles hal-01977511v1
Image document

Tolérance aux fautes sur CORBA par protocole à métaobjets et langages réflexifs

Marc-Olivier Killijian
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2000. Français. ⟨NNT : ⟩
Theses tel-00131879v1
Image document

A framework for modeling availability of E-business systems

Mohamed Kaâniche , Karama Kanoun , Mourad Rabah
10th 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
Image document

Sûreté de Fonctionnement du Logiciel

Jean-Claude Laprie , Karama Kanoun
La Revue de l'électricité et de l'électronique, 2005, 11, pp.37-41
Journal articles hal-01978498v1
Image document

Event log based dependability analysis of Windows NT and 2K systems

Cristina Simache , Mohamed Kaâniche , Ayda Saidane
Pacific Rim International Symposium on Dependable Computing (PRDC 2002), Dec 2002, Tsukuba, Japan. pp.311-315, ⟨10.1109/PRDC.2002.1185651⟩
Conference papers hal-01911680v1
Image document

Toward a Human-Centered UML for Risk Analysis - Application to a medical robot

Jérémie Guiochet , Gilles Motet , Claude Baron , Guy Boy
18th IFIP World Computer Congress (WCC), Human Error, Safety and Systems Development (HESSD04), IFIP/WCC, Aug 2004, Toulouse, France
Conference papers hal-01276662v1
Image document

Dependability modelling of instrumentation and control systems: a comaprison of competing architectures

Claudia Betous-Almeida , Karama Kanoun
Safety Science, 2004, 42 (5)
Journal articles hal-01976575v1
Image document

A Preliminary Framework for Dependability Benchmarking

Karama Kanoun , Henrique Madeira , Jean Arlat
2002 International Conference on Dependable Systems & Networks (DSN'2002). Workshop on Dependability Benchmarking, Jun 2002, Washington D.C., United States
Conference papers hal-01975983v1
Image document

Construction and stepwise refinement of dependability models

Claudia Betous-Almeida , Karama Kanoun
Performance Evaluation, 2004, 56 (1-4), pp.277-306
Journal articles hal-01980966v1
Image document

Collection and analysis of attack data based on honeypots deployed on the Internet

Eric Alata , Marc Dacier , Yves Deswarte , Mohamed Kaâniche , Kostya Kortchinsky , et al.
Workshop on Quality of protection (QoP 2005), Security Measurements and Metrics, Sep 2005, France. pp.79-92
Conference papers hal-00140390v1
Image document

Fault Tolerance in Autonomous Systems: How and How Much?

Benjamin Lussier , Alexandre Lampe , Raja Chatila , Jérémie Guiochet , Félix Ingrand , et al.
4th IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), 2005, Nagoya, Japan
Conference papers hal-01292930v1
Image document

Multi-Level Modeling Approach for the Availability Assessment of e-Business Applications

Mohamed Kaâniche , Karama Kanoun , Mourad Rabah
Software: Practice and Experience, 2003, 33 (14), pp.1323-1341. ⟨10.1002/spe.550⟩
Journal articles istex hal-00755223v1
Image document

Stepwise Construction and Refinement of Dependability Models

Claudia Betous-Almeida , Karama Kanoun
4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000), Mar 2000, Chicago, United States
Conference papers hal-01976600v1
Image document

Dependability Assessment of GUARDS Instances

Jean Arlat , Tahar Jarboui , Karama Kanoun , David Powell
4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000), Mar 2000, Chicago, United States
Conference papers hal-01976690v1
Image document

Toward a human-centered UML for risk analysis

Jérémie Guiochet , Gilles Motet , Claude Baron , Guy Boy
IFIP WCC, 2004, Toulouse, France. pp.177-191
Conference papers hal-00003461v1
Image document

Benchmarking The Dependability of Windows NT4, 2000 and XP *

Ali Kalakech , Karama Kanoun , Yves Crouzet , Jean Arlat
2004 International Conference on Dependable Systems and Networks (DSN'2004), Jun 2004, Florence, Italy. pp.681-686
Conference papers hal-01962911v1
Image document

Analysis of the Effects of Real and Injected Software Faults: Linux as a Case Study*

Tahar Jarboui , Jean Arlat , Yves Crouzet , Karama Kanoun , Thomas Marteau
Pacific Rim International Symposium on Dependable Computing (PRDC'2002), Dec 2002, Tsukuba, Japan. pp.51-58
Conference papers hal-01962914v1
Image document

Dependability of Fault-Tolerant Systems-Explicit Modeling of the Interactions Between Hardware and Software Components

Karama Kanoun , Marie Borrel
IEEE Transactions on Reliability, 2000, 49, pp.363 - 376
Journal articles hal-01977525v1
Image document

Dependability of computer control systems in power plants. Analytical and experimental evaluation

Claudia Betous-Almeida , Alberto Arazo , Yves Crouzet , Karama Kanoun
F. 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
Image document

DBench * (Dependability Benchmarking)

Karama Kanoun , Henrique Madeira , Mario Dalcin , Francisco Moreira , Juan Carlos Ruiz Garcia
5th European Dependable Computing Conference, Apr 2005, Budapest, Hungary
Conference papers hal-01982631v1