Karama Kanoun
Karama Kanoun
Verified email at laas.fr - Homepage
Cited by
Cited by
Definition and analysis of hardware-and software-fault-tolerant architectures
JC Laprie, J Arlat, C Beounes, K Kanoun
Computer 23 (7), 39-51, 1990
Guide de la sûreté de fonctionnement
J Arlat, A Costes, JP Blanquart
Cépaduès-éditions, 1996
Modelling interdependencies between the electricity and information infrastructures
JC Laprie, K Kanoun, M Kaâniche
International conference on computer safety, reliability, and security, 54-67, 2007
X-ware reliability and availability modeling
JC Laprie, K Kanoun
IEEE Transactions on Software engineering 18 (2), 130, 1992
Dependability benchmarking for computer systems
K Kanoun, L Spainhower
John Wiley & Sons, 2008
Dependability modeling and evaluation of software fault-tolerant systems
J Arlat, K Kanoun, JC Laprie
IEEE Transactions on Computers 39 (4), 504-513, 1990
A system dependability modeling framework using AADL and GSPNs
AE Rugina, K Kanoun, M Kaâniche
Architecting Dependable Systems IV, 14-38, 2007
Software reliability and system reliability
JC Laprie, K Kanoun
Handbook for Software Reliability Engineering, 27-69, 1996
SURF-2: A program for dependability evaluation of complex hardware and software systems
C Béounes, M Aguéra, J Arlat, S Bachmann, C Bourdeau, JE Doucet, ...
FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing …, 1993
A method for software reliability analysis and prediction application to the TROPICO-R switching system
K Kanoun, MR de Bastos Martini, JM De Souza
IEEE Transactions on Software Engineering 17 (4), 334, 1991
Hardware and software fault tolerance: Definition and analysis of architectural solutions
JC Laprie, J Arlat, C Beounes, K Kanoun, C Hourtolle
Proc. 17th Int. Symposium on Fault-Tolerant Computing, 116-121, 1987
Diversity against accidental and deliberate faults
Y Deswarte, K Kanoun, JC Laprie
Proceedings Computer Security, Dependability, and Assurance: From Needs to …, 1998
The KAT(knowledge-action-transformation) approach to the modeling and evaluation of reliability and availability growth
JC Laprie, K Kanoun, C Béounes, M Kaâniche
IEEE Transactions on Software Engineering 17 (4), 370-382, 1991
Handbook of software reliability engineering
K Kanoun, JC Laprie
chapter Trend Analysis. McGraw-Hill New York, NY, 401-437, 1996
Fault-tolerant system dependability-explicit modeling of hardware and software component-interactions
K Kanoun, M Ortalo-Borrel
IEEE Transactions on reliability 49 (4), 363-376, 2000
A real-time compressed sensing-based personal electrocardiogram monitoring system
K Kanoun, H Mamaghanian, N Khaled, D Atienza
2011 Design, Automation & Test in Europe, 1-6, 2011
The ADAPT tool: From AADL architectural models to stochastic petri nets through model transformation
AE Rugina, K Kanoun, M Kaâniche
2008 Seventh European Dependable Computing Conference, 85-90, 2008
Benchmarking the Dependability of Windows NT4, 2000 and XP
A Kalakech, K Kanoun, Y Crouzet, J Arlat
International Conference on Dependable Systems and Networks, 2004, 681-686, 2004
Qualitative and quantitative reliability assessment
K Kanoun, M Kaâniche, JP Laprie
IEEE Software 14 (2), 77-87, 1997
Architectural issues in software fault tolerance
JC Laprie
Software fault tolerance, 1995
The system can't perform the operation now. Try again later.
Articles 1–20