Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2024
- Beyond Recommendations: From Backward to Forward AI Support of Pilots' Decision-Making Process Proceedings of the ACM on Human-Computer Interaction, 8(CSCW2):485:1-485:32, November 2024. Details DOI BIB
2023
- Resilience Through Appropriation: Pilots' View on Complex Decision Support In 28th International Conference on Intelligent User Interfaces (IUI '23), März 2023. ACM. Details DOI BIB
2022
- Building Trust by Supporting Situation Awareness: Exploring Pilots' Design Requirements for Decision Support Tools In CHI TRAIT '22: Workshop on Trust and Reliance in Human-AI Teams at CHI 2022, April 2022. Details URL BIB
2017
- DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), Seiten 259–269, September 2017. IEEE. Details DOI BIB
- Tool Support for Live Formal Verification In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 145-155, 2017. Details DOI BIB