fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Stichworte: Tools

Liste als BibTeX-Datei exportieren

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 und Andreas Butz Proceedings of the ACM on Human-Computer Interaction, 8(CSCW2):485:1-485:32, November 2024. Details DOI BIB

2023

2022

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 und Daniel Gracia Pérez 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
  • 2017 Tool Support for Live Formal Verification Vincent Aravantinos und Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 145-155, 2017. Details DOI BIB