@misc{650,
  author       = {{Platenius, Marie Christin}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Reengineering of Design Deficiencies in Component-Based Software Architectures}}},
  year         = {{2011}},
}

@inproceedings{652,
  abstract     = {{In the development process of service-oriented systems, business process models are used at different levels. Typically, high-level business process models that describe business requirements and needs are stepwise refined to the IT level by different business modelers and software architects. As a result, different process model versions must be compared and merged by means of model version control. An important prerequisite for process model version control is an elaborated matching approach that results in precise mappings between different process model versions. The challenge of such an approach is to deal with syntactically different process models that are semantically equivalent. For that purpose, matching techniques must consider the semantics of process modeling languages.In this paper, we present a matching approach for process models in a versioning scenario. Based on a term formalization of process models, we enable an efficient and effective way to match syntactically different but semantically equivalent process models resulting in precise mappings.}},
  author       = {{Gerth, Christian and Luckey, Markus and Küster, Jochen and Engels, Gregor}},
  booktitle    = {{Proceedings of the IEEE 8th International Conference on Service Computingt (SCC)}},
  pages        = {{218----225}},
  title        = {{{Precise Mappings between Business Process Models in Versioning Scenarios}}},
  doi          = {{10.1109/SCC.2011.65}},
  year         = {{2011}},
}

@inproceedings{653,
  abstract     = {{Performance prototyping is an often used technique to assess the performance of software architectures early in the development process without relying on models of the system under study. ProtoCom is a prototype generator for the PCM realised as model-2-text transformation for which no experience report in a larger, virtualised setting exists. In this paper, we report on four case studies performed with an improved version of ProtoCom and report on the results gained with respect to analysis accuracy and usability. Our results demonstrate that the new version is much easier to use than previous versions and that results gained in our virtualised execution environment help in early assessments of performance under realistic conditions.}},
  author       = {{Lehrig, Sebastian and Zolynski, Thomas}},
  booktitle    = {{Proceedings of the Palladio Days 2011}},
  pages        = {{15--22}},
  title        = {{{Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study}}},
  doi          = {{10.5445/IR/1000025188 }},
  year         = {{2011}},
}

@misc{655,
  author       = {{Meyer, Joachim}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud}}},
  year         = {{2011}},
}

@misc{658,
  author       = {{Schremmer, Alexander}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Function Specification Inference Using Craig Interpolation}}},
  year         = {{2011}},
}

@misc{661,
  author       = {{Arifulina, Svetlana}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Coverage Criteria for Testing DMM Specifications}}},
  year         = {{2011}},
}

@inproceedings{666,
  abstract     = {{Reconfigurable systems on chip are increasingly deployed in security and safety critical contexts. When downloading and configuring new hardware functions, we want to make sure that modules adhere to certain security specifications and do not, for example, contain hardware Trojans. As a possible approach to achieving hardware security we propose and demonstrate the concept of proof-carrying hardware, a concept inspired by previous work on proof-carrying code techniques in the software domain. In this paper, we discuss the hardware trust and threat models behind proof-carrying hardware and then present our experimental setup. We detail the employed open-source tool chain for the runtime verification of combinational equivalence and our bitstream format for an abstract FPGA architecture that allows us to experimentally validate the feasibility of our approach.}},
  author       = {{Drzevitzky, Stephanie and Platzner, Marco}},
  booktitle    = {{Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)}},
  pages        = {{58--65}},
  title        = {{{Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach}}},
  doi          = {{10.1109/ReCoSoC.2011.5981499}},
  year         = {{2011}},
}