Filtrer vos résultats
- 20
- 13
- 23
- 6
- 3
- 1
- 33
- 1
- 2
- 3
- 6
- 5
- 6
- 6
- 2
- 1
- 1
- 31
- 2
- 32
- 13
- 8
- 6
- 3
- 1
- 33
- 32
- 24
- 16
- 11
- 10
- 8
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
33 résultats
|
|
triés par
|
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics20th Pacific Rim International Symposium on Dependable Computing (2014), Nov 2014, Singapour, Singapore. pp.21--30, ⟨10.1109/PRDC.2014.11⟩
Communication dans un congrès
hal-03263715v1
|
|||
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces4th Workshop on Distributed User Interfaces and Multimodal Interaction (DIU 2014), Jul 2014, Toulouse, France. pp.27-30, ⟨10.1145/2677356.2677662⟩
Communication dans un congrès
hal-03266925v1
|
|||
|
Task Model-Based Systematic Analysis of Both System Failures and Human ErrorsIEEE Transactions on Human-Machine Systems, 2015, 46 (2), pp.243-254. ⟨10.1109/THMS.2014.2365956⟩
Article dans une revue
hal-01839036v1
|
||
|
A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context2nd Workshop on Engineering Computer-Human Interaction in Recommender Systems, co-located with the 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EnCHIReS @ EICS 2017), Jun 2017, Lisbonne, Portugal. pp.42-55
Communication dans un congrès
hal-02486107v1
|
||
An approach for assessing the impact of dependability on usability: application to interactive cockpits.European Dependable Computing Conference, May 2014, Newcastle upon Tyne, United Kingdom. pp.198--209, ⟨10.1109/EDCC.2014.17⟩
Communication dans un congrès
hal-03224128v1
|
|||
|
A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive SystemsConference Embedded Real Time Software and Systems (ERTS 2014), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies., Feb 2014, Toulouse, France
Communication dans un congrès
hal-02272197v1
|
||
|
Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at RuntimeWorkshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Jun 2015, Duisburg, Germany. pp. 19-23
Communication dans un congrès
hal-01334722v1
|
||
|
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal ToolsACM Transactions on Computer-Human Interaction, 2020, 27 (5), pp.1-48. ⟨10.1145/3404199⟩
Article dans une revue
hal-02931903v1
|
||
|
Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems12th IEEE International Conference on Cyber Physical and Social Computing (CPSCom 2019), Jul 2019, Atlanta, United States. ⟨10.1109/iThings/GreenCom/CPSCom/SmartData.2019.00132⟩
Communication dans un congrès
hal-02881970v1
|
||
|
A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2015, Duisburg, Germany. pp.244-253, ⟨10.1145/2774225.2774845⟩
Communication dans un congrès
hal-04079370v1
|
||
|
Engineering mixed-criticality interactive applications8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), Jun 2016, Bruxelles, Belgium. pp.108-119, ⟨10.1145/2933242.2933258⟩
Communication dans un congrès
hal-04109570v1
|
||
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques17th Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Dec 2011, Pasadena, California, United States. pp.164-173, ⟨10.1109/PRDC.2011.28⟩
Communication dans un congrès
hal-03651208v1
|
|||
|
Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiquesInterface homme-machine [cs.HC]. Université Paul Sabatier - Toulouse III, 2015. Français. ⟨NNT : 2015TOU30114⟩
Thèse
tel-01241504v2
|
||
|
A more intelligent test case generation approach through task models manipulationProceedings of the ACM on Human-Computer Interaction , 2017, 1 (EICS, article 9), pp.1-20. ⟨10.1145/3095811⟩
Article dans une revue
hal-02879017v1
|
||
|
Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems6th International Conference on Human-Centred Software Engineering (HCSE 2016) / 8th International Conference on Human Error, Safety (HESSD 2016) and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.181-202, ⟨10.1007/978-3-319-44902-9_12⟩
Communication dans un congrès
hal-02603527v2
|
||
Dealing with Faults During Operations: Beyond Classical Use of Formal MethodsWeyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.549--575, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_20⟩
Chapitre d'ouvrage
hal-03131879v1
|
|||
|
What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender SystemsWorkshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS 2016), Jun 2016, Bruxelles, Belgium. pp.14-25
Communication dans un congrès
hal-02603671v1
|
||
|
Accounting for Organisational faults in Task Model Based Systematic Analysis of System Failures and Human ErrorsIFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development @ INTERACT 2015, IFIP : International Federation for Information Processing, Sep 2015, Bamberg, Germany. pp.101--116
Communication dans un congrès
hal-03209327v1
|
||
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development EnvironmentWeyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.465--504, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_17⟩
Chapitre d'ouvrage
hal-03131880v1
|
|||
Performance Evaluation of Interactive Systems with Interactive Cooperative Objects ModelsAntti Oulasvirta, Per Ola Kristensson, Xiaojun Bi, Andrew Howes. Computational Interaction, Oxford University Press, 2018, 9780198799610
Chapitre d'ouvrage
hal-02939168v1
|
|||
|
A Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case StudyInternational Conference on Human-Computer Interaction in Aeronautics (HCI'Aero 2016), Sep 2016, Paris, France. pp.1-9
Communication dans un congrès
hal-02603674v1
|
||
|
A Fault-Tolerant Architecture for Resilient Interactive Systems26ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2014), AFIA : Association Francophone d'Interaction Homme-Machine; Université Lille 1; INRIA Lille - Nord Europe, Oct 2014, Lille, France. pp.80-90, ⟨10.1145/2670444.2670462⟩
Communication dans un congrès
hal-03263716v1
|
||
Interactive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant ApproachInternational Journal of Critical Computer-Based Systems, 2013, Special Issue on Fault-Tolerant Computer Systems, 4 (3), pp.202-226. ⟨10.1504/IJCCBS.2013.058407⟩
Article dans une revue
hal-03644324v1
|
|||
|
Résilience des systèmes interactifs: contribution par une architecture tolérante aux fautes26ème Conférence francophone sur l'Interaction Homme-Machine (IHM 2014), Association Francophone d'Interaction Homme-Machine, Oct 2014, Lille, France. pp.80-90
Communication dans un congrès
hal-01090399v1
|
||
Engineering Issues Related to the Development of a Recommender System in a Critical Context: Application to Interactive CockpitsInternational Journal of Human-Computer Studies, 2019, 121, pp.122-141. ⟨10.1016/j.ijhcs.2018.05.001⟩
Article dans une revue
hal-02976599v1
|
|||
|
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web3rd Workshop on Formal Integrated Development Environment (F-IDE 2016), co-located with FM 2016, Nov 2016, Limassol, Cyprus. pp.1-19, ⟨10.4204/EPTCS.240.1⟩
Communication dans un congrès
hal-01757338v1
|
||
A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Uniti-com, 2015, 14 (3), ⟨10.1515/icom-2015-0037⟩
Article dans une revue
hal-02933608v1
|
|||
|
Automation: danger or opportunity? Designing and assessing automation for interactive systems (CHI 2017)CHI Conference on Human Factors in Computing Systems (CHI 2017), ACM SIGCHI: ACM Special Interest Group on Computer-Human Interaction, May 2017, Denver, Colorado, United States. pp.1257-1260, ⟨10.1145/3027063.3027115⟩
Communication dans un congrès
hal-02875050v1
|
||
|
QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.91-105, ⟨10.1007/978-3-319-92081-8_9⟩
Communication dans un congrès
hal-01821411v1
|
||
|
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach4th International Workshop on Software Engineering for Resilient Systems (SERENE 2012), Sep 2012, Pisa, Italy. pp.32-46, ⟨10.1007/978-3-642-33176-3_3⟩
Communication dans un congrès
hal-03647155v1
|
- 1
- 2