380.256 PEOPLE
People | Locations | Statistics |
---|---|---|
Seuring, Stefan |
| |
Nor Azizi, S. |
| |
Pato, Margarida Vaz |
| |
Kölker, Katrin |
| |
Huber, Oliver |
| |
Király, Tamás |
| |
Spengler, Thomas Stefan |
| |
Al-Ammar, Essam A. |
| |
Dargahi, Fatemeh |
| |
Mota, Rui |
| |
Mazalan, Nurul Aliah Amirah |
| |
Macharis, Cathy | Brussels |
|
Arunasari, Yova Tri |
| |
Nunez, Alfredo | Delft |
|
Bouhorma, Mohammed |
| |
Bonato, Matteo |
| |
Fitriani, Ira |
| |
Autor Correspondente Coelho, Sílvia. |
| |
Pond, Stephen |
| |
Okwara, Ukoha Kalu |
| |
Toufigh, Vahid |
| |
Campisi, Tiziana | Enna |
|
Ermolieva, Tatiana |
| |
Sánchez-Cambronero, Santos |
| |
Agzamov, Akhror |
|
Martinie, Célia
in Cooperation with on an Cooperation-Score of 37%
Topics
Publications (17/17 displayed)
- 2021Should I Add Recommendations to My Warning System? The RCRAFT Framework Can Answer This and Other Questions About Supporting the Assessment of Automation Designscitations
- 2021Challenges for operationalizing XAI in Critical Interactive Systems
- 2020Supporting the analysis of safety critical user interfaces: an exploration of three formal toolscitations
- 2019Deep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systemscitations
- 2019Characterizing Sets of Systems: Representation and Analysis of Across-Systems Propertiescitations
- 2016Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-webcitations
- 2016Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives (CHI 2016)
- 2016Embedding explicit representation of cyber-physical elements in task models
- 2015A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applicationscitations
- 2015Concept Maps as for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems
- 2015Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime
- 2015Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errorscitations
- 2015A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit
- 2014Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup languagecitations
- 2013Understanding functional resonance through a federation of models : preliminary findings of an avionics case studycitations
- 2013V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialogcitations
- 2012Interactive Cockpits Applications: Specification, Prototyping and Validation using a Petri-nets based Formalism
Places of action
Organizations | Location | People |
---|