Publications
- Delta modeling for variant-rich and evolving manufacturing systems In Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, pages 32-41, May 2014. ACM. Details BIB
- Formal Technical Process Specification and Verification for Automated Production Systems In System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings, pages 287–303, 2014. Details DOI BIB
- Automated Test Case Generation for Industrial Control Applications In Gourab Sen Gupta , Donald Bailey , Serge Demidenko and Dale Carnegie , editor, Recent Advances in Robotics and Automation, volume 480 of Studies in Computational Intelligence, pages 263-273. Springer Berlin Heidelberg, 2013. Details DOI BIB