115 results  save search


...
hal-00453029v1  Conference papers
Ossama HamoudaMohamed KaânicheKarama Kanoun. Modélisation et évaluation de la sûreté de fonctionnement d'un système d'autoroute automatisée
16ème Colloque de Maîtrise des Risques et de Sûreté de Fonctionnement. LAMBDA-MU 16, Oct 2008, Avignon, France
...
hal-00852263v1  Conference papers
Ossama HamoudaMohamed KaânicheKarama Kanoun. Availability Modelling of a Virtual Black Box for Automotive Systems
The 2nd International Workshop on Software Engineering for Resilient Systems (SERENE'10), Apr 2010, Londres, United Kingdom. pp.52-60, ⟨10.1145/2401736.2401742⟩
...
hal-01981173v1  Conference papers
Mario TokoroKarama KanounKimio KuramitsuJean-Charles Fabre. WOSD 2011 The First International Workshop on Open Systems Dependability
International Workshop on Open Systems Dependability (WOSD), organised with DSN 2011, Jun 2011, Hong Kong, China. pp.593 - 594
...
hal-01984001v1  Journal articles
Karama KanounA Pasquini. Safety, Reliability and Security of Industrial Computer Systems
Reliability Engineering and System Safety, Elsevier, 2001, 71 (3)
...
hal-01980966v1  Journal articles
Claudia Betous-AlmeidaKarama Kanoun. Construction and stepwise refinement of dependability models
Performance Evaluation, Elsevier, 2004, 56 (1-4), pp.277-306
...
hal-00762602v1  Journal articles
Nicolae FotaMohamed KaânicheKarama Kanoun. Dependability Evaluation of an Air Traffic Control Computing System
Performance Evaluation, Elsevier, 1999, 35 (3-4), pp.253-273
...
hal-00756957v1  Journal articles
Mohamed KaânichePaolo LolliniAndrea BondavalliKarama Kanoun. Modeling the resilience of large and evolving systems
International Journal of Performability Engineering, 2008, 4 (2), pp.153-168
...
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-01978617v1  Conference papers
Karama Kanoun. Cost of Software Design Diversity-A Case Study
10-th IEEE International Conference on Software Reliability Engineering (ISSRE-99), Nov 1999, Boca Raton, FL, United States
...
hal-00851763v1  Conference papers
Mohamed KaânicheKarama Kanoun. The discrete time hyperexponential model for software reliability growth evaluation
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⟩
...
hal-00852434v1  Conference papers
Karama KanounMohamed KaânicheJean-Claude LaprieSylvain Metge. SoRel: A tool for reliability growth analysis and prediction from statistical failure data
The Twenty-Third International Symposium on Fault-Tolerant Computing (FTCS-23), Jun 1993, Toulouse, France. pp.654-659, ⟨10.1109/FTCS.1993.627370⟩
...
hal-01976600v1  Conference papers
Claudia Betous-AlmeidaKarama Kanoun. Stepwise Construction and Refinement of Dependability Models
4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000), Mar 2000, Chicago, United States
...
hal-01975983v1  Conference papers
Karama KanounHenrique MadeiraJean Arlat. A Preliminary Framework for Dependability Benchmarking
2002 International Conference on Dependable Systems & Networks (DSN'2002). Workshop on Dependability Benchmarking, Jun 2002, Washington D.C., United States
...
hal-01975990v1  Conference papers
Tahar JarbouiJean ArlatYves CrouzetKarama Kanoun. Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques
International Conference on Dependable Systems & Networks (DSN'2002), Jun 2002, Washington D.C, United States
...
hal-01976201v1  Conference papers
Karama KanounMarie BorrelThierry MorteveilleAlain Peytavin. Modelling the dependability of CAUTRA, a subset of the French air traffic control system
26th Annual International Symposium on Fault-Tolerant Computing (FTCS-26), Jun 1996, Sendai, Japan
...
hal-01976182v1  Conference papers
Karama KanounMarie Borrel. Dependability of Fault-Tolerant Systems — Explicit Modeling of the Interactions Between Hardware and Software Components
2nd Annual IEEE International Computer Performance and Dependability Symposium (IPDS'96), 4-6 septembre 1996, pp.252-261, Sep 1996, Urbana-Champaign, United States
...
hal-01976772v1  Conference papers
Karama Kanoun. DATA COLLECTION FOR SOFTWARE RELIABILITY DATABASES
2nd International Coference on Reliability, maintainability and Safety (ICRMS), Jun 1994, Pékin, China. pp.3 - 10
...
hal-01976690v1  Conference papers
Jean ArlatTahar JarbouiKarama KanounDavid Powell. Dependability Assessment of GUARDS Instances
4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000), Mar 2000, Chicago, United States
hal-00851871v1  Conference papers
Jean-Claude LaprieChristian BeounesMohamed KaânicheKarama Kanoun. The transformation approach to the modeling and evaluation of the reliability and availability growth
The 20th International Symposium on Fault-Tolerant Computing (FTCS-20), Jun 1990, Newcastle Upon Tyne, United Kingdom. pp.364 - 371, ⟨10.1109/FTCS.1990.89390⟩
...
hal-00851779v1  Conference papers
Ossama HamoudaMohamed KaânicheKarama Kanoun. Safety modeling and evaluation of Automated Highway Systems
The IEEE/IFIP International Conference on Dependable Systems & Networks (DSN '09), Jun 2009, Lisbonne, Portugal. pp.73 - 82, ⟨10.1109/DSN.2009.5270352⟩
...
hal-01962911v1  Conference papers
Ali KalakechKarama KanounYves CrouzetJean Arlat. 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
...
hal-01962914v1  Conference papers
Tahar JarbouiJean ArlatYves CrouzetKarama KanounThomas Marteau. 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
...
hal-01962754v1  Conference papers
Karama KanounYves CrouzetAli KalakechAna-Elena RuginaPhilippe Rumeau. 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
...
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-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-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