techreport_heinrich.bib

@techreport{kaplan2018b,
  title = {Supplementary material for the study on categories of change triggers in business processes},
  author = {Kaplan, Angelika and Busch, Kiana and Heinrich, Robert and Koziolek, Anne},
  address = {Karlsruhe},
  series = {Karlsruhe Reports in Informatics},
  number = {7},
  institution = {{Karlsruhe Institute of Technology (KIT)}},
  year = {2018},
  url = {http://dx.doi.org/10.5445/IR/1000083388}
}

@techreport{biczok2018a,
  author = {Biczok, Rudolf and Busch, Kiana and Heinrich, Robert and Reussner, Ralf},
  year = {2018},
  title = {An Industry 4.0 Case Study: The Integration of CoCoME and xPPU},
  institution = {{Karlsruhe Institute of Technology (KIT)}},
  issn = {2190-4782},
  series = {Karlsruhe Reports in Informatics},
  pagetotal = {43},
  language = {english},
  volume = {2018},
  number = {8},
  url = {http://dx.doi.org/10.5445/IR/1000084283}
}

@techreport{heinrich2015runtime,
  address = {Kiel, Germany},
  author = {Robert Heinrich and Eric Schmieders and Reiner Jung and Wilhelm Hasselbring and Andreas Metzger and Klaus Pohl and Ralf Reussner},
  institution = {Kiel University},
  month = {April},
  number = {No. 1593},
  pages = {1--41},
  publisher = {Department of Computer Science},
  title = {Run-time Architecture Models for Dynamic Adaptation and Evolution of Cloud Applications},
  url = {http://www.uni-kiel.de/journals/receive/jportal_jparticle_00000265},
  volume = {1593},
  year = {2015}
}

@techreport{hasselbring2013iobserve,
  address = {Kiel, Germany},
  author = {Wilhelm Hasselbring and Robert Heinrich and Reiner Jung and Andreas Metzger and Klaus Pohl and Ralf Reussner and Eric Schmieders},
  institution = {Kiel University},
  month = {October},
  number = {No. 1309},
  publisher = {Department of Computer Science},
  title = {i{O}bserve: Integrated Observation and Modeling Techniques to Support Adaptation and Evolution of Software Systems},
  url = {http://www.uni-kiel.de/journals/receive/jportal_jparticle_00000031},
  volume = {1309},
  year = {2013}
}

@techreport{heinrich2016d,
  author = {Robert Heinrich and Kiana Rostami and Ralf Reussner},
  institution = {Karlsruhe Institute of Technology},
  month = {February},
  number = {2016,2; Karlsruhe Reports in Informatics},
  publisher = {Karlsruhe Institute of Technology},
  title = {The {CoCoME} Platform for Collaborative Empirical Research on Information System Evolution},
  url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000052688},
  issn = {2190-4782},
  year = {2016}
}

@techreport{alali2018-1000085169,
  author = {Al-Ali, Rima and Bures, Tomas and Hartmann, Bj{\"{o}}rn-Oliver and Havlik, Jiri and Heinrich, Robert and Hnetynka, Petr and Juan-Verdejo, Adrian and Parizek, Pavel and Seifermann, Stephan and Walter, Maximilian},
  year = {2018},
  title = {Use Cases in Dataflow-Based Privacy and Trust Modeling and Analysis in Industry 4.0 Systems},
  institution = {{Karlsruhe}},
  issn = {2190-4782},
  series = {Karlsruhe Reports in Informatics},
  pagetotal = {43},
  language = {english},
  doi = {10.5445/IR/1000085169},
  url = {http://dx.doi.org/10.5445/IR/1000085169},
  volume = {2018},
  number = {9},
  tags = {trust4.0}
}

@techreport{heinrich2018techreport,
  author = {Heinrich, Robert and Koch, Sandro and Reussner, Ralf},
  year = {2018},
  title = {The CoCoME Platform for Collaborative Empirical Research on Information System Evolution -- Evolution Scenarios in the Second Founding Period of SPP 1593},
  institution = {{Karlsruhe}},
  issn = {2190-4782},
  series = {Karlsruhe Reports in Informatics},
  pagetotal = {30},
  language = {english},
  volume = {2018},
  url = {http://dx.doi.org/10.5445/IR/1000085350},
  number = {10}
}

@techreport{strittmatter2018a,
  author = {Strittmatter, Misha and Heinrich, Robert and Reussner, Ralf},
  year = {2018},
  title = {Supplementary Material for the Evaluation of the Layered Reference Architecture for Metamodels to Tailor Quality Modeling and Analysis},
  institution = {{Karlsruhe Institute of Technology}},
  issn = {2190-4782},
  series = {Karlsruhe Reports in Informatics},
  pagetotal = {42},
  language = {english},
  url = {http://dx.doi.org/10.5445/IR/1000089243},
  volume = {2018},
  number = {11},
  tags = {nonrefereed}
}

@techreport{duran2020a,
  author = {Francisco Dur{\'a}n and Robert Heinrich and Diego P{\'e}rez-Palac{\'\i}n and Carolyn L. Talcott and Steffen Zschaler},
  title = {{Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)}},
  pages = {97--116},
  journal = {Dagstuhl Reports},
  issn = {2192-5283},
  year = {2020},
  volume = {9},
  number = {11},
  editor = {Francisco Dur{\'a}n and Robert Heinrich and Diego P{\'e}rez-Palac{\'\i}n and Carolyn L. Talcott and Steffen Zschaler},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  url = {https://drops.dagstuhl.de/opus/volltexte/2020/11985},
  urn = {urn:nbn:de:0030-drops-119853},
  doi = {10.4230/DagRep.9.11.97},
  annote = {Keywords: Modelling, Simulation, Semantics, Formal Methods, Software Engineering}
}

@techreport{reiche2021a,
  author = {Reiche, Frederik and Schiffl, Jonas and Weigl, Alexander and Heinrich, Robert and Beckert, Bernhard and Reussner, Ralf},
  year = {2021},
  title = {Model-driven Quantification of Correctness with Palladio and KeY},
  doi = {10.5445/IR/1000128855},
  institution = {{Karlsruher Institut f{\"{u}}r Technologie (KIT)}},
  keywords = {Quantification, Formal Methods, Palladio, Modelling},
  language = {english}
}

@techreport{reiche2021b,
  author = {Reiche, Frederik and Schiffl, Jonas and Beckert, Bernhard and Heinrich, Robert and Reussner, Ralf},
  year = {2021},
  title = {Modeling and Verifying Access Control for Ethereum Smart Contracts},
  doi = {10.5445/IR/1000129607},
  institution = {{Karlsruher Institut f{\"{u}}r Technologie (KIT)}},
  keywords = {Access Control, Smart Contracts, Model-driven Software Development, Architecture Modeling, Code Generation, Verification, Formal Methods},
  language = {english}
}