selected publications

• academic article

  • Theory and methodology of assumption/commitment based system interface specification and architectural contracts.  Formal Methods in System Design.  52:33-87. 2017
  • Toward a Holistic and Standardized Automotive Architecture Description.  IEEE Computer.  42:98-101. 2009
  • Requirements Engineering for Embedded Systems).  .  2003
  • FROM SCENARIOS TO HIERARCHICAL BROADCASTING SOFTWARE ARCHITECTURES USING UML-RT.  International Journal of Software Engineering and Knowledge Engineering.  12:155-174. 2002
  • A Functional Specification of the Alpha AXP TM Shared Memory Model.  .  1995

• chapter

  • Software Quality: From Requirements to Architecture.  Lecture notes in business information processing. 2013
  • Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress).  Springer eBooks. 1-13. 2008
  • A Theory for Requirements Specification and Architecture Design of Multi-Functional Software Systems.  Series on component-based software development. 119-154. 2006
  • A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation.  Springer eBooks. 26-47. 2006
  • Development of Hierarchical Broadcasting Software Architectures Using UML 2.0.  Springer eBooks. 29-47. 2004

• conference paper

  • Architecture as a Backbone for Safe DevOps in Automotive Systems.  2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC). 2022
  • Challenges in modeling cyber-physical systems.  . 2013
  • Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture.  . 2007