Export list as BibTeX file

2024

• November 2024 Beyond Recommendations: From Backward to Forward AI Support of Pilots' Decision-Making Process Zelun Tony Zhang , Sebastian S. Feger , Lucas Dullenkopf , Rulu Liao , Lou Süsslin , Yuanting Liu and Andreas Butz Proceedings of the ACM on Human-Computer Interaction, 8(CSCW2):485:1-485:32, November 2024. Details DOI BIB

2023

• March 2023 Resilience Through Appropriation: Pilots' View on Complex Decision Support Zelun Tony Zhang , Cara Storath , Yuanting Liu and Andreas Butz In 28th International Conference on Intelligent User Interfaces (IUI '23), March 2023. ACM. Details DOI BIB

2022

• April 2022 Building Trust by Supporting Situation Awareness: Exploring Pilots' Design Requirements for Decision Support Tools Cara Storath , Zelun Tony Zhang , Yuanting Liu and Heinrich Hußmann In CHI TRAIT '22: Workshop on Trust and Reliance in Human-AI Teams at CHI 2022, April 2022. Details URL BIB

2017

• September 2017 DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems Simon Barner , Alexander Diewald , Jörn Migge , Ali Abbas Jaffari Syed , Gerhard Fohler , Madeleine Faugère and Daniel Gracia Pérez In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), pages 259–269, September 2017. IEEE. Details DOI BIB
• 2017 Tool Support for Live Formal Verification Vincent Aravantinos and Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 145-155, 2017. Details DOI BIB