author = {Max E. Kramer and Anton Hergenr\"{o}der and Martin Hecker and Simon Greiner and Kaibin Bao},
  howpublished = {Poster at the 35th IEEE Symposium on Security and Privacy},
  location = {San Jose, California, USA},
  pdf = {},
  tags = {poster, Vitruv},
  title = {Specification and Verification of Confidentiality in Component-Based Systems},
  url = {},
  year = {2014},
  groups = {SDQ; KramerMax}
  author = {Kramer, Max E. and Langhammer, Michael and Messinger, Dominik and Seifermann, Stephan and Burger, Erik},
  howpublished = {Poster at the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering},
  location = {Montr\'{e}al, QC, Canada},
  tags = {poster, Vitruv},
  title = {Change-Driven Multi-View Consistency for Component Models, Code, and Contracts},
  year = {2015},
  groups = {SDQ; SEQ; KramerMax; LanghammerMichael; SeifermannStephan; BurgerErik}