109 results  save search


...
hal-00453029v1  Conference papers
Ossama HamoudaMohamed KaânicheKarama Kanoun. Modélisation et évaluation de la sûreté de fonctionnement d'un système d'autoroute automatisée
16ème Colloque de Maîtrise des Risques et de Sûreté de Fonctionnement. LAMBDA-MU 16, Oct 2008, Avignon, France
...
hal-00852263v1  Conference papers
Ossama HamoudaMohamed KaânicheKarama Kanoun. Availability Modelling of a Virtual Black Box for Automotive Systems
The 2nd International Workshop on Software Engineering for Resilient Systems (SERENE'10), Apr 2010, Londres, United Kingdom. pp.52-60, ⟨10.1145/2401736.2401742⟩
...
hal-00852244v1  Conference papers
Ivan StudniaVincent NicometteEric AlataYves DeswarteMohamed Kaâniche et al.  A Survey of Security Threats and Protection Mechanisms in Embedded Automotive Networks
The 2nd Workshop on Open Resilient human-aware Cyber-physical Systems (WORCS-2013), co-located with the IEEE/IFIP Annual Symposium on Dependable Systems and Networks (DSN-2013), Jun 2013, Budapest, Hungary. pp.1-12
...
hal-02192419v2  Conference papers
Quynh Anh Do HoangJérémie GuiochetDavid PowellMohamed Kaâniche. Human-robot interactions: model-based risk analysis and safety case construction
Embedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France
...
tel-00142168v1  Habilitation à diriger des recherches
Mohamed Kaâniche. Evaluation de la sûreté de fonctionnement informatique. Fautes physiques, fautes de conception, malveillances
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1999
...
tel-00142181v1  Theses
Mohamed Kaâniche. Modèle hyperexponentiel en temps continu et en temps discret pour l'évaluation de la croissance de la sûreté de fonctionnement
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1992. Français
...
hal-00762602v1  Journal articles
Nicolae FotaMohamed KaânicheKarama Kanoun. Dependability Evaluation of an Air Traffic Control Computing System
Performance Evaluation, Elsevier, 1999, 35 (3-4), pp.253-273
...
hal-00756957v1  Journal articles
Mohamed KaânichePaolo LolliniAndrea BondavalliKarama Kanoun. Modeling the resilience of large and evolving systems
International Journal of Performability Engineering, 2008, 4 (2), pp.153-168
...
hal-00756964v1  Conference papers
Giovanna DondossolaGeert DeconinckFelicita Di GiandomenicoSusanna DonatelliMohamed Kaâniche et al.  CRITICAL UTILITY INFRASTRUCTURAL RESILIENCE
International Workshop on Complex Network and Infrastructure Protection (CNIP-06), Mar 2006, Rome, Italy. 12 p
...
hal-01419962v1  Conference papers
Benoît MorganEric AlataVincent NicometteMohamed Kaâniche. Bypassing IOMMU Protection against I/O Attacks
7th Latin-American Symposium on Dependable Computing (LADC’16), Oct 2016, Cali, Colombia. pp.145-150, ⟨10.1109/LADC.2016.31⟩
...
hal-00851763v1  Conference papers
Mohamed KaânicheKarama Kanoun. The discrete time hyperexponential model for software reliability growth evaluation
Third International Symposium on Software Reliability Engineering (ISSRE-1992), Oct 1992, Research Triangle Park, NC, United States. pp.64 - 75, ⟨10.1109/ISSRE.1992.285857⟩
...
hal-01178550v1  Conference papers
Yann BachyVincent NicometteEric AlataMohamed KaânicheJean-Christophe Courrège et al.  Protocole HbbTV et sécurité : quelques expérimentations
Symposium sur la sécurité des technologies de l’information et des communications, Jun 2015, Rennes, France
...
hal-01178496v1  Conference papers
Yann BachyVincent NicometteEric AlataYves DeswarteMohamed Kaâniche et al.  Analyse de sécurité des box ADSL
Symposium sur la sécurité des technologies de l’information et des communications, Jun 2014, Rennes, France
...
hal-00852434v1  Conference papers
Karama KanounMohamed KaânicheJean-Claude LaprieSylvain Metge. SoRel: A tool for reliability growth analysis and prediction from statistical failure data
The Twenty-Third International Symposium on Fault-Tolerant Computing (FTCS-23), Jun 1993, Toulouse, France. pp.654-659, ⟨10.1109/FTCS.1993.627370⟩
...
hal-01178553v1  Conference papers
Yann BachyFrédéric BasseVincent NicometteEric AlataMohamed Kaâniche et al.  Smart-TV security analysis: practical experiments
International Conference on Dependable Systems and Networks, Jun 2015, Rio de Janeiro, Brazil
...
hal-02346074v1  Conference papers
Romain CayreVincent NicometteGuillaume AuriolEric AlataMohamed Kaâniche et al.  Mirage: towards a Metasploit-like framework for IoT
2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), Oct 2019, Berlin, Germany
hal-00851871v1  Conference papers
Jean-Claude LaprieChristian BeounesMohamed KaânicheKarama Kanoun. The transformation approach to the modeling and evaluation of the reliability and availability growth
The 20th International Symposium on Fault-Tolerant Computing (FTCS-20), Jun 1990, Newcastle Upon Tyne, United Kingdom. pp.364 - 371, ⟨10.1109/FTCS.1990.89390⟩
...
hal-00851779v1  Conference papers
Ossama HamoudaMohamed KaânicheKarama Kanoun. Safety modeling and evaluation of Automated Highway Systems
The IEEE/IFIP International Conference on Dependable Systems & Networks (DSN '09), Jun 2009, Lisbonne, Portugal. pp.73 - 82, ⟨10.1109/DSN.2009.5270352⟩
hal-00176312v1  Conference papers
Anas Abou El KalamYves DeswarteAmine BaïnaMohamed Kaâniche. Access Control for Collaborative Systems: A Web Services Based Approach
IEEE ICWS (IEEE International Conference on Web Services), Jul 2007, Salt Lake City, United States. pp.1064-1072
...
hal-00323983v1  Conference papers
Ana-Elena RuginaPeter FeilerKarama KanounMohamed Kaâniche. Software dependability modeling using an industry-standard architecture description language
4th European Congress ERTS Embedded Real Time Software, Jan 2008, Toulouse, France