Mohamed Kaâniche

Dependable Computing and Fault Tolerance research group, "Directeur de Recherche"

LAAS-CNRS
7 avenue du Colonel Roche
31077 Toulouse Cedex 4
FRANCE

Tel: +33 561 33 64 05
Fax: +33 561 33 64 11
Email: mohamed.kaaniche at laas.fr

• Interests
• Selected publications
• Slides of selected recent talks
• These - HDR
• Biography

Interests

• Dependability modeling and evaluation of fault-tolerant computer systems
• Dependability evaluation of mobile and dynamic systems
  
• Quantitative assessment of computer security
• Experimental measurements for dependability and security assessment
• Dependability and security analysis of interdependent critical infrastructures
• Stochastic Petri nets and Markov modeling for dependability evaluation
• Software reliability evaluation

Selected publications

For a full list of all publications since 1990: click here

• O. Hamouda, M. Kaaniche, K. Kanoun, “Safety modeling and evaluation of automated highway systems”, 2009 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2009), (Lisbon,  Portugal), 2009, pp. 73-82.
  Abstract PDF © IEEE
  
  
• A.-E. Rugina, K. Kanoun, M. Kaaniche, “The ADAPT tool: from AADL architectural models to stochastic petri nets through model transformation”, 7th European Dependable Computing Conference (EDCC-7), (Kaunas,  Lithuania), 7-9 may 2008, pp.85-90.
  Abstract PDF © IEEE
  
  
• M. Kaaniche, E. Alata, V. Nicomette, Y. Deswarte, M. Dacier, “Empirical analysis and statistical modeling of attack processes based on honeypots”, Supplemental volume of the 2006 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2006),  Workshop on Empirical Evaluation of Dependability and Security (WEEDS), (Philadelphia, USA), 25-28 June 2006, pp.119-124.
  Abstract PDF
  
  
• E. Alata, V. Nicomette,M. Kaaniche, M. Dacier, M. Herrb, “Lessons Learned from the Deployment of a High-Interaction Honeypot”, 6th European Dependable Computing Conference (EDCC-6), (Coimbra,  Portugal), 2006, pp. 39-44.
  Abstract PDF © IEEE
  
  
• C. Simache, M. Kaaniche,“Availability assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx logfiles : a case study” in 2005 IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'2005), (Changsha, China), pp.49-56, December 2005. 
  Abstract PDF © IEEE
  
  
• E. Alata, M. Dacier, Y. Deswarte, M. Kaaniche, K. Kortchinsky, V. Nicomette, V.H. Pham, F. Pouget, “Collection and Analysis of Attack data based on Honeypots deployed on the Internet” in 1st Workshop on Quality of Protection (QoP),  (Milano, Italy), 2005.
  Abstract Available from Springer On-Line

• M. Martinello, M. Kaaniche, K. Kanoun, “Web Service Availability: Impact of Error Recovery and Traffic Model” in Reliability Engineering and System Safety, Elsevier, 89(1), 2005, pp. 6-16.
  Abstract Available from ScienceDirect 

• M. Kaaniche, K. Kanoun, M. Rabah “Multi-level modeling approach for the availability assessment of e-business applications", in Software: Practice and Experience, John Wiley & Sons, Ltd, Vol.33, N°14, pp.1323-1341, 2003.
  Abstract Available from Wiley Interscience 

• M. Kaaniche, K. Kanoun, M. Martinello,“User-Perceived Availability of a web-based Travel Agency” in IEEE International Conference on Dependable Systems and Networks (DSN-2003), Performance and Dependability Symposium, (San Francisco, USA), 2003, pp. 709-718.
  Abstract PDF © IEEE

• M. Kaaniche, K. Kanoun, M. Rabah,“Multi-level Modeling Approach for the  Availability assessment of e-business applications”, Software: Practice and Experience, John Wiley & Sons Ltd. 2003, pp.1323-1341.
  Abstract Available from Wiley Interscience

• M. Kaaniche, Y. Leguedart, J. Arlat, T. Boyer, “An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models”, Safety Science, Elsevier. Issue 5, Vol.42, pp.385-403, Juin 2004.
  Abstract PDF

• C. Simache, M. Kaaniche,“Event Log based Windows NT and 2K Systems” in 2002 IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'2002), (Rsukuba, Japan), pp.311-15, 2002. 
  Abstract PDF © IEEE

• M. Kaaniche, J.-C. Laprie, J.-P.Blanquart, “A Framework for Dependability Engineering of Critical Computing Systems”, Safety Science, Elsevier. Issue 9, vol. 40, 2002, pp. 731-52. 
  Abstract PDF Available from ScienceDirect

• C. Simache, M. Kaaniche,“Measurement-based Availability Analysis of Unix Systems in a Distributed Environment” in 12th IEEE International Symposium on Software Reliability Engineering (ISSRE'2001), Hong-Kong, pp.346-55, 2001. 
  Abstract PDF © IEEE

• R. Ortalo, Y. Deswarte, M. Kaaniche “Experimenting with Quantitative Evaluation Tools for Monitoring Opertaional Security”, IEEE Transactions on Software Engineering, 25(5), pp.633-50, 1999.
  Abstract PDF © IEEE

• N. Fota, M. Kaaniche, K. Kanoun “Dependability Evaluation of an Air-Traffic Control Computing System”, IEEE International Computer Performance and Dependability Symposium, 1998. IPDS '98, (Raleigh, NC, USA) pp.206-215. Published in. Performance Evaluation, Elsvier, 35(3-4), pp.253-73, 1999.
  Abstract PDF © IEEE

• Y. Deswarte, M. Kaaniche, P. Corneillie, J. Goodson, “SQUALE Dependability Assessment Criteria”, 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), (Toulouse, France), Lecture Notes on Computer Science 1698, Springer-Verlag,  pp.27-38, 1999.
  Abstract Available from Springer Link

• M. Kaaniche, L. Romano, Z.Kalbarczyck, R. Iyer, R. Karcich, “A Hierarchical Approach for Dependability Analysis of a Cache-based RAID Storage Architecture”,  28th IEEE International Symposium on Fault-Tolerant Computing (FTCS'28), (Münich, Germany), pp.6-15, 1998. 
  Abstract PDF © IEEE

• K. Kanoun, M. Kaaniche, J-C. Laprie, “Qualitative and Quantitative Reliability Assessment”,  IEEE Software, 13 (2), pp.77-86, 1997.
  Abstract PDF © IEEE

• M. Kaaniche, K. Kanoun, “Reliability of a  Commercial Telecommunications systems”,  7th IEEE International International Symposium on Software Reliability Engineering (ISSRE'96), (New York, USA), pp.207-12, 1996. 
  Abstract PDF © IEEE

• J-C. Laprie, M. Kaaniche, K. Kanoun, “Modeling Computer Systems Evolutions; Non-stationary Processes and Stochastic Petri Nets—Application to Dependability Growth”,  6th IEEE International Workshop on Petri Nets and Performance Models (PNPM'95), (Durham, NC, USA), pp.221-30, 1995. 
  Abstract PDF © IEEE

• K. Kanoun, M. Kaaniche, C. Beounes, J-C. Laprie, J. Arlat “Reliability Growth of Fault-Tolerant Software”,  IEEE Transactions on Reliability, Special Issue on Fault-Tolerant Software, 42 (2), pp.205-19, 1993.
  Abstract PDF © IEEE

• J-C. Laprie, K. Kanoun, C. Beounes, M. Kaaniche, “The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth”,  IEEE Transactions on Software Engineering, Special Issue on Fault-Tolerant Software, 17 (4), pp.370-82, 1991.
  Abstract PDF © IEEE

Biography

I have been at LAAS-CNRS since 1988 where I currently hold a position of "Directeur de Recherche CNRS" within the Dependable Computing and Fault Tolerance Group. From March 1997 to February 1998, I was a Visiting Research Assistant Professor the University of Illinois at Urbana-Champaign, Coordinated Research on High Performance Computing Group, IL, USA.

My research work concerns the dependability and security evaluation of  hardware and software fault tolerant computer systems and critical infrastructures, using analytical modeling and experimental measurement techniques. In particular, I have been working on software reliability growth modelling, the evaluation of dependability attributes such as reliability, availability, safety and performability of hardware and software fault-tolerant architectures using Markov models and stochastic Petri nets, and on the assessment of operational security using probabilitistic quantitative modelling and experimental  measurement techniques. I have authored or co-authored more than 90 papers on these subjects in International Journals and proceedings of International Conferences. Also I am co-author of two books on dependable computing.

I have been involved in several national and European research projects and acted as a consultant for companies in France and as an expert for the European Commission. In particular, I have contributed to the ESPRIT projects PDCS, PDCS-2, DeVa, to the ACTS project SQUALE, and to the IST Projects DSoS, ASSERT and ReSIST funded by the European community. In particular, I have been the scientific coordinator of LAAS partnership in the IST FP6 projects HIDENETS and CRUTIAL funded by the European Commission, and in the DALI project funded by the French National Research Agency (ANR).

I have served on program and organization committees of several international conferences. I was Program co-Chair of PRDC-2004, the 10th International Symposium Pacific Rim Dependable Computing (Tahiti, French Polynesia, 2004),  Program Chair of EDCC-5, the 5th European Dependable Computing Conference  (Budapest, Hungary, 2005), Program Chair of DSN-PDS 2010, the 40th IEEE/IFIP International conference on Dependable Systems and Networks - Performance and Dependability Symposium (Chicago, USA, 2010), and Program Co-Chair of LADC-2011,the 5th Latin-American Symposium on Dependable Computing (Sao José dos Campos, Sao Paulo, Brazil, 2011).

I received my Certified Engineer degree from ENAC, the National School for Civil Aviation, Toulouse, France, in 1987, the PhD in Computer Science and the “Habilitation à diriger des recherches” degrees from the Toulouse National Polytechnic Institute, in 1992 and 1999, respectively. 

I am a member of: 

• IEEE
• IEEE Computer Society
• SEE
• SEE Dependable Computing Club