fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: optimization

Export list as BibTeX file

2023

  • September 2023 Composing Services with SMT-Based Deployment Optimization and Service Merging Heuristic Tarik Terzimehić, Eddie Groh and Alois Zoitl In 28th International Conference on Emerging Technologies and Factory Automation (ETFA), to appear, IEEE. Details BIB

2022

  • May 2022 Architecture Synthesis for Optimized and Flexible Production Tarik Terzimehić In 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), IEEE. Details DOI BIB
  • February 2022 Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy Tarik Terzimehić, Kirill Dorofeev and Sebastian Voss In Software Engineering 2022 - Fachtagung des GI-Fachbereichs Softwaretechnik, Gesellschaft für Informatik (GI). Details DOI BIB

2021

2018

  • October 2018 Optimization and Reconfiguration of IEC 61499-based Software Architectures Tarik Terzimehić In ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS) - Doctoral Symposium, Details DOI BIB

2016

  • October 2016 Decomposition of Design Space Exploration Problems in the Context of model-based Development Sergey Zverlov In Proceedings of the Doctoral Symposium at the 19th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems (MODELS 2016), CEUR. Details URL BIB
  • January 2016 Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development Sergey Zverlov, Maged Khalil and Mayank Chaudhary In Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Details URL BIB

2014