---
_id: '1844'
citation:
  ama: Scheideler C, Gilbert S, eds. <i>Proceedings of the 28th ACM Symposium on Parallelism
    in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove,
    CA, USA, July 11-13, 2016</i>.; 2016. doi:<a href="https://doi.org/10.1145/2935764">10.1145/2935764</a>
  apa: Scheideler, C., &#38; Gilbert, S. (Eds.). (2016). <i>Proceedings of the 28th
    ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar
    State Beach/Pacific Grove, CA, USA, July 11-13, 2016</i>. <a href="https://doi.org/10.1145/2935764">https://doi.org/10.1145/2935764</a>
  bibtex: '@book{Scheideler_Gilbert_2016, title={Proceedings of the 28th ACM Symposium
    on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific
    Grove, CA, USA, July 11-13, 2016}, DOI={<a href="https://doi.org/10.1145/2935764">10.1145/2935764</a>},
    year={2016} }'
  chicago: Scheideler, Christian, and Seth Gilbert, eds. <i>Proceedings of the 28th
    ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar
    State Beach/Pacific Grove, CA, USA, July 11-13, 2016</i>, 2016. <a href="https://doi.org/10.1145/2935764">https://doi.org/10.1145/2935764</a>.
  ieee: C. Scheideler and S. Gilbert, Eds., <i>Proceedings of the 28th ACM Symposium
    on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific
    Grove, CA, USA, July 11-13, 2016</i>. 2016.
  mla: Scheideler, Christian, and Seth Gilbert, editors. <i>Proceedings of the 28th
    ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar
    State Beach/Pacific Grove, CA, USA, July 11-13, 2016</i>. 2016, doi:<a href="https://doi.org/10.1145/2935764">10.1145/2935764</a>.
  short: C. Scheideler, S. Gilbert, eds., Proceedings of the 28th ACM Symposium on
    Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific
    Grove, CA, USA, July 11-13, 2016, 2016.
date_created: 2018-03-28T05:44:12Z
date_updated: 2022-01-06T06:53:32Z
department:
- _id: '79'
doi: 10.1145/2935764
editor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
- first_name: Seth
  full_name: Gilbert, Seth
  last_name: Gilbert
publication_identifier:
  isbn:
  - 978-1-4503-4210-0
status: public
title: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures,
  SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016
type: conference_editor
user_id: '15504'
year: '2016'
...
---
_id: '1845'
author:
- first_name: Andrea
  full_name: W. Richa, Andrea
  last_name: W. Richa
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
citation:
  ama: 'W. Richa A, Scheideler C. Jamming-Resistant MAC Protocols for Wireless Networks.
    In: <i>Encyclopedia of Algorithms</i>. ; 2016:999--1002. doi:<a href="https://doi.org/10.1007/978-1-4939-2864-4_593">10.1007/978-1-4939-2864-4_593</a>'
  apa: W. Richa, A., &#38; Scheideler, C. (2016). Jamming-Resistant MAC Protocols
    for Wireless Networks. In <i>Encyclopedia of Algorithms</i> (pp. 999--1002). <a
    href="https://doi.org/10.1007/978-1-4939-2864-4_593">https://doi.org/10.1007/978-1-4939-2864-4_593</a>
  bibtex: '@inbook{W. Richa_Scheideler_2016, title={Jamming-Resistant MAC Protocols
    for Wireless Networks}, DOI={<a href="https://doi.org/10.1007/978-1-4939-2864-4_593">10.1007/978-1-4939-2864-4_593</a>},
    booktitle={Encyclopedia of Algorithms}, author={W. Richa, Andrea and Scheideler,
    Christian}, year={2016}, pages={999--1002} }'
  chicago: W. Richa, Andrea, and Christian Scheideler. “Jamming-Resistant MAC Protocols
    for Wireless Networks.” In <i>Encyclopedia of Algorithms</i>, 999--1002, 2016.
    <a href="https://doi.org/10.1007/978-1-4939-2864-4_593">https://doi.org/10.1007/978-1-4939-2864-4_593</a>.
  ieee: A. W. Richa and C. Scheideler, “Jamming-Resistant MAC Protocols for Wireless
    Networks,” in <i>Encyclopedia of Algorithms</i>, 2016, pp. 999--1002.
  mla: W. Richa, Andrea, and Christian Scheideler. “Jamming-Resistant MAC Protocols
    for Wireless Networks.” <i>Encyclopedia of Algorithms</i>, 2016, pp. 999--1002,
    doi:<a href="https://doi.org/10.1007/978-1-4939-2864-4_593">10.1007/978-1-4939-2864-4_593</a>.
  short: 'A. W. Richa, C. Scheideler, in: Encyclopedia of Algorithms, 2016, pp. 999--1002.'
date_created: 2018-03-28T05:45:04Z
date_updated: 2022-01-06T06:53:32Z
department:
- _id: '79'
doi: 10.1007/978-1-4939-2864-4_593
page: 999--1002
publication: Encyclopedia of Algorithms
status: public
title: Jamming-Resistant MAC Protocols for Wireless Networks
type: book_chapter
user_id: '15504'
year: '2016'
...
---
_id: '186'
abstract:
- lang: eng
  text: Software verification is an established method to ensure software safety.
    Nevertheless, verification still often fails, either because it consumes too much
    resources, e.g., time or memory, or the technique is not mature enough to verify
    the property. Often then discarding the partial verification, the validation process
    proceeds with techniques like testing.To enable standard testing to profit from
    previous, partial verification, we use a summary of the verification effort to
    simplify the program for subsequent testing. Our techniques use this summary to
    construct a residual program which only contains program paths with unproven assertions.
    Afterwards, the residual program can be used with standard testing tools.Our first
    experiments show that testing profits from the partial verification.The test effort
    is reduced and combined verification and testing is faster than a complete verification.
author:
- first_name: Mike
  full_name: Czech, Mike
  last_name: Czech
- first_name: Marie-Christine
  full_name: Jakobs, Marie-Christine
  last_name: Jakobs
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Czech M, Jakobs M-C, Wehrheim H. Just test what you cannot verify! In: Jens
    Knoop UZ, ed. <i>Software Engineering 2016</i>. Lecture Notes in Informatics.
    ; 2016:17-18.'
  apa: Czech, M., Jakobs, M.-C., &#38; Wehrheim, H. (2016). Just test what you cannot
    verify! In U. Z. Jens Knoop (Ed.), <i>Software Engineering 2016</i> (pp. 17–18).
  bibtex: '@inproceedings{Czech_Jakobs_Wehrheim_2016, series={Lecture Notes in Informatics},
    title={Just test what you cannot verify!}, booktitle={Software Engineering 2016},
    author={Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike}, editor={Jens
    Knoop, Uwe ZdunEditor}, year={2016}, pages={17–18}, collection={Lecture Notes
    in Informatics} }'
  chicago: Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What
    You Cannot Verify!” In <i>Software Engineering 2016</i>, edited by Uwe Zdun Jens
    Knoop, 17–18. Lecture Notes in Informatics, 2016.
  ieee: M. Czech, M.-C. Jakobs, and H. Wehrheim, “Just test what you cannot verify!,”
    in <i>Software Engineering 2016</i>, 2016, pp. 17–18.
  mla: Czech, Mike, et al. “Just Test What You Cannot Verify!” <i>Software Engineering
    2016</i>, edited by Uwe Zdun Jens Knoop, 2016, pp. 17–18.
  short: 'M. Czech, M.-C. Jakobs, H. Wehrheim, in: U.Z. Jens Knoop (Ed.), Software
    Engineering 2016, 2016, pp. 17–18.'
date_created: 2017-10-17T12:41:28Z
date_updated: 2022-01-06T06:53:43Z
ddc:
- '040'
department:
- _id: '77'
editor:
- first_name: Uwe Zdun
  full_name: Jens Knoop, Uwe Zdun
  last_name: Jens Knoop
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-21T12:32:11Z
  date_updated: 2018-03-21T12:32:11Z
  file_id: '1532'
  file_name: 186-SEsubmission8.pdf
  file_size: 55775
  relation: main_file
  success: 1
file_date_updated: 2018-03-21T12:32:11Z
has_accepted_license: '1'
language:
- iso: eng
page: 17-18
project:
- _id: '1'
  name: SFB 901
- _id: '12'
  name: SFB 901 - Subprojekt B4
- _id: '3'
  name: SFB 901 - Project Area B
publication: Software Engineering 2016
series_title: Lecture Notes in Informatics
status: public
title: Just test what you cannot verify!
type: conference
user_id: '477'
year: '2016'
...
---
_id: '221'
author:
- first_name: Marie Christin
  full_name: Platenius, Marie Christin
  last_name: Platenius
- first_name: Klementina
  full_name: Josifovska, Klementina
  last_name: Josifovska
- first_name: Lorijn
  full_name: van Rooijen, Lorijn
  id: '58843'
  last_name: van Rooijen
- first_name: Svetlana
  full_name: Arifulina, Svetlana
  last_name: Arifulina
- first_name: Matthias
  full_name: Becker, Matthias
  last_name: Becker
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
citation:
  ama: Platenius MC, Josifovska K, van Rooijen L, et al. <i>An Overview of Service
    Specification Language and Matching in On-The-Fly Computing (v0.3)</i>. Universität
    Paderborn; 2016.
  apa: Platenius, M. C., Josifovska, K., van Rooijen, L., Arifulina, S., Becker, M.,
    Engels, G., &#38; Schäfer, W. (2016). <i>An Overview of Service Specification
    Language and Matching in On-The-Fly Computing (v0.3)</i>. Universität Paderborn.
  bibtex: '@book{Platenius_Josifovska_van Rooijen_Arifulina_Becker_Engels_Schäfer_2016,
    title={An Overview of Service Specification Language and Matching in On-The-Fly
    Computing (v0.3)}, publisher={Universität Paderborn}, author={Platenius, Marie
    Christin and Josifovska, Klementina and van Rooijen, Lorijn and Arifulina, Svetlana
    and Becker, Matthias and Engels, Gregor and Schäfer, Wilhelm}, year={2016} }'
  chicago: Platenius, Marie Christin, Klementina Josifovska, Lorijn van Rooijen, Svetlana
    Arifulina, Matthias Becker, Gregor Engels, and Wilhelm Schäfer. <i>An Overview
    of Service Specification Language and Matching in On-The-Fly Computing (v0.3)</i>.
    Universität Paderborn, 2016.
  ieee: M. C. Platenius <i>et al.</i>, <i>An Overview of Service Specification Language
    and Matching in On-The-Fly Computing (v0.3)</i>. Universität Paderborn, 2016.
  mla: Platenius, Marie Christin, et al. <i>An Overview of Service Specification Language
    and Matching in On-The-Fly Computing (v0.3)</i>. Universität Paderborn, 2016.
  short: M.C. Platenius, K. Josifovska, L. van Rooijen, S. Arifulina, M. Becker, G.
    Engels, W. Schäfer, An Overview of Service Specification Language and Matching
    in On-The-Fly Computing (v0.3), Universität Paderborn, 2016.
date_created: 2017-10-17T12:41:35Z
date_updated: 2022-01-06T06:55:25Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-21T10:36:37Z
  date_updated: 2018-03-21T10:36:37Z
  file_id: '1512'
  file_name: 221-SFB_SSL_Techreport.pdf
  file_size: 6498677
  relation: main_file
  success: 1
file_date_updated: 2018-03-21T10:36:37Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '9'
  name: SFB 901 - Subprojekt B1
- _id: '11'
  name: SFB 901 - Subproject B3
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: An Overview of Service Specification Language and Matching in On-The-Fly Computing
  (v0.3)
type: report
user_id: '477'
year: '2016'
...
---
_id: '222'
abstract:
- lang: eng
  text: Virtual field programmable gate arrays (FPGA) are overlay architectures realized
    on top of physical FPGAs. They are proposed to enhance or abstract away from the
    physical FPGA for experimenting with novel architectures and design tool flows.
    In this paper, we present an embedding of a ZUMA-based virtual FPGA fabric into
    a complete configurable system-on-chip. Such an embedding is required to fully
    harness the potential of virtual FPGAs, in particular to give the virtual circuits
    access to main memory and operating system services, and to enable a concurrent
    operation of virtualized and non-virtualized circuitry. We discuss our extension
    to ZUMA and its embedding into the ReconOS operating system for hardware/software
    systems. Furthermore, we present an open source tool flow to synthesize configurations
    for the virtual FPGA, along with an analysis of the area and delay overheads involved.
author:
- first_name: Tobias
  full_name: Wiersema, Tobias
  id: '3118'
  last_name: Wiersema
- first_name: Arne
  full_name: Bockhorn, Arne
  last_name: Bockhorn
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: Wiersema T, Bockhorn A, Platzner M. An Architecture and Design Tool Flow for
    Embedding a Virtual FPGA into a Reconfigurable System-on-Chip. <i>Computers &#38;
    Electrical Engineering</i>. 2016:112--122. doi:<a href="https://doi.org/10.1016/j.compeleceng.2016.04.005">10.1016/j.compeleceng.2016.04.005</a>
  apa: Wiersema, T., Bockhorn, A., &#38; Platzner, M. (2016). An Architecture and
    Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip.
    <i>Computers &#38; Electrical Engineering</i>, 112--122. <a href="https://doi.org/10.1016/j.compeleceng.2016.04.005">https://doi.org/10.1016/j.compeleceng.2016.04.005</a>
  bibtex: '@article{Wiersema_Bockhorn_Platzner_2016, title={An Architecture and Design
    Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip},
    DOI={<a href="https://doi.org/10.1016/j.compeleceng.2016.04.005">10.1016/j.compeleceng.2016.04.005</a>},
    journal={Computers &#38; Electrical Engineering}, publisher={Elsevier}, author={Wiersema,
    Tobias and Bockhorn, Arne and Platzner, Marco}, year={2016}, pages={112--122}
    }'
  chicago: Wiersema, Tobias, Arne Bockhorn, and Marco Platzner. “An Architecture and
    Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip.”
    <i>Computers &#38; Electrical Engineering</i>, 2016, 112--122. <a href="https://doi.org/10.1016/j.compeleceng.2016.04.005">https://doi.org/10.1016/j.compeleceng.2016.04.005</a>.
  ieee: T. Wiersema, A. Bockhorn, and M. Platzner, “An Architecture and Design Tool
    Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip,” <i>Computers
    &#38; Electrical Engineering</i>, pp. 112--122, 2016.
  mla: Wiersema, Tobias, et al. “An Architecture and Design Tool Flow for Embedding
    a Virtual FPGA into a Reconfigurable System-on-Chip.” <i>Computers &#38; Electrical
    Engineering</i>, Elsevier, 2016, pp. 112--122, doi:<a href="https://doi.org/10.1016/j.compeleceng.2016.04.005">10.1016/j.compeleceng.2016.04.005</a>.
  short: T. Wiersema, A. Bockhorn, M. Platzner, Computers &#38; Electrical Engineering
    (2016) 112--122.
date_created: 2017-10-17T12:41:35Z
date_updated: 2022-01-06T06:55:29Z
ddc:
- '040'
department:
- _id: '78'
doi: 10.1016/j.compeleceng.2016.04.005
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-21T10:36:08Z
  date_updated: 2018-03-21T10:36:08Z
  file_id: '1511'
  file_name: 222-1-s2.0-S0045790616300684-main.pdf
  file_size: 931048
  relation: main_file
  success: 1
file_date_updated: 2018-03-21T10:36:08Z
has_accepted_license: '1'
language:
- iso: eng
page: 112--122
project:
- _id: '1'
  name: SFB 901
- _id: '12'
  name: SFB 901 - Subprojekt B4
- _id: '3'
  name: SFB 901 - Project Area B
publication: Computers & Electrical Engineering
publisher: Elsevier
status: public
title: An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable
  System-on-Chip
type: journal_article
user_id: '477'
year: '2016'
...
---
_id: '223'
abstract:
- lang: eng
  text: We consider the problem of aggregation in overlay networks. We use a synchronous
    time model in which each node has polylogarithmic memory and can send at most
    a polylogarithmic number of messages per round. We investigate how to quickly
    compute the result of an aggregate functionf over elements that are distributed
    among the nodes of the network such that the result is eventually known by a selected
    root node. We show how to compute distributive aggregate functions such as SUM,
    MAX, and OR in time $O(\log n / \log\log n)$ using a tree that is created in a
    pre-processing phase. If only a polylogarithmic number of data items need to be
    aggregated, we show how to compute the result in time $O(\sqrt{\log n / \log\log
    n})$. Furthermore, we show how to compute holistic aggregate functions such as
    DISTINCT, SMALLEST(k) and MODE(k) in time $O(\log n / \log\log n)$. Finally, we
    show a lower bound of $\Omega(\sqrt{\log n / \log\log n})$ for deterministic algorithms
    that compute any of the aggregate functions in the scope of the thesis.
author:
- first_name: Kristian
  full_name: Hinnenthal, Kristian
  id: '32229'
  last_name: Hinnenthal
citation:
  ama: Hinnenthal K. <i>Aggregation in Overlay Networks</i>. Universität Paderborn;
    2016.
  apa: Hinnenthal, K. (2016). <i>Aggregation in Overlay Networks</i>. Universität
    Paderborn.
  bibtex: '@book{Hinnenthal_2016, title={Aggregation in Overlay Networks}, publisher={Universität
    Paderborn}, author={Hinnenthal, Kristian}, year={2016} }'
  chicago: Hinnenthal, Kristian. <i>Aggregation in Overlay Networks</i>. Universität
    Paderborn, 2016.
  ieee: K. Hinnenthal, <i>Aggregation in Overlay Networks</i>. Universität Paderborn,
    2016.
  mla: Hinnenthal, Kristian. <i>Aggregation in Overlay Networks</i>. Universität Paderborn,
    2016.
  short: K. Hinnenthal, Aggregation in Overlay Networks, Universität Paderborn, 2016.
date_created: 2017-10-17T12:41:35Z
date_updated: 2022-01-06T06:55:30Z
ddc:
- '040'
department:
- _id: '79'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-21T10:35:39Z
  date_updated: 2018-03-21T10:35:39Z
  file_id: '1510'
  file_name: 223-MasterarbeitHinnenthal.pdf
  file_size: 1127144
  relation: main_file
  success: 1
file_date_updated: 2018-03-21T10:35:39Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '13'
  name: SFB 901 - Subprojekt C1
- _id: '4'
  name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
title: Aggregation in Overlay Networks
type: mastersthesis
user_id: '15504'
year: '2016'
...
---
_id: '224'
abstract:
- lang: eng
  text: In modern software development, paradigms like component-based software engineering
    (CBSE) and service-oriented architectures (SOA) emphasize the construction of
    large software systems out of existing components or services. Therein, a service
    is a self-contained piece of software, which adheres to a specified interface.
    In a model-based software design, this interface constitutes our sole knowledge
    of the service at design time, while service implementations are not available.
    Therefore, correctness checks or detection of potential errors in service compositions
    has to be carried out without the possibility of executing services. This challenges
    the usage of standard software error localization techniques for service compositions.
    In this paper, we review state-of-the-art approaches for error localization of
    software and discuss their applicability to service compositions.
author:
- first_name: Julia
  full_name: Krämer, Julia
  last_name: Krämer
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Krämer J, Wehrheim H. A short survey on using software error localization
    for service compositions. In: <i>Proceedings of the 5th European Conference on
    Service-Oriented and Cloud Computing (ESOCC 2016)</i>. LNCS. ; 2016:248--262.
    doi:<a href="https://doi.org/10.1007/978-3-319-44482-6_16">10.1007/978-3-319-44482-6_16</a>'
  apa: Krämer, J., &#38; Wehrheim, H. (2016). A short survey on using software error
    localization for service compositions. In <i>Proceedings of the 5th European Conference
    on Service-Oriented and Cloud Computing (ESOCC 2016)</i> (pp. 248--262). <a href="https://doi.org/10.1007/978-3-319-44482-6_16">https://doi.org/10.1007/978-3-319-44482-6_16</a>
  bibtex: '@inproceedings{Krämer_Wehrheim_2016, series={LNCS}, title={A short survey
    on using software error localization for service compositions}, DOI={<a href="https://doi.org/10.1007/978-3-319-44482-6_16">10.1007/978-3-319-44482-6_16</a>},
    booktitle={Proceedings of the 5th European Conference on Service-Oriented and
    Cloud Computing (ESOCC 2016)}, author={Krämer, Julia and Wehrheim, Heike}, year={2016},
    pages={248--262}, collection={LNCS} }'
  chicago: Krämer, Julia, and Heike Wehrheim. “A Short Survey on Using Software Error
    Localization for Service Compositions.” In <i>Proceedings of the 5th European
    Conference on Service-Oriented and Cloud Computing (ESOCC 2016)</i>, 248--262.
    LNCS, 2016. <a href="https://doi.org/10.1007/978-3-319-44482-6_16">https://doi.org/10.1007/978-3-319-44482-6_16</a>.
  ieee: J. Krämer and H. Wehrheim, “A short survey on using software error localization
    for service compositions,” in <i>Proceedings of the 5th European Conference on
    Service-Oriented and Cloud Computing (ESOCC 2016)</i>, 2016, pp. 248--262.
  mla: Krämer, Julia, and Heike Wehrheim. “A Short Survey on Using Software Error
    Localization for Service Compositions.” <i>Proceedings of the 5th European Conference
    on Service-Oriented and Cloud Computing (ESOCC 2016)</i>, 2016, pp. 248--262,
    doi:<a href="https://doi.org/10.1007/978-3-319-44482-6_16">10.1007/978-3-319-44482-6_16</a>.
  short: 'J. Krämer, H. Wehrheim, in: Proceedings of the 5th European Conference on
    Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262.'
date_created: 2017-10-17T12:41:35Z
date_updated: 2022-01-06T06:55:32Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-319-44482-6_16
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-21T10:35:04Z
  date_updated: 2018-03-21T10:35:04Z
  file_id: '1509'
  file_name: 224-chp_3A10.1007_2F978-3-319-44482-6_16.pdf
  file_size: 389042
  relation: main_file
  success: 1
file_date_updated: 2018-03-21T10:35:04Z
has_accepted_license: '1'
language:
- iso: eng
page: 248--262
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 5th European Conference on Service-Oriented and Cloud
  Computing (ESOCC 2016)
series_title: LNCS
status: public
title: A short survey on using software error localization for service compositions
type: conference
user_id: '477'
year: '2016'
...
---
_id: '226'
abstract:
- lang: eng
  text: Error detection, localization and correction are time-intensive tasks in software
    development, but crucial to deliver functionally correct products. Thus, automated
    approaches to these tasks have been intensively studied for standard software
    systems. For model-based software systems, the situation is different. While error
    detection is still well-studied, error localization and correction is a less-studied
    domain. In this paper, we examine error localization and correction for models
    of service compositions. Based on formal definitions of error and correction in
    this context, we show that the classical approach of error localization and correction,
    i.e. first determining a set of suspicious statements and then proposing changes
    to these statements, is ineffective in our context. In fact, it lessens the chance
    to succeed in finding a correction at all.In this paper, we introduce correction
    proposal as a novel approach on error correction in service compositions integrating
    error localization and correction in one combined step. In addition, we provide
    an algorithm to compute such correction proposals automatically.
author:
- first_name: Julia
  full_name: Krämer, Julia
  last_name: Krämer
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Krämer J, Wehrheim H. A Formal Approach to Error Localization and Correction
    in Service Compositions. In: <i>Proceedings of the 1st International Workshop
    on Formal to Practical Software Verification and Composition (VeryComp 2016)</i>.
    LNCS. ; 2016:445--457. doi:<a href="https://doi.org/10.1007/978-3-319-50230-4_35">10.1007/978-3-319-50230-4_35</a>'
  apa: Krämer, J., &#38; Wehrheim, H. (2016). A Formal Approach to Error Localization
    and Correction in Service Compositions. In <i>Proceedings of the 1st International
    Workshop on Formal to Practical Software Verification and Composition (VeryComp
    2016)</i> (pp. 445--457). <a href="https://doi.org/10.1007/978-3-319-50230-4_35">https://doi.org/10.1007/978-3-319-50230-4_35</a>
  bibtex: '@inproceedings{Krämer_Wehrheim_2016, series={LNCS}, title={A Formal Approach
    to Error Localization and Correction in Service Compositions}, DOI={<a href="https://doi.org/10.1007/978-3-319-50230-4_35">10.1007/978-3-319-50230-4_35</a>},
    booktitle={Proceedings of the 1st International Workshop on Formal to Practical
    Software Verification and Composition (VeryComp 2016)}, author={Krämer, Julia
    and Wehrheim, Heike}, year={2016}, pages={445--457}, collection={LNCS} }'
  chicago: Krämer, Julia, and Heike Wehrheim. “A Formal Approach to Error Localization
    and Correction in Service Compositions.” In <i>Proceedings of the 1st International
    Workshop on Formal to Practical Software Verification and Composition (VeryComp
    2016)</i>, 445--457. LNCS, 2016. <a href="https://doi.org/10.1007/978-3-319-50230-4_35">https://doi.org/10.1007/978-3-319-50230-4_35</a>.
  ieee: J. Krämer and H. Wehrheim, “A Formal Approach to Error Localization and Correction
    in Service Compositions,” in <i>Proceedings of the 1st International Workshop
    on Formal to Practical Software Verification and Composition (VeryComp 2016)</i>,
    2016, pp. 445--457.
  mla: Krämer, Julia, and Heike Wehrheim. “A Formal Approach to Error Localization
    and Correction in Service Compositions.” <i>Proceedings of the 1st International
    Workshop on Formal to Practical Software Verification and Composition (VeryComp
    2016)</i>, 2016, pp. 445--457, doi:<a href="https://doi.org/10.1007/978-3-319-50230-4_35">10.1007/978-3-319-50230-4_35</a>.
  short: 'J. Krämer, H. Wehrheim, in: Proceedings of the 1st International Workshop
    on Formal to Practical Software Verification and Composition (VeryComp 2016),
    2016, pp. 445--457.'
date_created: 2017-10-17T12:41:36Z
date_updated: 2022-01-06T06:55:37Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-319-50230-4_35
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-21T10:34:08Z
  date_updated: 2018-03-21T10:34:08Z
  file_id: '1507'
  file_name: 226-chp_3A10.1007_2F978-3-319-50230-4_35.pdf
  file_size: 492018
  relation: main_file
  success: 1
file_date_updated: 2018-03-21T10:34:08Z
has_accepted_license: '1'
language:
- iso: eng
page: 445--457
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 1st International Workshop on Formal to Practical
  Software Verification and Composition (VeryComp 2016)
series_title: LNCS
status: public
title: A Formal Approach to Error Localization and Correction in Service Compositions
type: conference
user_id: '477'
year: '2016'
...
---
_id: '227'
abstract:
- lang: eng
  text: Information flow analysis studies the flow of data between program entities
    (e.g. variables), where the allowed flow is specified via security policies. Typical
    information flow analyses compute a conservative (over-)approximation of the flows
    in a program. Such an analysis may thus signal non-existing violations of the
    security policy.In this paper, we propose a new technique for inspecting the reported
    violations (counterexamples) for spuriousity. Similar to counterexample-guided-abstraction-refinement
    (CEGAR) in software verification, we use the result of this inspection to improve
    the next round of the analysis. We prove soundness of this scheme.
author:
- first_name: Manuel
  full_name: Töws, Manuel
  id: '11315'
  last_name: Töws
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Töws M, Wehrheim H. A CEGAR Scheme for Information Flow Analysis. In: <i>Proceedings
    of the 18th International Conference on Formal Engineering Methods (ICFEM 2016)</i>.
    LNCS. ; 2016:466--483. doi:<a href="https://doi.org/10.1007/978-3-319-47846-3_29">10.1007/978-3-319-47846-3_29</a>'
  apa: Töws, M., &#38; Wehrheim, H. (2016). A CEGAR Scheme for Information Flow Analysis.
    In <i>Proceedings of the 18th International Conference on Formal Engineering Methods
    (ICFEM 2016)</i> (pp. 466--483). <a href="https://doi.org/10.1007/978-3-319-47846-3_29">https://doi.org/10.1007/978-3-319-47846-3_29</a>
  bibtex: '@inproceedings{Töws_Wehrheim_2016, series={LNCS}, title={A CEGAR Scheme
    for Information Flow Analysis}, DOI={<a href="https://doi.org/10.1007/978-3-319-47846-3_29">10.1007/978-3-319-47846-3_29</a>},
    booktitle={Proceedings of the 18th International Conference on Formal Engineering
    Methods (ICFEM 2016)}, author={Töws, Manuel and Wehrheim, Heike}, year={2016},
    pages={466--483}, collection={LNCS} }'
  chicago: Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow
    Analysis.” In <i>Proceedings of the 18th International Conference on Formal Engineering
    Methods (ICFEM 2016)</i>, 466--483. LNCS, 2016. <a href="https://doi.org/10.1007/978-3-319-47846-3_29">https://doi.org/10.1007/978-3-319-47846-3_29</a>.
  ieee: M. Töws and H. Wehrheim, “A CEGAR Scheme for Information Flow Analysis,” in
    <i>Proceedings of the 18th International Conference on Formal Engineering Methods
    (ICFEM 2016)</i>, 2016, pp. 466--483.
  mla: Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow Analysis.”
    <i>Proceedings of the 18th International Conference on Formal Engineering Methods
    (ICFEM 2016)</i>, 2016, pp. 466--483, doi:<a href="https://doi.org/10.1007/978-3-319-47846-3_29">10.1007/978-3-319-47846-3_29</a>.
  short: 'M. Töws, H. Wehrheim, in: Proceedings of the 18th International Conference
    on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.'
date_created: 2017-10-17T12:41:36Z
date_updated: 2022-01-06T06:55:39Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-319-47846-3_29
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-21T10:33:38Z
  date_updated: 2018-03-21T10:33:38Z
  file_id: '1506'
  file_name: 227-chp_3A10.1007_2F978-3-319-47846-3_29.pdf
  file_size: 682849
  relation: main_file
  success: 1
file_date_updated: 2018-03-21T10:33:38Z
has_accepted_license: '1'
language:
- iso: eng
page: 466--483
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 18th International Conference on Formal Engineering
  Methods (ICFEM 2016)
series_title: LNCS
status: public
title: A CEGAR Scheme for Information Flow Analysis
type: conference
user_id: '477'
year: '2016'
...
---
_id: '22870'
author:
- first_name: Daniel
  full_name: Röltgen, Daniel
  last_name: Röltgen
- first_name: Harald
  full_name: Anacker, Harald
  last_name: Anacker
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
citation:
  ama: 'Röltgen D, Anacker H, Dumitrescu R. Einsatz- und Nutzenpotentiale von Augmented
    Reality im Kontext von Industrie 4.0. In: <i>VDE Kongress 2016 Internet of Things,
    Mannheim, Deutschland, 7. - 8. Nov. 2016</i>. ; 2016.'
  apa: Röltgen, D., Anacker, H., &#38; Dumitrescu, R. (2016). Einsatz- und Nutzenpotentiale
    von Augmented Reality im Kontext von Industrie 4.0. In <i>VDE Kongress 2016 Internet
    of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016</i>.
  bibtex: '@inproceedings{Röltgen_Anacker_Dumitrescu_2016, title={Einsatz- und Nutzenpotentiale
    von Augmented Reality im Kontext von Industrie 4.0}, booktitle={VDE Kongress 2016
    Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016}, author={Röltgen,
    Daniel and Anacker, Harald and Dumitrescu, Roman}, year={2016} }'
  chicago: Röltgen, Daniel, Harald Anacker, and Roman Dumitrescu. “Einsatz- und Nutzenpotentiale
    von Augmented Reality im Kontext von Industrie 4.0.” In <i>VDE Kongress 2016 Internet
    of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016</i>, 2016.
  ieee: D. Röltgen, H. Anacker, and R. Dumitrescu, “Einsatz- und Nutzenpotentiale
    von Augmented Reality im Kontext von Industrie 4.0,” in <i>VDE Kongress 2016 Internet
    of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016</i>, 2016.
  mla: Röltgen, Daniel, et al. “Einsatz- und Nutzenpotentiale von Augmented Reality
    im Kontext von Industrie 4.0.” <i>VDE Kongress 2016 Internet of Things, Mannheim,
    Deutschland, 7. - 8. Nov. 2016</i>, 2016.
  short: 'D. Röltgen, H. Anacker, R. Dumitrescu, in: VDE Kongress 2016 Internet of
    Things, Mannheim, Deutschland, 7. - 8. Nov. 2016, 2016.'
date_created: 2021-07-28T09:34:15Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: ger
publication: VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8.
  Nov. 2016
status: public
title: Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie
  4.0
type: conference
user_id: '21240'
year: '2016'
...
---
_id: '22871'
author:
- first_name: Tommy
  full_name: Falkowski, Tommy
  last_name: Falkowski
- first_name: Christian
  full_name: Fechtelpeter, Christian
  last_name: Fechtelpeter
- first_name: Christoph
  full_name: Peitz, Christoph
  last_name: Peitz
- first_name: Arno
  full_name: Kühn, Arno
  last_name: Kühn
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
citation:
  ama: 'Falkowski T, Fechtelpeter C, Peitz C, Kühn A, Dumitrescu R.  Einsatz von Leuchten
    zur Standortbestimmung in der Produktion. In: <i>VDE Kongress 2016, 7. - 8. Nov.
    2016</i>. ; 2016.'
  apa: Falkowski, T., Fechtelpeter, C., Peitz, C., Kühn, A., &#38; Dumitrescu, R.
    (2016).  Einsatz von Leuchten zur Standortbestimmung in der Produktion. In <i>VDE
    Kongress 2016, 7. - 8. Nov. 2016</i>.
  bibtex: '@inproceedings{Falkowski_Fechtelpeter_Peitz_Kühn_Dumitrescu_2016, title={
    Einsatz von Leuchten zur Standortbestimmung in der Produktion}, booktitle={VDE
    Kongress 2016, 7. - 8. Nov. 2016}, author={Falkowski, Tommy and Fechtelpeter,
    Christian and Peitz, Christoph and Kühn, Arno and Dumitrescu, Roman}, year={2016}
    }'
  chicago: Falkowski, Tommy, Christian Fechtelpeter, Christoph Peitz, Arno Kühn, and
    Roman Dumitrescu. “ Einsatz von Leuchten zur Standortbestimmung in der Produktion.”
    In <i>VDE Kongress 2016, 7. - 8. Nov. 2016</i>, 2016.
  ieee: T. Falkowski, C. Fechtelpeter, C. Peitz, A. Kühn, and R. Dumitrescu, “ Einsatz
    von Leuchten zur Standortbestimmung in der Produktion,” in <i>VDE Kongress 2016,
    7. - 8. Nov. 2016</i>, 2016.
  mla: Falkowski, Tommy, et al. “ Einsatz von Leuchten zur Standortbestimmung in der
    Produktion.” <i>VDE Kongress 2016, 7. - 8. Nov. 2016</i>, 2016.
  short: 'T. Falkowski, C. Fechtelpeter, C. Peitz, A. Kühn, R. Dumitrescu, in: VDE
    Kongress 2016, 7. - 8. Nov. 2016, 2016.'
date_created: 2021-07-28T09:36:50Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: ger
publication: VDE Kongress 2016, 7. - 8. Nov. 2016
status: public
title: ' Einsatz von Leuchten zur Standortbestimmung in der Produktion'
type: conference
user_id: '21240'
year: '2016'
...
---
_id: '22872'
author:
- first_name: Matthias
  full_name: Westermann, Matthias
  last_name: Westermann
- first_name: Harald
  full_name: Anacker, Harald
  last_name: Anacker
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
- first_name: Anja Maria
  full_name: Czaja, Anja Maria
  last_name: Czaja
citation:
  ama: 'Westermann M, Anacker H, Dumitrescu R, Czaja AM. Reference Architecture and
    Maturity Levels for Cyber-Physical Systems. In: <i>2nd IEEE International Symposium
    on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016</i>. ; 2016.'
  apa: Westermann, M., Anacker, H., Dumitrescu, R., &#38; Czaja, A. M. (2016). Reference
    Architecture and Maturity Levels for Cyber-Physical Systems. In <i>2nd IEEE International
    Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016</i>.
  bibtex: '@inproceedings{Westermann_Anacker_Dumitrescu_Czaja_2016, title={Reference
    Architecture and Maturity Levels for Cyber-Physical Systems}, booktitle={2nd IEEE
    International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. -
    5. Okt. 2016}, author={Westermann, Matthias and Anacker, Harald and Dumitrescu,
    Roman and Czaja, Anja Maria}, year={2016} }'
  chicago: Westermann, Matthias, Harald Anacker, Roman Dumitrescu, and Anja Maria
    Czaja. “Reference Architecture and Maturity Levels for Cyber-Physical Systems.”
    In <i>2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh,
    Scotland, 4. - 5. Okt. 2016</i>, 2016.
  ieee: M. Westermann, H. Anacker, R. Dumitrescu, and A. M. Czaja, “Reference Architecture
    and Maturity Levels for Cyber-Physical Systems,” in <i>2nd IEEE International
    Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016</i>,
    2016.
  mla: Westermann, Matthias, et al. “Reference Architecture and Maturity Levels for
    Cyber-Physical Systems.” <i>2nd IEEE International Symposium on Systems Engineering
    2016, Edinburgh, Scotland, 4. - 5. Okt. 2016</i>, 2016.
  short: 'M. Westermann, H. Anacker, R. Dumitrescu, A.M. Czaja, in: 2nd IEEE International
    Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016,
    2016.'
date_created: 2021-07-28T09:44:26Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: eng
publication: 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh,
  Scotland, 4. - 5. Okt. 2016
status: public
title: Reference Architecture and Maturity Levels for Cyber-Physical Systems
type: conference
user_id: '21240'
year: '2016'
...
---
_id: '22873'
author:
- first_name: Christian
  full_name: Fechtelpeter, Christian
  last_name: Fechtelpeter
- first_name: Christoph
  full_name: Jürgenhake, Christoph
  last_name: Jürgenhake
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
- first_name: Thomas
  full_name: Mager, Thomas
  last_name: Mager
- first_name: Karl-Peter
  full_name: Fritz, Karl-Peter
  last_name: Fritz
- first_name: Tobias
  full_name: Grötzinger, Tobias
  last_name: Grötzinger
- first_name: Hagen
  full_name: Müller, Hagen
  last_name: Müller
- first_name: Paul
  full_name: Wild, Paul
  last_name: Wild
- first_name: Andre
  full_name: Zimmermann, Andre
  last_name: Zimmermann
citation:
  ama: 'Fechtelpeter C, Jürgenhake C, Dumitrescu R, et al. Reliability in MID - barriers,
    potentials, fields of action. In: <i>12th International Congress on Molded Interconnect
    Devices, Conference Proceedings , 28. - 30. Sep. 2016</i>. ; 2016.'
  apa: Fechtelpeter, C., Jürgenhake, C., Dumitrescu, R., Mager, T., Fritz, K.-P.,
    Grötzinger, T., … Zimmermann, A. (2016). Reliability in MID - barriers, potentials,
    fields of action. In <i>12th International Congress on Molded Interconnect Devices,
    Conference Proceedings , 28. - 30. Sep. 2016</i>.
  bibtex: '@inproceedings{Fechtelpeter_Jürgenhake_Dumitrescu_Mager_Fritz_Grötzinger_Müller_Wild_Zimmermann_2016,
    title={Reliability in MID - barriers, potentials, fields of action}, booktitle={12th
    International Congress on Molded Interconnect Devices, Conference Proceedings
    , 28. - 30. Sep. 2016}, author={Fechtelpeter, Christian and Jürgenhake, Christoph
    and Dumitrescu, Roman and Mager, Thomas and Fritz, Karl-Peter and Grötzinger,
    Tobias and Müller, Hagen and Wild, Paul and Zimmermann, Andre}, year={2016} }'
  chicago: Fechtelpeter, Christian, Christoph Jürgenhake, Roman Dumitrescu, Thomas
    Mager, Karl-Peter Fritz, Tobias Grötzinger, Hagen Müller, Paul Wild, and Andre
    Zimmermann. “Reliability in MID - Barriers, Potentials, Fields of Action.” In
    <i>12th International Congress on Molded Interconnect Devices, Conference Proceedings
    , 28. - 30. Sep. 2016</i>, 2016.
  ieee: C. Fechtelpeter <i>et al.</i>, “Reliability in MID - barriers, potentials,
    fields of action,” in <i>12th International Congress on Molded Interconnect Devices,
    Conference Proceedings , 28. - 30. Sep. 2016</i>, 2016.
  mla: Fechtelpeter, Christian, et al. “Reliability in MID - Barriers, Potentials,
    Fields of Action.” <i>12th International Congress on Molded Interconnect Devices,
    Conference Proceedings , 28. - 30. Sep. 2016</i>, 2016.
  short: 'C. Fechtelpeter, C. Jürgenhake, R. Dumitrescu, T. Mager, K.-P. Fritz, T.
    Grötzinger, H. Müller, P. Wild, A. Zimmermann, in: 12th International Congress
    on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016,
    2016.'
date_created: 2021-07-28T09:51:44Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: eng
publication: 12th International Congress on Molded Interconnect Devices, Conference
  Proceedings , 28. - 30. Sep. 2016
status: public
title: Reliability in MID - barriers, potentials, fields of action
type: conference
user_id: '21240'
year: '2016'
...
---
_id: '22874'
author:
- first_name: Christoph
  full_name: Jürgenhake, Christoph
  last_name: Jürgenhake
- first_name: Tommy
  full_name: Falkowski, Tommy
  last_name: Falkowski
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
citation:
  ama: 'Jürgenhake C, Falkowski T, Dumitrescu R. Classification of MID-prototypes.
    In: <i>12th International Congress on Molded Interconnect Devices, Würzburg, 28.
    - 30. Sep. 2016</i>. ; 2016.'
  apa: Jürgenhake, C., Falkowski, T., &#38; Dumitrescu, R. (2016). Classification
    of MID-prototypes. In <i>12th International Congress on Molded Interconnect Devices,
    Würzburg, 28. - 30. Sep. 2016</i>.
  bibtex: '@inproceedings{Jürgenhake_Falkowski_Dumitrescu_2016, title={Classification
    of MID-prototypes}, booktitle={12th International Congress on Molded Interconnect
    Devices, Würzburg, 28. - 30. Sep. 2016}, author={Jürgenhake, Christoph and Falkowski,
    Tommy and Dumitrescu, Roman}, year={2016} }'
  chicago: Jürgenhake, Christoph, Tommy Falkowski, and Roman Dumitrescu. “Classification
    of MID-Prototypes.” In <i>12th International Congress on Molded Interconnect Devices,
    Würzburg, 28. - 30. Sep. 2016</i>, 2016.
  ieee: C. Jürgenhake, T. Falkowski, and R. Dumitrescu, “Classification of MID-prototypes,”
    in <i>12th International Congress on Molded Interconnect Devices, Würzburg, 28.
    - 30. Sep. 2016</i>, 2016.
  mla: Jürgenhake, Christoph, et al. “Classification of MID-Prototypes.” <i>12th International
    Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016</i>, 2016.
  short: 'C. Jürgenhake, T. Falkowski, R. Dumitrescu, in: 12th International Congress
    on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016, 2016.'
date_created: 2021-07-28T10:00:10Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: eng
publication: 12th International Congress on Molded Interconnect Devices, Würzburg,
  28. - 30. Sep. 2016
status: public
title: Classification of MID-prototypes
type: conference
user_id: '21240'
year: '2016'
...
---
_id: '22876'
author:
- first_name: Christoph
  full_name: Jürgenhake, Christoph
  last_name: Jürgenhake
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
citation:
  ama: 'Jürgenhake C, Dumitrescu R. Systematic for function-oriented development of
    spatial integrated circuit carriers. In: <i>International Design Conference -
    Design 2016, 16. - 19. Mai 2016</i>. ; 2016.'
  apa: Jürgenhake, C., &#38; Dumitrescu, R. (2016). Systematic for function-oriented
    development of spatial integrated circuit carriers. In <i>International Design
    Conference - Design 2016, 16. - 19. Mai 2016</i>.
  bibtex: '@inproceedings{Jürgenhake_Dumitrescu_2016, title={Systematic for function-oriented
    development of spatial integrated circuit carriers}, booktitle={International
    Design Conference - Design 2016, 16. - 19. Mai 2016}, author={Jürgenhake, Christoph
    and Dumitrescu, Roman}, year={2016} }'
  chicago: Jürgenhake, Christoph, and Roman Dumitrescu. “Systematic for Function-Oriented
    Development of Spatial Integrated Circuit Carriers.” In <i>International Design
    Conference - Design 2016, 16. - 19. Mai 2016</i>, 2016.
  ieee: C. Jürgenhake and R. Dumitrescu, “Systematic for function-oriented development
    of spatial integrated circuit carriers,” in <i>International Design Conference
    - Design 2016, 16. - 19. Mai 2016</i>, 2016.
  mla: Jürgenhake, Christoph, and Roman Dumitrescu. “Systematic for Function-Oriented
    Development of Spatial Integrated Circuit Carriers.” <i>International Design Conference
    - Design 2016, 16. - 19. Mai 2016</i>, 2016.
  short: 'C. Jürgenhake, R. Dumitrescu, in: International Design Conference - Design
    2016, 16. - 19. Mai 2016, 2016.'
date_created: 2021-07-28T10:33:35Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: eng
publication: International Design Conference - Design 2016, 16. - 19. Mai 2016
status: public
title: Systematic for function-oriented development of spatial integrated circuit
  carriers
type: conference
user_id: '21240'
year: '2016'
...
---
_id: '22878'
author:
- first_name: Lydia
  full_name: Kaiser, Lydia
  last_name: Kaiser
- first_name: Christian
  full_name: Bremer, Christian
  last_name: Bremer
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
citation:
  ama: 'Kaiser L, Bremer C, Dumitrescu R. Exhaustiveness of Systems Structures in
    Model-Based Systems Engineering for Mechatronic Systems. In: <i>Sysint - 3rd International
    Conference on System-Integrated Intelligence: New Challenges for Product and Production
    Engineering</i>. ; 2016.'
  apa: 'Kaiser, L., Bremer, C., &#38; Dumitrescu, R. (2016). Exhaustiveness of Systems
    Structures in Model-Based Systems Engineering for Mechatronic Systems. In <i>Sysint
    - 3rd International Conference on System-Integrated Intelligence: New Challenges
    for Product and Production Engineering</i>.'
  bibtex: '@inproceedings{Kaiser_Bremer_Dumitrescu_2016, title={Exhaustiveness of
    Systems Structures in Model-Based Systems Engineering for Mechatronic Systems},
    booktitle={Sysint - 3rd International Conference on System-Integrated Intelligence:
    New Challenges for Product and Production Engineering}, author={Kaiser, Lydia
    and Bremer, Christian and Dumitrescu, Roman}, year={2016} }'
  chicago: 'Kaiser, Lydia, Christian Bremer, and Roman Dumitrescu. “Exhaustiveness
    of Systems Structures in Model-Based Systems Engineering for Mechatronic Systems.”
    In <i>Sysint - 3rd International Conference on System-Integrated Intelligence:
    New Challenges for Product and Production Engineering</i>, 2016.'
  ieee: 'L. Kaiser, C. Bremer, and R. Dumitrescu, “Exhaustiveness of Systems Structures
    in Model-Based Systems Engineering for Mechatronic Systems,” in <i>Sysint - 3rd
    International Conference on System-Integrated Intelligence: New Challenges for
    Product and Production Engineering</i>, 2016.'
  mla: 'Kaiser, Lydia, et al. “Exhaustiveness of Systems Structures in Model-Based
    Systems Engineering for Mechatronic Systems.” <i>Sysint - 3rd International Conference
    on System-Integrated Intelligence: New Challenges for Product and Production Engineering</i>,
    2016.'
  short: 'L. Kaiser, C. Bremer, R. Dumitrescu, in: Sysint - 3rd International Conference
    on System-Integrated Intelligence: New Challenges for Product and Production Engineering,
    2016.'
date_created: 2021-07-28T10:42:13Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: eng
publication: 'Sysint - 3rd International Conference on System-Integrated Intelligence:
  New Challenges for Product and Production Engineering'
status: public
title: Exhaustiveness of Systems Structures in Model-Based Systems Engineering for
  Mechatronic Systems
type: conference
user_id: '21240'
year: '2016'
...
---
_id: '22879'
author:
- first_name: Christoph
  full_name: Jürgenhake, Christoph
  last_name: Jürgenhake
- first_name: Tommy
  full_name: Falkowski, Tommy
  last_name: Falkowski
- first_name: Christian
  full_name: Fechtelpeter, Christian
  last_name: Fechtelpeter
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
citation:
  ama: 'Jürgenhake C, Falkowski T, Fechtelpeter C, Dumitrescu R.  Function-based feasibility
    study and benchmark for MID concepts. In: <i>Sysint - 3rd International Conference
    on System-Integrated Intelligence: New Challenges for Product and Production Engineering</i>.
    ; 2016.'
  apa: 'Jürgenhake, C., Falkowski, T., Fechtelpeter, C., &#38; Dumitrescu, R. (2016).  Function-based
    feasibility study and benchmark for MID concepts. In <i>Sysint - 3rd International
    Conference on System-Integrated Intelligence: New Challenges for Product and Production
    Engineering</i>.'
  bibtex: '@inproceedings{Jürgenhake_Falkowski_Fechtelpeter_Dumitrescu_2016, title={
    Function-based feasibility study and benchmark for MID concepts}, booktitle={Sysint
    - 3rd International Conference on System-Integrated Intelligence: New Challenges
    for Product and Production Engineering}, author={Jürgenhake, Christoph and Falkowski,
    Tommy and Fechtelpeter, Christian and Dumitrescu, Roman}, year={2016} }'
  chicago: 'Jürgenhake, Christoph, Tommy Falkowski, Christian Fechtelpeter, and Roman
    Dumitrescu. “ Function-Based Feasibility Study and Benchmark for MID Concepts.”
    In <i>Sysint - 3rd International Conference on System-Integrated Intelligence:
    New Challenges for Product and Production Engineering</i>, 2016.'
  ieee: 'C. Jürgenhake, T. Falkowski, C. Fechtelpeter, and R. Dumitrescu, “ Function-based
    feasibility study and benchmark for MID concepts,” in <i>Sysint - 3rd International
    Conference on System-Integrated Intelligence: New Challenges for Product and Production
    Engineering</i>, 2016.'
  mla: 'Jürgenhake, Christoph, et al. “ Function-Based Feasibility Study and Benchmark
    for MID Concepts.” <i>Sysint - 3rd International Conference on System-Integrated
    Intelligence: New Challenges for Product and Production Engineering</i>, 2016.'
  short: 'C. Jürgenhake, T. Falkowski, C. Fechtelpeter, R. Dumitrescu, in: Sysint
    - 3rd International Conference on System-Integrated Intelligence: New Challenges
    for Product and Production Engineering, 2016.'
date_created: 2021-07-28T10:47:50Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: eng
publication: 'Sysint - 3rd International Conference on System-Integrated Intelligence:
  New Challenges for Product and Production Engineering'
status: public
title: ' Function-based feasibility study and benchmark for MID concepts'
type: conference
user_id: '21240'
year: '2016'
...
---
_id: '22880'
author:
- first_name: Lukas Helmut
  full_name: Bretz, Lukas Helmut
  last_name: Bretz
- first_name: Christian
  full_name: Tschirner, Christian
  last_name: Tschirner
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
citation:
  ama: 'Bretz LH, Tschirner C, Dumitrescu R.  A concept for managing information in
    early stages of product engineering by integrating MBSE and workflow management
    systems. In: <i>IEEE ISSE: Proceedings of 2016 International Symposium on Systems
    Engineering</i>. Edinburgh, Scotland; 2016:143-150.'
  apa: 'Bretz, L. H., Tschirner, C., &#38; Dumitrescu, R. (2016).  A concept for managing
    information in early stages of product engineering by integrating MBSE and workflow
    management systems. In <i>IEEE ISSE: Proceedings of 2016 International Symposium
    on Systems Engineering</i> (pp. 143–150). Edinburgh, Scotland.'
  bibtex: '@inproceedings{Bretz_Tschirner_Dumitrescu_2016, place={Edinburgh, Scotland},
    title={ A concept for managing information in early stages of product engineering
    by integrating MBSE and workflow management systems}, booktitle={IEEE ISSE: Proceedings
    of 2016 International Symposium on Systems Engineering}, author={Bretz, Lukas
    Helmut and Tschirner, Christian and Dumitrescu, Roman}, year={2016}, pages={143–150}
    }'
  chicago: 'Bretz, Lukas Helmut, Christian Tschirner, and Roman Dumitrescu. “ A Concept
    for Managing Information in Early Stages of Product Engineering by Integrating
    MBSE and Workflow Management Systems.” In <i>IEEE ISSE: Proceedings of 2016 International
    Symposium on Systems Engineering</i>, 143–50. Edinburgh, Scotland, 2016.'
  ieee: 'L. H. Bretz, C. Tschirner, and R. Dumitrescu, “ A concept for managing information
    in early stages of product engineering by integrating MBSE and workflow management
    systems,” in <i>IEEE ISSE: Proceedings of 2016 International Symposium on Systems
    Engineering</i>, 2016, pp. 143–150.'
  mla: 'Bretz, Lukas Helmut, et al. “ A Concept for Managing Information in Early
    Stages of Product Engineering by Integrating MBSE and Workflow Management Systems.”
    <i>IEEE ISSE: Proceedings of 2016 International Symposium on Systems Engineering</i>,
    2016, pp. 143–50.'
  short: 'L.H. Bretz, C. Tschirner, R. Dumitrescu, in: IEEE ISSE: Proceedings of 2016
    International Symposium on Systems Engineering, Edinburgh, Scotland, 2016, pp.
    143–150.'
date_created: 2021-07-28T10:50:44Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: eng
page: 143-150
place: Edinburgh, Scotland
publication: 'IEEE ISSE: Proceedings of 2016 International Symposium on Systems Engineering'
status: public
title: ' A concept for managing information in early stages of product engineering
  by integrating MBSE and workflow management systems'
type: conference
user_id: '21240'
year: '2016'
...
---
_id: '217'
abstract:
- lang: eng
  text: Today, cloud vendors host third party black-box services, whose developers
    usually provide only textual descriptions or purely syntactical interface specifications.
    Cloud vendors that give substantial support to other third party developers to
    integrate hosted services into new software solutions would have a unique selling
    feature over their competitors. However, to reliably determine if a service is
    reusable, comprehensive service specifications are needed. Characteristic for
    comprehensive in contrast to syntactical specifications are the formalization
    of ontological and behavioral semantics, homogeneity according to a global ontology,
    and a service grounding that links the abstract service description and its technical
    realization. Homogeneous, semantical specifications enable to reliably identify
    reusable services, whereas the service grounding is needed for the technical service
    integration. In general, comprehensive specifications are not availableand have
    to be derived. Existing automatized approaches are restricted to certain characteristics
    of comprehensiveness. In my PhD, I consider an automatized approach to derive
    fully-fledged comprehensive specifications for black-box services. Ontological
    semantics are derived from syntactical interface specifications. Behavioral semantics
    are mined from call logs that cloud vendors create to monitor the hosted services.
    The specifications are harmonized over a global ontology. The service grounding
    is established using traceability information. The approach enables third party
    developers to compose services into complex systems and creates new sales channels
    for cloud and service providers.
author:
- first_name: Simon
  full_name: Schwichtenberg, Simon
  id: '13235'
  last_name: Schwichtenberg
citation:
  ama: 'Schwichtenberg S. Automatized Derivation of Comprehensive Specifications for
    Black-box Services. In: <i>Proceedings of the 38th International Conference on
    Software Engineering Companion (ICSE)</i>. ; 2016:815-818. doi:<a href="https://doi.org/10.1145/2889160.2889271">10.1145/2889160.2889271</a>'
  apa: Schwichtenberg, S. (2016). Automatized Derivation of Comprehensive Specifications
    for Black-box Services. In <i>Proceedings of the 38th International Conference
    on Software Engineering Companion (ICSE)</i> (pp. 815–818). <a href="https://doi.org/10.1145/2889160.2889271">https://doi.org/10.1145/2889160.2889271</a>
  bibtex: '@inproceedings{Schwichtenberg_2016, title={Automatized Derivation of Comprehensive
    Specifications for Black-box Services}, DOI={<a href="https://doi.org/10.1145/2889160.2889271">10.1145/2889160.2889271</a>},
    booktitle={Proceedings of the 38th International Conference on Software Engineering
    Companion (ICSE)}, author={Schwichtenberg, Simon}, year={2016}, pages={815–818}
    }'
  chicago: Schwichtenberg, Simon. “Automatized Derivation of Comprehensive Specifications
    for Black-Box Services.” In <i>Proceedings of the 38th International Conference
    on Software Engineering Companion (ICSE)</i>, 815–18, 2016. <a href="https://doi.org/10.1145/2889160.2889271">https://doi.org/10.1145/2889160.2889271</a>.
  ieee: S. Schwichtenberg, “Automatized Derivation of Comprehensive Specifications
    for Black-box Services,” in <i>Proceedings of the 38th International Conference
    on Software Engineering Companion (ICSE)</i>, 2016, pp. 815–818.
  mla: Schwichtenberg, Simon. “Automatized Derivation of Comprehensive Specifications
    for Black-Box Services.” <i>Proceedings of the 38th International Conference on
    Software Engineering Companion (ICSE)</i>, 2016, pp. 815–18, doi:<a href="https://doi.org/10.1145/2889160.2889271">10.1145/2889160.2889271</a>.
  short: 'S. Schwichtenberg, in: Proceedings of the 38th International Conference
    on Software Engineering Companion (ICSE), 2016, pp. 815–818.'
date_created: 2017-10-17T12:41:34Z
date_updated: 2022-01-06T06:55:11Z
ddc:
- '040'
department:
- _id: '66'
doi: 10.1145/2889160.2889271
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-21T10:39:14Z
  date_updated: 2018-03-21T10:39:14Z
  file_id: '1516'
  file_name: 217-sig-alternate.pdf
  file_size: 691294
  relation: main_file
  success: 1
file_date_updated: 2018-03-21T10:39:14Z
has_accepted_license: '1'
language:
- iso: eng
page: 815-818
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 38th International Conference on Software Engineering
  Companion (ICSE)
status: public
title: Automatized Derivation of Comprehensive Specifications for Black-box Services
type: conference
user_id: '477'
year: '2016'
...
---
_id: '21728'
author:
- first_name: Sabrina
  full_name: Heppner, Sabrina
  last_name: Heppner
- first_name: Marius
  full_name: Dransfeld, Marius
  last_name: Dransfeld
- first_name: Gitta
  full_name: Domik, Gitta
  id: '90'
  last_name: Domik
citation:
  ama: 'Heppner S, Dransfeld M, Domik G. Adding atmospheric scattering and transparency
    to a deferred rendering pipeline for camera based ADAS tests. In: Pinzger M, Mayr
    H, eds. <i>Informatik 2016</i>. Bonn: Gesellschaft für Informatik e.V.; 2016:1591-1604.'
  apa: 'Heppner, S., Dransfeld, M., &#38; Domik, G. (2016). Adding atmospheric scattering
    and transparency to a deferred rendering pipeline for camera based ADAS tests.
    In M. Pinzger &#38; H. Mayr (Eds.), <i>Informatik 2016</i> (pp. 1591–1604). Bonn:
    Gesellschaft für Informatik e.V.'
  bibtex: '@inproceedings{Heppner_Dransfeld_Domik_2016, place={Bonn}, title={Adding
    atmospheric scattering and transparency to a deferred rendering pipeline for camera
    based ADAS tests}, booktitle={Informatik 2016}, publisher={Gesellschaft für Informatik
    e.V.}, author={Heppner, Sabrina and Dransfeld, Marius and Domik, Gitta}, editor={Pinzger,
    Martin and Mayr, HeinrichEditors}, year={2016}, pages={1591–1604} }'
  chicago: 'Heppner, Sabrina, Marius Dransfeld, and Gitta Domik. “Adding Atmospheric
    Scattering and Transparency to a Deferred Rendering Pipeline for Camera Based
    ADAS Tests.” In <i>Informatik 2016</i>, edited by Martin Pinzger and Heinrich
    Mayr, 1591–1604. Bonn: Gesellschaft für Informatik e.V., 2016.'
  ieee: S. Heppner, M. Dransfeld, and G. Domik, “Adding atmospheric scattering and
    transparency to a deferred rendering pipeline for camera based ADAS tests,” in
    <i>Informatik 2016</i>, 2016, pp. 1591–1604.
  mla: Heppner, Sabrina, et al. “Adding Atmospheric Scattering and Transparency to
    a Deferred Rendering Pipeline for Camera Based ADAS Tests.” <i>Informatik 2016</i>,
    edited by Martin Pinzger and Heinrich Mayr, Gesellschaft für Informatik e.V.,
    2016, pp. 1591–604.
  short: 'S. Heppner, M. Dransfeld, G. Domik, in: M. Pinzger, H. Mayr (Eds.), Informatik
    2016, Gesellschaft für Informatik e.V., Bonn, 2016, pp. 1591–1604.'
date_created: 2021-04-25T13:35:34Z
date_updated: 2022-01-06T06:55:12Z
department:
- _id: '65'
editor:
- first_name: Martin
  full_name: Pinzger, Martin
  last_name: Pinzger
- first_name: Heinrich
  full_name: Mayr, Heinrich
  last_name: Mayr
language:
- iso: eng
page: 1591-1604
place: Bonn
publication: Informatik 2016
publication_identifier:
  isbn:
  - 978-3-88579-653-4
publisher: Gesellschaft für Informatik e.V.
status: public
title: Adding atmospheric scattering and transparency to a deferred rendering pipeline
  for camera based ADAS tests
type: conference
user_id: '90'
year: '2016'
...