poster-KramerMax.bib
@misc{kramer2014c,
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 = {http://www.ieee-security.org/TC/SP2014/posters/KRAME.pdf},
tags = {poster, Vitruv},
title = {Specification and Verification of Confidentiality in Component-Based Systems},
url = {http://www.ieee-security.org/TC/SP2014/posters/KRAME.pdf},
year = {2014},
groups = {SDQ; KramerMax}
}
@misc{kramer2015d,
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}
}