Publications
- Efficient Impact Analysis of Changes in the Requirements of Manufacturing Automation Systems IFAC Proceedings Volumes, 48(3):1482–1489, August 2015. Details DOI BIB
- A Rapid Prototyping Approach for Smart Energy Systems Based on Partial System Models In Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International, pages 596–601, 2014. IEEE, 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
- Supporting Concurrent Development of Requirements and Architecture: A Model-based Approach In Theodor Borangiu , Andre Thomas and Damien Trentesaux , editor, 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pages 587–595, 2014. Details URL BIB
- Towards a bottom-up development of reference architectures for smart energy systems In Software Engineering Challenges for the Smart Grid (SE4SG), 2013 2nd International Workshop on, pages 9–16, 2013. IEEE, Details BIB
- Applying formal software engineering techniques to smart grids In Proceedings of the First International Workshop on Software Engineering Challenges for the Smart Grid, pages 50–56, 2012. IEEE Press, Details BIB
- Towards early emergent property understanding: merging behavior space exploration and model-based software engineering In Proceedings of the 2012 Extreme Modeling Workshop, pages 39–44, 2012. ACM, Details BIB