Karama Kanoun

Yves Crouzet, Karama Kanoun: System Dependability: Characterization and Benchmarking. Advances in Computers 84: 93-139 (2012)

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

Mohamed Kaâniche, Paolo Lollini, Andrea Bondavalli, Karama Kanoun: Modeling the resilience of large and evolving systems. CoRR abs/1211.5738 (2012)

David Powell, Jean Arlat, Yves Deswarte, Karama Kanoun: Tolerance of Design Faults. Dependable and Historic Computing 2011: 428-452

Mario Tokoro, Karama Kanoun, Kimio Kuramitsu, Jean-Charles Fabre: WOSD 2011 the first international workshop on open systems dependability. DSN 2011: 593-594

Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos: Modeling Aircraft Operational Reliability. SAFECOMP 2011: 157-170

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

Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche: Modélisation de la sreté de fonctionnement basée sur le langage AADL et les RdPSG. Technique et Science Informatiques 28(1): 7-37 (2009)

Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun: Safety modeling and evaluation of Automated Highway Systems. DSN 2009: 73-82

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

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

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

Jean-Claude Laprie, Karama Kanoun, Mohamed Kaâniche: Modelling interdependencies between the electricity and information infrastructures. CoRR abs/0809.4107 (2008)

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

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

Jean-Claude Laprie, Karama Kanoun, Mohamed Kaâniche: Modelling Interdependencies Between the Electricity and Information Infrastructures. SAFECOMP 2007: 54-67

Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche: An architecture-based dependability modeling framework using AADL. CoRR abs/0704.0865 (2007)

W. Eric Wong, Karama Kanoun: Editorial. Softw., Pract. Exper. 36(9): 891 (2006)

Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche: A System Dependability Modeling Framework Using AADL and GSPNs. WADS 2006: 14-38

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

Magnos Martinello, Mohamed Kaâniche, Karama Kanoun: Web service availability - impact of error recovery and traffic model. Rel. Eng. & Sys. Safety 89(1): 6-16 (2005)

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

Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina, Philippe Rumeau: Benchmarking the Dependability of Windows and Linux Using PostMark Workloads. ISSRE 2005: 11-20

Cláudia Betous-Almeida, Karama Kanoun: Construction and stepwise refinement of dependability models. Perform. Eval. 56(1-4): 277-306 (2004)

J. Jenny Li, Tangqiu Li, Zongkai Lin, Aditya P. Mathur, Karama Kanoun: Computer Supported Cooperative Work in Software Engineering. COMPSAC 2004: 328

Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat: Benchmarking The Dependability of Windows NT4, 2000 and XP. DSN 2004: 681-686

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

Mohamed Kaâniche, Karama Kanoun, Mourad Rabah: Multi-level modeling approach for the availability assessment of e-business applications. Softw., Pract. Exper. 33(14): 1323-1341 (2003)

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

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

Karama Kanoun: Dependability Benchmarking: How Far Are We? LADC 2003: 1

Magnos Martinello, Mohamed Kaâniche, Karama Kanoun: Web Service Availability - Impact of Error Recovery. SAFECOMP 2003: 165-178

Cláudia Betous-Almeida, Karama Kanoun: Stepwise Construction and Refinement of Dependability Models. DSN 2002: 515-524

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

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

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

Karama Kanoun: A Measurement-Based Framework for Software Reliability Improvement. Ann. Software Eng. 11(1): 89-106 (2001)

Karama Kanoun: Real-World Design Diversity: A Case Study on Cost. IEEE Software 18(4): 29-33 (2001)

Cláudia Betous-Almeida, Karama Kanoun: Dependability Evaluation. SAFECOMP 2001: 227-237

Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun: Dependability of Computer Control Systems in Power Plants. SAFECOMP 2000: 165-175

Nicolae Fota, Mohamed Kaâniche, Karama Kanoun: Dependability Evaluation of an Air Traffic Control Computing System. Perform. Eval. 35(3-4): 253-273 (1999)

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

Mourad Rabah, Karama Kanoun: Dependability Evaluation of a Distributed Shared Memory Multiprocessor System. EDCC 1999: 42-62

Massimo Felici, Karama Kanoun, Alberto Pasquini (Eds.): Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings. Lecture Notes in Computer Science 1698, Springer 1999, isbn 3-540-66488-2

Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie: Qualitative and Quantitative Reliability Assessment. IEEE Software 14(2): 77-87 (1997)

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

Karama Kanoun, Jean-Claude Laprie: Software Reliability Trend Analyses from Theoretical to Practical Considerations. IEEE Trans. Software Eng. 20(9): 740-747 (1994)

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

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

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: SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems. FTCS 1993: 668-673

Jean-Claude Laprie, Karama Kanoun: X-Ware Reliability and Availability Modeling. IEEE Trans. Software Eng. 18(2): 130-147 (1992)

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

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

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

Jean-Claude Laprie, Jean Arlat, Christian Béounes, Karama Kanoun: Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures. IEEE Computer 23(7): 39-51 (1990)

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

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

Jean Arlat, Karama Kanoun, Jean-Claude Laprie: Dependability evaluation of software fault-tolerance. FTCS 1988: 142-177