Search - Université Toulouse 1 Capitole Access content directly

Filter your results

248 Results
Domains : info.info-pf
Image document

Leveraging Event-B Theories for Handling Domain Knowledge in Design Models

Ismail Mendil , Yamine Aït-Ameur , Neeraj Kumar Singh , Dominique Méry , Philippe Palanque et al.
7th 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
Image document

Information model for model driven safety requirements management of complex systems

Romaric Guillerm , Hamid Demmou , Nabil Sadou
Complex 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 initiatives

Helena M. Mentis , Cliff Lampe , Regina Bernhaupt , Anirudha Joshi , Susan R. Fussell et al.
Interactions, 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 Engineering

Philippe Palanque
Conference 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 Designs

Elodie Bouzekri , Célia Martinie , Philippe Palanque , Katrina Atwood , Christine Gris et al.
18th 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 2021

Matthias Baldauf , Peter Fröhlich , Shadan Sadeghian , Philippe Palanque , Virpi Roto et al.
Workshop 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 Systems

Abdenour Lazeb , Riad Mokadem , Ghalem Belalem
International 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)

André-Luc Beylot , Jalil Boukhobza
Performance Evaluation, 142, Elsevier, pp.102123, 2020, ⟨10.1016/j.peva.2020.102123⟩
Special issue hal-02980048v1
Image document

A QoS-Oriented Reconfigurable Middleware For Self-Healing Web Services

Riadh Ben Halima , Khalil Drira , Mohamed Jmaiel
IEEE International Conference on Web Services (ICWS 2008), Sep 2008, Beijing, China. pp.104-111
Conference papers hal-00358827v1
Image document

Providing Predictive Self-Healing for Web Services: A QoS Monitoring and Analysis-based Approach

Riadh Ben Halima , Mohammed Karim Guennoun , Khalil Drira , Mohamed Jmaiel
Journal 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écommunication

Mohamed Kaâniche , Karama Kanoun , Sylvain Metge
Annals of Telecommunications - annales des télécommunications, 1990, 45 (11-12), pp.657-670
Journal articles hal-00851764v1
Image document

Tests d’intégrité d’hyperviseurs de machines virtuelles à distance et assisté par le matériel

Benoît Morgan , Eric Alata , Vincent Nicomette
Symposium sur la sécurité des technologies de l'information et des communications, Jun 2014, Rennes, France
Conference papers hal-01493450v1
Image document

A review on data replication strategies in cloud systems

Riad Mokadem , Jorge Martinez Gil , Abdelkader Hameurlain , Josef Kueng
International 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 systems

Damiano Distante , Marco Winckler , Regina Bernhaupt , Judy Bowen , José Creissac Campos et al.
11th 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
Image document

A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems

Amira Zammali , Agnan de Bonneval , Yves Crouzet
2015 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
Image document

Hyper-optimization tools comparison for parameter tuning applications

Camille Maurice , Jorge Francisco Madrigal Diaz , Frédéric Lerasle
AVSS 2017 14th IEEE International Conference on Advanced Video and Signal based Surveillance, Aug 2017, Lecce, Italy. 6p
Conference papers hal-01584100v1
Image document

Fiabilité de mission d’un avion. évaluation stochastique en opération

Kossi Tiassou , Karama Kanoun , Mohamed Kaâniche , Christel Seguin , Chris Papadopoulos et al.
Revue 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 architectures

Jean-Claude Laprie , Jean Arlat , Christian Beounes , Karama Kanoun
Hoang Pham. Fault-tolerant software systems: techniques and applications, IEEE Computer Society Press technology Series, Los Alamitos, pp.5-17, 1992
Book sections hal-01982576v1
Image document

ETALONNAGE DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES D'EXPLOITATION

Yves Crouzet , Ali Kalakech , Karama Kanoun , Jean Arlat
Congrès de Maîtrise des Risques et Sûreté de Fonctionnement, Oct 2004, Bourges, France
Conference papers hal-01980665v1
Image document

Access Control for Collaborative Systems: A Web Services Based Approach

Anas Abou El Kalam , Yves Deswarte , Amine Baïna , Mohamed Kaâniche
IEEE International Conference on Web Services, ICWS 2007, Jul 2007, Salt Lake City, UT, United States. pp.1064-1071
Conference papers hal-00851761v1
Image document

évaluation quantitative de la sécurité. Approche basée sur les vulnérabilités

Géraldine Vache Marconato , Vincent Nicomette , Mohamed Kaâniche
Revue 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
Image document

Modélisation et évaluation des performances de disponibilité d’un avion dans un contexte opérationnel lors des phases de conception

Laurent Saintis
Performance et fiabilité [cs.PF]. Université de Toulouse III – Paul Sabatier, 2008. Français. ⟨NNT : ⟩
Theses tel-01958591v1
Image document

Availability assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx logfiles : a case study

Cristina Simache , Mohamed Kaâniche
IEEE 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
Image document

Simulation-based testing to improve safety of autonomous robots

Luca Vittorio Sartori
2019 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 9

Jean Arlat , Andrea Bondavalli , Felicita Di Giandomenico , Tahar Jarboui , Éric Jenn et al.
David 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
Image document

Evaluation de la sûreté de fonctionnement des systèmes de sécurité - Application à la commande des postes à très haute tension

Karama Kanoun
Performance et fiabilité [cs.PF]. Institut National Polytechnique de Toulouse (INP Toulouse), 1980. Français. ⟨NNT : ⟩
Theses tel-01964458v1
Image document

Croissance de la sûreté de fonctionnement des logiciels. Caractérisation, modélisation, évaluation

Karama Kanoun
Performance et fiabilité [cs.PF]. Institut National Polytechnique De Toulouse, 1989. Français. ⟨NNT : ⟩
Theses tel-01964462v1
Image document

An abstraction model and a comparative analysis of Intel and ARM hardware isolation mechanisms

Guillaume Averlant , Benoît Morgan , Eric Alata , Vincent Nicomette , Mohamed Kaâniche et al.
The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), Jan 2017, Christchurch, New Zealand
Conference papers hal-01493597v1
Image document

MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES À PARTIR DU LANGAGE AADL

Ana-Elena Rugina , Karama Kanoun , Mohamed Kaâniche
15è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
Image document

Intégration de la Sûreté de Fonctionnement dans les Processus d'Ingénierie Système

Romaric Guillerm
Systèmes embarqués. Université de Toulouse, 2011. Français. ⟨NNT : ⟩
Theses tel-00766124v1