Mohamed Kaâniche

125 papers A 16B 18C 17Misc 9Journal 44Unranked 18

Year	Rank	Type	Title / Venue / Authors
2024	A	`conf`	OASIS: An Intrusion Detection System Embedded in Bluetooth Low Energy Controllers. AsiaCCS Romain Cayre, Vincent Nicomette, Guillaume Auriol, Mohamed Kaâniche, Aurélien Francillon
2024	B	`conf`	Wireless Modulation Identification: Filling the Gap in IoT Networks Security Audit. DIMVA Florent Galtier, Guillaume Auriol, Vincent Nicomette, Paul L. R. Olivier, Romain Cayre, Mohamed Kaâniche
2022	J	`jnl`	Facing emerging challenges in connected vehicles: a formally proven, legislation compliant, and post-quantum ready security protocol. J. Comput. Virol. Hacking Tech. Remi Adelin, Cyrius Nugier, Eric Alata, Vincent Nicomette, Vincent Migliore, Mohamed Kaâniche
2021	—	`conf`	Cross-protocol attacks: weaponizing a smartphone by diverting its bluetooth controller. WISEC Romain Cayre, Géraldine Vache Marconato, Florent Galtier, Mohamed Kaâniche, Vincent Nicomette, Guillaume Auriol
2021	A	`conf`	InjectaBLE: Injecting malicious traffic into established Bluetooth Low Energy connections. DSN Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche, Géraldine Vache Marconato
2021	J	`jnl`	RIDS: Radio Intrusion Detection and Diagnosis System for Wireless Communications in Smart Environment. ACM Trans. Cyber Phys. Syst. Pierre-François Gimenez, Jonathan Roux, Eric Alata, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette
2021	A	`conf`	WazaBee: attacking Zigbee networks by diverting Bluetooth Low Energy chips. DSN Romain Cayre, Florent Galtier, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche, Géraldine Vache Marconato
2020	C	`conf`	A PSD-based fingerprinting approach to detect IoT device spoofing. PRDC Florent Galtier, Romain Cayre, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette
2020	B	`conf`	Hardware-Performance-Counters-based anomaly detection in massively deployed smart industrial devices. NCA Malcolm Bourdon, Pierre-François Gimenez, Eric Alata, Mohamed Kaâniche, Vincent Migliore, Vincent Nicomette, Youssef Laarouchi
2020	A	`conf`	On-board Diagnosis: A First Step from Detection to Prevention of Intrusions on Avionics Applications. ISSRE Aliénor Damien, Pierre-François Gimenez, Nathalie Feyt, Vincent Nicomette, Mohamed Kaâniche, Eric Alata
2019	C	`conf`	Implementation of a Host-Based Intrusion Detection System for Avionic Applications. PRDC Aliénor Damien, Michael Marcourt, Vincent Nicomette, Eric Alata, Mohamed Kaâniche
2019	A	`conf`	Mirage: Towards a Metasploit-Like Framework for IoT. ISSRE Romain Cayre, Vincent Nicomette, Guillaume Auriol, Eric Alata, Mohamed Kaâniche, Géraldine Vache Marconato
2019	J	`jnl`	Smart-TV security: risk analysis and experiments on Smart-TV communication channels. J. Comput. Virol. Hacking Tech. Yann Bachy, Vincent Nicomette, Mohamed Kaâniche, Eric Alata
2019	C	`ed.`	Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings VECoS Pierre Ganty, Mohamed Kaâniche
2018	J	`jnl`	A language-based intrusion detection approach for automotive embedded networks. Int. J. Embed. Syst. Ivan Studnia, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Youssef Laarouchi
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
2018	J	`jnl`	IOMMU protection against I/O attacks: a vulnerability and a proof of concept. J. Braz. Comput. Soc. Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
2018	B	`conf`	RadIoT: Radio Communications Intrusion Detection for IoT - A Protocol Independent Approach. NCA Jonathan Roux, Eric Alata, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette, Romain Cayre
2018	J	`jnl`	RadIoT: Radio Communications Intrusion Detection for IoT - A Protocol Independent Approach. CoRR Jonathan Roux, Eric Alata, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette, Romain Cayre
2018	A	`conf`	Specification-Based Protocol Obfuscation. DSN Julien Duchêne, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Colas Le Guernic
2018	J	`jnl`	Specification-Based Protocol Obfuscation. CoRR Julien Duchêne, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Colas Le Guernic
2018	J	`jnl`	State of the art of network protocol reverse engineering tools. J. Comput. Virol. Hacking Tech. Julien Duchêne, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
2017	C	`conf`	An Abstraction Model and a Comparative Analysis of Intel and ARM Hardware Isolation Mechanisms. PRDC Guillaume Averlant, Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
2017	Misc	`conf`	Toward an Intrusion Detection Approach for IoT Based on Radio Communications Profiling. EDCC Jonathan Roux, Eric Alata, Guillaume Auriol, Vincent Nicomette, Mohamed Kaâniche
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`	Bypassing IOMMU Protection against I/O Attacks. LADC Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
2016	J	`jnl`	Outils pour la rétro-conception de protocoles. Analyse et classification. Tech. Sci. Informatiques Eric Alata, Vincent Nicomette, Julien Duchêne, Colas Le Guernic, Mohamed Kaâniche
2016	C	`conf`	Protocol Reverse Engineering: Challenges and Obfuscation. CRiSIS Julien Duchêne, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
2016	—	`conf`	Towards Black-Box Anomaly Detection in Virtual Network Functions. DSN Workshops Carla Sauvanaud, Kahina Lazri, Mohamed Kaâniche, Karama Kanoun
2015	B	`conf`	A Model for Safety Case Confidence Assessment. SAFECOMP Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche
2015	J	`jnl`	A Model for Safety Case Confidence Assessment. CoRR Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche
2015	Misc	`conf`	Automated Evaluation of Network Intrusion Detection Systems in IaaS Clouds. EDCC Thibaut Probst, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
2015	Misc	`conf`	Data Stream Clustering for Online Anomaly Detection in Cloud Applications. EDCC Carla Sauvanaud, Guthemberg Silvestre, Mohamed Kaâniche, Karama Kanoun
2015	C	`conf`	Design and Implementation of a Hardware Assisted Security Architecture for Software Integrity Monitoring. PRDC Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Guillaume Averlant
2015	C	`conf`	Resilience Assessment: Accidental and Malicious Threats. VECoS Mohamed Kaâniche
2015	Misc	`conf`	Security of ISP Access Networks: Practical Experiments. EDCC Yann Bachy, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège
2015	A	`conf`	Smart-TV Security Analysis: Practical Experiments. DSN Yann Bachy, Frederic Basse, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège, Pierre Lukjanenko
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	B	`conf`	An Approach for the Automated Analysis of Network Access Controls in Cloud Computing Infrastructures. NSS Thibaut Probst, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
2014	J	`jnl`	An Invariant-Based Approach for Detecting Attacks Against Data in Web Applications. Int. J. Secur. Softw. Eng. Romaric Ludinard, Eric Totel, Frédéric Tronel, Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Rim Akrout, Yann Bachy
2014	J	`jnl`	An automated black box approach for web vulnerability identification and attack scenario generation. J. Braz. Comput. Soc. Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
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	J	`jnl`	Identification de vulnérabilités web et génération de scénarios d'attaque. Tech. Sci. Informatiques Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
2014	J	`jnl`	La sécurité des box ADSL. Analyse de risques et expérimentations. Ingénierie des Systèmes d Inf. Yann Bachy, Vincent Nicomette, Eric Alata, Mohamed Kaâniche, Jean-Christophe Courrège
2014	—	`conf`	Towards resilient cyber-physical systems: The ADREAM project. DTIS Jean Arlat, Michel Diaz, Mohamed Kaâniche
2013	—	`conf`	2 DSN Workshops Mohamed Kaâniche, Michael D. Harrison, Hermann Kopetz, Daniel P. Siewiorek
2013	J	`jnl`	A Vulnerability Life Cycle-Based Security Modeling and Evaluation Approach. Comput. J. Géraldine Vache Marconato, Mohamed Kaâniche, Vincent Nicomette
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`	An Automated Approach to Generate Web Applications Attack Scenarios. LADC Eric Alata, Mohamed Kaâniche, Vincent Nicomette, Rim Akrout
2013	B	`ed.`	Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings SAFECOMP Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche
2013	J	`jnl`	Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022). Dagstuhl Reports Maritta Heisel, Mohamed Kaâniche, Alexander B. Romanovsky, Elena Troubitsyna
2013	—	`conf`	Model-based safety analysis of human-robot interactions: The MIRAS walking assistance robot. ICORR Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche, David Powell
2013	—	`conf`	Security of embedded automotive networks: state of the art and a research proposal. CARS@SAFECOMP Ivan Studnia, Vincent Nicomette, Eric Alata, Yves Deswarte, Mohamed Kaâniche, Youssef Laarouchi
2013	—	`conf`	Survey on security threats and protection mechanisms in embedded automotive networks. DSN Workshops Ivan Studnia, Vincent Nicomette, Eric Alata, Yves Deswarte, Mohamed Kaâniche, Youssef Laarouchi
2013	J	`jnl`	Évaluation quantitative de la sécurité. Approche basée sur les vulnérabilités. Tech. Sci. Informatiques Géraldine Vache Marconato, Vincent Nicomette, Mohamed Kaâniche
2012	C	`conf`	A distributed platform of high interaction honeypots and experimental results. PST Ivan Studnia, Vincent Nicomette, Mohamed Kaâniche, Eric Alata
2012	J	`jnl`	Critical Utility Infrastructural Resilience CoRR Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico, Susanna Donatelli, Mohamed Kaâniche, Paulo Veríssimo
2012	C	`conf`	Detecting attacks against data in web applications. CRiSIS Romaric Ludinard, Eric Totel, Frederic Tronel, Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Rim Akrout, Yann Bachy
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`	Message from the special issue editors. J. Braz. Comput. Soc. Luiz Eduardo Buzato, Elias P. Duarte Jr., Mohamed Kaâniche
2012	J	`jnl`	Modeling the resilience of large and evolving systems CoRR Mohamed Kaâniche, Paolo Lollini, Andrea Bondavalli, Karama Kanoun
2012	C	`conf`	Security-related vulnerability life cycle analysis. CRiSIS Géraldine Vache Marconato, Vincent Nicomette, Mohamed Kaâniche
2011	C	`conf`	A Clustering Approach for Web Vulnerabilities Detection. PRDC Anthony Dessiatnikoff, Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
2011	J	`jnl`	It All Depends, and Increasingly So. IEEE Secur. Priv. Mohamed Kaâniche, Aad P. A. van Moorsel
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	J	`jnl`	Set-up and deployment of a high-interaction honeypot: experiment and lessons learned. J. Comput. Virol. Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Matthieu Herrb
2011	J	`jnl`	The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems. IEEE Trans. Mob. Comput. Andrea Bondavalli, Ossama Hamouda, Mohamed Kaâniche, Paolo Lollini, István Majzik, Hans-Peter Schwefel
2010	—	`conf`	Availability modelling of a virtual black box for automotive systems. SERENE Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun
2010	J	`jnl`	Une analyse empirique du comportement d'attaquants. Expérimentations et résultats. Tech. Sci. Informatiques Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Matthieu Herrb
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	J	`jnl`	PolyOrBAC: A security framework for Critical Infrastructures. Int. J. Crit. Infrastructure Prot. Anas Abou El Kalam, Yves Deswarte, Amine Baïna, Mohamed Kaâniche
2009	A	`conf`	Safety modeling and evaluation of Automated Highway Systems. DSN Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun
2008	C	`conf`	Access control for cooperative systems: A comparative analysis. CRiSIS Amine Baïna, Yves Deswarte, Anas Abou El Kalam, Mohamed Kaâniche
2008	—	`conf`	Collaborative Access Control For Critical Infrastructures. Critical Infrastructure Protection Amine Baïna, Anas Abou El Kalam, Yves Deswarte, Mohamed Kaâniche
2008	—	`conf`	Dependability Evaluation of a Replication Service for Mobile Applications in Dynamic Ad-Hoc Networks. ISAS Erling Vestergaard Matthiesen, Ossama Hamouda, Mohamed Kaâniche, Hans-Peter Schwefel
2008	J	`jnl`	Internet attacks monitoring with dynamic connection redirection mechanisms. J. Comput. Virol. Eric Alata, Ion Alberdi, Vincent Nicomette, Philippe Owezarski, Mohamed Kaâniche
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`	A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture CoRR Mohamed Kaâniche, Luigi Romano, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Richard M. Karcich
2007	A	`conf`	Access Control for Collaborative Systems: A Web Services Based Approach. ICWS Anas Abou El Kalam, Yves Deswarte, Amine Baïna, Mohamed Kaâniche
2007	J	`jnl`	An architecture-based dependability modeling framework using AADL CoRR Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche
2007	J	`jnl`	Availability assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx logfiles : a case study CoRR Cristina Simache, Mohamed Kaâniche
2007	C	`conf`	Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices. PRDC Ludovic Courtès, Ossama Hamouda, Mohamed Kaâniche, Marc-Olivier Killijian, David Powell
2007	J	`jnl`	Empirical analysis and statistical modeling of attack processes based on honeypots CoRR Mohamed Kaâniche, Yves Deswarte, Eric Alata, Marc Dacier, Vincent Nicomette
2007	J	`jnl`	Lessons Learned from the deployment of a high-interaction honeypot CoRR Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Marc Dacier, Matthieu Herrb
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	Misc	`conf`	Lessons learned from the deployment of a high-interaction honeypot. EDCC Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Marc Dacier, Matthieu Herrb
2006	A	`conf`	Modeling user perceived unavailability due to long response times. IPDPS Magnos Martinello, Mohamed Kaâniche, Karama Kanoun, Carlos Aguilar Melchor
2005	C	`conf`	Availability Assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx log files: A case study. PRDC Cristina Simache, Mohamed Kaâniche
2005	Misc	`ed.`	Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings EDCC Mario Dal Cin, Mohamed Kaâniche, András Pataricza
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	—	`ed.`	Student Forum, IFIP 18th World Computer Congress - Student Forum, 22-27 August 2004, Toulouse, France IFIP Student Forum Mohamed Kaâniche
2003	A	`conf`	A User-Perceived Availability Evaluation of a Web Based Travel Agency. DSN Mohamed Kaâniche, Karama Kanoun, Magnos Martinello
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	B	`conf`	Web Service Availability - Impact of Error Recovery. SAFECOMP Magnos Martinello, Mohamed Kaâniche, Karama Kanoun
2002	C	`conf`	Event Log based Dependability Analysis of Windows NT and 2K Systems. PRDC Cristina Simache, Mohamed Kaâniche, Ayda Saïdane
2001	B	`conf`	A framework for modeling availability of E-business systems. ICCCN Mohamed Kaâniche, Karama Kanoun, Mourad Rabah
2001	B	`conf`	An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models. SAFECOMP Mohamed Kaâniche, Yannick Le Guédart, Jean Arlat, Thierry Boyer
2001	A	`conf`	Measurement-Based Availability of Unix Systems in a Distributed Environment. ISSRE Cristina Simache, Mohamed Kaâniche
2000	B	`conf`	A Dependability-Explicit Model for the Development of Computing Systems. SAFECOMP Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart
2000	B	`conf`	Dependability Engineering of Complex Computing Systems. ICECCS Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart
1999	J	`jnl`	Dependability Evaluation of an Air Traffic Control Computing System. Perform. Evaluation Nicolae Fota, Mohamed Kaâniche, Karama Kanoun
1999	—	`book`	Evaluation de la sûreté de fonctionnement informatique. Fautes physiques, fautes de conception, malveillances. Mohamed Kaâniche
1999	J	`jnl`	Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security. IEEE Trans. Software Eng. Rodolphe Ortalo, Yves Deswarte, Mohamed Kaâniche
1999	B	`conf`	SQUALE Dependability Assessment Criteria. SAFECOMP Yves Deswarte, Mohamed Kaâniche, Pierre Corneillie, John Goodson
1998	—	`conf`	A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture. FTCS Mohamed Kaâniche, Luigi Romano, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Richard M. Karcich
1997	J	`jnl`	Qualitative and Quantitative Reliability Assessment. IEEE Softw. Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie
1996	Misc	`conf`	Models and tools for quantitative assessment of operational security. SEC Marc Dacier, Yves Deswarte, Mohamed Kaâniche
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
1993	A	`conf`	Experience in software reliability: From data collection to quantitative evaluation. ISSRE Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie
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	—	`—`	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
1992	A	`conf`	The discrete time hyperexponential model for software reliability growth evaluation. ISSRE Mohamed Kaâniche, Karama Kanoun
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	—	`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