Mohamed Kaâniche
发表
Yann Bachy,
Vincent Nicomette,
Mohamed Kaâniche,
2018,
Journal of Computer Virology and Hacking Techniques.
Vincent Nicomette,
Mohamed Kaâniche,
Ivan Studnia,
2012
.
Karama Kanoun,
Mohamed Kaâniche,
Christel Seguin,
2011,
EWDC '11.
Karama Kanoun,
Mohamed Kaâniche,
Christel Seguin,
2013,
Reliab. Eng. Syst. Saf..
Karama Kanoun,
Mohamed Kaâniche,
Guthemberg Silvestre,
2015,
SERENE.
Vincent Nicomette,
Mohamed Kaâniche,
Géraldine Vache Marconato,
2013,
Comput. J..
Yves Deswarte,
Vincent Nicomette,
Mohamed Kaâniche,
2013
.
Vincent Nicomette,
Mohamed Kaâniche,
Eric Alata,
2018,
Journal of the Brazilian Computer Society.
David Powell,
Marc-Olivier Killijian,
Mohamed Kaâniche,
2007,
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007).
Romaric Ludinard,
Frédéric Tronel,
Eric Totel,
2012,
2012 7th International Conference on Risks and Security of Internet and Systems (CRiSIS).
Jérémie Guiochet,
Mohamed Kaâniche,
Quynh Anh Do Hoang,
2012,
IROS 2012.
Anas Abou El Kalam,
Yves Deswarte,
Mohamed Kaâniche,
2009,
Int. J. Crit. Infrastructure Prot..
Mario Dal Cin,
András Pataricza,
Mohamed Kaâniche,
2005,
EDCC.
Karama Kanoun,
Michel Cukier,
Mohamed Kaâniche,
1994,
EDCC.
Vincent Nicomette,
Mohamed Kaâniche,
Eric Alata,
2013,
2013 Sixth Latin-American Symposium on Dependable Computing.
Karama Kanoun,
Mohamed Kaâniche,
Ossama Hamouda,
2012
.
Karama Kanoun,
Mohamed Kaâniche,
Nicolae Fota,
1999,
Perform. Evaluation.
Yann Bachy,
Vincent Nicomette,
Mohamed Kaâniche,
2015,
2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.
Maritta Heisel,
Elena Troubitsyna,
Alexander Romanovsky,
2013,
Dagstuhl Reports.
Jean-Claude Laprie,
Mohamed Kaâniche,
Jean-Paul Blanquart,
2002
.
David Powell,
Jérémie Guiochet,
Mohamed Kaâniche,
2013,
2013 IEEE 13th International Conference on Rehabilitation Robotics (ICORR).
Neeraj Suri,
Marco Winckler,
Miguel Correia,
2009
.
Andrea Bondavalli,
Paolo Lollini,
Karama Kanoun,
2008,
ArXiv.
Mohamed Kaâniche,
Ayda Saïdane,
Cristina Simache,
2002,
2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings..
Jérémie Guiochet,
Mohamed Kaâniche,
Quynh Anh Do Hoang,
2011
.
Jean-Claude Laprie,
Karama Kanoun,
Mohamed Kaâniche,
1991,
IEEE Trans. Software Eng..
Magnos Martinello,
Karama Kanoun,
Mohamed Kaâniche,
2012
.
Marc Dacier,
Matthieu Herrb,
Vincent Nicomette,
2006,
2006 Sixth European Dependable Computing Conference.
Philippe Owezarski,
Vincent Nicomette,
Mohamed Kaâniche,
2007,
Journal in Computer Virology.
Vincent Nicomette,
Mohamed Kaâniche,
Eric Alata,
2014
.
Matthieu Herrb,
Vincent Nicomette,
Mohamed Kaâniche,
2011,
Journal in Computer Virology.
Magnos Martinello,
Karama Kanoun,
Mohamed Kaâniche,
2006,
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Karama Kanoun,
Mohamed Kaâniche,
Christel Seguin,
2011
.
Andrea Bondavalli,
Paolo Lollini,
Máté Kovács,
2007
.
Yann Bachy,
Vincent Nicomette,
Mohamed Kaâniche,
2014,
Ingénierie des Systèmes d Inf..
Mohamed Kaâniche,
1992
.
Mohamed Kaâniche,
M. Kaâniche,
1999
.
Yves Deswarte,
Vincent Nicomette,
Mohamed Kaâniche,
2012
.
Karama Kanoun,
Mohamed Kaâniche,
Alain Peytavin,
1996,
SAFECOMP.
Karama Kanoun,
Mohamed Kaâniche,
Hamouda Ossama,
2010
.
Aliénor Damien,
Vincent Nicomette,
Mohamed Kaâniche,
2019,
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC).
Karama Kanoun,
Mohamed Kaâniche,
Christel Seguin,
2014,
Tech. Sci. Informatiques.
Paulo Veríssimo,
Susanna Donatelli,
Vincent Nicomette,
2008
.
Felicita Di Giandomenico,
Paulo Veríssimo,
Geert Deconinck,
2012,
ArXiv.
Marco Beccuti,
Giuliana Franceschinis,
Karama Kanoun,
2008,
CRITIS.
Jean-Claude Laprie,
Karama Kanoun,
Mohamed Kaâniche,
1995,
Proceedings 6th International Workshop on Petri Nets and Performance Models.
Karama Kanoun,
Mohamed Kaâniche,
Christel Seguin,
2011,
SAFECOMP.
Aad P. A. van Moorsel,
Mohamed Kaâniche,
2011,
IEEE Secur. Priv..
Vincent Nicomette,
Mohamed Kaâniche,
Géraldine Vache Marconato,
2013,
Tech. Sci. Informatiques.
Ravishankar K. Iyer,
Zbigniew T. Kalbarczyk,
Mohamed Kaâniche,
1998,
Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).
Pierre Ganty,
Mohamed Kaâniche,
2019,
VECoS.
Marc Dacier,
Yves Deswarte,
Vincent Nicomette,
2007,
ArXiv.
Karama Kanoun,
Mohamed Kaâniche,
Guthemberg Silvestre,
2014,
2014 IEEE 26th International Symposium on Computer Architecture and High Performance Computing.
Karama Kanoun,
Mohamed Kaâniche,
Mourad Rabah,
2003,
Softw. Pract. Exp..
Magnos Martinello,
Karama Kanoun,
Mohamed Kaâniche,
2005,
Reliab. Eng. Syst. Saf..
Jean-Claude Laprie,
Karama Kanoun,
Mohamed Kaâniche,
2007,
SAFECOMP.
Rodolphe Ortalo,
Yves Deswarte,
Mohamed Kaâniche,
1999,
IEEE Trans. Software Eng..
Marc Dacier,
Yves Deswarte,
Mohamed Kaâniche,
1996,
SEC.
Mohamed Kaâniche,
Cristina Simache,
2001,
Proceedings 12th International Symposium on Software Reliability Engineering.
Karama Kanoun,
Mohamed Kaâniche,
Ana-Elena Rugina,
2005
.
Jean-Claude Laprie,
Mohamed Kaâniche,
Jean-Paul Blanquart,
2000,
Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000.
Jean Arlat,
Mohamed Kaâniche,
Yannick Le Guédart,
2001,
SAFECOMP.
Anas Abou El Kalam,
Yves Deswarte,
Mohamed Kaâniche,
2008,
Critical Infrastructure Protection.
Jean-Claude Laprie,
Mohamed Kaâniche,
Jean-Paul Blanquart,
2000,
SAFECOMP.
Dependability Evaluation of a Replication Service for Mobile Applications in Dynamic Ad-Hoc Networks
Hans-Peter Schwefel,
Mohamed Kaâniche,
Erling Vestergaard Matthiesen,
2008,
ISAS.
Anas Abou El Kalam,
Yves Deswarte,
Mohamed Kaâniche,
2007,
IEEE International Conference on Web Services (ICWS 2007).
Jean-Claude Laprie,
Karama Kanoun,
Mohamed Kaâniche,
1997,
IEEE Softw..
Vincent Nicomette,
Mohamed Kaâniche,
Eric Alata,
2015,
2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC).
Vincent Nicomette,
Mohamed Kaâniche,
Eric Alata,
2015,
2015 11th European Dependable Computing Conference (EDCC).
Karama Kanoun,
Mohamed Kaâniche,
Guthemberg Silvestre,
2015,
2015 11th European Dependable Computing Conference (EDCC).
Jean-Claude Laprie,
Karama Kanoun,
Mohamed Kaâniche,
1990,
[1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.
Sonia Heemstra de Groot,
Matthieu Roy,
Audun Fosselie Hansen,
2007
.
Andrea Bondavalli,
Paolo Lollini,
Hans-Peter Schwefel,
2011,
IEEE Transactions on Mobile Computing.
Anas Abou El Kalam,
Yves Deswarte,
Mohamed Kaâniche,
2008,
2008 Third International Conference on Risks and Security of Internet and Systems.
Mohamed Kaâniche,
Hermann Kopetz,
Daniel Siewiorek,
2012,
IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012).
Vincent Nicomette,
Mohamed Kaâniche,
Eric Alata,
2016,
2016 Seventh Latin-American Symposium on Dependable Computing (LADC).
Yves Deswarte,
Mohamed Kaâniche,
John Goodson,
1999,
SAFECOMP.
Elias Procópio Duarte,
Luiz Eduardo Buzato,
Mohamed Kaâniche,
2012,
Journal of the Brazilian Computer Society.
Mohamed Kaâniche,
2015,
VECoS.
Karama Kanoun,
Mohamed Kaâniche,
Mourad Rabah,
2001,
Proceedings Tenth International Conference on Computer Communications and Networks (Cat. No.01EX495).
Jean-Claude Laprie,
Karama Kanoun,
Mohamed Kaâniche,
1993,
Proceedings of 1993 IEEE International Symposium on Software Reliability Engineering.
Vincent Nicomette,
Mohamed Kaâniche,
Eric Alata,
2017,
2017 13th European Dependable Computing Conference (EDCC).
Karama Kanoun,
Mohamed Kaâniche,
K. Kanoun,
1996,
Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering.
Friedemann Bitsch,
Jérémie Guiochet,
Mohamed Kaâniche,
2013
.
António Casimiro,
Lorenzo Falai,
Mohamed Kaâniche,
2007
.
Julien Duchêne,
Vincent Nicomette,
Mohamed Kaâniche,
2018,
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Peter H. Feiler,
Karama Kanoun,
Mohamed Kaâniche,
2008,
ArXiv.
Vincent Nicomette,
Mohamed Kaâniche,
Géraldine Vache Marconato,
2012,
2012 7th International Conference on Risks and Security of Internet and Systems (CRiSIS).
Yves Deswarte,
Vincent Nicomette,
Mohamed Kaâniche,
2013,
2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W).
Yves Deswarte,
Vincent Nicomette,
Mohamed Kaâniche,
2013,
CARS@SAFECOMP.
On-board Diagnosis: A First Step from Detection to Prevention of Intrusions on Avionics Applications
Aliénor Damien,
Vincent Nicomette,
Mohamed Kaâniche,
2020,
2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE).
Karama Kanoun,
Mohamed Kaâniche,
Ana-Elena Rugina,
2009,
Tech. Sci. Informatiques.
Magnos Martinello,
Karama Kanoun,
Mohamed Kaâniche,
2003,
SAFECOMP.
Sylvain Metge,
Jean-Claude Laprie,
Karama Kanoun,
1993,
FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.
Vincent Nicomette,
Mohamed Kaâniche,
Eric Alata,
2017,
2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC).
Jean Arlat,
Michel Diaz,
Mohamed Kaâniche,
2014,
2014 9th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS).
Karama Kanoun,
Mohamed Kaâniche,
Ana-Elena Rugina,
2006,
WADS.
Karama Kanoun,
Mohamed Kaâniche,
Christel Seguin,
2012,
2012 IEEE 31st Symposium on Reliable Distributed Systems.
Michel Raynal,
Lorenzo Strigini,
Michael D. Harrison,
2007
.
Jérémie Guiochet,
Mohamed Kaâniche,
Quynh Anh Do Hoang,
2012
.
Vincent Nicomette,
Mohamed Kaâniche,
Eric Alata,
2012,
2012 Tenth Annual International Conference on Privacy, Security and Trust.
Vincent Nicomette,
Mohamed Kaâniche,
Eric Alata,
2015,
Int. J. Embed. Syst..
An Approach for the Automated Analysis of Network Access Controls in Cloud Computing Infrastructures
Vincent Nicomette,
Mohamed Kaâniche,
Eric Alata,
2014,
NSS.
Karama Kanoun,
Mohamed Kaâniche,
Ossama Hamouda,
2009,
2009 IEEE/IFIP International Conference on Dependable Systems & Networks.
Sylvain Metge,
Karama Kanoun,
Mohamed Kaâniche,
1990
.
Vincent Nicomette,
Mohamed Kaâniche,
Eric Alata,
2011,
2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing.
Mohamed Kaâniche,
Carla Sauvanaud,
Javier Alcaraz,
2016
.
Mohamed Kaâniche,
Cristina Simache,
2005,
11th Pacific Rim International Symposium on Dependable Computing (PRDC'05).
Julien Duchêne,
Vincent Nicomette,
Mohamed Kaâniche,
2016,
Journal of Computer Virology and Hacking Techniques.
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
Karama Kanoun,
Mohamed Kaâniche,
Ana-Elena Rugina,
2008,
2008 Seventh European Dependable Computing Conference.
Karama Kanoun,
Mohamed Kaâniche,
Ana-Elena Rugina,
2007,
ICSE 2007.
Karama Kanoun,
Mohamed Kaâniche,
K. Kanoun,
1993,
SAFECOMP.
Vincent Nicomette,
Mohamed Kaâniche,
Eric Alata,
2014,
Tech. Sci. Informatiques.
Vincent Nicomette,
Mohamed Kaâniche,
Eric Alata,
2013,
Journal of the Brazilian Computer Society.
Julien Duchêne,
Vincent Nicomette,
Mohamed Kaâniche,
2016,
CRiSIS.
Julien Duchêne,
Vincent Nicomette,
Mohamed Kaâniche,
2016,
Tech. Sci. Informatiques.
Magnos Martinello,
Karama Kanoun,
Mohamed Kaâniche,
2003,
2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..
Romaric Ludinard,
Frédéric Tronel,
Eric Totel,
2014,
Int. J. Secur. Softw. Eng..
Yann Bachy,
Vincent Nicomette,
Mohamed Kaâniche,
2015,
2015 11th European Dependable Computing Conference (EDCC).
Matthieu Herrb,
Vincent Nicomette,
Mohamed Kaâniche,
2010,
Tech. Sci. Informatiques.
Vincent Nicomette,
Mohamed Kaâniche,
Eric Alata,
2018,
2018 IEEE 17th International Symposium on Network Computing and Applications (NCA).
Mohamed Kaâniche,
Cristina Simache Simache,
2001
.
Jean Arlat,
Mohamed Kaâniche,
Yannick Le Guédart,
2004
.
Kahina Lazri,
Karama Kanoun,
Mohamed Kaâniche,
2016,
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W).
Kahina Lazri,
Karama Kanoun,
Mohamed Kaâniche,
2016,
2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE).
Karama Kanoun,
Mohamed Kaâniche,
K. Kanoun,
1992,
[1992] Proceedings Third International Symposium on Software Reliability Engineering.
Jérémie Guiochet,
Mohamed Kaâniche,
Quynh Anh Do Hoang,
2015,
SAFECOMP.
Kahina Lazri,
Karama Kanoun,
Mohamed Kaâniche,
2018,
J. Syst. Softw..
Marc Fumey,
Vincent Nicomette,
Mohamed Kaâniche,
2018
.
Vincent Nicomette,
Mohamed Kaâniche,
Guillaume Auriol,
2021,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Vincent Nicomette,
Mohamed Kaâniche,
Guillaume Auriol,
2021,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Vincent Nicomette,
Mohamed Kaâniche,
Guillaume Auriol,
2021,
WISEC.
Vincent Nicomette,
Mohamed Kaâniche,
Eric Alata,
2021,
ACM Trans. Cyber Phys. Syst..
Neeraj Suri,
Philippe A. Palanque,
Miguel Correia,
2007
.
Karama Kanoun,
Mohamed Kaâniche,
Christel Seguin,
2011
.
Karama Kanoun,
Mohamed Kaâniche,
Mourad Rabah,
2001
.