Scientific publications
2017
- DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), pages 259–269, September 2017. IEEE. Details DOI BIB
- Connecting Artificial Brains to Robots in a Comprehensive Simulation Framework: The Neurorobotics Platform Frontiers in Neurorobotics, 11():, January 2017. Details URL PDF DOI BIB
- Tool Support for Live Formal Verification In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 145-155, 2017. Details DOI BIB
2016
- Decomposition of Design Space Exploration Problems in the Context of model-based Development In Proceedings of the Doctoral Symposium at the 19th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems (MODELS 2016), October 2016. CEUR. Details URL BIB
- Building Product-lines of Mixed-Criticality Systems In Proceedings of the Forum on Specification and Design Languages (FDL 2016), Bremen, Germany, September 2016. IEEE. Details DOI BIB
- Towards Trusted Apps platforms for open CPS In 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), pages 23–28, April 2016. Details DOI BIB
2015
- An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures In IEEE 18th International Conference on Intelligent Transportation Systems (ITSC), 2015. Details DOI BIB
- Stream Processing on Demand for Lambda Architectures volume 9272 of Lecture Notes in Computer Science, pages 243-257. Springer International Publishing, 2015. Details URL DOI BIB
2014
- Distributed MILS architectural approach for secure smart grids In Smart Grid Security, pages 16–29, August 2014. Springer International Publishing. Details DOI BIB
- Understanding and closing the gap between requirements on system and subsystem level In Model-Driven Requirements Engineering Workshop (MoDRE), 2014 IEEE 4th International, pages 77-86, August 2014. Details DOI BIB
- A pattern-based approach towards the guided reuse of safety mechanisms in the automotive domain In Proceedings of the International Symposium on Model-Based Safety and Assessment (IMBSA 2014), volume 8822 of LNCS, pages 137–151, 2014. Springer. Details DOI BIB
- Synthesis of Pareto Efficient Technical Architectures for Multi-core Systems In Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International, 2014. Details DOI BIB
- Using Performance Models to Support Load Testing in a Large SOA Environment In Proceedings of the Third International Workshop on Large Scale Testing, pages 5-6, New York, NY, USA, 2014. ACM. Details DOI BIB
2012
- Binding requirements and component architecture by using model-based test-driven development In 2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), pages 27–30, September 2012. Details DOI BIB