77 results  save search

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-01145209v1  Conference papers
Celia MartiniePhilippe Palanque. Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance
AAAI 2014 Symposium on Formal Verification on Human-Machine Systems - 2014, Mar 2014, Palo Alto, United States. pp. 27-32
tel-00340508v1  Theses
Piotr Zajac. Fault tolerance through self-configuration in the future nanoscale multiprocessors
Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2008. Français
hal-01282237v1  Conference papers
Amina Mekki-MokhtarJean-Paul BlanquartJérémie GuiochetDavid PowellMatthieu Roy. Elicitation of Executable Safety Rules for Critical Autonomous Systems
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p
tel-00139873v1  Theses
Christian Ziegler. Sûreté de fonctionnement d'architectures informatiques embarquées sur automobile
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1996. Français
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
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-01955184v1  Conference papers
Lavindra de SilvaRongjie YanFélix IngrandRachid AlamiSaddek Bensalem. A Verifiable and Correct-by-Construction Controller for Robots in Human Environments
Proceeding HRI'15 Extended Abstracts Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction Extended Abstracts, Mar 2015, Portland, United States
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
tel-00131879v1  Theses
Marc-Olivier Killijian. Tolérance aux fautes sur CORBA par protocole à métaobjets et langages réflexifs
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2000. Français
tel-01276555v1  Habilitation à diriger des recherches
Jérémie Guiochet. Trusting robots : Contributions to dependable autonomous collaborative robotic systems
Embedded Systems. Université de Toulouse 3 Paul Sabatier, 2015
tel-00207502v1  Theses
Ana-Elena Rugina. Modélisation et évaluation de la sûreté de fonctionnement - De AADL vers les réseaux de Pétri stochastiques
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. English
tel-00011514v1  Theses
Frédéric Py. Contrôle d'exécution dans une architecture hiérarchisée pour systèmes autonomes
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2005. Français
tel-01801677v1  Habilitation à diriger des recherches
Matthieu Roy. Adaptation dans les systèmes dynamiques : une vision informatique de la résilience
Calcul parallèle, distribué et partagé [cs.DC]. Université de Toulouse - Institut National Polytechnique de Toulouse (INPT), 2018
tel-01115455v1  Theses
Rodolphe Ortalo. Évaluation quantitative de la sécurité des systèmes d’information
Cryptographie et sécurité [cs.CR]. INP DE TOULOUSE, 1998. Français
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
hal-00323999v1  Conference papers
Jean-Claude LaprieKarama KanounMohamed Kaâniche. Modelling interdependencies between the electricity and information infrastructures
26th International Conference on Computer Safety, Reliability and Security, SAFECOMP-2007, Sep 2007, Nurenberg, Germany. pp.54-67
hal-00323969v1  Conference papers
Ana-Elena RuginaKarama KanounMohamed Kaâniche. The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
7th European Dependable Computing Conference (EDCC), May 2008, Kaunas, Lithuania. pp.85-90
hal-01979785v1  Journal articles
Karama KanounYves Crouzet. Dependability Benchmarks for Operating Systems
International Journal of Performability Engineering, 2006, 2, pp.275 - 287
hal-01223182v1  Conference papers
Brahim HamidChristian Percebois. Model-based Specification and Validation of Security and Dependability Patterns
6th International Symposium on Foundations & Practice of Security (FPS 2013), Oct 2013, La Rochelle, France. pp.65-82, ⟨10.1007/978-3-319-05302-8⟩
hal-00282444v1  Conference papers
Jérémie GuiochetDavid PowellÉtienne BaudinJean-Paul Blanquart. Online Safety Monitoring Using Safety Modes
Workshop on Technical Challenges for Dependable Robots in Human Environments, May 2008, PASADENA, United States. pp.1-13
hal-01316836v1  Conference papers
Brahim Hamid. Interplay of Security&Dependability and Resource using Model-driven and Pattern-based Development
14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-15), Aug 2015, Helsinki, Finland. pp. 254-262
hal-00851766v1  Conference papers
Ludovic CourtèsOssama HamoudaMohamed KaânicheMarc-Olivier KillijianDavid Powell. Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007), Dec 2007, Melbourne, Australia. pp.139 - 146, ⟨10.1109/PRDC.2007.21⟩
hal-00380707v1  Conference papers
Romaric GuillermNabil SadouHamid Demmou. Discrete and Hybrid Systems Dependability Analysis with ESA PetriNet
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
hal-00755282v1  Conference papers
Marco BeccutiGiuliana FranceschinisMohamed KaânicheKarama Kanoun. Multi-level dependability modeling of interdependencies between the Electricity and Information Infrastructures
3rd International Workshop on Critical Information Infrastructures Security (CRITIS 2008), Rome (Italie), Octobre 2008, pp.63-74, Oct 2008, Rome, Italy. pp.48-59