Scientific publications
2018
- Controlling a virtual rover using AutoFOCUS3 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
- Exploration of hardware topologies based on functions, variability and timing 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
- From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures 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
- Optimization and Reconfiguration of IEC 61499-based Software Architectures In ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS) - Doctoral Symposium, October 2018. Details DOI BIB
- Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems 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
- Toward an IT-strategy Approach for Small and Mid-sized Municipalities in a Federal System In 18th European Conference on Digital Government, Santiago de Compostela, October 2018. Academic Conferences and Publishing International Limited. Details BIB
- Towards Dependability Metrics for Neural Networks 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
- Alternatives for Flexible Deployment Architectures in Industrial Automation Systems In 23rd International Conference on Emerging Technologies And Factory Automation (ETFA), September 2018. Details DOI BIB
- Der Referenzarchitekturbegriff im Wandel der Zeit , ():1-14, August 2018. Details URL DOI BIB
- Distributed Real-Time Architecture for Mixed-Criticality Systems: Algorithms and Tools CRC Press, August 2018. Details DOI BIB
- Distributed Real-Time Architecture for Mixed-Criticality Systems: Architectural Style CRC Press, August 2018. Details DOI BIB
- Distributed Real-Time Architecture for Mixed-Criticality Systems: Modeling and Development Process CRC Press, August 2018. Details DOI BIB
- Formalizing EARS – First Impressions In 2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS), pages 11-13, August 2018. Details DOI BIB
- Managing Standardization in eGovernment: A Coordination Theory based Analysis Framework 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
- Using Design Space Exploration to Calculate Deployment Configurations of IEC 61499-based Systems In 14th IEEE International Conference on Automation Science and Engineering (IEEE CASE 2018), August 2018. IEEE. Details DOI BIB
- An Event-Based AutomationML Model for the Process Execution of ‘Plug-and-Produce’ Assembly Systems In IEEE 16th International Conference of Industrial Informatics (INDIN), July 2018. Details BIB
- Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper) 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
- ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification June 2018. Details URL BIB
- Skill-based Engineering Approach using OPC UA Programs In IEEE 16th International Conference of Industrial Informatics (INDIN), June 2018. Details BIB
- Towards a Common Manufacturing Service Bus to Enable Flexible Plug-and-Produce Automation In ISR 2018; 50th International Symposium on Robotics, June 2018. Details BIB