Publications

13 results
2018
[13]Taxonomy of Faults Influencing the Quality of Automation Production Systems ( and ), In 3rd IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control – CESCIT, . [bibtex]
2017
[12]Model-Based Availability Analysis for Automated Production Systems: A Case Study (, , , and ), In 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017), . [bibtex] [doi]
2015
[11]Towards interdisciplinary variability modeling for automated production systems: Opportunities and challenges when applying delta modeling: A case study (, , , , , and ), In Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015, . [bibtex] [doi]
[10]Coupling simulation and model checking to examine selected mechanical constraints of automated production systems (, , , and ), In Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015, . [bibtex] [doi]
[9]Evolution of software in automated production systems: Challenges and research directions (, , and ), In Journal of Systems and Software, Elsevier, volume 110, . [bibtex] [doi]
[8]Efficient impact analysis of changes in the requirements of manufacturing automation systems ( and ), In IFAC-PapersOnLine, volume 28, . [bibtex] [doi]
[7]Model-based quality assurance in machine and plant automation using sequence diagrams - A comparison of two research approaches (, and ), In Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015, . [bibtex] [pdf] [doi]
2014
[6]Interface behavior modeling for automatic verification of industrial automation systems' functional conformance (, , , , , , and ), In At-Automatisierungstechnik, Walter de Gruyter GmbH, volume 62, . [bibtex] [doi]
[5]Delta modeling for variant-rich and evolving manufacturing systems (, , , , and ), In Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation - MoSEMInA 2014, ACM, . [bibtex] [pdf] [doi]
[4]Interaction of model-driven engineering and signal-based online monitoring of production systems: Towards Requirement-aware evolution (, , , , , and ), In IECON Proceedings (Industrial Electronics Conference), . [bibtex] [doi]
[3]Formal Technical Process Specification and Verification for Automated Production Systems (, , , , and ), In International Conference on System Analysis and Modeling (SAM): Models and Reusability, . [bibtex] [pdf] [doi]
[2]Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain (, , , , and ), In at - Automatisierungstechnik, volume 62, . [bibtex] [pdf] [doi]
2013
[1]Evolution in industrial plant automation: A case study (, and ), In IECON Proceedings (Industrial Electronics Conference), . [bibtex] [doi]

Previous Project-related Publications

11 results
2014
[11]Challenges for Software Engineering in Automation (, , , , and ), In Journal of Software Engineering and Applications, volume 07, . [bibtex] [pdf] [doi]
[10]Software changes in factory automation: Towards automatic change based regression testing (, and ), In IECON Proceedings (Industrial Electronics Conference), . [bibtex] [doi]
2012
[9]Specification of the requirements to support information technology-cycles in the machine and plant manufacturing industry (, , and ), In IFAC Proceedings Volumes (IFAC-PapersOnline), volume 14, . [bibtex] [doi]
[8]Modularity, variant and version management in plant automation - Future challenges and state of the art (, and ), In Proceedings of International Design Conference, DESIGN, volume DS 70, . [bibtex]
[7]Requirements on Evolution Management of Product Lines in Automation Engineering (, , , and ), In \IFAC\ Proceedings Volumes, volume 45, . [bibtex] [pdf] [doi]
2011
[6]PLC-statecharts: An approach to integrate UML-statecharts in open-loop control engineering - Aspects on behavioral semantics and model-checking ( and ), In IFAC Proceedings Volumes (IFAC-PapersOnline), volume 18, . [bibtex] [doi]
[5]Integrated Behavior Modeling of Space-Intensive Mechatronic Systems (), PhD thesis, Technische Universität München, . [bibtex]
2009
[4]Automatic program verification of continuous function chart based on model checking (, and ), In IECON Proceedings (Industrial Electronics Conference), . [bibtex] [pdf] [doi]
2007
[3]Specification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle (), PhD thesis, Technische Universität München, . [bibtex] [pdf]
2006
[2]PERFORMANCE ANALYSIS OF INDUSTRIAL ETHERNET NETWORKS BY MEANS OF TIMED MODEL-CHECKING Daniel Witsch 1 , Birgit Vogel-Heuser 1 , Jean-Marc Faure 2 , Gaëlle Marsal 2 (, and ), In Writing, . [bibtex] [doi]
2001
[1]Specification and development of interactive systems : focus on streams, interfaces, and refinement (), Springer, . [bibtex] [pdf] [doi]