Header fortiss scientific publications
Scientific publications

Publications with research results

Scientific publications

Keywords: systems

Export list as BibTeX file

2019

  • December 2019 Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspective Alexander Perzylo , Julian Vogel , Levi Lúcio , Michael Weser , Somayeh Malakuti , Pierre Venet , Vincent Aravantinos and Torben Deppe IFAC-PapersOnLine, 52(13):1590–1596, December 2019. Details URL DOI BIB
  • September 2019 An Approach for an Automated Adaption of KPI Ontologies by Reusing Systems Engineering Data Hendrik Walzel , Milan Vathoopan , Alois Zoitl and Alois Knoll In 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), pages 1693-1696, September 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
  • June 2019 Providentia - A Large Scale Sensing System for the Assistance of Autonomous Vehicles Annkathrin Krämmer , Christoph Schöller , Dhiraj Gulati and Alois Knoll In Robotics Science and Systems Workshops (RSS Workshops), Freiburg, Germany, June 2019. RSS Foundation. Details URL 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 Real-Time Personalization in Adaptive IDEs Matthias Schmidmaier , Zhiwei Han , Thomas Weber , Yuanting Liu and Heinrich Hußmann pages 81-86, 2019. ACM. Details URL 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

click to return to top of page