Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2018
- 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), Seiten 11-13, August 2018. Details DOI BIB
- Managing Standardization in eGovernment: A Coordination Theory based Analysis Framework 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
- 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), Juli 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, Seiten 279–290, Juli 2018. Details URL DOI BIB
- ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification Juni 2018. Details URL BIB
- Skill-based Engineering Approach using OPC UA Programs In IEEE 16th International Conference of Industrial Informatics (INDIN), Juni 2018. Details BIB
- Towards a Common Manufacturing Service Bus to Enable Flexible Plug-and-Produce Automation In ISR 2018; 50th International Symposium on Robotics, Juni 2018. Details BIB
- Handling system complexity in sCPS: usable design space exploration In 2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), Seiten 2–5, Mai 2018. IEEE, Details DOI BIB
- Applying DSE for Solving the Deployment Problem in Industry 4.0 In 14th Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES), April 2018. fortiss GmbH. Details BIB
- Model-Based Calibration of a Robotic C-Arm System Using X-Ray Imaging Journal of Medical Robotics Research, ():, April 2018. Details DOI BIB
- Architecture Exploration for Safety-Critical Systems In Proceedings of the DATE Workshop on New Platforms for Future Cars: Current and Emerging Trends (NPCAR), März 2018. Details BIB
- Formal analysis of feature degradation in fault-tolerant automotive systems Science of Computer Programming, 154(1):89–133, März 2018. Details DOI BIB
- Künstliche Intelligenz – Chancen für Wirtschaft und Gesellschaft in Bayern White Paper, Guerickestraße 25, 80805 München, März 2018. Details PDF BIB
- Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), Seiten 1005–1006, Dresden, Germany, März 2018. Details DOI BIB
- Roboter mit Hirn blog, März 2018. Details URL BIB