Skip to Main content Skip to Navigation


...
hal-00761040v1  Conference papers
Kossi TiassouKarama KanounMohamed KaânicheChristel SeguinChris Papadopoulos. Online model adaptation for aircraft operational reliability assessment
6th International Congress, Embedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France. pp.1-11
...
hal-00761050v1  Conference papers
Kossi TiassouKarama KanounMohamed KaânicheChristel SeguinChris Papadopoulos. Impact de l'évaluation de la fiabilité opérationnelle pendant la mission d'un avion
Congrès de Maîtrise des Risques et de sûreté de Fonctionnement (Lamda Mu 17), Oct 2012, Tours, France. 9 p
...
tel-01964462v1  Theses
Karama Kanoun. Croissance de la sûreté de fonctionnement des logiciels. Caractérisation, modélisation, évaluation
Performance et fiabilité [cs.PF]. Institut National Polytechnique De Toulouse, 1989. Français
...
hal-00761042v1  Book sections
Yves CrouzetKarama Kanoun. System Dependability: Characterization and Benchmarking
A.Hurson, S.Sedigh. Advances in Computers. Special issue: Dependable and Secure Systems Engineering, Elsevie, pp.93-139, 2012, 978-0-12-396525-7
...
tel-01964458v1  Theses
Karama Kanoun. Evaluation de la sûreté de fonctionnement des systèmes de sécurité - Application à la commande des postes à très haute tension
Performance et fiabilité [cs.PF]. Institut National Polytechnique de Toulouse (INP Toulouse), 1980. Français
...
hal-00761140v1  Book sections
David PowellJean ArlatYves DeswarteKarama Kanoun. Tolerance of design faults
C.B. Jones, J.L. Lloyd. Dependable and Historic Computing, Springer, pp.428-452, 2011, Lecture Notes in Computer Science 6875
...
hal-00761637v1  Book sections
Yves DeswarteKarama KanounJean-Claude Laprie. Diversity against accidental and deliberate faults
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
...
hal-00761609v1  Book sections
Karama KanounYves CrouzetAli KalakechAna-Elena Rugina. Windows and Linux Robustness Benchmarks With Respect to Application Erroneous Behavior
Karama Kanoun et Lisa Spainhower. Dependability Benchmarking for Computer Systems, IEEE Computer Society et WILEY, pp.227-254, 2008, 978-0-470-23055-8
...
hal-00761640v1  Book sections
Karama KanounJean-Claude Laprie. Trend Analysis
M. Lyu. Handbook for Software Reliability Engineering, McGraw-Hill, pp.401-437, 1996, 0-07-039400-8
...
hal-00761643v1  Book sections
Jean-Claude LaprieKarama Kanoun. Software reliability and system reliability
M. Lyu. Handbook for Software Reliability Engineering, McGraw-Hill, pp.27-69, 1996, 0-07-039400-8
...
hal-01076212v1  Conference papers
Guthemberg SilvestreCarla SauvanaudMohamed KaânicheKarama Kanoun. An anomaly detection approach for scale-out storage systems
26th International Symposium on Computer Architecture and High Performance Computing, Oct 2014, Paris, France
...
hal-01978815v1  Book sections
Jean-Claude LaprieJean ArlatChristian BeounesKarama Kanoun. FAULT TOLERANT COMPUTING
Encyclopedia of Software Engineering, Vol.1, J.Marciniak, Ed.in Chief - Wiley Interscience, N°ISBN 0-471-54001-3, 1, pp.482 - 503, 1994
hal-01982567v1  Book sections
Jean ArlatKarama KanounJean-Claude Laprie. Dependability modeling of software fault-tolerant systems
Hoang Pham. Fault-tolerant software systems: techniques and applications, IEEE Computer Society, Press technology Series, pp.25-34, 1992
hal-01982576v1  Book sections
Jean-Claude LaprieJean ArlatChristian BeounesKarama Kanoun. Definition and analysis of hardware-and-software fault-tolerant architectures
Hoang Pham. Fault-tolerant software systems: techniques and applications, IEEE Computer Society Press technology Series, Los Alamitos, pp.5-17, 1992
hal-01982532v1  Book sections
Jean-Claude LaprieJean ArlatChristian BeounesKarama Kanoun. Architectural issues in software fault tolerance
M. Lyu. Software Fault Tolerance,, Willey, Chapitre 3, 1995
hal-01982521v1  Book sections
Jean ArlatAndrea BondavalliFelicita Di GiandomenicoTahar JarbouiÉric Jenn et al.  GUARDS: dependability evaluation, Chapter 9
David Powell. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, Kluwer Academic Publishers, pp.157-192, 2001, 0-7923-7295-6
...
hal-01978863v1  Journal articles
Jean ArlatKarama KanounJean-Claude Laprie. DEPENDABILITY MODELING AND EVALUATION OF SOFTWARE-FAULT TOLERANT SYSTEMS
IEEE Transactions on Computers. Special Issue on Fault-Tolerant Computing, 1990, 39, pp.504 - 513
...
hal-01978569v1  Journal articles
Karama Kanoun. A Measurement-Based Framework for Software Reliability Improvement
Annals of Software Engineering, Special Volume on Software Management, 2001, 11, pp.89 - 106
...
hal-01979785v1  Journal articles
Karama KanounYves Crouzet. Dependability Benchmarks for Operating Systems
International Journal of Performability Engineering, 2006, 2, pp.275 - 287
hal-01982552v1  Book sections
Jean-Claude LaprieKarama KanounJean ArlatChristian Beounes. Definition and analysis of hardware-and-software fault-tolerant architectures
R.H. Thayer, A.D. McGettick. Software Engineering. A European Perspective, IEEE Computer Society Press, pp.256-268, 1993
hal-01980876v1  Directions of work or proceedings
Maccimo FeliciKarama KanounAlberto Pasquinin. Computer Safety, reliability, and Security
18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), Lecture Notes in Computer Science 1698, Springer, pp.482, 1999
...
hal-00323983v1  Conference papers
Ana-Elena RuginaPeter FeilerKarama KanounMohamed Kaâniche. Software dependability modeling using an industry-standard architecture description language
4th European Congress ERTS Embedded Real Time Software, Jan 2008, Toulouse, France
...
hal-00323969v1  Conference papers
Ana-Elena RuginaKarama KanounMohamed Kaâniche. The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
7th European Dependable Computing Conference (EDCC), May 2008, Kaunas, Lithuania. pp.85-90
...
hal-00323999v1  Conference papers
Jean-Claude LaprieKarama KanounMohamed Kaâniche. Modelling interdependencies between the electricity and information infrastructures
26th International Conference on Computer Safety, Reliability and Security, SAFECOMP-2007, Sep 2007, Nurenberg, Germany. pp.54-67
...
hal-01986887v1  Book sections
Claudia Betous-AlmeidaAlberto ArazoYves CrouzetKarama Kanoun. Dependability of computer control systems in power plants. Analytical and experimental evaluation
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
...
hal-01961204v1  Directions of work or proceedings
Karama KanounPhilip KoopmanHenrique MadeiraLisa Spainhower. Dependability Benchmarking for Computer Systems
IEEE Computer Society; WILEY, pp.xiii-xviii, 2008, 978-0-470-23055-8