---
_id: '650'
author:
- first_name: Marie Christin
  full_name: Platenius, Marie Christin
  last_name: Platenius
citation:
  ama: Platenius MC. <i>Reengineering of Design Deficiencies in Component-Based Software
    Architectures</i>. Universität Paderborn; 2011.
  apa: Platenius, M. C. (2011). <i>Reengineering of Design Deficiencies in Component-Based
    Software Architectures</i>. Universität Paderborn.
  bibtex: '@book{Platenius_2011, title={Reengineering of Design Deficiencies in Component-Based
    Software Architectures}, publisher={Universität Paderborn}, author={Platenius,
    Marie Christin}, year={2011} }'
  chicago: Platenius, Marie Christin. <i>Reengineering of Design Deficiencies in Component-Based
    Software Architectures</i>. Universität Paderborn, 2011.
  ieee: M. C. Platenius, <i>Reengineering of Design Deficiencies in Component-Based
    Software Architectures</i>. Universität Paderborn, 2011.
  mla: Platenius, Marie Christin. <i>Reengineering of Design Deficiencies in Component-Based
    Software Architectures</i>. Universität Paderborn, 2011.
  short: M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software
    Architectures, Universität Paderborn, 2011.
date_created: 2017-10-17T12:42:58Z
date_updated: 2022-01-06T07:03:08Z
department:
- _id: '76'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '9'
  name: SFB 901 - Subprojekt B1
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Reengineering of Design Deficiencies in Component-Based Software Architectures
type: mastersthesis
user_id: '477'
year: '2011'
...
---
_id: '652'
abstract:
- lang: eng
  text: 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:
- first_name: Christian
  full_name: Gerth, Christian
  last_name: Gerth
- first_name: Markus
  full_name: Luckey, Markus
  last_name: Luckey
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Gerth C, Luckey M, Küster J, Engels G. Precise Mappings between Business Process
    Models in Versioning Scenarios. In: <i>Proceedings of the IEEE 8th International
    Conference on Service Computingt (SCC)</i>. ; 2011:218--225. doi:<a href="https://doi.org/10.1109/SCC.2011.65">10.1109/SCC.2011.65</a>'
  apa: Gerth, C., Luckey, M., Küster, J., &#38; Engels, G. (2011). Precise Mappings
    between Business Process Models in Versioning Scenarios. In <i>Proceedings of
    the IEEE 8th International Conference on Service Computingt (SCC)</i> (pp. 218--225).
    <a href="https://doi.org/10.1109/SCC.2011.65">https://doi.org/10.1109/SCC.2011.65</a>
  bibtex: '@inproceedings{Gerth_Luckey_Küster_Engels_2011, title={Precise Mappings
    between Business Process Models in Versioning Scenarios}, DOI={<a href="https://doi.org/10.1109/SCC.2011.65">10.1109/SCC.2011.65</a>},
    booktitle={Proceedings of the IEEE 8th International Conference on Service Computingt
    (SCC)}, author={Gerth, Christian and Luckey, Markus and Küster, Jochen and Engels,
    Gregor}, year={2011}, pages={218--225} }'
  chicago: Gerth, Christian, Markus Luckey, Jochen Küster, and Gregor Engels. “Precise
    Mappings between Business Process Models in Versioning Scenarios.” In <i>Proceedings
    of the IEEE 8th International Conference on Service Computingt (SCC)</i>, 218--225,
    2011. <a href="https://doi.org/10.1109/SCC.2011.65">https://doi.org/10.1109/SCC.2011.65</a>.
  ieee: C. Gerth, M. Luckey, J. Küster, and G. Engels, “Precise Mappings between Business
    Process Models in Versioning Scenarios,” in <i>Proceedings of the IEEE 8th International
    Conference on Service Computingt (SCC)</i>, 2011, pp. 218--225.
  mla: Gerth, Christian, et al. “Precise Mappings between Business Process Models
    in Versioning Scenarios.” <i>Proceedings of the IEEE 8th International Conference
    on Service Computingt (SCC)</i>, 2011, pp. 218--225, doi:<a href="https://doi.org/10.1109/SCC.2011.65">10.1109/SCC.2011.65</a>.
  short: 'C. Gerth, M. Luckey, J. Küster, G. Engels, in: Proceedings of the IEEE 8th
    International Conference on Service Computingt (SCC), 2011, pp. 218--225.'
date_created: 2017-10-17T12:42:59Z
date_updated: 2022-01-06T07:03:10Z
ddc:
- '040'
department:
- _id: '66'
doi: 10.1109/SCC.2011.65
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-14T13:53:51Z
  date_updated: 2018-03-14T13:53:51Z
  file_id: '1223'
  file_name: 652-06009264.pdf
  file_size: 713943
  relation: main_file
  success: 1
file_date_updated: 2018-03-14T13:53:51Z
has_accepted_license: '1'
language:
- iso: eng
page: 218--225
project:
- _id: '1'
  name: SFB 901
- _id: '9'
  name: SFB 901 - Subprojekt B1
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the IEEE 8th International Conference on Service Computingt
  (SCC)
status: public
title: Precise Mappings between Business Process Models in Versioning Scenarios
type: conference
user_id: '477'
year: '2011'
...
---
_id: '653'
abstract:
- lang: eng
  text: 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:
- first_name: Sebastian
  full_name: Lehrig, Sebastian
  last_name: Lehrig
- first_name: Thomas
  full_name: Zolynski, Thomas
  last_name: Zolynski
citation:
  ama: 'Lehrig S, Zolynski T. Performance Prototyping with ProtoCom in a Virtualised
    Environment: A Case Study. In: <i>Proceedings of the Palladio Days 2011</i>. Karlsruhe
    Reports in Informatics. ; 2011:15-22. doi:<a href="https://doi.org/10.5445/IR/1000025188
    ">10.5445/IR/1000025188 </a>'
  apa: 'Lehrig, S., &#38; Zolynski, T. (2011). Performance Prototyping with ProtoCom
    in a Virtualised Environment: A Case Study. In <i>Proceedings of the Palladio
    Days 2011</i> (pp. 15–22). <a href="https://doi.org/10.5445/IR/1000025188 ">https://doi.org/10.5445/IR/1000025188
    </a>'
  bibtex: '@inproceedings{Lehrig_Zolynski_2011, series={Karlsruhe Reports in Informatics},
    title={Performance Prototyping with ProtoCom in a Virtualised Environment: A Case
    Study}, DOI={<a href="https://doi.org/10.5445/IR/1000025188 ">10.5445/IR/1000025188
    </a>}, booktitle={Proceedings of the Palladio Days 2011}, author={Lehrig, Sebastian
    and Zolynski, Thomas}, year={2011}, pages={15–22}, collection={Karlsruhe Reports
    in Informatics} }'
  chicago: 'Lehrig, Sebastian, and Thomas Zolynski. “Performance Prototyping with
    ProtoCom in a Virtualised Environment: A Case Study.” In <i>Proceedings of the
    Palladio Days 2011</i>, 15–22. Karlsruhe Reports in Informatics, 2011. <a href="https://doi.org/10.5445/IR/1000025188
    ">https://doi.org/10.5445/IR/1000025188 </a>.'
  ieee: 'S. Lehrig and T. Zolynski, “Performance Prototyping with ProtoCom in a Virtualised
    Environment: A Case Study,” in <i>Proceedings of the Palladio Days 2011</i>, 2011,
    pp. 15–22.'
  mla: 'Lehrig, Sebastian, and Thomas Zolynski. “Performance Prototyping with ProtoCom
    in a Virtualised Environment: A Case Study.” <i>Proceedings of the Palladio Days
    2011</i>, 2011, pp. 15–22, doi:<a href="https://doi.org/10.5445/IR/1000025188
    ">10.5445/IR/1000025188 </a>.'
  short: 'S. Lehrig, T. Zolynski, in: Proceedings of the Palladio Days 2011, 2011,
    pp. 15–22.'
date_created: 2017-10-17T12:42:59Z
date_updated: 2022-01-06T07:03:10Z
ddc:
- '040'
doi: '10.5445/IR/1000025188 '
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-14T13:53:10Z
  date_updated: 2018-03-14T13:53:10Z
  file_id: '1222'
  file_name: 653-Protocom-Lehrig_Zolynski.pdf
  file_size: 773622
  relation: main_file
  success: 1
file_date_updated: 2018-03-14T13:53:10Z
has_accepted_license: '1'
page: 15-22
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the Palladio Days 2011
series_title: Karlsruhe Reports in Informatics
status: public
title: 'Performance Prototyping with ProtoCom in a Virtualised Environment: A Case
  Study'
type: conference
user_id: '15504'
year: '2011'
...
---
_id: '655'
author:
- first_name: Joachim
  full_name: Meyer, Joachim
  last_name: Meyer
citation:
  ama: Meyer J. <i>Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten
    Softwaresystemen in der Cloud</i>. Universität Paderborn; 2011.
  apa: Meyer, J. (2011). <i>Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven
    Komponentenbasierten Softwaresystemen in der Cloud</i>. Universität Paderborn.
  bibtex: '@book{Meyer_2011, title={Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven
    Komponentenbasierten Softwaresystemen in der Cloud}, publisher={Universität Paderborn},
    author={Meyer, Joachim}, year={2011} }'
  chicago: Meyer, Joachim. <i>Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven
    Komponentenbasierten Softwaresystemen in der Cloud</i>. Universität Paderborn,
    2011.
  ieee: J. Meyer, <i>Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven
    Komponentenbasierten Softwaresystemen in der Cloud</i>. Universität Paderborn,
    2011.
  mla: Meyer, Joachim. <i>Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven
    Komponentenbasierten Softwaresystemen in der Cloud</i>. Universität Paderborn,
    2011.
  short: J. Meyer, Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten
    Softwaresystemen in der Cloud, Universität Paderborn, 2011.
date_created: 2017-10-17T12:42:59Z
date_updated: 2022-01-06T07:03:11Z
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten
  Softwaresystemen in der Cloud
type: mastersthesis
user_id: '477'
year: '2011'
...
---
_id: '658'
author:
- first_name: Alexander
  full_name: Schremmer, Alexander
  last_name: Schremmer
citation:
  ama: Schremmer A. <i>Function Specification Inference Using Craig Interpolation</i>.
    Universität Paderborn; 2011.
  apa: Schremmer, A. (2011). <i>Function Specification Inference Using Craig Interpolation</i>.
    Universität Paderborn.
  bibtex: '@book{Schremmer_2011, title={Function Specification Inference Using Craig
    Interpolation}, publisher={Universität Paderborn}, author={Schremmer, Alexander},
    year={2011} }'
  chicago: Schremmer, Alexander. <i>Function Specification Inference Using Craig Interpolation</i>.
    Universität Paderborn, 2011.
  ieee: A. Schremmer, <i>Function Specification Inference Using Craig Interpolation</i>.
    Universität Paderborn, 2011.
  mla: Schremmer, Alexander. <i>Function Specification Inference Using Craig Interpolation</i>.
    Universität Paderborn, 2011.
  short: A. Schremmer, Function Specification Inference Using Craig Interpolation,
    Universität Paderborn, 2011.
date_created: 2017-10-17T12:43:00Z
date_updated: 2022-01-06T07:03:12Z
department:
- _id: '77'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '12'
  name: SFB 901 - Subprojekt B4
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
title: Function Specification Inference Using Craig Interpolation
type: mastersthesis
user_id: '477'
year: '2011'
...
---
_id: '661'
author:
- first_name: Svetlana
  full_name: Arifulina, Svetlana
  last_name: Arifulina
citation:
  ama: Arifulina S. <i>Coverage Criteria for Testing DMM Specifications</i>. Universität
    Paderborn; 2011.
  apa: Arifulina, S. (2011). <i>Coverage Criteria for Testing DMM Specifications</i>.
    Universität Paderborn.
  bibtex: '@book{Arifulina_2011, title={Coverage Criteria for Testing DMM Specifications},
    publisher={Universität Paderborn}, author={Arifulina, Svetlana}, year={2011} }'
  chicago: Arifulina, Svetlana. <i>Coverage Criteria for Testing DMM Specifications</i>.
    Universität Paderborn, 2011.
  ieee: S. Arifulina, <i>Coverage Criteria for Testing DMM Specifications</i>. Universität
    Paderborn, 2011.
  mla: Arifulina, Svetlana. <i>Coverage Criteria for Testing DMM Specifications</i>.
    Universität Paderborn, 2011.
  short: S. Arifulina, Coverage Criteria for Testing DMM Specifications, Universität
    Paderborn, 2011.
date_created: 2017-10-17T12:43:00Z
date_updated: 2022-01-06T07:03:13Z
department:
- _id: '66'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '9'
  name: SFB 901 - Subprojekt B1
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
title: Coverage Criteria for Testing DMM Specifications
type: mastersthesis
user_id: '477'
year: '2011'
...
---
_id: '666'
abstract:
- lang: eng
  text: 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:
- first_name: Stephanie
  full_name: Drzevitzky, Stephanie
  last_name: Drzevitzky
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Drzevitzky S, Platzner M. Achieving Hardware Security for Reconfigurable Systems
    on Chip by a Proof-Carrying Code Approach. In: <i>Proceedings of the 6th International
    Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC)</i>.
    ; 2011:58-65. doi:<a href="https://doi.org/10.1109/ReCoSoC.2011.5981499">10.1109/ReCoSoC.2011.5981499</a>'
  apa: Drzevitzky, S., &#38; Platzner, M. (2011). Achieving Hardware Security for
    Reconfigurable Systems on Chip by a Proof-Carrying Code Approach. In <i>Proceedings
    of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip
    (ReCoSoC)</i> (pp. 58–65). <a href="https://doi.org/10.1109/ReCoSoC.2011.5981499">https://doi.org/10.1109/ReCoSoC.2011.5981499</a>
  bibtex: '@inproceedings{Drzevitzky_Platzner_2011, title={Achieving Hardware Security
    for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach}, DOI={<a
    href="https://doi.org/10.1109/ReCoSoC.2011.5981499">10.1109/ReCoSoC.2011.5981499</a>},
    booktitle={Proceedings of the 6th International Workshop on Reconfigurable Communication-centric
    Systems-on-Chip (ReCoSoC)}, author={Drzevitzky, Stephanie and Platzner, Marco},
    year={2011}, pages={58–65} }'
  chicago: Drzevitzky, Stephanie, and Marco Platzner. “Achieving Hardware Security
    for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach.” In <i>Proceedings
    of the 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip
    (ReCoSoC)</i>, 58–65, 2011. <a href="https://doi.org/10.1109/ReCoSoC.2011.5981499">https://doi.org/10.1109/ReCoSoC.2011.5981499</a>.
  ieee: S. Drzevitzky and M. Platzner, “Achieving Hardware Security for Reconfigurable
    Systems on Chip by a Proof-Carrying Code Approach,” in <i>Proceedings of the 6th
    International Workshop on Reconfigurable Communication-centric Systems-on-Chip
    (ReCoSoC)</i>, 2011, pp. 58–65.
  mla: Drzevitzky, Stephanie, and Marco Platzner. “Achieving Hardware Security for
    Reconfigurable Systems on Chip by a Proof-Carrying Code Approach.” <i>Proceedings
    of the 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip
    (ReCoSoC)</i>, 2011, pp. 58–65, doi:<a href="https://doi.org/10.1109/ReCoSoC.2011.5981499">10.1109/ReCoSoC.2011.5981499</a>.
  short: 'S. Drzevitzky, M. Platzner, in: Proceedings of the 6th International Workshop
    on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011, pp. 58–65.'
date_created: 2017-10-17T12:43:01Z
date_updated: 2022-01-06T07:03:14Z
ddc:
- '040'
department:
- _id: '78'
doi: 10.1109/ReCoSoC.2011.5981499
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-14T13:40:48Z
  date_updated: 2018-03-14T13:40:48Z
  file_id: '1214'
  file_name: 666-drzevitzky11_recosoc.pdf
  file_size: 666039
  relation: main_file
  success: 1
file_date_updated: 2018-03-14T13:40:48Z
has_accepted_license: '1'
language:
- iso: eng
page: 58-65
project:
- _id: '1'
  name: SFB 901
- _id: '12'
  name: SFB 901 - Subprojekt B4
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 6th International Workshop on Reconfigurable Communication-centric
  Systems-on-Chip (ReCoSoC)
status: public
title: Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying
  Code Approach
type: conference
user_id: '477'
year: '2011'
...