Filter your results
- 167
- 79
- 2
- 139
- 74
- 11
- 7
- 5
- 4
- 3
- 2
- 2
- 1
- 2
- 248
- 6
- 4
- 2
- 1
- 16
- 30
- 24
- 19
- 18
- 16
- 10
- 12
- 8
- 12
- 4
- 8
- 5
- 8
- 8
- 2
- 6
- 4
- 5
- 3
- 3
- 4
- 3
- 4
- 1
- 1
- 4
- 1
- 3
- 2
- 2
- 1
- 1
- 224
- 24
- 164
- 89
- 8
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 58
- 54
- 37
- 30
- 12
- 11
- 9
- 9
- 8
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
Conference papers
hal-03857803v2
|
||
|
Information model for model driven safety requirements management of complex systemsComplex Systems Design & Management (CSDM) 2010, Oct 2010, Paris, France. pp.99-111, ⟨10.1007/978-3-642-15654-0⟩
Conference papers
hal-00766209v1
|
||
|
The new SIGCHI EC's values and strategic initiativesInteractions, 2018, 26 (1), pp.84-85. ⟨10.1145/3292013⟩
Journal articles
hal-03857831v1
|
||
Introductory Course on Automation and its Use for Interactive Systems Design and EngineeringConference on Human Factors in Computing Systems (CHI 2021), May 2021, Yokohama (virtual), Japan. pp.1-4, ⟨10.1145/3411763.3445003⟩
Conference papers
hal-03376233v1
|
|||
Should I Add Recommendations to My Warning System? The RCRAFT Framework Can Answer This and Other Questions About Supporting the Assessment of Automation Designs18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2021), Aug 2021, Bari, Italy. pp.405-429, ⟨10.1007/978-3-030-85610-6_24⟩
Conference papers
hal-03376253v1
|
|||
AutomationXP 2021: Automation Experience at the Workplace 2021Workshop on Automation Experience at the Workplace, co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2021), Yokohama (virtual), Japan. CEUR Workshop Proceedings, 2905, CEUR-WS.org, pp.1-180, 2021, ISSN: 1613-0073
Special issue
hal-03376245v1
|
|||
Towards a New Data Replication Management in Cloud SystemsInternational Journal of Strategic Information Technology and Applications (IJSITA), 2019, 10 (2), pp.1-20. ⟨10.4018/IJSITA.2019040101⟩
Journal articles
hal-03481613v1
|
|||
Performance Evaluation: Special issue of the 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)Performance Evaluation, 142, Elsevier, pp.102123, 2020, ⟨10.1016/j.peva.2020.102123⟩
Special issue
hal-02980048v1
|
|||
|
A QoS-Oriented Reconfigurable Middleware For Self-Healing Web ServicesIEEE International Conference on Web Services (ICWS 2008), Sep 2008, Beijing, China. pp.104-111
Conference papers
hal-00358827v1
|
||
|
Providing Predictive Self-Healing for Web Services: A QoS Monitoring and Analysis-based ApproachJournal of Information Assurance and Security, 2008, 3 (3), pp.175-184
Journal articles
halshs-00367395v1
|
||
Analyse des défaillances et suivi de la validation du logiciel d'un équipement de télécommunicationAnnals of Telecommunications - annales des télécommunications, 1990, 45 (11-12), pp.657-670
Journal articles
hal-00851764v1
|
|||
|
Tests d’intégrité d’hyperviseurs de machines virtuelles à distance et assisté par le matérielSymposium sur la sécurité des technologies de l'information et des communications, Jun 2014, Rennes, France
Conference papers
hal-01493450v1
|
||
|
A review on data replication strategies in cloud systemsInternational Journal of Grid and Utility Computing, 2022, 13 (4), pp.347-362. ⟨10.1504/IJGUC.2022.125135⟩
Journal articles
hal-03828293v1
|
||
|
Trends on engineering interactive systems11th ACM Symposium on Engineering Interactive Computing Systems (EICS 2019), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2019, Valencia, Spain. pp.1-6, ⟨10.1145/3319499.3335655⟩
Conference papers
hal-03857839v1
|
||
|
A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.215-222, ⟨10.1109/HASE.2015.39⟩
Conference papers
hal-01780202v1
|
||
|
Hyper-optimization tools comparison for parameter tuning applicationsAVSS 2017 14th IEEE International Conference on Advanced Video and Signal based Surveillance, Aug 2017, Lecce, Italy. 6p
Conference papers
hal-01584100v1
|
||
|
Fiabilité de mission d’un avion. évaluation stochastique en opérationRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2014, 33 (9-10), pp.777 - 807. ⟨10.3166/tsi.33.777-807⟩
Journal articles
hal-01930324v1
|
||
Definition and analysis of hardware-and-software fault-tolerant architecturesHoang Pham. Fault-tolerant software systems: techniques and applications, IEEE Computer Society Press technology Series, Los Alamitos, pp.5-17, 1992
Book sections
hal-01982576v1
|
|||
|
ETALONNAGE DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES D'EXPLOITATIONCongrès de Maîtrise des Risques et Sûreté de Fonctionnement, Oct 2004, Bourges, France
Conference papers
hal-01980665v1
|
||
|
Access Control for Collaborative Systems: A Web Services Based ApproachIEEE International Conference on Web Services, ICWS 2007, Jul 2007, Salt Lake City, UT, United States. pp.1064-1071
Conference papers
hal-00851761v1
|
||
|
évaluation quantitative de la sécurité. Approche basée sur les vulnérabilitésRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, 32 (1), pp.41-75. ⟨10.3166/tsi.32.41-75⟩
Journal articles
hal-01212202v1
|
||
|
Modélisation et évaluation des performances de disponibilité d’un avion dans un contexte opérationnel lors des phases de conceptionPerformance et fiabilité [cs.PF]. Université de Toulouse III – Paul Sabatier, 2008. Français. ⟨NNT : ⟩
Theses
tel-01958591v1
|
||
|
Availability assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx logfiles : a case studyIEEE Pacific Rim International Symposium on Dependable Computing (PRDC'2005), Dec 2005, Changsha Hunan, China. pp.49-56, ⟨10.1109/PRDC.2005.20⟩
Conference papers
hal-00140364v1
|
||
|
Simulation-based testing to improve safety of autonomous robots2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Oct 2019, Berlin, Germany. ⟨10.1109/ISSREW.2019.00053⟩
Conference papers
hal-02495251v1
|
||
GUARDS: dependability evaluation, Chapter 9David Powell. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, Kluwer Academic Publishers, pp.157-192, 2001, 0-7923-7295-6
Book sections
hal-01982521v1
|
|||
|
Evaluation de la sûreté de fonctionnement des systèmes de sécurité - Application à la commande des postes à très haute tensionPerformance et fiabilité [cs.PF]. Institut National Polytechnique de Toulouse (INP Toulouse), 1980. Français. ⟨NNT : ⟩
Theses
tel-01964458v1
|
||
|
Croissance de la sûreté de fonctionnement des logiciels. Caractérisation, modélisation, évaluationPerformance et fiabilité [cs.PF]. Institut National Polytechnique De Toulouse, 1989. Français. ⟨NNT : ⟩
Theses
tel-01964462v1
|
||
|
An abstraction model and a comparative analysis of Intel and ARM hardware isolation mechanismsThe 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), Jan 2017, Christchurch, New Zealand
Conference papers
hal-01493597v1
|
||
|
MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES À PARTIR DU LANGAGE AADL15ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement (Lambda-Mu'15), Oct 2006, Lille, France. 8p
Conference papers
hal-00755279v1
|
||
|
Intégration de la Sûreté de Fonctionnement dans les Processus d'Ingénierie SystèmeSystèmes embarqués. Université de Toulouse, 2011. Français. ⟨NNT : ⟩
Theses
tel-00766124v1
|