Karama Kanoun

84 papers A 16B 14C 5Misc 4Journal 29Unranked 14
YearRankTypeTitle / Venue / Authors
2018 J jnl
Anomaly detection and diagnosis for cloud services: Practical experiments and lessons learned.
J. Syst. Softw.
Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun, Kahina Lazri, Guthemberg Silvestre
2016 A conf
Anomaly Detection and Root Cause Localization in Virtual Network Functions.
ISSRE
Carla Sauvanaud, Kahina Lazri, Mohamed Kaâniche, Karama Kanoun
2016 — conf
Towards Black-Box Anomaly Detection in Virtual Network Functions.
DSN Workshops
Carla Sauvanaud, Kahina Lazri, Mohamed Kaâniche, Karama Kanoun
2015 Misc conf
Data Stream Clustering for Online Anomaly Detection in Cloud Applications.
EDCC
Carla Sauvanaud, Guthemberg Silvestre, Mohamed Kaâniche, Karama Kanoun
2015 — conf
Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases.
SERENE
Guthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun
2014 C conf
An Anomaly Detection Approach for Scale-Out Storage Systems.
SBAC-PAD
Guthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun
2014 J jnl
Fiabilité de mission d'un avion. Évaluation stochastique en opération.
Tech. Sci. Informatiques
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
2014 C conf
From Safety Analyses to Experimental Validation of Automotive Embedded Systems.
PRDC
Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Karama Kanoun, Matthieu Roy
2013 J jnl
Aircraft operational reliability - A model-based approach and a case study.
Reliab. Eng. Syst. Saf.
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
2013 — conf
Fault Injection in the Automotive Standard ISO 26262: An Initial Approach.
EWDC
Ludovic Pintard, Jean-Charles Fabre, Karama Kanoun, Michel Leeman, Matthieu Roy
2012 B conf
Impact of Operational Reliability Re-assessment during Aircraft Missions.
SRDS
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
2012 J jnl
Modeling the resilience of large and evolving systems
CoRR
Mohamed Kaâniche, Paolo Lollini, Andrea Bondavalli, Karama Kanoun
2012 J jnl
System Dependability: Characterization and Benchmarking.
Adv. Comput.
Yves Crouzet, Karama Kanoun
2011 B conf
Modeling Aircraft Operational Reliability.
SAFECOMP
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
2011 — conf
Operational reliability of an aircraft with adaptive missions.
EWDC
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
2011 — conf
Tolerance of Design Faults.
Dependable and Historic Computing
David Powell, Jean Arlat, Yves Deswarte, Karama Kanoun
2011 A conf
WOSD 2011 the first international workshop on open systems dependability.
DSN
Mario Tokoro, Karama Kanoun, Kimio Kuramitsu, Jean-Charles Fabre
2011 — conf
WOSD 2011: The first international workshop on open systems dependability.
DSN Workshops
Mario Tokoro, Karama Kanoun, Kimio Kuramitsu, Jean-Charles Fabre
2010 — conf
Availability modelling of a virtual black box for automotive systems.
SERENE
Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun
2010 J jnl
Guest Editors' Introduction to the Special Section on Evaluation and Improvement of Software Dependability.
IEEE Trans. Software Eng.
Katerina Goseva-Popstojanova, Karama Kanoun
2009 J jnl
Modélisation de la sreté de fonctionnement basée sur le langage AADL et les RdPSG.
Tech. Sci. Informatiques
Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche
2009 A conf
Safety modeling and evaluation of Automated Highway Systems.
DSN
Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun
2008 A conf
Anything You Want to Ask about Software Reliability Engineering.
ISSRE
Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, W. Eric Wong
2008 J jnl
Modelling interdependencies between the electricity and information infrastructures
CoRR
Jean-Claude Laprie, Karama Kanoun, Mohamed Kaâniche
2008 C conf
Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures.
CRITIS
Marco Beccuti, Giuliana Franceschinis, Mohamed Kaâniche, Karama Kanoun
2008 J jnl
Software dependability modeling using an industry-standard architecture description language
CoRR
Ana-Elena Rugina, Peter H. Feiler, Karama Kanoun, Mohamed Kaâniche
2008 J jnl
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
CoRR
Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche
2008 Misc conf
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation.
EDCC
Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche
2007 J jnl
An architecture-based dependability modeling framework using AADL
CoRR
Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche
2007 B conf
Modelling Interdependencies Between the Electricity and Information Infrastructures.
SAFECOMP
Jean-Claude Laprie, Karama Kanoun, Mohamed Kaâniche
2006 B conf
A System Dependability Modeling Framework Using AADL and GSPNs.
WADS
Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche
2006 J jnl
Editorial.
Softw. Pract. Exp.
W. Eric Wong, Karama Kanoun
2006 A conf
Modeling user perceived unavailability due to long response times.
IPDPS
Magnos Martinello, Mohamed Kaâniche, Karama Kanoun, Carlos Aguilar Melchor
2005 A conf
Benchmarking the Dependability of Windows and Linux Using PostMark Workloads.
ISSRE
Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina, Philippe Rumeau
2005 A conf
Dependability Benchmarking of Computing Systems - Panel Statement.
DSN
Cristian Constantinescu, Karama Kanoun, Henrique Madeira, Brendan Murphy, Ira Pramanick, Aaron B. Brown
2005 J jnl
Web service availability - impact of error recovery and traffic model.
Reliab. Eng. Syst. Saf.
Magnos Martinello, Mohamed Kaâniche, Karama Kanoun
2004 C conf
Benchmarking Operating System Dependability: Windows 2000 as a Case Study.
PRDC
Ali Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun
2004 A conf
Benchmarking The Dependability of Windows NT4, 2000 and XP.
DSN
Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat
2004 B conf
Computer Supported Cooperative Work in Software Engineering.
COMPSAC
J. Jenny Li, Tangqiu Li, Zongkai Lin, Aditya P. Mathur, Karama Kanoun
2004 J jnl
Construction and stepwise refinement of dependability models.
Perform. Evaluation
Cláudia Betous-Almeida, Karama Kanoun
2003 A conf
A User-Perceived Availability Evaluation of a Web Based Travel Agency.
DSN
Mohamed Kaâniche, Karama Kanoun, Magnos Martinello
2003 — conf
Dependability Benchmarking: How Far Are We?
LADC
Karama Kanoun
2003 J jnl
Multi-level modeling approach for the availability assessment of e-business applications.
Softw. Pract. Exp.
Mohamed Kaâniche, Karama Kanoun, Mourad Rabah
2003 J jnl
Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach.
IEEE Trans. Computers
Mourad Rabah, Karama Kanoun
2003 B conf
Web Service Availability - Impact of Error Recovery.
SAFECOMP
Magnos Martinello, Mohamed Kaâniche, Karama Kanoun
2002 C conf
Analysis of the Effects of Real and Injected Software Faults: .
PRDC
Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau
2002 A conf
Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques.
DSN
Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun
2002 A conf
Joint Panel - IPDS and Workshop on Dependability Benchmarking.
DSN
Ravishankar K. Iyer, Zbigniew Kalbarczyk, Philip Koopman, Henrique Madeira, Gunter Heiner, Karama Kanoun, Haim Levendel, Brendan Murphy, Lawrence G. Votta, Don Wilson
2002 A conf
Stepwise Construction and Refinement of Dependability Models.
DSN
Cláudia Betous-Almeida, Karama Kanoun
2001 J jnl
A Measurement-Based Framework for Software Reliability Improvement.
Ann. Softw. Eng.
Karama Kanoun
2001 B conf
A framework for modeling availability of E-business systems.
ICCCN
Mohamed Kaâniche, Karama Kanoun, Mourad Rabah
2001 B conf
Dependability Evaluation.
SAFECOMP
Cláudia Betous-Almeida, Karama Kanoun
2001 J jnl
Real-World Design Diversity: A Case Study on Cost.
IEEE Softw.
Karama Kanoun
2001 J jnl
Safety, reliability and security of industrial computer systems.
Reliab. Eng. Syst. Saf.
Karama Kanoun, Alberto Pasquini
2000 B conf
Dependability of Computer Control Systems in Power Plants.
SAFECOMP
Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun
2000 J jnl
Fault-tolerant system dependability-explicit modeling of hardware and software component-interactions.
IEEE Trans. Reliab.
Karama Kanoun, Marie Ortalo-Borrel
1999 J jnl
Availability of CAUTRA, a Subset of the French Air Traffic Control System.
IEEE Trans. Computers
Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin
1999 B ed.
Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings
SAFECOMP
Massimo Felici, Karama Kanoun, Alberto Pasquini
1999 A conf
Cost of software design diversity an empirical evaluation.
ISSRE
Karama Kanoun
1999 Misc conf
Dependability Evaluation of a Distributed Shared Memory Multiprocessor System.
EDCC
Mourad Rabah, Karama Kanoun
1999 J jnl
Dependability Evaluation of an Air Traffic Control Computing System.
Perform. Evaluation
Nicolae Fota, Mohamed Kaâniche, Karama Kanoun
1997 J jnl
Qualitative and Quantitative Reliability Assessment.
IEEE Softw.
Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie
1996 B conf
An Holistic Approach to Dependability?
SAFECOMP
Alberto Pasquini, Winfried Görke, Karama Kanoun, Antonio Rizzo
1996 — conf
Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System.
FTCS
Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin
1996 A conf
Reliability of a commercial telecommunications system.
ISSRE
Mohamed Kaâniche, Karama Kanoun
1996 B conf
Safety Analysis and Evaluation of an Air Traffic Control Computing System.
SAFECOMP
Nicolae Fota, Mohamed Kaâniche, Karama Kanoun, Alain Peytavin
1995 — conf
Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth.
PNPM
Jean-Claude Laprie, Mohamed Kaâniche, Karama Kanoun
1994 Misc conf
Software Reliability Analysis of Three Successive Generations of a Switching System.
EDCC
Mohamed Kaâniche, Karama Kanoun, Michel Cukier, Marta Rettelbusch de Bastos Martini
1994 J jnl
Software Reliability Trend Analyses from Theoretical to Practical Considerations.
IEEE Trans. Software Eng.
Karama Kanoun, Jean-Claude Laprie
1993 A conf
Experience in software reliability: From data collection to quantitative evaluation.
ISSRE
Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie
1993 — conf
SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems.
FTCS
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
1993 — conf
SoRel: A Tool for Reliability Growth Analysis and Prediction From Statistical Failure Data.
FTCS
Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie, Sylvain Metge
1993 B conf
Software Failure Data Analysis of two Successive Generations of a Switching System.
SAFECOMP
Mohamed Kaâniche, Karama Kanoun
1992 A conf
The discrete time hyperexponential model for software reliability growth evaluation.
ISSRE
Mohamed Kaâniche, Karama Kanoun
1992 J jnl
X-Ware Reliability and Availability Modeling.
IEEE Trans. Software Eng.
Jean-Claude Laprie, Karama Kanoun
1991 J jnl
A Method for Software Reliability Analysis and Prediction Application to the TROPICO-R Switching System.
IEEE Trans. Software Eng.
Karama Kanoun, Marta Rettelbusch de Bastos Martini, Jorge Moreira de Souza
1991 B conf
Dependability Evaluation of Bus and Ring Communication Topologies for the Delta-4 Distributed Fault-Tolerant Architecture.
SRDS
Karama Kanoun, David Powell
1991 J jnl
The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth.
IEEE Trans. Software Eng.
Jean-Claude Laprie, Karama Kanoun, Christian Béounes, Mohamed Kaâniche
1990 J jnl
Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures.
Computer
Jean-Claude Laprie, Jean Arlat, Christian Béounes, Karama Kanoun
1990 J jnl
Dependability Modeling and Evaluation of Software Fault-Tolerant Systems.
IEEE Trans. Computers
Jean Arlat, Karama Kanoun, Jean-Claude Laprie
1990 — conf
The transformation approach to the modeling and evaluation of the reliability and availability growth.
FTCS
Jean-Claude Laprie, Christian Béounes, Mohamed Kaâniche, Karama Kanoun
1989 — —
Croissance de la sûreté de fonctionnement des logiciels. Caractérisation, modélisation, évaluation. (Software reliability growth. Characterization, modelization, evaluation).
Karama Kanoun
1988 — conf
Dependability evaluation of software fault-tolerance.
FTCS
Jean Arlat, Karama Kanoun, Jean-Claude Laprie
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).
Karama Kanoun