fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: AutoFOCUS3

Export list as BibTeX file

2019

2018

  • October 2018 [T3] Develop your Own Car Levi Lúcio, Sebastian Voss, Tatiana Chuprina, Andreas Bayha, Johannes Eder and Sudeep Kanav Details URL BIB
  • October 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, pages 150–155, ACM. Details DOI BIB
  • October 2018 Controlling a virtual rover using AutoFOCUS3 Levi Lúcio, Sudeep Kanav, Andreas Bayha and Johannes Eder In Proceedings of the MDETools Workshop co-located with MODELS 2018, volume 2245 of CEUR Workshop Proceedings, pages 356–365, Details URL BIB
  • October 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, pages 145–149, ACM. Details DOI BIB
  • October 2018 From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures Johannes 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, 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 and Anatoly Vasilevskiy CRC Press, Details DOI BIB
  • August 2018 Modeling and Development Process Simon Barner, Franck Chauvel, Alexander Diewald, Fernando Eizaguirre, Oystein Haugen, Jörn Migge and Anatoly Vasilevskiy CRC Press, Details DOI BIB
  • May 2018 Handling system complexity in sCPS: usable design space exploration Sebastian Voss and Johannes Eder In 2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), pages 2–5, IEEE, Details DOI BIB
  • March 2018 Architecture Exploration for Safety-Critical Systems Alexander Diewald, Simon Barner and Sebastian Voss In Proceedings of the DATE Workshop on New Platforms for Future Cars: Current and Emerging Trends (NPCAR), Details BIB