Evaluation de la sûreté de fonctionnement des systèmes de sécurité - Application à la commande des postes à très haute tension. (Dependability modeling of safety systems - Application tothe control system of an Extra High Voltage substation). - Karama Kanoun (1980)

Dependability evaluation of software fault-tolerance. - Jean Arlat; Karama Kanoun; Jean-Claude Laprie (FTCS, 1988)

Croissance de la sûreté de fonctionnement des logiciels. Caractérisation, modélisation, évaluation. (Software reliability growth. Characterization, modelization, evaluation). - Karama Kanoun (1989)

The transformation approach to the modeling and evaluation of the reliability and availability growth. - Jean-Claude Laprie; Christian Béounes; Mohamed Kaâniche; Karama Kanoun (FTCS, 1990)

Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures. - Jean-Claude Laprie; Jean Arlat; Christian Béounes; Karama Kanoun (Computer, 1990)

Dependability Modeling and Evaluation of Software Fault-Tolerant Systems. - Jean Arlat; Karama Kanoun; Jean-Claude Laprie (IEEE Trans. Computers, 1990)

Dependability Evaluation of Bus and Ring Communication Topologies for the Delta-4 Distributed Fault-Tolerant Architecture. - Karama Kanoun; David Powell (SRDS, 1991)

A Method for Software Reliability Analysis and Prediction Application to the TROPICO-R Switching System. - Karama Kanoun; Marta Rettelbusch de Bastos Martini; Jorge Moreira de Souza (IEEE Trans. Software Eng., 1991)

The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth. - Jean-Claude Laprie; Karama Kanoun; Christian Béounes; Mohamed Kaâniche (IEEE Trans. Software Eng., 1991)

The discrete time hyperexponential model for software reliability growth evaluation. - Mohamed Kaâniche; Karama Kanoun (ISSRE, 1992)

X-Ware Reliability and Availability Modeling. - Jean-Claude Laprie; Karama Kanoun (IEEE Trans. Software Eng., 1992)

SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems. - C. Béoumes; Karama Kanoun; Martine Aguera; Jean-Claude Laprie; Jean Arlat; Sylvain Metge; S. Bachmann; Jorge Moreira de Souza; C. Bourdeau; David Powell; J.-E. Doucet; P. Spiesser (FTCS, 1993)

SoRel: A Tool for Reliability Growth Analysis and Prediction From Statistical Failure Data. - Karama Kanoun; Mohamed Kaâniche; Jean-Claude Laprie; Sylvain Metge (FTCS, 1993)

Experience in software reliability: From data collection to quantitative evaluation. - Karama Kanoun; Mohamed Kaâniche; Jean-Claude Laprie (ISSRE, 1993)

Software Failure Data Analysis of two Successive Generations of a Switching System. - Mohamed Kaâniche; Karama Kanoun (SAFECOMP, 1993)

Software Reliability Analysis of Three Successive Generations of a Switching System. - Mohamed Kaâniche; Karama Kanoun; Michel Cukier; Marta Rettelbusch de Bastos Martini (EDCC, 1994)

Software Reliability Trend Analyses from Theoretical to Practical Considerations. - Karama Kanoun; Jean-Claude Laprie (IEEE Trans. Software Eng., 1994)

Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth. - Jean-Claude Laprie; Mohamed Kaâniche; Karama Kanoun (PNPM, 1995)

Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System. - Karama Kanoun; Marie Borrel; Thierry Morteveille; Alain Peytavin (FTCS, 1996)

Reliability of a commercial telecommunications system. - Mohamed Kaâniche; Karama Kanoun (ISSRE, 1996)

Safety Analysis and Evaluation of an Air Traffic Control Computing System. - Nicolae Fota; Mohamed Kaâniche; Karama Kanoun; Alain Peytavin (SAFECOMP, 1996)

An Holistic Approach to Dependability? - Alberto Pasquini; Winfried Görke; Karama Kanoun; Antonio Rizzo (SAFECOMP, 1996)

Qualitative and Quantitative Reliability Assessment. - Karama Kanoun; Mohamed Kaâniche; Jean-Claude Laprie (IEEE Softw., 1997)

Dependability Evaluation of a Distributed Shared Memory Multiprocessor System. - Mourad Rabah; Karama Kanoun (EDCC, 1999)

Cost of software design diversity an empirical evaluation. - Karama Kanoun (ISSRE, 1999)

Dependability Evaluation of an Air Traffic Control Computing System. - Nicolae Fota; Mohamed Kaâniche; Karama Kanoun (Perform. Evaluation, 1999)

Availability of CAUTRA, a Subset of the French Air Traffic Control System. - Karama Kanoun; Marie Borrel; Thierry Morteveille; Alain Peytavin (IEEE Trans. Computers, 1999)

Dependability of Computer Control Systems in Power Plants. - Cláudia Almeida; Alberto Arazo; Yves Crouzet; Karama Kanoun (SAFECOMP, 2000)

Fault-tolerant system dependability-explicit modeling of hardware and software component-interactions. - Karama Kanoun; Marie Ortalo-Borrel (IEEE Trans. Reliab., 2000)

A framework for modeling availability of E-business systems. - Mohamed Kaâniche; Karama Kanoun; Mourad Rabah (ICCCN, 2001)

Dependability Evaluation. - Cláudia Betous-Almeida; Karama Kanoun (SAFECOMP, 2001)

A Measurement-Based Framework for Software Reliability Improvement. - Karama Kanoun (Ann. Softw. Eng., 2001)

Safety, reliability and security of industrial computer systems. - Karama Kanoun; Alberto Pasquini (Reliab. Eng. Syst. Saf., 2001)

Real-World Design Diversity: A Case Study on Cost. - Karama Kanoun (IEEE Softw., 2001)

Stepwise Construction and Refinement of Dependability Models. - Cláudia Betous-Almeida; Karama Kanoun (DSN, 2002)

Joint Panel - IPDS and Workshop on Dependability Benchmarking. - Ravishankar K. Iyer; Zbigniew Kalbarczyk; Philip Koopman; Henrique Madeira; Gunter Heiner; Karama Kanoun; Haim Levendel; Brendan Murphy; Lawrence G. Votta; Don Wilson (DSN, 2002)

Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques. - Tahar Jarboui; Jean Arlat; Yves Crouzet; Karama Kanoun (DSN, 2002)

Analysis of the Effects of Real and Injected Software Faults: . - Tahar Jarboui; Jean Arlat; Yves Crouzet; Karama Kanoun; Thomas Marteau (PRDC, 2002)

A User-Perceived Availability Evaluation of a Web Based Travel Agency. - Mohamed Kaâniche; Karama Kanoun; Magnos Martinello (DSN, 2003)

Dependability Benchmarking: How Far Are We? - Karama Kanoun (LADC, 2003)

Web Service Availability - Impact of Error Recovery. - Magnos Martinello; Mohamed Kaâniche; Karama Kanoun (SAFECOMP, 2003)

Multi-level modeling approach for the availability assessment of e-business applications. - Mohamed Kaâniche; Karama Kanoun; Mourad Rabah (Softw. Pract. Exp., 2003)

Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach. - Mourad Rabah; Karama Kanoun (IEEE Trans. Computers, 2003)

Computer Supported Cooperative Work in Software Engineering. - J. Jenny Li 001; Tangqiu Li; Zongkai Lin; Aditya P. Mathur; Karama Kanoun (COMPSAC, 2004)

Benchmarking The Dependability of Windows NT4, 2000 and XP. - Ali Kalakech 001; Karama Kanoun; Yves Crouzet; Jean Arlat (DSN, 2004)

Benchmarking Operating System Dependability: Windows 2000 as a Case Study. - Ali Kalakech 001; Tahar Jarboui; Jean Arlat; Yves Crouzet; Karama Kanoun (PRDC, 2004)

Construction and stepwise refinement of dependability models. - Cláudia Betous-Almeida; Karama Kanoun (Perform. Evaluation, 2004)

Dependability Benchmarking of Computing Systems - Panel Statement. - Cristian Constantinescu; Karama Kanoun; Henrique Madeira; Brendan Murphy; Ira Pramanick; Aaron B. Brown (DSN, 2005)

Benchmarking the Dependability of Windows and Linux Using PostMark Workloads. - Karama Kanoun; Yves Crouzet; Ali Kalakech 001; Ana-Elena Rugina; Philippe Rumeau (ISSRE, 2005)

Web service availability - impact of error recovery and traffic model. - Magnos Martinello; Mohamed Kaâniche; Karama Kanoun (Reliab. Eng. Syst. Saf., 2005)

A System Dependability Modeling Framework Using AADL and GSPNs. - Ana-Elena Rugina; Karama Kanoun; Mohamed Kaâniche (WADS, 2006)

Modeling user perceived unavailability due to long response times. - Magnos Martinello; Mohamed Kaâniche; Karama Kanoun; Carlos Aguilar Melchor (IPDPS, 2006)

Editorial. - W. Eric Wong; Karama Kanoun (Softw. Pract. Exp., 2006)

Modelling Interdependencies Between the Electricity and Information Infrastructures. - Jean-Claude Laprie; Karama Kanoun; Mohamed Kaâniche (SAFECOMP, 2007)

An architecture-based dependability modeling framework using AADL - Ana-Elena Rugina; Karama Kanoun; Mohamed Kaâniche (CoRR, 2007)

Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. - Marco Beccuti; Giuliana Franceschinis; Mohamed Kaâniche; Karama Kanoun (CRITIS, 2008)

The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation. - Ana-Elena Rugina; Karama Kanoun; Mohamed Kaâniche (EDCC, 2008)

Anything You Want to Ask about Software Reliability Engineering. - Michael G. Hinchey; Karama Kanoun; Mikael Lindvall; Michael R. Lyu; Tiziana Margaria; Veena B. Mendiratta; Paul Pettersson; Norman F. Schneidewind; W. Eric Wong (ISSRE, 2008)

Software dependability modeling using an industry-standard architecture description language - Ana-Elena Rugina; Peter H. Feiler; Karama Kanoun; Mohamed Kaâniche (CoRR, 2008)

Safety modeling and evaluation of Automated Highway Systems. - Ossama Hamouda; Mohamed Kaâniche; Karama Kanoun (DSN, 2009)

Modélisation de la sreté de fonctionnement basée sur le langage AADL et les RdPSG. - Ana-Elena Rugina; Karama Kanoun; Mohamed Kaâniche (Tech. Sci. Informatiques, 2009)

Availability modelling of a virtual black box for automotive systems. - Ossama Hamouda; Mohamed Kaâniche; Karama Kanoun (SERENE, 2010)

Guest Editors' Introduction to the Special Section on Evaluation and Improvement of Software Dependability. - Katerina Goseva-Popstojanova; Karama Kanoun (IEEE Trans. Software Eng., 2010)

Tolerance of Design Faults. - David Powell; Jean Arlat; Yves Deswarte; Karama Kanoun (Dependable and Historic Computing, 2011)

WOSD 2011: The first international workshop on open systems dependability. - Mario Tokoro; Karama Kanoun; Kimio Kuramitsu; Jean-Charles Fabre (DSN Workshops, 2011)

Operational reliability of an aircraft with adaptive missions. - Kossi Tiassou; Karama Kanoun; Mohamed Kaâniche; Christel Seguin; Chris Papadopoulos (EWDC, 2011)

Modeling Aircraft Operational Reliability. - Kossi Tiassou; Karama Kanoun; Mohamed Kaâniche; Christel Seguin; Chris Papadopoulos (SAFECOMP, 2011)

Impact of Operational Reliability Re-assessment during Aircraft Missions. - Kossi Tiassou; Karama Kanoun; Mohamed Kaâniche; Christel Seguin; Chris Papadopoulos (SRDS, 2012)

System Dependability: Characterization and Benchmarking. - Yves Crouzet; Karama Kanoun (Adv. Comput., 2012)

Modeling the resilience of large and evolving systems - Mohamed Kaâniche; Paolo Lollini; Andrea Bondavalli; Karama Kanoun (CoRR, 2012)

Fault Injection in the Automotive Standard ISO 26262: An Initial Approach. - Ludovic Pintard; Jean-Charles Fabre; Karama Kanoun; Michel Leeman; Matthieu Roy (EWDC, 2013)

Aircraft operational reliability - A model-based approach and a case study. - Kossi Tiassou; Karama Kanoun; Mohamed Kaâniche; Christel Seguin; Chris Papadopoulos (Reliab. Eng. Syst. Saf., 2013)

From Safety Analyses to Experimental Validation of Automotive Embedded Systems. - Ludovic Pintard; Jean-Charles Fabre; Michel Leeman; Karama Kanoun; Matthieu Roy (PRDC, 2014)

An Anomaly Detection Approach for Scale-Out Storage Systems. - Guthemberg Silvestre; Carla Sauvanaud; Mohamed Kaâniche; Karama Kanoun (SBAC-PAD, 2014)

Fiabilité de mission d'un avion. Évaluation stochastique en opération. - Kossi Tiassou; Karama Kanoun; Mohamed Kaâniche; Christel Seguin; Chris Papadopoulos (Tech. Sci. Informatiques, 2014)

Data Stream Clustering for Online Anomaly Detection in Cloud Applications. - Carla Sauvanaud; Guthemberg Silvestre; Mohamed Kaâniche; Karama Kanoun (EDCC, 2015)

Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases. - Guthemberg Silvestre; Carla Sauvanaud; Mohamed Kaâniche; Karama Kanoun (SERENE, 2015)

Towards Black-Box Anomaly Detection in Virtual Network Functions. - Carla Sauvanaud; Kahina Lazri; Mohamed Kaâniche; Karama Kanoun (DSN Workshops, 2016)

Anomaly Detection and Root Cause Localization in Virtual Network Functions. - Carla Sauvanaud; Kahina Lazri; Mohamed Kaâniche; Karama Kanoun (ISSRE, 2016)

Anomaly detection and diagnosis for cloud services: Practical experiments and lessons learned. - Carla Sauvanaud; Mohamed Kaâniche; Karama Kanoun; Kahina Lazri; Guthemberg Silvestre (J. Syst. Softw., 2018)