Search - LAAS-Informatique Critique Access content directly

Filter your results

26 Results
Deposit type : Fulltext
Image document

La protection dans les systèmes à objets répartis

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

An Holistic Approach to Dependability ?

Alberto Pasquinin , W. Goerke , Karama Kanoun , A Rizzo
15th International Conference on Computer Safety, Reliability and Security (Safecomp'96), 149-154., Oct 1996, Vienne, Austria
Conference papers hal-01986892v1
Image document

Sûreté de fonctionnement d'architectures informatiques embarquées sur automobile

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

Diversity against accidental and deliberate faults

Yves Deswarte , Karama Kanoun , Jean-Claude Laprie
P.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
Image document

Fiabilité du logiciel : de la collecte des données à l'évaluation probabiliste

Karama Kanoun , Mohamed Kaâniche , Jean-Claude Laprie
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1997, 16 (7), pp.865-895
Journal articles hal-01212188v1
Image document

Reliability of a commercial telecommunications system

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

Modelling the dependability of CAUTRA, a subset of the French air traffic control system

Karama Kanoun , Marie Borrel , Thierry Morteveille , Alain Peytavin
26th Annual International Symposium on Fault-Tolerant Computing (FTCS-26), Jun 1996, Sendai, Japan
Conference papers hal-01976201v1
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

Cost of Software Design Diversity-A Case Study

Karama Kanoun
10-th IEEE International Conference on Software Reliability Engineering (ISSRE-99), Nov 1999, Boca Raton, FL, United States
Conference papers hal-01978617v1
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

Dependability evaluation of a distributed shared memory multiprocessor system

Mourad Rabah , Karama Kanoun
J.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
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

Dependability engineering of complex computing systems

Mohamed Kaâniche , Jean-Claude Laprie , Jean-Paul Blanquart
6th 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
Image document

Safety Analysis and Evaluation of an Air Traffic Control Computing System

Nicolae Fota , Mohamed Kaâniche , Karama Kanoun , Alain Peytavin
The 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP-1996), Oct 1996, Vienne, Austria. pp.219-229
Conference papers hal-00851765v1
Image document

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

Karama Kanoun , Marie Borrel
2nd 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
Image document

SQUALE Dependability Assessment Criteria

Yves Deswarte , Mohamed Kaâniche , Pierre Corneillie , John Goodson
18th 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
Image document

Evaluation de la sûreté de fonctionnement informatique. Fautes physiques, fautes de conception, malveillances

Mohamed Kaâniche
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1999
Habilitation à diriger des recherches tel-00142168v1
Image document

Software reliability and system reliability

Jean-Claude Laprie , Karama Kanoun
M. Lyu. Handbook for Software Reliability Engineering, McGraw-Hill, pp.27-69, 1996, 0-07-039400-8
Book sections hal-00761643v1
Image document

Évaluation quantitative de la sécurité des systèmes d’information

Rodolphe Ortalo
Cryptographie et sécurité [cs.CR]. INP DE TOULOUSE, 1998. Français. ⟨NNT : ⟩
Theses tel-01115455v1
Image document

Trend Analysis

Karama Kanoun , Jean-Claude Laprie
M. Lyu. Handbook for Software Reliability Engineering, McGraw-Hill, pp.401-437, 1996, 0-07-039400-8
Book sections hal-00761640v1
Image document

Dependability Evaluation of an Air Traffic Control Computing System

Nicolae Fota , Mohamed Kaâniche , Karama Kanoun
Performance Evaluation, 1999, 35 (3-4), pp.253-273
Journal articles hal-00762602v1
Image document

Reliability analyses of workstation failure data

Sara Brocklehurst , Karama Kanoun , Jean-Claude Laprie , Bev Littlewood , Sylvain Metge , et al.
Esprit Conference, (CEC-DGXIII), pp. 806-821., Nov 1999, Bruxelles, Belgium
Conference papers hal-01986501v1
Image document

Availability of CAUTRA, a Subset of the French Air Traffic Control System

Karama Kanoun , Marie Borrel , Thierry Morteveille , Alain Peytavin
IEEE Transactions on Computers, 1999, 48 (5), pp.528 - 535. ⟨10.1109/12.769435⟩
Journal articles hal-01977520v1
Image document

A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture

Mohamed Kaâniche , Luigi Romano , Zbigniew Kalbarczyk , Ravishankar Iyer , Rick Karcich
28th IEEE International Symposium on Fault-Tolerant Computing, Jun 1998, Munich, Germany. pp.6-15
Conference papers hal-00140480v1