2019
Continuous Deployment for Dependable Systems with Continuous Assurance Cases.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

2016
EAST-ADL: An Architecture Description Language for Automotive Software-intensive Systems in the Light of Recent use and Research.
Int. J. Syst. Dyn. Appl., 2016

2012
Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2012

Timing Modeling with AUTOSAR - Current state and future directions.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011
Integrated safety and architecture modeling for automotive embedded systems<sup>*</sup>.
Elektrotech. Informationstechnik, 2011

2000
The Distributed ASCI Supercomputer Project.
ACM SIGOPS Oper. Syst. Rev., 2000