techreport_kramer.bib

@techreport{klein2012a,
  abstract = {This technical report presents the formalisation of the composition operator of GeKo, a Generic Aspect Models Weaver},
  author = {Jacques Klein and Max E. Kramer and Jim R. H. Steel and Brice Morin and J{\"o}rg Kienzle and Olivier Barais and Jean-Marc J{\'e}z{\'e}quel},
  booktitle = {On the Formalisation of GeKo: a Generic Aspect Models Weaver (Tech Report)},
  institution = {University of Luxembourg, SnT},
  isbn = {978-2-87971-110-2},
  keywords = {Aspect-Oriented Modeling, Model Composition, Generic Weaver},
  pages = {1--15},
  pdf = {http://publications.uni.lu/bitstream/10993/3951/1/Geko_Annex_camera_ready_tech_Report.pdf},
  publisher = {SnT Technical Report},
  title = {On the Formalisation of GeKo: a Generic Aspect Models Weaver},
  url = {http://hdl.handle.net/10993/3951},
  year = {2012}
}

@techreport{kramer2015b,
  address = {Karlsruhe},
  author = {Max E. Kramer and Michael Langhammer and Dominik Messinger and Stephan Seifermann and Erik Burger},
  institution = {Karlsruhe Institute of Technology, Department of Informatics},
  issn = {2190-4782},
  pdf = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000045654},
  series = {Karlsruhe Reports in Informatics},
  title = {Realizing Change-Driven Consistency for Component Code, Architectural Models, and Contracts in Vitruvius},
  url = {http://nbn-resolving.org/urn:nbn:de:swb:90-456541},
  volume = {04},
  year = {2015},
  tags = {Vitruv}
}

@techreport{kramer2016b,
  address = {Karlsruhe},
  author = {Max E. Kramer and Kirill Rakhman},
  institution = {Karlsruhe Institute of Technology, Department of Informatics},
  issn = {2190-4782},
  pdf = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000052702},
  series = {Karlsruhe Reports in Informatics},
  title = {Proofs for the Automated Inversion of Attribute Mappings in Bidirectional Model Transformations},
  url = {http://nbn-resolving.org/urn:nbn:de:swb:90-527025},
  volume = {2016-3},
  year = {2016},
  doi = {10.5445/IR/1000052702},
  tags = {Vitruv}
}

@techreport{kramer2017model,
  address = {Karlsruhe},
  author = {Kramer, Max E. and Hecker, Martin and Greiner, Simon and Bao, Kaibin and Yurchenko, Kateryna},
  institution = {Karlsruhe Institute of Technology, Department of Informatics},
  issn = {2190-4782},
  series = {Karlsruhe Reports in Informatics},
  title = {{Model-Driven Specification and Analysis of Confidentiality in Component-Based Systems}},
  volume = {12},
  year = {2017},
  doi = {10.5445/IR/1000076957},
  url = {http://dx.doi.org/10.5445/IR/1000076957}
}