fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Stichworte: MbSE

Liste als BibTeX-Datei exportieren

2020

  • September 2020 Generation of Co-simulation Algorithms Subject to Simulator Contracts Cláudio Gomes , Casper Thule , Levi Lúcio , Hans Vangheluwe und Peter Gorm Larsen In Software Engineering and Formal Method (SEFM 2019), Band 12226 von LNCS, September 2020. Springer, Cham. Details DOI BIB
  • Juli 2020 Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures Johannes Eder , Sebastian Voss , Andreas Bayha , Alexandru Ipatiov und Maged Khalil Software and Systems Modeling, 19():911–934, Juli 2020. Details DOI BIB
  • 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 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), September 2019. 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, September 2019. 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), September 2019. 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, Juli 2019. 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, Juli 2019. 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, Juli 2019. Details DOI BIB
  • Juni 2019 Model-based methodology for space vehicles Sergey Zverlov , Sebastian Voss , Thomas Böhm , Hans-Jürgen Herpel und Mladen Kerep In Proceedings of the Eurospace Annual Conference on Data Systems in Aerospace (DASIA), Juni 2019. Details BIB
  • Januar 2019 Structure and behavior preserving statecharts refinements Eugene Syriani , Vasco Sousa und Levi Lúcio Science of Computer Programming, 170():49–79, Januar 2019. Details DOI BIB
  • 2019 A general proof certification framework for modal logic Tomer Libal und Marco Volpe Mathematical Structures in Computer Science, 29(8):1344–1378, 2019. Details DOI BIB
  • 2019 Design and Runtime Verification Side-by-Side in eTrice Sudeep Kanav , Levi Lúcio , Christian Hilden und Thomas Schuetz In Proceedings of the NASA Formal Methods Symposium, Band 11460 von LNCS, Seiten 255–262, 2019. Springer. Details DOI BIB
  • 2019 ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models Vivek Nigam , Alexandros Tsalidis , Sebastian Voss und Carmen Cârlan In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. Details DOI BIB
  • 2019 On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering Antoaneta Kondeva , Carmen Cârlan , Harald Rueß und Vivek Nigam In Proceedings of the 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. IEEE. Details DOI BIB
  • 2019 Roadmap to Skill Based Systems Engineering Kathrin Evers , Jan R Seyler , Vincent Aravantinos , Levi Lúcio und Anees Mehdi In 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Seiten 1093–1100, 2019. IEEE. Details DOI BIB

2018