Author of the publication

Analyzing the Restart Behavior of Industrial Control Applications.

, , , , and . FM, volume 9109 of Lecture Notes in Computer Science, page 585-588. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Source code metrics for programmable logic controller (PLC) ladder diagram (LD) visual programming language., , and . WETSoM@ICSE, page 15-21. ACM, (2016)Automated Test Case Generation for Programmable Logic Controller Code., , and . ISEC, page 29:1-29:4. ACM, (2019)A Review of Formal Methods for Intelligent Adaptive Systems with an Application to Intelligent Water Level Monitoring System., , , and . DIAS/EDUDM@ISEC, volume 1819 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Analyzing the Restart Behavior of Industrial Control Applications., , , , and . FM, volume 9109 of Lecture Notes in Computer Science, page 585-588. Springer, (2015)Analysis of Industrial Control System Software to Detect Semantic Clones., , , , , and . ICIT, page 773-779. IEEE, (2019)A static code analysis tool for control system software., , , and . SANER, page 459-463. IEEE Computer Society, (2015)Solving circular dependencies in industrial automation programs., and . INDIN, page 397-404. IEEE, (2016)Test Suite Minimization of Evolving Software Systems: A Case Study., , , , and . ICSOFT, page 226-237. SciTePress, (2019)Applying software engineering practices for development of industrial automation applications., , , and . INDIN, page 558-563. IEEE, (2013)A Generic Static Analysis Framework for Domain-specific Languages., , , , and . ETFA, page 27-34. IEEE, (2018)