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), IEEE. Details DOI 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