fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Export list as BibTeX file

2018

  • October 2018 Applications in HHI: Physical Cooperation Markus Rickert , Andre Gaschler and Alois Knoll In Ambarish Goswami and Prahlad Vadakkepat , editor, Humanoid Robotics: A Reference, . Springer, October 2018. Details URL DOI BIB
  • October 2018 AutomationML Mechatronic Models as Enabler of Automation Systems Engineering: Use-case and Evaluation Milan Vathoopan , Hendrik Walzel , Waldemar Eisenmenger , Alois Zoitl and Benjamin Brandenbourger In Proceedings of 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), pages 51 - 58, October 2018. IEEE. Details DOI BIB
  • October 2018 Controlling a virtual rover using AutoFOCUS3 Levi Lúcio , Sudeep Kanav , Andreas Bayha and Johannes Eder In Proceedings of the MDETools Workshop co-located with MODELS 2018, volume 2245 of CEUR Workshop Proceedings, pages 356–365, October 2018. Details URL BIB
  • October 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, pages 145–149, October 2018. ACM. Details DOI BIB
  • October 2018 From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures Johannes Eder , Andreas Bayha , Sebastian Voss , Alexandru Ipatiov and Maged Khalil In Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pages 438–446, October 2018. ACM, Details DOI BIB
  • October 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, October 2018. Details DOI BIB
  • October 2018 Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems Chih-Hong Cheng , Chung-Hao Huang and Hirotoshi Yasuoka In Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pages 126–142, October 2018. Details URL DOI BIB
  • October 2018 Toward an IT-strategy Approach for Small and Mid-sized Municipalities in a Federal System Markus Jakob and Helmut Krcmar In 18th European Conference on Digital Government, Santiago de Compostela, October 2018. Academic Conferences and Publishing International Limited. Details BIB
  • October 2018 Towards Dependability Metrics for Neural Networks Chih-Hong Cheng , Georg Nührenberg , Harald Rueß and Hirotoshi Yasuoka In 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018, pages 43–46, October 2018. Details URL DOI BIB
  • September 2018 Alternatives for Flexible Deployment Architectures in Industrial Automation Systems Sten Grüner , Somayeh Malakuti , Johannes Schmitt , Tarik Terzimehić , Monika Wenger and Haitham Elfham In 23rd International Conference on Emerging Technologies And Factory Automation (ETFA), September 2018. Details DOI BIB
  • August 2018 Der Referenzarchitekturbegriff im Wandel der Zeit Andreas Reidt , Matthias Pfaff and Helmut Krcmar , ():1-14, August 2018. Details URL DOI BIB
  • August 2018 Distributed Real-Time Architecture for Mixed-Criticality Systems: Algorithms and Tools Jörn Migge , Patricia Balbastre , Simon Barner , Franck Chauvel , Silviu S. Craciunas , Alexander Diewald , Guy Durrieu , Oystein Haugen , Ali Abbas Jaffari Syed , Claire Pagetti , Ramon Serna Oliver and Anatoly Vasilevskiy CRC Press, August 2018. Details DOI BIB
  • August 2018 Distributed Real-Time Architecture for Mixed-Criticality Systems: Architectural Style Roman Obermaisser , Mohammed Abuteir , Hamidreza Ahmadian , Patricia Balbastre , Simon Barner , Marcello Coppola , Javier Coronel , Alfons Crespo , Gerhard Fohler , Gautam Gala , Miltos Grammatikakis , Asier Larrucea Ortube , Thomas Koller , Zaher Owda and Donatus Weber CRC Press, August 2018. Details DOI BIB
  • August 2018 Distributed Real-Time Architecture for Mixed-Criticality Systems: Modeling and Development Process Simon Barner , Franck Chauvel , Alexander Diewald , Fernando Eizaguirre , Oystein Haugen , Jörn Migge and Anatoly Vasilevskiy CRC Press, August 2018. Details DOI BIB
  • August 2018 Formalizing EARS – First Impressions Levi Lúcio and Tahira Iqbal In 2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS), pages 11-13, August 2018. Details DOI BIB
  • August 2018 Managing Standardization in eGovernment: A Coordination Theory based Analysis Framework Dian Balta and Helmut Krcmar In Electronic Government, pages 60-72, August 2018. Peter Parycek, Olivier Glassey, Marijn Janssen, Hans Jochen Scholl, Efthimios Tambouris, Evangelos Kalampokis, Shefali Virkar. Details URL DOI BIB
  • August 2018 Using Design Space Exploration to Calculate Deployment Configurations of IEC 61499-based Systems Tarik Terzimehić , Sebastian Voss and Monika Wenger In 14th IEEE International Conference on Automation Science and Engineering (IEEE CASE 2018), August 2018. IEEE. Details DOI BIB
  • July 2018 An Event-Based AutomationML Model for the Process Execution of ‘Plug-and-Produce’ Assembly Systems Paul Danny , Pedro Ferreira , Kirill Dorofeev and Niels Lohse In IEEE 16th International Conference of Industrial Informatics (INDIN), July 2018. Details BIB
  • July 2018 Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper) Chih-Hong Cheng , Georg Nührenberg , Chung-Hao Huang and Harald Rueß In Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pages 279–290, July 2018. Details URL DOI BIB
  • June 2018 ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification Moussa Amrani , Levi Lúcio and Adrian Bibal June 2018. Details URL BIB