Search - LAAS-Informatique Critique Access content directly

Filter your results

18 Results
Deposit type : Fulltext
Image document

MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DU CAUTRA (Coordinateur AUtomatique du TRafic Aérien) AVEC PRISE EN COMPTE DES DÉFAILLANCES DU MATÉRIEL ET DU LOGICIEL

M Borrel , Karama Kanoun , T Morteveille , A Peytavin°
9ème Colloque International de Fiabilité et de Maintenabilité, May 1994, La Baule, France
Conference papers hal-01985283v1
Image document

DEPENDABILITY MODELING AND EVALUATION OF SOFTWARE-FAULT TOLERANT SYSTEMS

Jean Arlat , Karama Kanoun , Jean-Claude Laprie
IEEE Transactions on Computers, 1990, 39, pp.504 - 513
Journal articles hal-01978863v1
Image document

COLLECTE ET ANALYSE DE DONNÉES RELATIVES A LA SÛRETÉ DE FONCTIONNEMENT DU LOGICIEL

Karama Kanoun
Journées nationales ISdF "Retour d'expérience et banques de données", Mar 1992, Paris, France
Conference papers hal-01985247v1
Image document

Modèle hyperexponentiel en temps continu et en temps discret pour l'évaluation de la croissance de la sûreté de fonctionnement

Mohamed Kaâniche
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1992. Français. ⟨NNT : ⟩
Theses tel-00142181v1
Image document

Experience in Software Reliability: From Data Collection to Quantitative Evaluation

Karama Kanoun , Mohamed Kaâniche , Jean-Claude Laprie
Fourth International Symposium on Software Reliability Engineering (ISSRE-1993), Nov 1993, Denver, United States. pp.234-245
Conference papers hal-00851758v1
Image document

Evaluation of bus and ring communication topologies for the DELTA-4 distributed fault-tolerant architecture

Karama Kanoun , David Powell
10th IEEE Symposium on Reliable Distributed Systems, IEEE, Sep 1991, Pise, Italy. ⟨10.1109/RELDIS.1991.145415⟩
Conference papers hal-01986395v1
Image document

Software Failure Data Analysis of two Successive Generations of a Switching System

Mohamed Kaâniche , Karama Kanoun
12th IFAC International Conference on Computer Safety, Reliability and Security (SAFECOMP'93), Oct 1993, Poznan, Poland. ⟨10.1007/978-1-4471-2061-2_24⟩
Conference papers hal-01212234v1
Image document

SOFTWARE RELIABILITY TREND ANALYSES: FROM THEORETICAL TO PRACTICAL CONSIDERATIONS

Karama Kanoun , Jean-Claude Laprie
IEEE Transactions on Software Engineering, 1994, 20, pp.740 - 747
Journal articles hal-01978842v1
Image document

THE ROLE OF TREND ANALYSIS IN SOFTWARE DEVELOPMENT AND VALIDATION

Karama Kanoun , Jean-Claude Laprie
IFAC Int. Conf. on Safety, Security and Reliability (SAFECOMP'91), Nov 1991, Trondheim, Norway. pp.169 - 172
Conference papers hal-01985291v1
Image document

A method for software reliability analysis and prediction, application to the TROPICO-R switching system.

Karama Kanoun , Marta Bastos-Martini , Georges Moreira de Souza
IEEE Transactions on Software Engineering, 1991, 17 (4), pp.334-344
Journal articles hal-02007235v1
Image document

Vers une évaluation quantitative de la sécurité informatique

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

The discrete time hyperexponential model for software reliability growth evaluation

Mohamed Kaâniche , Karama Kanoun
Third International Symposium on Software Reliability Engineering (ISSRE-1992), Oct 1992, Research Triangle Park, NC, United States. pp.64 - 75, ⟨10.1109/ISSRE.1992.285857⟩
Conference papers hal-00851763v1
Image document

X-ware reliability and availability modeling

Jean-Claude Laprie , Karama Kanoun
IEEE Transactions on Software Engineering, 1992, 18 (2), pp.130-147
Journal articles hal-01979370v1
Image document

SoRel: A tool for reliability growth analysis and prediction from statistical failure data

Karama Kanoun , Mohamed Kaâniche , Jean-Claude Laprie , Sylvain Metge
The Twenty-Third International Symposium on Fault-Tolerant Computing (FTCS-23), Jun 1993, Toulouse, France. pp.654-659, ⟨10.1109/FTCS.1993.627370⟩
Conference papers hal-00852434v1
Image document

SURF-2 1 ◊ : OUTIL D'ÉVALUATION DE LA SÛRETÉ DE FONCTIONNEMENT PAR CHAÎNES DE MARKOV ET RÉSEAUX DE PETRI STOCHASTIQUES

S Metge , Martine Aguéra , Jean Arlat , Serge Bachmann , C. Bourdeau , et al.
9ème Colloque International de Fiabilité et de Maintenabilité, May 1994, La Baule, France
Conference papers hal-01985267v1
Image document

DATA COLLECTION FOR SOFTWARE RELIABILITY DATABASES

Karama Kanoun
2nd International Coference on Reliability, maintainability and Safety (ICRMS), Jun 1994, Pékin, China. pp.3 - 10
Conference papers hal-01976772v1
Image document

Field failures and reliability in operation

Karama Kanoun , Ram Chillarege , Ravishankar Iyer , Jean-Claude Laprie , John Musa
4th International Symposium on Software Reliability Engineering, pp.122-126., Nov 1993, Denver, United States
Conference papers hal-01986510v1
Image document

FAULT TOLERANT COMPUTING

Jean-Claude Laprie , Jean Arlat , Christian Beounes , Karama Kanoun
Encyclopedia of Software Engineering, Vol.1, J.Marciniak, Ed.in Chief - Wiley Interscience, N°ISBN 0-471-54001-3, 1, pp.482 - 503, 1994
Book sections hal-01978815v1