Publications

8 results
2018
[8]Achieving delta description for the system software of an automated production evolution based on partially inferenced model (, , , and ), In 14th IEEE International Conference on Automation Science and Engineering (CASE), . [bibtex]
2017
[7]Generalised Test Tables – a Practical Specification Language for Reactive Systems (, , , and ), In 13th International Conference on integrated (iFM 2017), . [bibtex] [doi]
[6]Generalized Test Tables: A Powerful and Intuitive Specification Language for Reactive Systems (, , , , , , and ), In 15th IEEE International Conference on Industrial Informatics (INDIN), . [bibtex] [doi]
[5]Generation of Monitoring Functions in Production Automation Using Test Specifications (, , , , and ), In 15th IEEE International Conference on Industrial Informatics (INDIN), . [bibtex] [doi]
2016
[4]Automated Test Suite Generation to Test Modular Designed Packaging Machines using Fault Injection and a Simulink-based Simulation Approach (, , and ), In 12th IEEE International Conference on Automation Science and Engineering (CASE), . [bibtex] [doi]
[3]A verification-supported evolution approach to assist software application engineers in industrial factory automation (, , , , , and ), In 2016 IEEE International Symposium on Assembly and Manufacturing, ISAM 2016, . [bibtex] [doi]
2015
[2]Proving equivalence between control software variants for Programmable Logic Controllers: Using Regression Verification to Reduce Unneeded Variant Diversity (, , , and ), In IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, volume 2015-October, . [bibtex] [pdf] [doi]
[1]Regression verification for programmable logic controller software (, , and ), Technical report 2015-06, Karlsruhe Institute of Technology, Department of Informatics, volume 9407, . [bibtex] [doi]

Previous Project-related Publications

10 results
2015
[10]Selected challenges of software evolution for automated production systems (, , , , , , , , , , , , , , and ), In Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015, . [bibtex] [doi]
[9]Regression verification for programmable logic controller software (, , and ), Technical report 2015-06, Karlsruhe Institute of Technology, Department of Informatics, volume 9407, . [bibtex] [doi]
[8]Regression verification for Java using a secure information flow calculus (, and ), In Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15, . [bibtex] [pdf] [doi]
2014
[7]Challenges of parallel evolution in production automation focusing on requirements specification and fault handling (, and ), In At-Automatisierungstechnik, volume 62, . [bibtex] [doi]
[6]Model-based testing of PLC software: Test of plants' reliability by using fault injection on component level (, , and ), In IFAC Proceedings Volumes (IFAC-PapersOnline), volume 19, . [bibtex] [doi]
[5]Automating regression verification (, , , and ), In Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14, ACM, . [bibtex] [pdf] [doi]
2013
[4]Dynamic logic with trace semantics ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Bonacina, Maria Paola, ed.), Springer-Verlag, volume 7898 LNAI, . [bibtex] [pdf] [doi]
2009
[3]Automatic program verification of continuous function chart based on model checking (, and ), In IECON Proceedings (Industrial Electronics Conference), . [bibtex] [pdf] [doi]
[2]Benefit and Evaluation of Interactive 3D Process Data Visualization for the Presentation of Complex Problems (, and ), In Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques, . [bibtex] [pdf] [doi]
2007
[1]Verification of Object-Oriented Software. The KeY Approach, (Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H, eds.), Springer-Verlag, volume 4334, . [bibtex] [doi]