Publications tagged #system-verification
Next-Generation Design Tools for Intelligent Transportation Systems.
Dominik Ascher and Georg Hackenberg
MODELSWARD, pp. 234-241, 2025
Quality assurance of digital twins: an experience report in the automotive industry
Alican Tüzün and Georg Hackenberg
International Conference on the Quality of Information and Communications Technology, pp. 15-29, 11 September 2023
Test-driven conceptual design of cyber-physical manufacturing systems
Georg Hackenberg
Technische Universität München, 2018
MaCon: Consistent Cross-Disciplinary Conception of Manufacturing Systems
Georg Hackenberg, Thomas Stocker, Christoph Richter and Gunther Reinhart
8th IFAC Conference on Manufacturing Modelling, Management & Control, 28-30 June 2016
From Conception to Refinement in Mechatronic Systems Engineering
Georg Hackenberg, Christoph Richter and Michael Zaeh
International Journal of Materials, Mechatronics and Manufacturing, Vol. 4, No. 1, February 2016
Integrated Requirements and Systems Modeling in the Mechatronic Development Process
Christoph Richter, Georg Hackenberg and Michael Zaeh
8th International Conference on Developments in eSystems Engineering, 13-14 December 2015
Modellbasierte Konzeption von Benutzerschnittstellen im Entwicklungsprozess von mechatronischen Systemen
Christoph Richter, Georg Hackenberg, Peter Stich and Gunther Reinhart
Tag des Systems Engineering, 30 September 2015
Effcient Impact Analysis of Changes in the Requirements of Manufacturing Automation Systems
Sabine Teufl and Georg Hackenberg
15th IFAC Symposium on Information Control Problems in Manufacturing, 11-13 May 2015
Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance
Christoph Legat, Jakob Mund, Alarico Campetelli, Georg Hackenberg, Jens Folmer, Daniel Schutz, Manfred Broy and Birgit Vogel-Heuser
Automatisierungstechnik (at), Vol. 62, No. 11, November 2014
Formal Technical Process Specification and Verification for Automated Production Systems
Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl and Birgit Vogel-Heuser
8th System Analysis and Modeling Conference (SAM 2014), 29-30 September 2014
A Multi-Disciplinary Modeling Technique for Requirements Management in Mechatronic Systems Engineering
Georg Hackenberg, Christoph Richter and Michael Zaeh
System-integrated Intelligence: New Challenges for Product and Production Engineering, 2nd International Conference on, 2-4 July 2014
Supporting Concurrent Development of Requirements and Architecture: A Model-based Approach
Andreas Vogelsang, Sebastian Eder, Georg Hackenberg, Maximilian Junker and Sabine Teufl
Model-Driven Engineering and Software Development (MODELSWARD), 2nd International Conference on, 7-9 January 2014