Export list as BibTeX file

2018

• 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
• June 2018 Skill-based Engineering Approach using OPC UA Programs Kirill Dorofeev and Alois Zoitl In IEEE 16th International Conference of Industrial Informatics (INDIN), June 2018. Details BIB
• June 2018 Towards a Common Manufacturing Service Bus to Enable Flexible Plug-and-Produce Automation Fabio Miranda , Renato Martins , Kirill Dorofeev , Valerio Gentile , Pedro Ferreira and Magno Guedes In ISR 2018; 50th International Symposium on Robotics, June 2018. Details BIB
• May 2018 Handling system complexity in sCPS: usable design space exploration Sebastian Voss and Johannes Eder In 2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), pages 2–5, May 2018. IEEE, Details DOI BIB
• April 2018 Applying DSE for Solving the Deployment Problem in Industry 4.0 Tarik Terzimehić , Sebastian Voss , Monika Wenger and Vincent Aravantinos In 14th Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES), April 2018. fortiss GmbH. Details BIB
• April 2018 Model-Based Calibration of a Robotic C-Arm System Using X-Ray Imaging Sabine Thürauf , Oliver Hornung , Mario Körner , Florian Vogt , Alois Knoll and M. Ali Nasseri Journal of Medical Robotics Research, ():, April 2018. Details DOI BIB
• March 2018 Architecture Exploration for Safety-Critical Systems Alexander Diewald , Simon Barner and Sebastian Voss In Proceedings of the DATE Workshop on New Platforms for Future Cars: Current and Emerging Trends (NPCAR), March 2018. Details BIB