#Systems Verification

Next-Generation Design Tools for Intelligent Transportation Systems.

Dominik Ascher and Georg Hackenberg

MODELSWARD, pp. 234-241, 2025

#simulation #systems-analysis #systems-design #systems-engineering #systems-verification #traffic-control #transportation-systems

Learnings from developing a custom virtual assembly environment for mountability issues of cooling cabinets

Georg Hackenberg and Christian Zehetner

Proceedings of the Design Society 4, pp. 583-592, May 2024

#manufacturing-systems #product-design #simulation #systems-analysis #systems-verification #thermal-engineering

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

#manufacturing-systems #simulation #software-systems #systems-engineering #systems-verification

Test-driven conceptual design of cyber-physical manufacturing systems

Georg Hackenberg

Technische Universität München, 2018

#systems-engineering #systems-design #software-systems #systems-verification #manufacturing-systems

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

#manufacturing-systems #mechatronic-systems #systems-design #systems-engineering #systems-verification

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

#manufacturing-systems #mechatronic-systems #systems-design #systems-engineering #systems-implementation #systems-verification

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

#manufacturing-systems #mechatronic-systems #systems-design #systems-engineering #systems-verification

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

#manufacturing-systems #user-interface #systems-engineering #systems-design #systems-verification #systems-validation

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

#manufacturing-systems #systems-analysis #systems-engineering #systems-verification

Efficient impact analysis of changes in the requirements of manufacturing automation systems

Sabine Teufl and Georg Hackenberg

IFAC-PapersOnLine 48 (3), pp. 1482-1489, January 2015

#manufacturing-systems #systems-analysis #systems-engineering #systems-verification

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

#manufacturing-systems #systems-engineering #systems-design #systems-verification

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

#manufacturing-systems #systems-engineering #systems-design #systems-verification

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

#manufacturing-systems #mechatronic-systems #systems-design #systems-engineering #systems-verification

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

#software-systems #systems-engineering #systems-analysis #systems-design #systems-verification

✍️Blog Posts1

Manufacturing systems case study completed!

📚Reviewed Publications14

Next-Generation Design Tools for Intelligent Transportation Systems.

Learnings from developing a custom virtual assembly environment for mountability issues of cooling cabinets

Quality assurance of digital twins: an experience report in the automotive industry

Test-driven conceptual design of cyber-physical manufacturing systems

MaCon: Consistent Cross-Disciplinary Conception of Manufacturing Systems

From Conception to Refinement in Mechatronic Systems Engineering

Integrated Requirements and Systems Modeling in the Mechatronic Development Process

Modellbasierte Konzeption von Benutzerschnittstellen im Entwicklungsprozess von mechatronischen Systemen

Effcient Impact Analysis of Changes in the Requirements of Manufacturing Automation Systems

Efficient impact analysis of changes in the requirements of manufacturing automation systems

Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance

Formal Technical Process Specification and Verification for Automated Production Systems

A Multi-Disciplinary Modeling Technique for Requirements Management in Mechatronic Systems Engineering

Supporting Concurrent Development of Requirements and Architecture: A Model-based Approach

🎓University Courses1

Systems Engineering