fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: MbSE

Export list as BibTeX file

2020

  • September 2020 Generation of Co-simulation Algorithms Subject to Simulator Contracts Cláudio Gomes , Casper Thule , Levi Lúcio , Hans Vangheluwe and Peter Gorm Larsen In Software Engineering and Formal Method (SEFM 2019), volume 12226 of LNCS, September 2020. Springer, Cham. Details DOI BIB
  • July 2020 Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures Johannes Eder , Sebastian Voss , Andreas Bayha , Alexandru Ipatiov and Maged Khalil Software and Systems Modeling, 19():911–934, July 2020. Details DOI BIB
  • 2020 Describing Capabilities of Industrie 4.0 Components Andreas Bayha , Jürgen Bock , Birgit Boss , Christian Diedrich and Somayeh Malakuti German Electrical and Electronics Manufacturers Association, Frankfurt am Main, Germany, ():, 2020. Details URL BIB

2019

  • December 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 and Torben Deppe IFAC-PapersOnLine, 52(13):1590–1596, December 2019. Details DOI BIB
  • September 2019 Function Blocks for the Interaction with the Asset Administration Shell Tarik Terzimehić , Andreas Bayha and 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 and Hans Vangheluwe In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pages 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 and 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 and Edith Zavala SIGSOFT Softw. Eng. Notes, 44(4):11–13, September 2019. Details DOI BIB
  • July 2019 BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings Natalia Gavrilenko , Hernán Ponce de León , Florian Furbach , Keijo Heljanko and Roland Meyer In Computer Aided Verification (CAV) 2019., volume 11561 of LNCS, July 2019. Springer, Cham. Details DOI BIB
  • July 2019 Combined Data Transfer Response Time and Mapping Exploration in MPSoCs Alexander Diewald , Simon Barner and Selma Saidi In 10th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) co-located with ECRTS, July 2019. Details URL BIB
  • July 2019 Towards Machine Learning for Learnability of MDD Tools Saad bin Abid , Vishal Mahajan and Levi Lúcio In Software Engineering and Knowledge Engineering (SEKE) Conference, Lisbon, Portugal, pages 1–6, July 2019. Details DOI BIB
  • June 2019 Model-based methodology for space vehicles Sergey Zverlov , Sebastian Voss , Thomas Böhm , Hans-Jürgen Herpel and Mladen Kerep In Proceedings of the Eurospace Annual Conference on Data Systems in Aerospace (DASIA), June 2019. Details BIB
  • January 2019 Structure and behavior preserving statecharts refinements Eugene Syriani , Vasco Sousa and Levi Lúcio Science of Computer Programming, 170():49–79, January 2019. Details DOI BIB
  • 2019 A general proof certification framework for modal logic Tomer Libal and 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 and Thomas Schuetz In Proceedings of the NASA Formal Methods Symposium, volume 11460 of LNCS, pages 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 and 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ß and 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 and Anees Mehdi In 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), pages 1093–1100, 2019. IEEE. Details DOI BIB

2018