fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: MbSE

Export list as BibTeX file

2020

2019

  • September 2019SMT-Based Deployment Calculation in Industrial Automation DomainTarik Terzimehić, Monika Wenger, Sebastian Voss, Sten Grüner and Haitham Elfham In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), DetailsBIB
  • July 2019Combined Data Transfer Response Time and Mapping Exploration in MPSoCsAlexander Diewald, Simon Barner and Selma Saidi10th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) co-located with ECRTS, DetailsURLBIB
  • July 2019Towards Machine Learning for Learnability of MDD ToolsSaad bin Abid, Vishal Mahajan and Levi Lúcio In Software Engineering and Knowledge Engineering (SEKE) Conference, Lisbon, Portugal, pages 1–6, DetailsDOIBIB
  • June 2019Model-based methodology for space vehiclesSergey Zverlov, Sebastian Voss, Thomas Böhm, Hans-Jürgen Herpel and Mladen Kerep In Proceedings of the Eurospace Annual Conference on Data Systems in Aerospace (DASIA), DetailsBIB
  • 2019ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System ModelsVivek Nigam, Alexandros Tsalidis, Sebastian Voss and Carmen Cârlan In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), DetailsDOIBIB

2018

  • October 2018A modular approach to integrate verification tools in model based developmentSudeep Kanav In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, pages 150–155, ACM. DetailsDOIBIB
  • October 2018From deployment to platform exploration: automatic synthesis of distributed automotive hardware architecturesJohannes Eder, Andreas Bayha, Sebastian Voss, Alexandru Ipatiov and Maged Khalil In Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pages 438–446, ACM, DetailsDOIBIB
  • August 2018Algorithms and ToolsJö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 and Anatoly VasilevskiyCRC Press, DetailsDOIBIB
  • August 2018Modeling and Development ProcessSimon Barner, Franck Chauvel, Alexander Diewald, Fernando Eizaguirre, Oystein Haugen, Jörn Migge and Anatoly VasilevskiyCRC Press, DetailsDOIBIB