fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Stichworte: AutoFOCUS3

Liste als BibTeX-Datei exportieren

2024

  • September 2024 Modular Consistency Checking Between Heterogeneous Models Without Direct Data Exchange Between Collaborators Sebastian Bergemann und Nina Benkendorf In ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion ’24), September 2024. ACM. Details DOI BIB
  • September 2024 Towards the Estimation of Quality Attributes on System Model Histories Konstantin Rupert Blaschke und Simon Barner In ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion '24), September 2024. ACM. Details DOI BIB
  • Mai 2024 A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design Yuri Gil Dantas , Vivek Nigam und Ulrich Schöpp SN Computer Science, 5(5):, Mai 2024. Details DOI BIB
  • April 2024 Automated Model Quality Estimation and Change Impact Analysis on Model Histories Konstantin Rupert Blaschke In IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion ’24), Seiten 153–155, New York, NY, USA, April 2024. ACM. Details DOI BIB

2023

2020

2019

  • Juli 2019 Combined Data Transfer Response Time and Mapping Exploration in MPSoCs Alexander Diewald , Simon Barner und Selma Saidi In 10th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) co-located with ECRTS, Juli 2019. Details URL BIB
  • Juli 2019 Towards Machine Learning for Learnability of MDD Tools Saad bin Abid , Vishal Mahajan und Levi Lúcio In Software Engineering and Knowledge Engineering (SEKE) Conference, Lisbon, Portugal, Seiten 1–6, Juli 2019. Details DOI BIB
  • Juni 2019 Model-based methodology for space vehicles Sergey Zverlov , Sebastian Voss , Thomas Böhm , Hans-Jürgen Herpel und Mladen Kerep In Proceedings of the Eurospace Annual Conference on Data Systems in Aerospace (DASIA), Juni 2019. Details BIB
  • 2019 ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models Vivek Nigam , Alexandros Tsalidis , Sebastian Voss und Carmen Cârlan In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. Details DOI BIB

2018

  • Oktober 2018 [T3] Develop your Own Car Levi Lúcio , Sebastian Voss , Tatiana Chuprina , Andreas Bayha , Johannes Eder und Sudeep Kanav Oktober 2018. Details URL BIB
  • Oktober 2018 A modular approach to integrate verification tools in model based development Sudeep Kanav In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Seiten 150–155, Oktober 2018. ACM. Details DOI BIB
  • Oktober 2018 Controlling a virtual rover using AutoFOCUS3 Levi Lúcio , Sudeep Kanav , Andreas Bayha und Johannes Eder In Proceedings of the MDETools Workshop co-located with MODELS 2018, Band 2245 von CEUR Workshop Proceedings, Seiten 356–365, Oktober 2018. Details URL BIB
  • Oktober 2018 Exploration of hardware topologies based on functions, variability and timing Johannes Eder In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Seiten 145–149, Oktober 2018. ACM. Details DOI BIB
  • Oktober 2018 From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures Johannes Eder , Andreas Bayha , Sebastian Voss , Alexandru Ipatiov und Maged Khalil In Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Seiten 438–446, Oktober 2018. ACM, Details DOI BIB
  • August 2018 Algorithms and Tools Jörn Migge , Patricia Balbastre , Simon Barner , Franck Chauvel , Silviu S. Craciunas , Alexander Diewald , Guy Durrieu , Oystein Haugen , Ali Abbas Jaffari Syed , Claire Pagetti , Ramon Serna Oliver und Anatoly Vasilevskiy CRC Press, August 2018. Details DOI BIB