fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Liste als BibTeX-Datei exportieren

2018

  • Oktober 2018 A modular approach to integrate verification tools in model based development Sudeep Kanav In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Seiten 150–155, ACM. Details DOI BIB
  • Oktober 2018 An Efficient and Time-Optimal Trajectory Generation Approach for Waypoints under Kinematic Constraints and Error Bounds Jianjie Lin, Nikhil Somani, Biao Hu, Markus Rickert und Alois Knoll In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Madrid, Spain, Details DOI BIB
  • Oktober 2018 Applications in HHI: Physical Cooperation Markus Rickert, Andre Gaschler und Alois Knoll In Ambarish Goswami und Prahlad Vadakkepat, Editor, Humanoid Robotics: A Reference, . Springer, Details URL DOI BIB
  • Oktober 2018 AutomationML Mechatronic Models as Enabler of Automation Systems Engineering: Use-case and Evaluation Milan Vathoopan, Hendrik Walzel, Waldemar Eisenmenger, Alois Zoitl und Benjamin Brandenbourger In Proceedings of 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), Seiten 51 - 58, IEEE. Details DOI BIB
  • Oktober 2018 Controlling a virtual rover using AutoFOCUS3 Levi Lúcio, Sudeep Kanav, Andreas Bayha und Johannes Eder In Proceedings of the MDETools Workshop co-located with MODELS 2018, Band 2245 von CEUR Workshop Proceedings, Seiten 356–365, Details URL BIB
  • Oktober 2018 Exploration of hardware topologies based on functions, variability and timing Johannes Eder In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Seiten 145–149, ACM. Details DOI BIB
  • Oktober 2018 From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures Johannes Eder, Andreas Bayha, Sebastian Voss, Alexandru Ipatiov und Maged Khalil In Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Seiten 438–446, ACM, Details DOI BIB
  • Oktober 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
  • Oktober 2018 Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems Chih-Hong Cheng, Chung-Hao Huang und Hirotoshi Yasuoka In Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Seiten 126–142, Details URL DOI BIB
  • Oktober 2018 Toward an IT-strategy Approach for Small and Mid-sized Municipalities in a Federal System Markus Jakob und Helmut Krcmar In 18th European Conference on Digital Government, Santiago de Compostela, Academic Conferences and Publishing International Limited. Details BIB