Karama Kanoun
Affiliations:- University of Toulouse, France
According to our database1,
Karama Kanoun
authored at least 80 papers
between 1980 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on id.loc.gov
On csauthors.net:
Bibliography
2018
Anomaly detection and diagnosis for cloud services: Practical experiments and lessons learned.
J. Syst. Softw., 2018
2016
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016
2015
Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015
Proceedings of the 11th European Dependable Computing Conference, 2015
2014
Tech. Sci. Informatiques, 2014
Proceedings of the 26th IEEE International Symposium on Computer Architecture and High Performance Computing, 2014
Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014
2013
Reliab. Eng. Syst. Saf., 2013
Proceedings of the Dependable Computing - 14th European Workshop, 2013
2012
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012
2011
Proceedings of the Computer Safety, Reliability, and Security, 2011
Proceedings of the 13th European Workshop on Dependable Computing, 2011
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011
Proceedings of the Dependable and Historic Computing, 2011
2010
Guest Editors' Introduction to the Special Section on Evaluation and Improvement of Software Dependability.
IEEE Trans. Software Eng., 2010
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010
2009
Tech. Sci. Informatiques, 2009
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009
2008
Software dependability modeling using an industry-standard architecture description language
CoRR, 2008
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation.
Proceedings of the Seventh European Dependable Computing Conference, 2008
Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures.
Proceedings of the Critical Information Infrastructure Security, 2008
2007
Proceedings of the Computer Safety, 2007
2006
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006
2005
Reliab. Eng. Syst. Saf., 2005
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005
2004
Perform. Evaluation, 2004
Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
2003
Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach.
IEEE Trans. Computers, 2003
Multi-level modeling approach for the availability assessment of e-business applications.
Softw. Pract. Exp., 2003
Proceedings of the Computer Safety, 2003
Proceedings of the Dependable Computing, First Latin-American Symposium, 2003
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003
2002
Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002
Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
Joint Panel - IPDS and Workshop on Dependability Benchmarking.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
2001
Reliab. Eng. Syst. Saf., 2001
Ann. Softw. Eng., 2001
Proceedings of the 10th International Conference on Computer Communications and Networks, 2001
2000
Fault-tolerant system dependability-explicit modeling of hardware and software component-interactions.
IEEE Trans. Reliab., 2000
Proceedings of the Computer Safety, 2000
1999
IEEE Trans. Computers, 1999
Perform. Evaluation, 1999
Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999
Proceedings of the Dependable Computing, 1999
1997
1996
Proceedings of the 15th International Conference on Computer Safety, 1996
Proceedings of the 15th International Conference on Computer Safety, 1996
Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996
Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System.
Proceedings of the Digest of Papers: FTCS-26, 1996
1995
Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995
1994
IEEE Trans. Software Eng., 1994
Proceedings of the Dependable Computing, 1994
1993
Proceedings of the 12th International Conference on Computer Safety, 1993
Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993
SoRel: A Tool for Reliability Growth Analysis and Prediction From Statistical Failure Data.
Proceedings of the Digest of Papers: FTCS-23, 1993
SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems.
Proceedings of the Digest of Papers: FTCS-23, 1993
1992
Proceedings of the Third International Symposium on Software Reliability Engineering, 1992
1991
The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth.
IEEE Trans. Software Eng., 1991
A Method for Software Reliability Analysis and Prediction Application to the TROPICO-R Switching System.
IEEE Trans. Software Eng., 1991
Dependability Evaluation of Bus and Ring Communication Topologies for the Delta-4 Distributed Fault-Tolerant Architecture.
Proceedings of the Tenth Symposium on Reliable Distributed Systems, 1991
1990
IEEE Trans. Computers, 1990
Computer, 1990
The transformation approach to the modeling and evaluation of the reliability and availability growth.
Proceedings of the 20th International Symposium on Fault-Tolerant Computing, 1990
1989
Croissance de la sûreté de fonctionnement des logiciels. Caractérisation, modélisation, évaluation. (Software reliability growth. Characterization, modelization, evaluation).
PhD thesis, 1989
1988
Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988
1980
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).
PhD thesis, 1980