Wissenschaft­liche Publikationen

Liste als BibTeX-Datei exportieren

2018

• 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, Oktober 2018. 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, Oktober 2018. 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, Oktober 2018. 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, Oktober 2018. 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, Oktober 2018. 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, Oktober 2018. Academic Conferences and Publishing International Limited. Details BIB
• Oktober 2018 Towards Dependability Metrics for Neural Networks Chih-Hong Cheng , Georg Nührenberg , Harald Rueß und Hirotoshi Yasuoka In 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018, Seiten 43–46, Oktober 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 und 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 und 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 und 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 und 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 und Anatoly Vasilevskiy CRC Press, August 2018. Details DOI BIB
• August 2018 Formalizing EARS – First Impressions Levi Lúcio und Tahira Iqbal In 2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS), Seiten 11-13, August 2018. Details DOI BIB
• August 2018 Managing Standardization in eGovernment: A Coordination Theory based Analysis Framework Dian Balta und Helmut Krcmar In Electronic Government, Seiten 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 und Monika Wenger In 14th IEEE International Conference on Automation Science and Engineering (IEEE CASE 2018), August 2018. IEEE. Details DOI BIB
• Juli 2018 An Event-Based AutomationML Model for the Process Execution of ‘Plug-and-Produce’ Assembly Systems Paul Danny , Pedro Ferreira , Kirill Dorofeev und Niels Lohse In IEEE 16th International Conference of Industrial Informatics (INDIN), Juli 2018. Details BIB
• Juli 2018 Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper) Chih-Hong Cheng , Georg Nührenberg , Chung-Hao Huang und Harald Rueß In Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Seiten 279–290, Juli 2018. Details URL DOI BIB
• Juni 2018 ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification Moussa Amrani , Levi Lúcio und Adrian Bibal Juni 2018. Details URL BIB
• Juni 2018 Skill-based Engineering Approach using OPC UA Programs Kirill Dorofeev und Alois Zoitl In IEEE 16th International Conference of Industrial Informatics (INDIN), Juni 2018. Details BIB
• Juni 2018 Towards a Common Manufacturing Service Bus to Enable Flexible Plug-and-Produce Automation Fabio Miranda , Renato Martins , Kirill Dorofeev , Valerio Gentile , Pedro Ferreira und Magno Guedes In ISR 2018; 50th International Symposium on Robotics, Juni 2018. Details BIB