---
_id: '45888'
author:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: 'Philipp '
  full_name: 'Schubert, Philipp '
  last_name: Schubert
- first_name: Felix
  full_name: Pauck, Felix
  id: '22398'
  last_name: Pauck
- first_name: Marie-Christine
  full_name: Jakobs, Marie-Christine
  last_name: Jakobs
citation:
  ama: 'Wehrheim H, Platzner M, Bodden E, Schubert P, Pauck F, Jakobs M-C. Verifying
    Software and Reconfigurable Hardware Services. In: Haake C-J, Meyer auf der Heide
    F, Platzner M, Wachsmuth H, Wehrheim H, eds. <i>On-The-Fly Computing -- Individualized
    IT-Services in Dynamic Markets</i>. Vol 412. Verlagsschriftenreihe des Heinz Nixdorf
    Instituts. Heinz Nixdorf Institut, Universität Paderborn; 2023:125-144. doi:<a
    href="https://doi.org/10.5281/zenodo.8068583">10.5281/zenodo.8068583</a>'
  apa: Wehrheim, H., Platzner, M., Bodden, E., Schubert, P., Pauck, F., &#38; Jakobs,
    M.-C. (2023). Verifying Software and Reconfigurable Hardware Services. In C.-J.
    Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, &#38; H. Wehrheim (Eds.),
    <i>On-The-Fly Computing -- Individualized IT-services in dynamic markets</i> (Vol.
    412, pp. 125–144). Heinz Nixdorf Institut, Universität Paderborn. <a href="https://doi.org/10.5281/zenodo.8068583">https://doi.org/10.5281/zenodo.8068583</a>
  bibtex: '@inbook{Wehrheim_Platzner_Bodden_Schubert_Pauck_Jakobs_2023, place={Paderborn},
    series={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, title={Verifying Software
    and Reconfigurable Hardware Services}, volume={412}, DOI={<a href="https://doi.org/10.5281/zenodo.8068583">10.5281/zenodo.8068583</a>},
    booktitle={On-The-Fly Computing -- Individualized IT-services in dynamic markets},
    publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Wehrheim, Heike
    and Platzner, Marco and Bodden, Eric and Schubert, Philipp  and Pauck, Felix and
    Jakobs, Marie-Christine}, editor={Haake, Claus-Jochen and Meyer auf der Heide,
    Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}, year={2023},
    pages={125–144}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts}
    }'
  chicago: 'Wehrheim, Heike, Marco Platzner, Eric Bodden, Philipp  Schubert, Felix
    Pauck, and Marie-Christine Jakobs. “Verifying Software and Reconfigurable Hardware
    Services.” In <i>On-The-Fly Computing -- Individualized IT-Services in Dynamic
    Markets</i>, edited by Claus-Jochen Haake, Friedhelm Meyer auf der Heide, Marco
    Platzner, Henning Wachsmuth, and Heike Wehrheim, 412:125–44. Verlagsschriftenreihe
    Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn,
    2023. <a href="https://doi.org/10.5281/zenodo.8068583">https://doi.org/10.5281/zenodo.8068583</a>.'
  ieee: 'H. Wehrheim, M. Platzner, E. Bodden, P. Schubert, F. Pauck, and M.-C. Jakobs,
    “Verifying Software and Reconfigurable Hardware Services,” in <i>On-The-Fly Computing
    -- Individualized IT-services in dynamic markets</i>, vol. 412, C.-J. Haake, F.
    Meyer auf der Heide, M. Platzner, H. Wachsmuth, and H. Wehrheim, Eds. Paderborn:
    Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 125–144.'
  mla: Wehrheim, Heike, et al. “Verifying Software and Reconfigurable Hardware Services.”
    <i>On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets</i>,
    edited by Claus-Jochen Haake et al., vol. 412, Heinz Nixdorf Institut, Universität
    Paderborn, 2023, pp. 125–44, doi:<a href="https://doi.org/10.5281/zenodo.8068583">10.5281/zenodo.8068583</a>.
  short: 'H. Wehrheim, M. Platzner, E. Bodden, P. Schubert, F. Pauck, M.-C. Jakobs,
    in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim
    (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets,
    Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 125–144.'
date_created: 2023-07-07T08:01:23Z
date_updated: 2024-05-02T10:29:31Z
ddc:
- '004'
department:
- _id: '7'
- _id: '78'
doi: 10.5281/zenodo.8068583
editor:
- first_name: Claus-Jochen
  full_name: Haake, Claus-Jochen
  last_name: Haake
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  last_name: Meyer auf der Heide
- first_name: Marco
  full_name: Platzner, Marco
  last_name: Platzner
- first_name: Henning
  full_name: Wachsmuth, Henning
  last_name: Wachsmuth
- first_name: Heike
  full_name: Wehrheim, Heike
  last_name: Wehrheim
file:
- access_level: open_access
  content_type: application/pdf
  creator: florida
  date_created: 2023-07-07T08:01:12Z
  date_updated: 2023-07-07T11:18:59Z
  file_id: '45889'
  file_name: B4-Chapter-SFB-Buch-Final.pdf
  file_size: 840964
  relation: main_file
file_date_updated: 2023-07-07T11:18:59Z
has_accepted_license: '1'
intvolume: '       412'
language:
- iso: eng
oa: '1'
page: 125-144
place: Paderborn
project:
- _id: '1'
  grant_number: '160364472'
  name: 'SFB 901: SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen
    in dynamischen Märkten '
- _id: '3'
  name: 'SFB 901 - B: SFB 901 - Project Area B'
- _id: '12'
  name: 'SFB 901 - B4: SFB 901 - Subproject B4'
publication: On-The-Fly Computing -- Individualized IT-services in dynamic markets
publisher: Heinz Nixdorf Institut, Universität Paderborn
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts
status: public
title: Verifying Software and Reconfigurable Hardware Services
type: book_chapter
user_id: '398'
volume: 412
year: '2023'
...