fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Stichworte: systems

Liste als BibTeX-Datei exportieren

2020

  • 2020 Describing Capabilities of Industrie 4.0 Components Andreas Bayha, Jürgen Bock, Birgit Boss, Christian Diedrich und Somayeh Malakuti German Electrical and Electronics Manufacturers Association, Frankfurt am Main, Germany, ():, 2020. Details URL BIB

2019

  • Dezember 2019 Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspective Alexander Perzylo, Julian Grothoff, Levi Lúcio, Michael Weser, Somayeh Malakuti, Pierre Venet, Vincent Aravantinos und Torben Deppe IFAC-PapersOnLine, 52(13):1590–1596, Dezember 2019. Details DOI BIB
  • September 2019 An Approach for an Automated Adaption of KPI Ontologies by Reusing Systems Engineering Data Hendrik Walzel, Milan Vathoopan, Alois Zoitl und Alois Knoll In 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Seiten 1693-1696, Details DOI BIB
  • September 2019 Function Blocks for the Interaction with the Asset Administration Shell Tarik Terzimehić, Andreas Bayha und Kirill Dorofeev In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Details DOI BIB
  • September 2019 Semantics of Co-simulation Algorithms with Simulator Contracts Cláudio Gomes, Levi Lúcio und Hans Vangheluwe In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Seiten 784–798, IEEE. Details DOI BIB
  • September 2019 SMT-Based Deployment Calculation in Industrial Automation Domain Tarik Terzimehić, Monika Wenger, Sebastian Voss, Sten Grüner und Haitham Elfham In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), IEEE. Details DOI BIB
  • September 2019 Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report Tomas Bures, Danny Weyns, Bradley Schmerl, John Fitzgerald, Adina Aniculaesei, Christian Berger, Joao Cambeiro, Jan Carlson, Shafiul Azam Chowdhury, Marian Daun, Nianyu Li, Matthias Markthaler, Claudio Menghi, Birgit Penzenstadler, Aedan Pettit, Robert Pettit, Luca Sabatucci, Christos Tranoris, Hans Vangheluwe, Sebastian Voss und Edith Zavala SIGSOFT Softw. Eng. Notes, 44(4):11–13, September 2019. Details DOI BIB
  • Juli 2019 BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko und Roland Meyer In Computer Aided Verification (CAV) 2019., Band 11561 von LNCS, Springer, Cham. Details DOI BIB
  • 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, 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, Details DOI BIB