| 2009 | ||
|---|---|---|
| 47 | 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) | |
| 2008 | ||
| 46 | 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 | |
| 45 | 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 | |
| 44 | 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 | |
| 43 | Jean-Claude Laprie, Karama Kanoun, Mohamed Kaâniche: Modelling interdependencies between the electricity and information infrastructures CoRR abs/0809.4107: (2008) | |
| 42 | 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) | |
| 41 | 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) | |
| 2007 | ||
| 40 | Jean-Claude Laprie, Karama Kanoun, Mohamed Kaâniche: Modelling Interdependencies Between the Electricity and Information Infrastructures. SAFECOMP 2007: 54-67 | |
| 39 | Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche: An architecture-based dependability modeling framework using AADL CoRR abs/0704.0865: (2007) | |
| 2006 | ||
| 38 | Magnos Martinello, Mohamed Kaâniche, Karama Kanoun, Carlos Aguilar Melchor: Modeling user perceived unavailability due to long response times. IPDPS 2006 | |
| 37 | Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche: A System Dependability Modeling Framework Using AADL and GSPNs. WADS 2006: 14-38 | |
| 36 | W. Eric Wong, Karama Kanoun: Editorial. Softw., Pract. Exper. 36(9): 891 (2006) | |
| 2005 | ||
| 35 | Cristian Constantinescu, Karama Kanoun, Henrique Madeira, Brendan Murphy, Ira Pramanick, Aaron B. Brown: Dependability Benchmarking of Computing Systems - Panel Statement. DSN 2005: 400 | |
| 34 | 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 | |
| 2004 | ||
| 33 | J. Jenny Li, Tangqiu Li, Zongkai Lin, Aditya P. Mathur, Karama Kanoun: Computer Supported Cooperative Work in Software Engineering. COMPSAC 2004: 328 | |
| 32 | Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat: Benchmarking The Dependability of Windows NT4, 2000 and XP. DSN 2004: 681-686 | |
| 31 | Ali Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun: Benchmarking Operating System Dependability: Windows 2000 as a Case Study. PRDC 2004: 261-270 | |
| 30 | Cláudia Betous-Almeida, Karama Kanoun: Construction and stepwise refinement of dependability models. Perform. Eval. 56(1-4): 277-306 (2004) | |
| 2003 | ||
| 29 | Mohamed Kaâniche, Karama Kanoun, Magnos Martinello: A User-Perceived Availability Evaluation of a Web Based Travel Agency. DSN 2003: 709- | |
| 28 | Karama Kanoun: Dependability Benchmarking: How Far Are We? LADC 2003: 1 | |
| 27 | Magnos Martinello, Mohamed Kaâniche, Karama Kanoun: Web Service Availability - Impact of Error Recovery. SAFECOMP 2003: 165-178 | |
| 26 | Mourad Rabah, Karama Kanoun: Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach. IEEE Trans. Computers 52(2): 223-236 (2003) | |
| 25 | 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) | |
| 2002 | ||
| 24 | 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 | |
| 23 | 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 | |
| 22 | Cláudia Betous-Almeida, Karama Kanoun: Stepwise Construction and Refinement of Dependability Models. DSN 2002: 515-524 | |
| 21 | Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau: Analysis of the Effects of Real and Injected Software Faults: . PRDC 2002: 51-58 | |
| 2001 | ||
| 20 | Cláudia Betous-Almeida, Karama Kanoun: Dependability Evaluation. SAFECOMP 2001: 227-237 | |
| 19 | Karama Kanoun: A Measurement-Based Framework for Software Reliability Improvement. Ann. Software Eng. 11(1): 89-106 (2001) | |
| 18 | Karama Kanoun: Real-World Design Diversity: A Case Study on Cost. IEEE Software 18(4): 29-33 (2001) | |
| 2000 | ||
| 17 | Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun: Dependability of Computer Control Systems in Power Plants. SAFECOMP 2000: 165-175 | |
| 1999 | ||
| 16 | Massimo Felici, Karama Kanoun, Alberto Pasquini: Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings Springer 1999 | |
| 15 | Mourad Rabah, Karama Kanoun: Dependability Evaluation of a Distributed Shared Memory Multiprocessor System. EDCC 1999: 42-62 | |
| 14 | 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) | |
| 13 | Nicolae Fota, Mohamed Kaâniche, Karama Kanoun: Dependability Evaluation of an Air Traffic Control Computing System. Perform. Eval. 35(3-4): 253-273 (1999) | |
| 1997 | ||
| 12 | Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie: Qualitative and Quantitative Reliability Assessment. IEEE Software 14(2): 77-87 (1997) | |
| 1996 | ||
| 11 | 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 | |
| 1994 | ||
| 10 | 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 | |
| 9 | Karama Kanoun, Jean-Claude Laprie: Software Reliability Trend Analyses from Theoretical to Practical Considerations. IEEE Trans. Software Eng. 20(9): 740-747 (1994) | |
| 1993 | ||
| 8 | 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 | |
| 7 | 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 | |
| 1992 | ||
| 6 | Jean-Claude Laprie, Karama Kanoun: X-Ware Reliability and Availability Modeling. IEEE Trans. Software Eng. 18(2): 130-147 (1992) | |
| 1991 | ||
| 5 | Karama Kanoun, David Powell: Dependability Evaluation of Bus and Ring Communication Topologies for the Delta-4 Distributed Fault-Tolerant Architecture. SRDS 1991: 130-141 | |
| 4 | 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) | |
| 3 | 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) | |
| 1990 | ||
| 2 | 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) | |
| 1 | Jean Arlat, Karama Kanoun, Jean-Claude Laprie: Dependability Modeling and Evaluation of Software Fault-Tolerant Systems. IEEE Trans. Computers 39(4): 504-513 (1990) | |