selected publications

• chapter

  • Analyzing Component-Based Systems on the Basis of Architectural Constraints.  Lecture Notes in Computer Science. 64-79. 2012

• conference paper

  • Compositional analysis of deadlock-freedom for tree-like component architectures.  . 2008