Mohamed Kaâniche

According to our database, Mohamed Kaâniche authored at least 115 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Wireless Modulation Identification: Filling the Gap in IoT Networks Security Audit.

Florent Galtier, Guillaume Auriol, Vincent Nicomette, Paul L. R. Olivier, Romain Cayre, Mohamed Kaâniche

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2024

OASIS: An Intrusion Detection System Embedded in Bluetooth Low Energy Controllers.

Romain Cayre, Vincent Nicomette, Guillaume Auriol, Mohamed Kaâniche, Aurélien Francillon

Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 2024

2022

Facing emerging challenges in connected vehicles: a formally proven, legislation compliant, and post-quantum ready security protocol.

Remi Adelin, Cyrius Nugier, Eric Alata, Vincent Nicomette, Vincent Migliore, Mohamed Kaâniche

J. Comput. Virol. Hacking Tech., 2022

2021

RIDS: Radio Intrusion Detection and Diagnosis System for Wireless Communications in Smart Environment.

Pierre-François Gimenez, Jonathan Roux, Eric Alata, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette

ACM Trans. Cyber Phys. Syst., 2021

Cross-protocol attacks: weaponizing a smartphone by diverting its bluetooth controller.

Romain Cayre, Géraldine Vache Marconato, Florent Galtier, Mohamed Kaâniche, Vincent Nicomette, Guillaume Auriol

Proceedings of the WiSec '21: 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Abu Dhabi, United Arab Emirates, 28 June, 2021

InjectaBLE: Injecting malicious traffic into established Bluetooth Low Energy connections.

Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche, Géraldine Vache Marconato

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

WazaBee: attacking Zigbee networks by diverting Bluetooth Low Energy chips.

Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche, Géraldine Vache Marconato

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2020

A PSD-based fingerprinting approach to detect IoT device spoofing.

Florent Galtier, Romain Cayre, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette

Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020

Hardware-Performance-Counters-based anomaly detection in massively deployed smart industrial devices.

Malcolm Bourdon, Pierre-François Gimenez, Eric Alata, Mohamed Kaâniche, Vincent Migliore, Vincent Nicomette, Youssef Laarouchi

Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 2020

On-board Diagnosis: A First Step from Detection to Prevention of Intrusions on Avionics Applications.

Aliénor Damien, Pierre-François Gimenez, Nathalie Feyt, Vincent Nicomette, Mohamed Kaâniche, Eric Alata

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

2019

Smart-TV security: risk analysis and experiments on Smart-TV communication channels.

Yann Bachy, Vincent Nicomette, Mohamed Kaâniche, Eric Alata

J. Comput. Virol. Hacking Tech., 2019

Implementation of a Host-Based Intrusion Detection System for Avionic Applications.

Aliénor Damien, Michael Marcourt, Vincent Nicomette, Eric Alata, Mohamed Kaâniche

Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019

Mirage: Towards a Metasploit-Like Framework for IoT.

Romain Cayre, Vincent Nicomette, Guillaume Auriol, Eric Alata, Mohamed Kaâniche, Géraldine Vache Marconato

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

2018

State of the art of network protocol reverse engineering tools.

Julien Duchêne, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche

J. Comput. Virol. Hacking Tech., 2018

Anomaly detection and diagnosis for cloud services: Practical experiments and lessons learned.

Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun, Kahina Lazri, Guthemberg Silvestre

J. Syst. Softw., 2018

IOMMU protection against I/O attacks: a vulnerability and a proof of concept.

Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche

J. Braz. Comput. Soc., 2018

A language-based intrusion detection approach for automotive embedded networks.

Ivan Studnia, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Youssef Laarouchi

Int. J. Embed. Syst., 2018

RadIoT: Radio Communications Intrusion Detection for IoT - A Protocol Independent Approach.

Jonathan Roux, Eric Alata, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette, Romain Cayre

Proceedings of the 17th IEEE International Symposium on Network Computing and Applications, 2018

SAAC: Secure Android Application Context a Runtime Based Policy and its Architecture.

Guillaume Averlant, Eric Alata, Mohamad Kaâniche, Vincent Nicomette, Yuxiao Mao

Proceedings of the 17th IEEE International Symposium on Network Computing and Applications, 2018

Specification-Based Protocol Obfuscation.

Julien Duchêne, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Colas Le Guernic

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2017

An Abstraction Model and a Comparative Analysis of Intel and ARM Hardware Isolation Mechanisms.

Guillaume Averlant, Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche

Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

Toward an Intrusion Detection Approach for IoT Based on Radio Communications Profiling.

Jonathan Roux, Eric Alata, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche

Proceedings of the 13th European Dependable Computing Conference, 2017

2016

Outils pour la rétro-conception de protocoles. Analyse et classification.

Eric Alata, Vincent Nicomette, Julien Duchêne, Colas Le Guernic, Mohamed Kaâniche

Tech. Sci. Informatiques, 2016

Bypassing IOMMU Protection against I/O Attacks.

Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche

Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

Anomaly Detection and Root Cause Localization in Virtual Network Functions.

Carla Sauvanaud, Kahina Lazri, Mohamed Kaâniche, Karama Kanoun

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Towards Black-Box Anomaly Detection in Virtual Network Functions.

Carla Sauvanaud, Kahina Lazri, Mohamed Kaâniche, Karama Kanoun

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

Protocol Reverse Engineering: Challenges and Obfuscation.

Julien Duchêne, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche

Proceedings of the Risks and Security of Internet and Systems, 2016

2015

Resilience Assessment: Accidental and Malicious Threats.

Mohamed Kaâniche

Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases.

Guthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun

Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015

A Model for Safety Case Confidence Assessment.

Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche

Proceedings of the Computer Safety, Reliability, and Security, 2015

Design and Implementation of a Hardware Assisted Security Architecture for Software Integrity Monitoring.

Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Guillaume Averlant

Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

Data Stream Clustering for Online Anomaly Detection in Cloud Applications.

Carla Sauvanaud, Guthemberg Silvestre, Mohamed Kaâniche, Karama Kanoun

Proceedings of the 11th European Dependable Computing Conference, 2015

Automated Evaluation of Network Intrusion Detection Systems in IaaS Clouds.

Thibaut Probst, Eric Alata, Mohamed Kaâniche, Vincent Nicomette

Proceedings of the 11th European Dependable Computing Conference, 2015

Security of ISP Access Networks: Practical Experiments.

Yann Bachy, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège

Proceedings of the 11th European Dependable Computing Conference, 2015

Smart-TV Security Analysis: Practical Experiments.

Yann Bachy, Frederic Basse, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège, Pierre Lukjanenko

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014

Fiabilité de mission d'un avion. Évaluation stochastique en opération.

Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos

Tech. Sci. Informatiques, 2014

Identification de vulnérabilités web et génération de scénarios d'attaque.

Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette

Tech. Sci. Informatiques, 2014

An automated black box approach for web vulnerability identification and attack scenario generation.

Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette

J. Braz. Comput. Soc., 2014

La sécurité des box ADSL. Analyse de risques et expérimentations.

Yann Bachy, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège

Ingénierie des Systèmes d Inf., 2014

An Invariant-Based Approach for Detecting Attacks Against Data in Web Applications.

Romaric Ludinard, Eric Totel, Frédéric Tronel, Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Rim Akrout, Yann Bachy

Int. J. Secur. Softw. Eng., 2014

An Anomaly Detection Approach for Scale-Out Storage Systems.

Guthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun

Proceedings of the 26th IEEE International Symposium on Computer Architecture and High Performance Computing, 2014

An Approach for the Automated Analysis of Network Access Controls in Cloud Computing Infrastructures.

Thibaut Probst, Eric Alata, Mohamed Kaâniche, Vincent Nicomette

Proceedings of the Network and System Security - 8th International Conference, 2014

Towards resilient cyber-physical systems: The ADREAM project.

Jean Arlat, Michel Diaz, Mohamed Kaâniche

Proceedings of the 9th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2014

2013

Évaluation quantitative de la sécurité. Approche basée sur les vulnérabilités.

Géraldine Vache Marconato, Vincent Nicomette, Mohamed Kaâniche

Tech. Sci. Informatiques, 2013

Aircraft operational reliability - A model-based approach and a case study.

Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos

Reliab. Eng. Syst. Saf., 2013

Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022).

Maritta Heisel, Mohamed Kaâniche, Alexander B. Romanovsky, Elena Troubitsyna

Dagstuhl Reports, 2013

A Vulnerability Life Cycle-Based Security Modeling and Evaluation Approach.

Géraldine Vache Marconato, Mohamed Kaâniche, Vincent Nicomette

Comput. J., 2013

Security of embedded automotive networks: state of the art and a research proposal.

Ivan Studnia, Vincent Nicomette, Eric Alata, Yves Deswarte, Mohamed Kaâniche, Youssef Laarouchi

Proceedings of the SAFECOMP 2013, 2013

An Automated Approach to Generate Web Applications Attack Scenarios.

Eric Alata, Mohamed Kaâniche, Vincent Nicomette, Rim Akrout

Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

Model-based safety analysis of human-robot interactions: The MIRAS walking assistance robot.

Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche, David Powell

Proceedings of the IEEE 13th International Conference on Rehabilitation Robotics, 2013

Survey on security threats and protection mechanisms in embedded automotive networks.

Ivan Studnia, Vincent Nicomette, Eric Alata, Yves Deswarte, Mohamed Kaâniche, Youssef Laarouchi

Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

2^nd workshop on open resilient human-aware cyber-physical systems.

Mohamed Kaâniche, Michael D. Harrison, Hermann Kopetz, Daniel P. Siewiorek

Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

2012

Message from the special issue editors.

Luiz Eduardo Buzato, Elias P. Duarte Jr., Mohamed Kaâniche

J. Braz. Comput. Soc., 2012

Modeling the resilience of large and evolving systems

Mohamed Kaâniche, Paolo Lollini, Andrea Bondavalli, Karama Kanoun

CoRR, 2012

Critical Utility Infrastructural Resilience

Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico, Susanna Donatelli, Mohamed Kaâniche, Paulo Veríssimo

CoRR, 2012

Impact of Operational Reliability Re-assessment during Aircraft Missions.

Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos

Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

A distributed platform of high interaction honeypots and experimental results.

Ivan Studnia, Vincent Nicomette, Mohamed Kaâniche, Eric Alata

Proceedings of the Tenth Annual International Conference on Privacy, Security and Trust, 2012

Security-related vulnerability life cycle analysis.

Géraldine Vache Marconato, Vincent Nicomette, Mohamed Kaâniche

Proceedings of the 7th International Conference on Risks and Security of Internet and Systems, 2012

Detecting attacks against data in web applications.

Romaric Ludinard, Eric Totel, Frederic Tronel, Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Rim Akrout, Yann Bachy

Proceedings of the 7th International Conference on Risks and Security of Internet and Systems, 2012

2011

Set-up and deployment of a high-interaction honeypot: experiment and lessons learned.

Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Matthieu Herrb

J. Comput. Virol., 2011

The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems.

Andrea Bondavalli, Ossama Hamouda, Mohamed Kaâniche, Paolo Lollini, István Majzik, Hans-Peter Schwefel

IEEE Trans. Mob. Comput., 2011

It All Depends, and Increasingly So.

Mohamed Kaâniche, Aad P. A. van Moorsel

IEEE Secur. Priv., 2011

Modeling Aircraft Operational Reliability.

Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos

Proceedings of the Computer Safety, Reliability, and Security, 2011

A Clustering Approach for Web Vulnerabilities Detection.

Anthony Dessiatnikoff, Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

Operational reliability of an aircraft with adaptive missions.

Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos

Proceedings of the 13th European Workshop on Dependable Computing, 2011

2010

Une analyse empirique du comportement d'attaquants. Expérimentations et résultats.

Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Matthieu Herrb

Tech. Sci. Informatiques, 2010

Availability modelling of a virtual black box for automotive systems.

Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

2009

Modélisation de la sreté de fonctionnement basée sur le langage AADL et les RdPSG.

Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche

Tech. Sci. Informatiques, 2009

PolyOrBAC: A security framework for Critical Infrastructures.

Anas Abou El Kalam, Yves Deswarte, Amine Baïna, Mohamed Kaâniche

Int. J. Crit. Infrastructure Prot., 2009

Safety modeling and evaluation of Automated Highway Systems.

Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008

Internet attacks monitoring with dynamic connection redirection mechanisms.

Eric Alata, Ion Alberdi, Vincent Nicomette, Philippe Owezarski, Mohamed Kaâniche

J. Comput. Virol., 2008

Software dependability modeling using an industry-standard architecture description language

Ana-Elena Rugina, Peter H. Feiler, Karama Kanoun, Mohamed Kaâniche

CoRR, 2008

Dependability Evaluation of a Replication Service for Mobile Applications in Dynamic Ad-Hoc Networks.

Erling Vestergaard Matthiesen, Ossama Hamouda, Mohamed Kaâniche, Hans-Peter Schwefel

Proceedings of the Service Availability, 5th International Service Availability Symposium, 2008

Collaborative Access Control For Critical Infrastructures.

Amine Baïna, Anas Abou El Kalam, Yves Deswarte, Mohamed Kaâniche

Proceedings of the Critical Infrastructure Protection II, 2008

The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation.

Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche

Proceedings of the Seventh European Dependable Computing Conference, 2008

Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures.

Marco Beccuti, Giuliana Franceschinis, Mohamed Kaâniche, Karama Kanoun

Proceedings of the Critical Information Infrastructure Security, 2008

Access control for cooperative systems: A comparative analysis.

Amine Baïna, Yves Deswarte, Anas Abou El Kalam, Mohamed Kaâniche

Proceedings of the CRiSIS '08, 2008

2007

An architecture-based dependability modeling framework using AADL

Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche

CoRR, 2007

Empirical analysis and statistical modeling of attack processes based on honeypots

Mohamed Kaâniche, Yves Deswarte, Eric Alata, Marc Dacier, Vincent Nicomette

CoRR, 2007

Availability assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx logfiles : a case study

Cristina Simache, Mohamed Kaâniche

CoRR, 2007

Modelling Interdependencies Between the Electricity and Information Infrastructures.

Jean-Claude Laprie, Karama Kanoun, Mohamed Kaâniche

Proceedings of the Computer Safety, 2007

Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices.

Ludovic Courtès, Ossama Hamouda, Mohamed Kaâniche, Marc-Olivier Killijian, David Powell

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

Access Control for Collaborative Systems: A Web Services Based Approach.

Anas Abou El Kalam, Yves Deswarte, Amine Baïna, Mohamed Kaâniche

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

2006

Modeling user perceived unavailability due to long response times.

Magnos Martinello, Mohamed Kaâniche, Karama Kanoun, Carlos Aguilar Melchor

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

A System Dependability Modeling Framework Using AADL and GSPNs.

Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

Lessons learned from the deployment of a high-interaction honeypot.

Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Marc Dacier, Matthieu Herrb

Proceedings of the Sixth European Dependable Computing Conference, 2006

2005

Web service availability - impact of error recovery and traffic model.

Magnos Martinello, Mohamed Kaâniche, Karama Kanoun

Reliab. Eng. Syst. Saf., 2005

Availability Assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx log files: A case study.

Cristina Simache, Mohamed Kaâniche

Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

2003

Multi-level modeling approach for the availability assessment of e-business applications.

Mohamed Kaâniche, Karama Kanoun, Mourad Rabah

Softw. Pract. Exp., 2003

Web Service Availability - Impact of Error Recovery.

Magnos Martinello, Mohamed Kaâniche, Karama Kanoun

Proceedings of the Computer Safety, 2003

A User-Perceived Availability Evaluation of a Web Based Travel Agency.

Mohamed Kaâniche, Karama Kanoun, Magnos Martinello

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002

Event Log based Dependability Analysis of Windows NT and 2K Systems.

Cristina Simache, Mohamed Kaâniche, Ayda Saïdane

Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002

2001

An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models.

Mohamed Kaâniche, Yannick Le Guédart, Jean Arlat, Thierry Boyer

Proceedings of the Computer Safety, 2001

Measurement-Based Availability of Unix Systems in a Distributed Environment.

Cristina Simache, Mohamed Kaâniche

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

A framework for modeling availability of E-business systems.

Mohamed Kaâniche, Karama Kanoun, Mourad Rabah

Proceedings of the 10th International Conference on Computer Communications and Networks, 2001

2000

A Dependability-Explicit Model for the Development of Computing Systems.

Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart

Proceedings of the Computer Safety, 2000

Dependability Engineering of Complex Computing Systems.

Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart

Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

1999

Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security.

Rodolphe Ortalo, Yves Deswarte, Mohamed Kaâniche

IEEE Trans. Software Eng., 1999

Dependability Evaluation of an Air Traffic Control Computing System.

Nicolae Fota, Mohamed Kaâniche, Karama Kanoun

Perform. Evaluation, 1999

SQUALE Dependability Assessment Criteria.

Yves Deswarte, Mohamed Kaâniche, Pierre Corneillie, John Goodson

Proceedings of the Computer Safety, 1999

Evaluation de la sûreté de fonctionnement informatique. Fautes physiques, fautes de conception, malveillances.

Mohamed Kaâniche

, 1999

1998

A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture.

Mohamed Kaâniche, Luigi Romano, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Richard M. Karcich

Proceedings of the Digest of Papers: FTCS-28, 1998

1997

Qualitative and Quantitative Reliability Assessment.

Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie

IEEE Softw., 1997

1996

Models and tools for quantitative assessment of operational security.

Marc Dacier, Yves Deswarte, Mohamed Kaâniche

Proceedings of the Information Systems Security, 1996

Safety Analysis and Evaluation of an Air Traffic Control Computing System.

Nicolae Fota, Mohamed Kaâniche, Karama Kanoun, Alain Peytavin

Proceedings of the 15th International Conference on Computer Safety, 1996

Reliability of a commercial telecommunications system.

Mohamed Kaâniche, Karama Kanoun

Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

1995

Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth.

Jean-Claude Laprie, Mohamed Kaâniche, Karama Kanoun

Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

1994

Software Reliability Analysis of Three Successive Generations of a Switching System.

Mohamed Kaâniche, Karama Kanoun, Michel Cukier, Marta Rettelbusch de Bastos Martini

Proceedings of the Dependable Computing, 1994

1993

Software Failure Data Analysis of two Successive Generations of a Switching System.

Mohamed Kaâniche, Karama Kanoun

Proceedings of the 12th International Conference on Computer Safety, 1993

Experience in software reliability: From data collection to quantitative evaluation.

Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie

Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993

SoRel: A Tool for Reliability Growth Analysis and Prediction From Statistical Failure Data.

Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie, Sylvain Metge

Proceedings of the Digest of Papers: FTCS-23, 1993

1992

Modèle hyperexponentiel en temps continu et en temps discret pour l'évaluation de la croissance de la sûreté de fonctionnement.

Mohamed Kaâniche

PhD thesis, 1992

The discrete time hyperexponential model for software reliability growth evaluation.

Mohamed Kaâniche, Karama Kanoun

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.

Jean-Claude Laprie, Karama Kanoun, Christian Béounes, Mohamed Kaâniche

IEEE Trans. Software Eng., 1991

1990

The transformation approach to the modeling and evaluation of the reliability and availability growth.

Jean-Claude Laprie, Christian Béounes, Mohamed Kaâniche, Karama Kanoun

Proceedings of the 20th International Symposium on Fault-Tolerant Computing, 1990