| 2009 |
|---|
| 45 | EE | 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 |
|---|
| 44 | EE | Michael G. Hinchey,
Karama Kanoun,
Mikael Lindvall,
Michael R. Lyu,
Tiziana Margaria,
Veena B. Mendiratta,
Paul Pettersson,
Norman F. Schneidewind,
Eric Wong:
Anything You Want to Ask about Software Reliability Engineering.
ISSRE 2008: 6 |
| 43 | EE | Jean-Claude Laprie,
Karama Kanoun,
Mohamed Kaâniche:
Modelling interdependencies between the electricity and information infrastructures
CoRR abs/0809.4107: (2008) |
| 42 | EE | 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 | EE | 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 | EE | Jean-Claude Laprie,
Karama Kanoun,
Mohamed Kaâniche:
Modelling Interdependencies Between the Electricity and Information Infrastructures.
SAFECOMP 2007: 54-67 |
| 39 | EE | Ana-Elena Rugina,
Karama Kanoun,
Mohamed Kaâniche:
An architecture-based dependability modeling framework using AADL
CoRR abs/0704.0865: (2007) |
| 2006 |
|---|
| 38 | EE | Magnos Martinello,
Mohamed Kaâniche,
Karama Kanoun,
Carlos Aguilar Melchor:
Modeling user perceived unavailability due to long response times.
IPDPS 2006 |
| 37 | EE | Ana-Elena Rugina,
Karama Kanoun,
Mohamed Kaâniche:
A System Dependability Modeling Framework Using AADL and GSPNs.
WADS 2006: 14-38 |
| 36 | EE | W. Eric Wong,
Karama Kanoun:
Editorial.
Softw., Pract. Exper. 36(9): 891 (2006) |
| 2005 |
|---|
| 35 | EE | Cristian Constantinescu,
Karama Kanoun,
Henrique Madeira,
Brendan Murphy,
Ira Pramanick,
Aaron B. Brown:
Dependability Benchmarking of Computing Systems - Panel Statement.
DSN 2005: 400 |
| 34 | EE | 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 | EE | J. Jenny Li,
Tangqiu Li,
Zongkai Lin,
Aditya P. Mathur,
Karama Kanoun:
Computer Supported Cooperative Work in Software Engineering.
COMPSAC 2004: 328 |
| 32 | EE | Ali Kalakech,
Karama Kanoun,
Yves Crouzet,
Jean Arlat:
Benchmarking The Dependability of Windows NT4, 2000 and XP.
DSN 2004: 681-686 |
| 31 | EE | 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 | EE | Cláudia Betous-Almeida,
Karama Kanoun:
Construction and stepwise refinement of dependability models.
Perform. Eval. 56(1-4): 277-306 (2004) |
| 2003 |
|---|
| 29 | EE | Mohamed Kaâniche,
Karama Kanoun,
Magnos Martinello:
A User-Perceived Availability Evaluation of a Web Based Travel Agency.
DSN 2003: 709- |
| 28 | EE | Karama Kanoun:
Dependability Benchmarking: How Far Are We?
LADC 2003: 1 |
| 27 | EE | Magnos Martinello,
Mohamed Kaâniche,
Karama Kanoun:
Web Service Availability - Impact of Error Recovery.
SAFECOMP 2003: 165-178 |
| 26 | EE | Mourad Rabah,
Karama Kanoun:
Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach.
IEEE Trans. Computers 52(2): 223-236 (2003) |
| 25 | EE | 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 | EE | 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 | EE | Cláudia Betous-Almeida,
Karama Kanoun:
Stepwise Construction and Refinement of Dependability Models.
DSN 2002: 515-524 |
| 21 | EE | 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 | EE | 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 | EE | Karama Kanoun:
Real-World Design Diversity: A Case Study on Cost.
IEEE Software 18(4): 29-33 (2001) |
| 2000 |
|---|
| 17 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |
