---
_id: '646'
abstract:
- lang: eng
  text: This paper presents a dynamic overlay network based on the De Bruijn graph
    which we call Linearized De Bruijn (LDB) network. The LDB network has the advantage
    that it has a guaranteed constant node degree and that the routing between any
    two nodes takes at most O(log n) hops with high probability. Also, we show that
    there is a simple local-control algorithm that can recover the LDB network from
    any network topology that is weakly connected.
author:
- first_name: Andrea W.
  full_name: Richa, Andrea W.
  last_name: Richa
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
citation:
  ama: 'Richa AW, Scheideler C. Self-Stabilizing DeBruijn Networks. In: <i>Proceedings
    of the 13th International Symposium on Stabilization, Safety, and Security of
    Distributed Systems (SSS)</i>. LNCS. ; 2011:416-430. doi:<a href="https://doi.org/10.1007/978-3-642-24550-3_31">10.1007/978-3-642-24550-3_31</a>'
  apa: Richa, A. W., &#38; Scheideler, C. (2011). Self-Stabilizing DeBruijn Networks.
    In <i>Proceedings of the 13th International Symposium on Stabilization, Safety,
    and Security of Distributed Systems (SSS)</i> (pp. 416–430). <a href="https://doi.org/10.1007/978-3-642-24550-3_31">https://doi.org/10.1007/978-3-642-24550-3_31</a>
  bibtex: '@inproceedings{Richa_Scheideler_2011, series={LNCS}, title={Self-Stabilizing
    DeBruijn Networks}, DOI={<a href="https://doi.org/10.1007/978-3-642-24550-3_31">10.1007/978-3-642-24550-3_31</a>},
    booktitle={Proceedings of the 13th International Symposium on Stabilization, Safety,
    and Security of Distributed Systems (SSS)}, author={Richa, Andrea W. and Scheideler,
    Christian}, year={2011}, pages={416–430}, collection={LNCS} }'
  chicago: Richa, Andrea W., and Christian Scheideler. “Self-Stabilizing DeBruijn
    Networks.” In <i>Proceedings of the 13th International Symposium on Stabilization,
    Safety, and Security of Distributed Systems (SSS)</i>, 416–30. LNCS, 2011. <a
    href="https://doi.org/10.1007/978-3-642-24550-3_31">https://doi.org/10.1007/978-3-642-24550-3_31</a>.
  ieee: A. W. Richa and C. Scheideler, “Self-Stabilizing DeBruijn Networks,” in <i>Proceedings
    of the 13th International Symposium on Stabilization, Safety, and Security of
    Distributed Systems (SSS)</i>, 2011, pp. 416–430.
  mla: Richa, Andrea W., and Christian Scheideler. “Self-Stabilizing DeBruijn Networks.”
    <i>Proceedings of the 13th International Symposium on Stabilization, Safety, and
    Security of Distributed Systems (SSS)</i>, 2011, pp. 416–30, doi:<a href="https://doi.org/10.1007/978-3-642-24550-3_31">10.1007/978-3-642-24550-3_31</a>.
  short: 'A.W. Richa, C. Scheideler, in: Proceedings of the 13th International Symposium
    on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp.
    416–430.'
date_created: 2017-10-17T12:42:58Z
date_updated: 2022-01-06T07:03:06Z
ddc:
- '040'
department:
- _id: '79'
doi: 10.1007/978-3-642-24550-3_31
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-14T13:57:26Z
  date_updated: 2018-03-14T13:57:26Z
  file_id: '1227'
  file_name: 646-SSS2011-Scheideler_02.pdf
  file_size: 339664
  relation: main_file
  success: 1
file_date_updated: 2018-03-14T13:57:26Z
has_accepted_license: '1'
page: 416-430
project:
- _id: '1'
  name: SFB 901
- _id: '13'
  name: SFB 901 - Subprojekt C1
- _id: '4'
  name: SFB 901 - Project Area C
publication: Proceedings of the 13th International Symposium on Stabilization, Safety,
  and Security of Distributed Systems (SSS)
series_title: LNCS
status: public
title: Self-Stabilizing DeBruijn Networks
type: conference
user_id: '15504'
year: '2011'
...
---
_id: '6465'
author:
- first_name: T.
  full_name: Tramm, T.
  last_name: Tramm
- first_name: H.-Hugo
  full_name: Kremer, H.-Hugo
  id: '15280'
  last_name: Kremer
- first_name: R.
  full_name: Tenberg, R.
  last_name: Tenberg
citation:
  ama: 'Tramm T, Kremer H-H, Tenberg R. Editorial bwp@ 20. In: Kremer H-H, Tramm T,
    Tenberg R, eds. <i>bwp@ Ausgabe 20, Lernfeldansatz 15 Jahre danach</i>. ; 2011.'
  apa: Tramm, T., Kremer, H.-H., &#38; Tenberg, R. (2011). Editorial bwp@ 20. In H.-H.
    Kremer, T. Tramm, &#38; R. Tenberg (Eds.), <i>bwp@ Ausgabe 20, Lernfeldansatz
    15 Jahre danach</i>.
  bibtex: '@inbook{Tramm_Kremer_Tenberg_2011, title={Editorial bwp@ 20}, booktitle={bwp@
    Ausgabe 20, Lernfeldansatz 15 Jahre danach}, author={Tramm, T. and Kremer, H.-Hugo
    and Tenberg, R.}, editor={Kremer, H.-H. and Tramm, T. and Tenberg, R.Editors},
    year={2011} }'
  chicago: Tramm, T., H.-Hugo Kremer, and R. Tenberg. “Editorial bwp@ 20.” In <i>bwp@
    Ausgabe 20, Lernfeldansatz 15 Jahre danach</i>, edited by H.-H. Kremer, T. Tramm,
    and R. Tenberg, 2011.
  ieee: T. Tramm, H.-H. Kremer, and R. Tenberg, “Editorial bwp@ 20,” in <i>bwp@ Ausgabe
    20, Lernfeldansatz 15 Jahre danach</i>, H.-H. Kremer, T. Tramm, and R. Tenberg,
    Eds. 2011.
  mla: Tramm, T., et al. “Editorial bwp@ 20.” <i>bwp@ Ausgabe 20, Lernfeldansatz 15
    Jahre danach</i>, edited by H.-H. Kremer et al., 2011.
  short: 'T. Tramm, H.-H. Kremer, R. Tenberg, in: H.-H. Kremer, T. Tramm, R. Tenberg
    (Eds.), bwp@ Ausgabe 20, Lernfeldansatz 15 Jahre danach, 2011.'
date_created: 2019-01-02T11:19:12Z
date_updated: 2022-01-06T07:03:06Z
department:
- _id: '211'
editor:
- first_name: H.-H.
  full_name: Kremer, H.-H.
  last_name: Kremer
- first_name: T.
  full_name: Tramm, T.
  last_name: Tramm
- first_name: R.
  full_name: Tenberg, R.
  last_name: Tenberg
language:
- iso: ger
main_file_link:
- url: http://www.bwpat.de/content/ausgabe/20/editorial-bwp20/
publication: bwp@ Ausgabe 20, Lernfeldansatz 15 Jahre danach
status: public
title: Editorial bwp@ 20
type: book_chapter
user_id: '74378'
year: '2011'
...
---
_id: '6466'
author:
- first_name: Marc
  full_name: Beutner, Marc
  id: '21118'
  last_name: Beutner
- first_name: H.-Hugo
  full_name: Kremer, H.-Hugo
  id: '15280'
  last_name: Kremer
- first_name: W.
  full_name: Wirth, W.
  last_name: Wirth
citation:
  ama: 'Beutner M, Kremer H-H, Wirth W. Bildungsmaßnahmen zur Berufsorientierung im
    Justizvollzug - Konzept und Erfahrungen. In: Beutner M, Kremer H-H, Zoyke A, eds.
    <i>bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, Workshop 16</i>. ;
    2011:1-26.'
  apa: Beutner, M., Kremer, H.-H., &#38; Wirth, W. (2011). Bildungsmaßnahmen zur Berufsorientierung
    im Justizvollzug - Konzept und Erfahrungen. In M. Beutner, H.-H. Kremer, &#38;
    A. Zoyke (Eds.), <i>bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, Workshop
    16</i> (pp. 1–26).
  bibtex: '@inbook{Beutner_Kremer_Wirth_2011, title={Bildungsmaßnahmen zur Berufsorientierung
    im Justizvollzug - Konzept und Erfahrungen}, booktitle={bwp@ Spezial 5 - Hochschultage
    Berufliche Bildung 2011, Workshop 16}, author={Beutner, Marc and Kremer, H.-Hugo
    and Wirth, W.}, editor={Beutner, M. and Kremer, H.-H. and Zoyke, A.Editors}, year={2011},
    pages={1–26} }'
  chicago: Beutner, Marc, H.-Hugo Kremer, and W. Wirth. “Bildungsmaßnahmen zur Berufsorientierung
    im Justizvollzug - Konzept und Erfahrungen.” In <i>bwp@ Spezial 5 - Hochschultage
    Berufliche Bildung 2011, Workshop 16</i>, edited by M. Beutner, H.-H. Kremer,
    and A. Zoyke, 1–26, 2011.
  ieee: M. Beutner, H.-H. Kremer, and W. Wirth, “Bildungsmaßnahmen zur Berufsorientierung
    im Justizvollzug - Konzept und Erfahrungen,” in <i>bwp@ Spezial 5 - Hochschultage
    Berufliche Bildung 2011, Workshop 16</i>, M. Beutner, H.-H. Kremer, and A. Zoyke,
    Eds. 2011, pp. 1–26.
  mla: Beutner, Marc, et al. “Bildungsmaßnahmen zur Berufsorientierung im Justizvollzug
    - Konzept und Erfahrungen.” <i>bwp@ Spezial 5 - Hochschultage Berufliche Bildung
    2011, Workshop 16</i>, edited by M. Beutner et al., 2011, pp. 1–26.
  short: 'M. Beutner, H.-H. Kremer, W. Wirth, in: M. Beutner, H.-H. Kremer, A. Zoyke
    (Eds.), bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, Workshop 16, 2011,
    pp. 1–26.'
date_created: 2019-01-02T11:26:27Z
date_updated: 2022-01-06T07:03:06Z
department:
- _id: '211'
editor:
- first_name: M.
  full_name: Beutner, M.
  last_name: Beutner
- first_name: H.-H.
  full_name: Kremer, H.-H.
  last_name: Kremer
- first_name: A.
  full_name: Zoyke, A.
  last_name: Zoyke
language:
- iso: ger
main_file_link:
- url: http://www.bwpat.de/ht2011/ws16/beutner_etal_ws16-ht2011.pdf
page: 1-26
publication: bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, Workshop 16
status: public
title: Bildungsmaßnahmen zur Berufsorientierung im Justizvollzug - Konzept und Erfahrungen
type: book_chapter
user_id: '74378'
year: '2011'
...
---
_id: '6467'
author:
- first_name: Marc
  full_name: Beutner, Marc
  id: '21118'
  last_name: Beutner
- first_name: H.-Hugo
  full_name: Kremer, H.-Hugo
  id: '15280'
  last_name: Kremer
- first_name: A.
  full_name: Zoyke, A.
  last_name: Zoyke
citation:
  ama: 'Beutner M, Kremer H-H, Zoyke A. Editorial zu Workshop 16: Individuelle Förderung
    - Konzepte und Erfahrungen zur Berufsorientierung im Übergang. In: Beutner M,
    Kremer H-H, Zoyke A, eds. <i>WS 16 Individuelle Förderung. Konzepte und Erfahrungen
    zur Berufsorientierung im Übergang. bwp@ Spezial 5 - Hochschultage Berufliche
    Bildung 2011</i>. ; 2011.'
  apa: 'Beutner, M., Kremer, H.-H., &#38; Zoyke, A. (2011). Editorial zu Workshop
    16: Individuelle Förderung - Konzepte und Erfahrungen zur Berufsorientierung im
    Übergang. In M. Beutner, H.-H. Kremer, &#38; A. Zoyke (Eds.), <i>WS 16 Individuelle
    Förderung. Konzepte und Erfahrungen zur Berufsorientierung im Übergang. bwp@ Spezial
    5 - Hochschultage Berufliche Bildung 2011</i>.'
  bibtex: '@inbook{Beutner_Kremer_Zoyke_2011, title={Editorial zu Workshop 16: Individuelle
    Förderung - Konzepte und Erfahrungen zur Berufsorientierung im Übergang}, booktitle={WS
    16 Individuelle Förderung. Konzepte und Erfahrungen zur Berufsorientierung im
    Übergang. bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011}, author={Beutner,
    Marc and Kremer, H.-Hugo and Zoyke, A.}, editor={Beutner, M. and Kremer, H.-H.
    and Zoyke, A.Editors}, year={2011} }'
  chicago: 'Beutner, Marc, H.-Hugo Kremer, and A. Zoyke. “Editorial zu Workshop 16:
    Individuelle Förderung - Konzepte und Erfahrungen zur Berufsorientierung im Übergang.”
    In <i>WS 16 Individuelle Förderung. Konzepte und Erfahrungen zur Berufsorientierung
    im Übergang. bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011</i>, edited
    by M. Beutner, H.-H. Kremer, and A. Zoyke, 2011.'
  ieee: 'M. Beutner, H.-H. Kremer, and A. Zoyke, “Editorial zu Workshop 16: Individuelle
    Förderung - Konzepte und Erfahrungen zur Berufsorientierung im Übergang,” in <i>WS
    16 Individuelle Förderung. Konzepte und Erfahrungen zur Berufsorientierung im
    Übergang. bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011</i>, M. Beutner,
    H.-H. Kremer, and A. Zoyke, Eds. 2011.'
  mla: 'Beutner, Marc, et al. “Editorial zu Workshop 16: Individuelle Förderung -
    Konzepte und Erfahrungen zur Berufsorientierung im Übergang.” <i>WS 16 Individuelle
    Förderung. Konzepte und Erfahrungen zur Berufsorientierung im Übergang. bwp@ Spezial
    5 - Hochschultage Berufliche Bildung 2011</i>, edited by M. Beutner et al., 2011.'
  short: 'M. Beutner, H.-H. Kremer, A. Zoyke, in: M. Beutner, H.-H. Kremer, A. Zoyke
    (Eds.), WS 16 Individuelle Förderung. Konzepte und Erfahrungen zur Berufsorientierung
    im Übergang. bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, 2011.'
date_created: 2019-01-02T11:35:01Z
date_updated: 2022-01-06T07:03:06Z
department:
- _id: '211'
editor:
- first_name: M.
  full_name: Beutner, M.
  last_name: Beutner
- first_name: H.-H.
  full_name: Kremer, H.-H.
  last_name: Kremer
- first_name: A.
  full_name: Zoyke, A.
  last_name: Zoyke
language:
- iso: ger
main_file_link:
- url: https://www.bwpat.de/ht2011/ws16/editorial_ws16-ht2011.pdf
publication: WS 16 Individuelle Förderung. Konzepte und Erfahrungen zur Berufsorientierung
  im Übergang. bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011
status: public
title: 'Editorial zu Workshop 16: Individuelle Förderung - Konzepte und Erfahrungen
  zur Berufsorientierung im Übergang'
type: book_chapter
user_id: '74378'
year: '2011'
...
---
_id: '6468'
author:
- first_name: H.-Hugo
  full_name: Kremer, H.-Hugo
  id: '15280'
  last_name: Kremer
citation:
  ama: 'Kremer H-H. Praxisphasen und Professionalisierung in der Lehrerbildung - Überlegungen
    zur Gestaltung des Praxissemesters . In: Prieß W, ed. <i>Wirtschaftspädagogik
    zwischen Erkenntnis und Erfahrung - strukturelle Einsichten zur Gestaltung von
    Prozessen</i>. Norderstedt; 2011:327-349.'
  apa: Kremer, H.-H. (2011). Praxisphasen und Professionalisierung in der Lehrerbildung
    - Überlegungen zur Gestaltung des Praxissemesters . In W. Prieß (Ed.), <i>Wirtschaftspädagogik
    zwischen Erkenntnis und Erfahrung - strukturelle Einsichten zur Gestaltung von
    Prozessen</i> (pp. 327–349). Norderstedt.
  bibtex: '@inbook{Kremer_2011, place={Norderstedt}, title={Praxisphasen und Professionalisierung
    in der Lehrerbildung - Überlegungen zur Gestaltung des Praxissemesters }, booktitle={Wirtschaftspädagogik
    zwischen Erkenntnis und Erfahrung - strukturelle Einsichten zur Gestaltung von
    Prozessen}, author={Kremer, H.-Hugo}, editor={Prieß, W.Editor}, year={2011}, pages={327–349}
    }'
  chicago: Kremer, H.-Hugo. “Praxisphasen und Professionalisierung in der Lehrerbildung
    - Überlegungen zur Gestaltung des Praxissemesters .” In <i>Wirtschaftspädagogik
    zwischen Erkenntnis und Erfahrung - strukturelle Einsichten zur Gestaltung von
    Prozessen</i>, edited by W. Prieß, 327–49. Norderstedt, 2011.
  ieee: H.-H. Kremer, “Praxisphasen und Professionalisierung in der Lehrerbildung
    - Überlegungen zur Gestaltung des Praxissemesters ,” in <i>Wirtschaftspädagogik
    zwischen Erkenntnis und Erfahrung - strukturelle Einsichten zur Gestaltung von
    Prozessen</i>, W. Prieß, Ed. Norderstedt, 2011, pp. 327–349.
  mla: Kremer, H. Hugo. “Praxisphasen und Professionalisierung in der Lehrerbildung
    - Überlegungen zur Gestaltung des Praxissemesters .” <i>Wirtschaftspädagogik zwischen
    Erkenntnis und Erfahrung - strukturelle Einsichten zur Gestaltung von Prozessen</i>,
    edited by W. Prieß, 2011, pp. 327–49.
  short: 'H.-H. Kremer, in: W. Prieß (Ed.), Wirtschaftspädagogik zwischen Erkenntnis
    und Erfahrung - strukturelle Einsichten zur Gestaltung von Prozessen, Norderstedt,
    2011, pp. 327–349.'
date_created: 2019-01-02T11:40:03Z
date_updated: 2022-01-06T07:03:06Z
department:
- _id: '211'
editor:
- first_name: W.
  full_name: Prieß, W.
  last_name: Prieß
language:
- iso: ger
page: 327-349
place: Norderstedt
publication: Wirtschaftspädagogik zwischen Erkenntnis und Erfahrung - strukturelle
  Einsichten zur Gestaltung von Prozessen
status: public
title: 'Praxisphasen und Professionalisierung in der Lehrerbildung - Überlegungen
  zur Gestaltung des Praxissemesters '
type: book_chapter
user_id: '74378'
year: '2011'
...
---
_id: '6469'
author:
- first_name: H.
  full_name: Ertl, H.
  last_name: Ertl
- first_name: H.-Hugo
  full_name: Kremer, H.-Hugo
  id: '15280'
  last_name: Kremer
citation:
  ama: Ertl H, Kremer H-H. Innovationen in berufsbildenden Kontexten - eine explorative
    Studie an berufsbildenden Schulen. <i>Wirtschaft und Erziehung</i>. 2011.
  apa: Ertl, H., &#38; Kremer, H.-H. (2011). Innovationen in berufsbildenden Kontexten
    - eine explorative Studie an berufsbildenden Schulen. <i>Wirtschaft und Erziehung</i>.
  bibtex: '@article{Ertl_Kremer_2011, title={Innovationen in berufsbildenden Kontexten
    - eine explorative Studie an berufsbildenden Schulen}, journal={Wirtschaft und
    Erziehung}, author={Ertl, H. and Kremer, H.-Hugo}, year={2011} }'
  chicago: Ertl, H., and H.-Hugo Kremer. “Innovationen in berufsbildenden Kontexten
    - eine explorative Studie an berufsbildenden Schulen.” <i>Wirtschaft und Erziehung</i>,
    2011.
  ieee: H. Ertl and H.-H. Kremer, “Innovationen in berufsbildenden Kontexten - eine
    explorative Studie an berufsbildenden Schulen,” <i>Wirtschaft und Erziehung</i>,
    2011.
  mla: Ertl, H., and H. Hugo Kremer. “Innovationen in berufsbildenden Kontexten -
    eine explorative Studie an berufsbildenden Schulen.” <i>Wirtschaft und Erziehung</i>,
    2011.
  short: H. Ertl, H.-H. Kremer, Wirtschaft und Erziehung (2011).
date_created: 2019-01-02T11:42:53Z
date_updated: 2022-01-06T07:03:06Z
department:
- _id: '211'
language:
- iso: ger
publication: Wirtschaft und Erziehung
status: public
title: Innovationen in berufsbildenden Kontexten - eine explorative Studie an berufsbildenden
  Schulen
type: journal_article
user_id: '74378'
year: '2011'
...
---
_id: '647'
author:
- first_name: Michael
  full_name: Leuschel, Michael
  last_name: Leuschel
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: Leuschel M, Wehrheim H. Selected papers on Integrated Formal Methods (iFM09).
    <i>Science of Computer Programming</i>. 2011;(10):835--836. doi:<a href="https://doi.org/10.1016/j.scico.2011.01.009">10.1016/j.scico.2011.01.009</a>
  apa: Leuschel, M., &#38; Wehrheim, H. (2011). Selected papers on Integrated Formal
    Methods (iFM09). <i>Science of Computer Programming</i>, (10), 835--836. <a href="https://doi.org/10.1016/j.scico.2011.01.009">https://doi.org/10.1016/j.scico.2011.01.009</a>
  bibtex: '@article{Leuschel_Wehrheim_2011, title={Selected papers on Integrated Formal
    Methods (iFM09)}, DOI={<a href="https://doi.org/10.1016/j.scico.2011.01.009">10.1016/j.scico.2011.01.009</a>},
    number={10}, journal={Science of Computer Programming}, publisher={Elsevier},
    author={Leuschel, Michael and Wehrheim, Heike}, year={2011}, pages={835--836}
    }'
  chicago: 'Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated
    Formal Methods (IFM09).” <i>Science of Computer Programming</i>, no. 10 (2011):
    835--836. <a href="https://doi.org/10.1016/j.scico.2011.01.009">https://doi.org/10.1016/j.scico.2011.01.009</a>.'
  ieee: M. Leuschel and H. Wehrheim, “Selected papers on Integrated Formal Methods
    (iFM09),” <i>Science of Computer Programming</i>, no. 10, pp. 835--836, 2011.
  mla: Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal
    Methods (IFM09).” <i>Science of Computer Programming</i>, no. 10, Elsevier, 2011,
    pp. 835--836, doi:<a href="https://doi.org/10.1016/j.scico.2011.01.009">10.1016/j.scico.2011.01.009</a>.
  short: M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.
date_created: 2017-10-17T12:42:58Z
date_updated: 2022-01-06T07:03:06Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1016/j.scico.2011.01.009
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-14T13:56:48Z
  date_updated: 2018-03-14T13:56:48Z
  file_id: '1226'
  file_name: 647-LeuschelWehrheim.pdf
  file_size: 139105
  relation: main_file
  success: 1
file_date_updated: 2018-03-14T13:56:48Z
has_accepted_license: '1'
issue: '10'
language:
- iso: eng
page: 835--836
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '12'
  name: SFB 901 - Subproject B4
- _id: '3'
  name: SFB 901 - Project Area B
publication: Science of Computer Programming
publisher: Elsevier
status: public
title: Selected papers on Integrated Formal Methods (iFM09)
type: journal_article
user_id: '477'
year: '2011'
...
---
_id: '6470'
author:
- first_name: H.-Hugo
  full_name: Kremer, H.-Hugo
  id: '15280'
  last_name: Kremer
citation:
  ama: 'Kremer H-H. Berufsorientierung als Herausforderung für berufsbildende Schulen!
    In: Rützel J, Zöller A, eds. <i>bwp@ Sepzial 5 - Hochschultage Berufliche Bildung
    2011, Workshop 02</i>. ; 2011:1-12.'
  apa: Kremer, H.-H. (2011). Berufsorientierung als Herausforderung für berufsbildende
    Schulen! In J. Rützel &#38; A. Zöller (Eds.), <i>bwp@ Sepzial 5 - Hochschultage
    Berufliche Bildung 2011, Workshop 02</i> (pp. 1–12).
  bibtex: '@inbook{Kremer_2011, title={Berufsorientierung als Herausforderung für
    berufsbildende Schulen!}, booktitle={bwp@ Sepzial 5 - Hochschultage Berufliche
    Bildung 2011, Workshop 02}, author={Kremer, H.-Hugo}, editor={Rützel, J. and Zöller,
    A.Editors}, year={2011}, pages={1–12} }'
  chicago: Kremer, H.-Hugo. “Berufsorientierung als Herausforderung für berufsbildende
    Schulen!” In <i>bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Workshop
    02</i>, edited by J. Rützel and A. Zöller, 1–12, 2011.
  ieee: H.-H. Kremer, “Berufsorientierung als Herausforderung für berufsbildende Schulen!,”
    in <i>bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Workshop 02</i>,
    J. Rützel and A. Zöller, Eds. 2011, pp. 1–12.
  mla: Kremer, H. Hugo. “Berufsorientierung als Herausforderung für berufsbildende
    Schulen!” <i>bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Workshop
    02</i>, edited by J. Rützel and A. Zöller, 2011, pp. 1–12.
  short: 'H.-H. Kremer, in: J. Rützel, A. Zöller (Eds.), bwp@ Sepzial 5 - Hochschultage
    Berufliche Bildung 2011, Workshop 02, 2011, pp. 1–12.'
date_created: 2019-01-02T11:54:38Z
date_updated: 2022-01-06T07:03:06Z
department:
- _id: '211'
editor:
- first_name: J.
  full_name: Rützel, J.
  last_name: Rützel
- first_name: A.
  full_name: Zöller, A.
  last_name: Zöller
language:
- iso: ger
main_file_link:
- url: https://www.bwpat.de/ht2011/ws02/kremer_ws02-ht2011.pdf
page: 1-12
publication: bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Workshop 02
status: public
title: Berufsorientierung als Herausforderung für berufsbildende Schulen!
type: book_chapter
user_id: '74378'
year: '2011'
...
---
_id: '6471'
author:
- first_name: T.
  full_name: Tramm, T.
  last_name: Tramm
- first_name: H.-Hugo
  full_name: Kremer, H.-Hugo
  id: '15280'
  last_name: Kremer
citation:
  ama: 'Tramm T, Kremer H-H. Zwischenbilanz des Lernfeldkonzepts - erfolgreiche Neuorientierung
    oder Irrweg. In: Bals T, Hinrichs H, Ebbinghaus M, Tenberg R, eds. <i>Übergänge
    in der Berufsbildung nachhaltig gestalten: Potentiale erkennen - Chancen nutzen</i>.
    Paderborn; 2011.'
  apa: 'Tramm, T., &#38; Kremer, H.-H. (2011). Zwischenbilanz des Lernfeldkonzepts
    - erfolgreiche Neuorientierung oder Irrweg. In T. Bals, H. Hinrichs, M. Ebbinghaus,
    &#38; R. Tenberg (Eds.), <i>Übergänge in der Berufsbildung nachhaltig gestalten:
    Potentiale erkennen - Chancen nutzen</i>. Paderborn.'
  bibtex: '@inbook{Tramm_Kremer_2011, place={Paderborn}, title={Zwischenbilanz des
    Lernfeldkonzepts - erfolgreiche Neuorientierung oder Irrweg}, booktitle={Übergänge
    in der Berufsbildung nachhaltig gestalten: Potentiale erkennen - Chancen nutzen},
    author={Tramm, T. and Kremer, H.-Hugo}, editor={Bals, T. and Hinrichs, H. and
    Ebbinghaus, M. and Tenberg, R.Editors}, year={2011} }'
  chicago: 'Tramm, T., and H.-Hugo Kremer. “Zwischenbilanz des Lernfeldkonzepts -
    erfolgreiche Neuorientierung oder Irrweg.” In <i>Übergänge in der Berufsbildung
    nachhaltig gestalten: Potentiale erkennen - Chancen nutzen</i>, edited by T. Bals,
    H. Hinrichs, M. Ebbinghaus, and R. Tenberg. Paderborn, 2011.'
  ieee: 'T. Tramm and H.-H. Kremer, “Zwischenbilanz des Lernfeldkonzepts - erfolgreiche
    Neuorientierung oder Irrweg,” in <i>Übergänge in der Berufsbildung nachhaltig
    gestalten: Potentiale erkennen - Chancen nutzen</i>, T. Bals, H. Hinrichs, M.
    Ebbinghaus, and R. Tenberg, Eds. Paderborn, 2011.'
  mla: 'Tramm, T., and H. Hugo Kremer. “Zwischenbilanz des Lernfeldkonzepts - erfolgreiche
    Neuorientierung oder Irrweg.” <i>Übergänge in der Berufsbildung nachhaltig gestalten:
    Potentiale erkennen - Chancen nutzen</i>, edited by T. Bals et al., 2011.'
  short: 'T. Tramm, H.-H. Kremer, in: T. Bals, H. Hinrichs, M. Ebbinghaus, R. Tenberg
    (Eds.), Übergänge in der Berufsbildung nachhaltig gestalten: Potentiale erkennen
    - Chancen nutzen, Paderborn, 2011.'
date_created: 2019-01-02T11:57:56Z
date_updated: 2022-01-06T07:03:06Z
department:
- _id: '211'
editor:
- first_name: T.
  full_name: Bals, T.
  last_name: Bals
- first_name: H.
  full_name: Hinrichs, H.
  last_name: Hinrichs
- first_name: M.
  full_name: Ebbinghaus, M.
  last_name: Ebbinghaus
- first_name: R.
  full_name: Tenberg, R.
  last_name: Tenberg
language:
- iso: ger
place: Paderborn
publication: 'Übergänge in der Berufsbildung nachhaltig gestalten: Potentiale erkennen
  - Chancen nutzen'
status: public
title: Zwischenbilanz des Lernfeldkonzepts - erfolgreiche Neuorientierung oder Irrweg
type: book_chapter
user_id: '74378'
year: '2011'
...
---
_id: '6472'
author:
- first_name: H.-Hugo
  full_name: Kremer, H.-Hugo
  id: '15280'
  last_name: Kremer
- first_name: T.
  full_name: Tramm, T.
  last_name: Tramm
citation:
  ama: 'Kremer H-H, Tramm T. Editorial Fachtagung Wirtschaft und Verwaltung: Zwischenbilanz
    des Lernfeldkonzepts - erfolgreiche Neuorientierung oder Irrweg. In: Kremer H-H,
    Tramm T, eds. <i>bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Fachtagung
    19</i>. ; 2011:1-13.'
  apa: 'Kremer, H.-H., &#38; Tramm, T. (2011). Editorial Fachtagung Wirtschaft und
    Verwaltung: Zwischenbilanz des Lernfeldkonzepts - erfolgreiche Neuorientierung
    oder Irrweg. In H.-H. Kremer &#38; T. Tramm (Eds.), <i>bwp@ Sepzial 5 - Hochschultage
    Berufliche Bildung 2011, Fachtagung 19</i> (pp. 1–13).'
  bibtex: '@inbook{Kremer_Tramm_2011, title={Editorial Fachtagung Wirtschaft und Verwaltung:
    Zwischenbilanz des Lernfeldkonzepts - erfolgreiche Neuorientierung oder Irrweg},
    booktitle={bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Fachtagung
    19}, author={Kremer, H.-Hugo and Tramm, T.}, editor={Kremer, H.-H. and Tramm,
    T.Editors}, year={2011}, pages={1–13} }'
  chicago: 'Kremer, H.-Hugo, and T. Tramm. “Editorial Fachtagung Wirtschaft und Verwaltung:
    Zwischenbilanz des Lernfeldkonzepts - erfolgreiche Neuorientierung oder Irrweg.”
    In <i>bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Fachtagung 19</i>,
    edited by H.-H. Kremer and T. Tramm, 1–13, 2011.'
  ieee: 'H.-H. Kremer and T. Tramm, “Editorial Fachtagung Wirtschaft und Verwaltung:
    Zwischenbilanz des Lernfeldkonzepts - erfolgreiche Neuorientierung oder Irrweg,”
    in <i>bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Fachtagung 19</i>,
    H.-H. Kremer and T. Tramm, Eds. 2011, pp. 1–13.'
  mla: 'Kremer, H. Hugo, and T. Tramm. “Editorial Fachtagung Wirtschaft und Verwaltung:
    Zwischenbilanz des Lernfeldkonzepts - erfolgreiche Neuorientierung oder Irrweg.”
    <i>bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Fachtagung 19</i>,
    edited by H.-H. Kremer and T. Tramm, 2011, pp. 1–13.'
  short: 'H.-H. Kremer, T. Tramm, in: H.-H. Kremer, T. Tramm (Eds.), bwp@ Sepzial
    5 - Hochschultage Berufliche Bildung 2011, Fachtagung 19, 2011, pp. 1–13.'
date_created: 2019-01-02T12:05:02Z
date_updated: 2022-01-06T07:03:06Z
department:
- _id: '211'
editor:
- first_name: H.-H.
  full_name: Kremer, H.-H.
  last_name: Kremer
- first_name: T.
  full_name: Tramm, T.
  last_name: Tramm
language:
- iso: ger
main_file_link:
- url: https://www.bwpat.de/ht2011/ft19/editorial_ft19-ht2011.pdf
page: 1-13
publication: bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Fachtagung 19
status: public
title: 'Editorial Fachtagung Wirtschaft und Verwaltung: Zwischenbilanz des Lernfeldkonzepts
  - erfolgreiche Neuorientierung oder Irrweg'
type: book_chapter
user_id: '74378'
year: '2011'
...
---
_id: '6473'
author:
- first_name: H.-Hugo
  full_name: Kremer, H.-Hugo
  id: '15280'
  last_name: Kremer
- first_name: D.
  full_name: Sandmann, D.
  last_name: Sandmann
citation:
  ama: 'Kremer H-H, Sandmann D. Kooperationsvorhaben ‚berufliches Gymnasium‘ und Bachelor
    Wirtschaftswissenschaften. Ein Paderborner Modellprojekt zur Berufs- und Studienorientierung.
    In: Gerholz K-H, Sloane PFE, eds. <i>bwp@ Spezial 5 - Hochschultage Berufliche
    Bildung 2011, Workshop 29</i>. ; 2011:1-18.'
  apa: Kremer, H.-H., &#38; Sandmann, D. (2011). Kooperationsvorhaben ‚berufliches
    Gymnasium‘ und Bachelor Wirtschaftswissenschaften. Ein Paderborner Modellprojekt
    zur Berufs- und Studienorientierung. In K.-H. Gerholz &#38; P. F. E. Sloane (Eds.),
    <i>bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, Workshop 29</i> (pp.
    1–18).
  bibtex: '@inbook{Kremer_Sandmann_2011, title={Kooperationsvorhaben ‚berufliches
    Gymnasium‘ und Bachelor Wirtschaftswissenschaften. Ein Paderborner Modellprojekt
    zur Berufs- und Studienorientierung}, booktitle={bwp@ Spezial 5 - Hochschultage
    Berufliche Bildung 2011, Workshop 29}, author={Kremer, H.-Hugo and Sandmann, D.},
    editor={Gerholz, K.-H. and Sloane, P. F. E. Editors}, year={2011}, pages={1–18}
    }'
  chicago: Kremer, H.-Hugo, and D. Sandmann. “Kooperationsvorhaben ‚berufliches Gymnasium‘
    und Bachelor Wirtschaftswissenschaften. Ein Paderborner Modellprojekt zur Berufs-
    und Studienorientierung.” In <i>bwp@ Spezial 5 - Hochschultage Berufliche Bildung
    2011, Workshop 29</i>, edited by K.-H. Gerholz and P. F. E.  Sloane, 1–18, 2011.
  ieee: H.-H. Kremer and D. Sandmann, “Kooperationsvorhaben ‚berufliches Gymnasium‘
    und Bachelor Wirtschaftswissenschaften. Ein Paderborner Modellprojekt zur Berufs-
    und Studienorientierung,” in <i>bwp@ Spezial 5 - Hochschultage Berufliche Bildung
    2011, Workshop 29</i>, K.-H. Gerholz and P. F. E. Sloane, Eds. 2011, pp. 1–18.
  mla: Kremer, H. Hugo, and D. Sandmann. “Kooperationsvorhaben ‚berufliches Gymnasium‘
    und Bachelor Wirtschaftswissenschaften. Ein Paderborner Modellprojekt zur Berufs-
    und Studienorientierung.” <i>bwp@ Spezial 5 - Hochschultage Berufliche Bildung
    2011, Workshop 29</i>, edited by K.-H. Gerholz and P. F. E.  Sloane, 2011, pp.
    1–18.
  short: 'H.-H. Kremer, D. Sandmann, in: K.-H. Gerholz, P.F.E. Sloane (Eds.), bwp@
    Spezial 5 - Hochschultage Berufliche Bildung 2011, Workshop 29, 2011, pp. 1–18.'
date_created: 2019-01-02T12:10:46Z
date_updated: 2022-01-06T07:03:06Z
department:
- _id: '211'
editor:
- first_name: K.-H.
  full_name: Gerholz, K.-H.
  last_name: Gerholz
- first_name: 'P. F. E. '
  full_name: 'Sloane, P. F. E. '
  last_name: Sloane
language:
- iso: ger
main_file_link:
- url: https://www.bwpat.de/ht2011/ws29/kremer_sandmann_ws29-ht2011.pdf
page: 1-18
publication: bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, Workshop 29
status: public
title: Kooperationsvorhaben ‚berufliches Gymnasium‘ und Bachelor Wirtschaftswissenschaften.
  Ein Paderborner Modellprojekt zur Berufs- und Studienorientierung
type: book_chapter
user_id: '74378'
year: '2011'
...
---
_id: '6474'
author:
- first_name: K.
  full_name: Büchter, K.
  last_name: Büchter
- first_name: F.
  full_name: Gramlinger, F.
  last_name: Gramlinger
- first_name: H.-Hugo
  full_name: Kremer, H.-Hugo
  id: '15280'
  last_name: Kremer
- first_name: R.
  full_name: Tenberg , R.
  last_name: 'Tenberg '
- first_name: T.
  full_name: Tramm, T.
  last_name: Tramm
citation:
  ama: 'Büchter K, Gramlinger F, Kremer H-H, Tenberg  R, Tramm T. bwp@ Berufs- und
    Wirtschaftspädagogik - online 2011-2011: Verortung, Selbstverständnis und Entwicklung.
    <i>bwp@ Berufs- und Wirtschaftspädagogik - online, Jubiläumsausgabe</i>. 2011:1-11.'
  apa: 'Büchter, K., Gramlinger, F., Kremer, H.-H., Tenberg , R., &#38; Tramm, T.
    (2011). bwp@ Berufs- und Wirtschaftspädagogik - online 2011-2011: Verortung, Selbstverständnis
    und Entwicklung. <i>bwp@ Berufs- und Wirtschaftspädagogik - online, Jubiläumsausgabe</i>,
    1–11.'
  bibtex: '@article{Büchter_Gramlinger_Kremer_Tenberg _Tramm_2011, title={bwp@ Berufs-
    und Wirtschaftspädagogik - online 2011-2011: Verortung, Selbstverständnis und
    Entwicklung}, journal={bwp@ Berufs- und Wirtschaftspädagogik - online, Jubiläumsausgabe},
    author={Büchter, K. and Gramlinger, F. and Kremer, H.-Hugo and Tenberg , R. and
    Tramm, T.}, year={2011}, pages={1–11} }'
  chicago: 'Büchter, K., F. Gramlinger, H.-Hugo Kremer, R. Tenberg , and T. Tramm.
    “bwp@ Berufs- und Wirtschaftspädagogik - online 2011-2011: Verortung, Selbstverständnis
    und Entwicklung.” <i>bwp@ Berufs- und Wirtschaftspädagogik - online, Jubiläumsausgabe</i>,
    2011, 1–11.'
  ieee: 'K. Büchter, F. Gramlinger, H.-H. Kremer, R. Tenberg , and T. Tramm, “bwp@
    Berufs- und Wirtschaftspädagogik - online 2011-2011: Verortung, Selbstverständnis
    und Entwicklung,” <i>bwp@ Berufs- und Wirtschaftspädagogik - online, Jubiläumsausgabe</i>,
    pp. 1–11, 2011.'
  mla: 'Büchter, K., et al. “bwp@ Berufs- und Wirtschaftspädagogik - online 2011-2011:
    Verortung, Selbstverständnis und Entwicklung.” <i>bwp@ Berufs- und Wirtschaftspädagogik
    - online, Jubiläumsausgabe</i>, 2011, pp. 1–11.'
  short: K. Büchter, F. Gramlinger, H.-H. Kremer, R. Tenberg , T. Tramm, bwp@ Berufs-
    und Wirtschaftspädagogik - online, Jubiläumsausgabe (2011) 1–11.
date_created: 2019-01-02T12:24:11Z
date_updated: 2022-01-06T07:03:06Z
department:
- _id: '211'
language:
- iso: ger
main_file_link:
- url: https://www.bwpat.de/10jahre_bwpat/buechter_etal_10jahre-bwpat.pdf
page: 1-11
publication: bwp@ Berufs- und Wirtschaftspädagogik - online, Jubiläumsausgabe
status: public
title: 'bwp@ Berufs- und Wirtschaftspädagogik - online 2011-2011: Verortung, Selbstverständnis
  und Entwicklung'
type: journal_article
user_id: '74378'
year: '2011'
...
---
_id: '648'
author:
- first_name: Philipp
  full_name: Brandes, Philipp
  last_name: Brandes
citation:
  ama: Brandes P. <i>Robust Distributed Computation in Dynamic Networks</i>. Universität
    Paderborn; 2011.
  apa: Brandes, P. (2011). <i>Robust Distributed Computation in Dynamic Networks</i>.
    Universität Paderborn.
  bibtex: '@book{Brandes_2011, title={Robust Distributed Computation in Dynamic Networks},
    publisher={Universität Paderborn}, author={Brandes, Philipp}, year={2011} }'
  chicago: Brandes, Philipp. <i>Robust Distributed Computation in Dynamic Networks</i>.
    Universität Paderborn, 2011.
  ieee: P. Brandes, <i>Robust Distributed Computation in Dynamic Networks</i>. Universität
    Paderborn, 2011.
  mla: Brandes, Philipp. <i>Robust Distributed Computation in Dynamic Networks</i>.
    Universität Paderborn, 2011.
  short: P. Brandes, Robust Distributed Computation in Dynamic Networks, Universität
    Paderborn, 2011.
date_created: 2017-10-17T12:42:58Z
date_updated: 2022-01-06T07:03:06Z
department:
- _id: '79'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '5'
  name: SFB 901 - Subprojekt A1
- _id: '2'
  name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
title: Robust Distributed Computation in Dynamic Networks
type: mastersthesis
user_id: '477'
year: '2011'
...
---
_id: '649'
abstract:
- lang: eng
  text: 'Today, the concept of service oriented architectures provides a way of building
    integrated solutions out of existing services. To this end, services from different
    providers are composed using advanced orchestration and choreography techniques.
    However, while this principle allows for greater flexibility at a smaller cost,
    the use of third party services also includes a risk: Deployed services might
    not work as claimed by their providers. In this paper, we propose a technique
    for analyzing the expected reliability of service compositions based on ratings
    given by (previous) service users. Every service thereby comes with a reputation,
    and the analysis computes an overall reliability of a service composition from
    the reputations of its constituent services. The proposed model-driven approach
    proceeds by translating statechart models of service compositions into input for
    a probabilistic model checker (PRISM) using state-of-the-art model transformations
    techniques. The approach has been implemented as an Eclipse plug-in and is fully
    compliant with UML.'
author:
- first_name: Galina
  full_name: Besova, Galina
  last_name: Besova
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
- first_name: Annika
  full_name: Wagner, Annika
  last_name: Wagner
citation:
  ama: Besova G, Wehrheim H, Wagner A. Reputation-based Reliability Prediction of
    Service Compositions. <i>Electronic Notes in Theoretical Computer Science</i>.
    2011;(2):3-16. doi:<a href="https://doi.org/10.1016/j.entcs.2011.11.008">10.1016/j.entcs.2011.11.008</a>
  apa: Besova, G., Wehrheim, H., &#38; Wagner, A. (2011). Reputation-based Reliability
    Prediction of Service Compositions. <i>Electronic Notes in Theoretical Computer
    Science</i>, (2), 3–16. <a href="https://doi.org/10.1016/j.entcs.2011.11.008">https://doi.org/10.1016/j.entcs.2011.11.008</a>
  bibtex: '@article{Besova_Wehrheim_Wagner_2011, title={Reputation-based Reliability
    Prediction of Service Compositions}, DOI={<a href="https://doi.org/10.1016/j.entcs.2011.11.008">10.1016/j.entcs.2011.11.008</a>},
    number={2}, journal={Electronic Notes in Theoretical Computer Science}, publisher={Elsevier},
    author={Besova, Galina and Wehrheim, Heike and Wagner, Annika}, year={2011}, pages={3–16}
    }'
  chicago: 'Besova, Galina, Heike Wehrheim, and Annika Wagner. “Reputation-Based Reliability
    Prediction of Service Compositions.” <i>Electronic Notes in Theoretical Computer
    Science</i>, no. 2 (2011): 3–16. <a href="https://doi.org/10.1016/j.entcs.2011.11.008">https://doi.org/10.1016/j.entcs.2011.11.008</a>.'
  ieee: G. Besova, H. Wehrheim, and A. Wagner, “Reputation-based Reliability Prediction
    of Service Compositions,” <i>Electronic Notes in Theoretical Computer Science</i>,
    no. 2, pp. 3–16, 2011.
  mla: Besova, Galina, et al. “Reputation-Based Reliability Prediction of Service
    Compositions.” <i>Electronic Notes in Theoretical Computer Science</i>, no. 2,
    Elsevier, 2011, pp. 3–16, doi:<a href="https://doi.org/10.1016/j.entcs.2011.11.008">10.1016/j.entcs.2011.11.008</a>.
  short: G. Besova, H. Wehrheim, A. Wagner, Electronic Notes in Theoretical Computer
    Science (2011) 3–16.
date_created: 2017-10-17T12:42:58Z
date_updated: 2022-01-06T07:03:07Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1016/j.entcs.2011.11.008
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-14T13:55:38Z
  date_updated: 2018-03-14T13:55:38Z
  file_id: '1225'
  file_name: 649-ETAPS2011-Besova-Wehrheim-Wagner_01.pdf
  file_size: 534727
  relation: main_file
  success: 1
file_date_updated: 2018-03-14T13:55:38Z
has_accepted_license: '1'
issue: '2'
language:
- iso: eng
page: 3-16
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publication: Electronic Notes in Theoretical Computer Science
publisher: Elsevier
status: public
title: Reputation-based Reliability Prediction of Service Compositions
type: journal_article
user_id: '477'
year: '2011'
...
---
_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: '651'
author:
- first_name: Nadja
  full_name: Stroh-Maraun, Nadja
  id: '13264'
  last_name: Stroh-Maraun
citation:
  ama: Stroh-Maraun N. <i>Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme</i>.
    Universität Paderborn; 2011.
  apa: Stroh-Maraun, N. (2011). <i>Prozedurale Ansätze zur Lösung mehrdimensionaler
    Verhandlungsprobleme</i>. Universität Paderborn.
  bibtex: '@book{Stroh-Maraun_2011, title={Prozedurale Ansätze zur Lösung mehrdimensionaler
    Verhandlungsprobleme}, publisher={Universität Paderborn}, author={Stroh-Maraun,
    Nadja}, year={2011} }'
  chicago: Stroh-Maraun, Nadja. <i>Prozedurale Ansätze zur Lösung mehrdimensionaler
    Verhandlungsprobleme</i>. Universität Paderborn, 2011.
  ieee: N. Stroh-Maraun, <i>Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme</i>.
    Universität Paderborn, 2011.
  mla: Stroh-Maraun, Nadja. <i>Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme</i>.
    Universität Paderborn, 2011.
  short: N. Stroh-Maraun, Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme,
    Universität Paderborn, 2011.
date_created: 2017-10-17T12:42:58Z
date_updated: 2022-01-06T07:03:08Z
department:
- _id: '205'
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '7'
  name: SFB 901 - Subprojekt A3
- _id: '2'
  name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Claus-Jochen
  full_name: Haake, Claus-Jochen
  id: '20801'
  last_name: Haake
title: Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme
type: bachelorsthesis
user_id: '13264'
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: '654'
abstract:
- lang: eng
  text: Research on peer-to-peer (p2p) and distributed systems needs evaluation tools
    to predict and observe the behavior of protocols and mechanisms in large scale
    networks. PeerfactSim.KOM is a simulator for large scale distributed/p2p systems
    aiming at the evaluation of interdependencies in multi-layered p2p systems. The
    simulator is written in Java, is event-based and mainly used in p2p research projects.
    The main development of PeerfactSim.KOM started in 2005 and is driven since 2006
    by the project “QuaP2P”,which aims at the systematic improvement and benchmarking
    of p2p systems. Further users of the simulator are working in the project “On-the-ﬂy
    Computing” aiming at researching p2p-based service oriented architectures. Both
    projects state severe requirements on the evaluation of multi-layered and large-scale
    distributed systems. We describe the architecture of PeerfactSim.KOM supporting
    these requirements in Section II, present the workﬂow, selected experiences and
    lessons learned in Section III and conclude the overview in Section IV.
author:
- first_name: Kalman
  full_name: Graffi, Kalman
  last_name: Graffi
citation:
  ama: 'Graffi K. PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons
    Learned. In: <i>Proceedings of the IEEE International Conference on Peer-to-Peer
    Computing (IEEE PsP)</i>. ; 2011:154-155. doi:<a href="https://doi.org/10.1109/P2P.2011.6038673">10.1109/P2P.2011.6038673</a>'
  apa: 'Graffi, K. (2011). PeerfactSim.KOM: A PSP System Simulator - Experiences and
    Lessons Learned. In <i>Proceedings of the IEEE International Conference on Peer-to-Peer
    Computing (IEEE PsP)</i> (pp. 154–155). <a href="https://doi.org/10.1109/P2P.2011.6038673">https://doi.org/10.1109/P2P.2011.6038673</a>'
  bibtex: '@inproceedings{Graffi_2011, title={PeerfactSim.KOM: A PSP System Simulator
    - Experiences and Lessons Learned}, DOI={<a href="https://doi.org/10.1109/P2P.2011.6038673">10.1109/P2P.2011.6038673</a>},
    booktitle={Proceedings of the IEEE International Conference on Peer-to-Peer Computing
    (IEEE PsP)}, author={Graffi, Kalman}, year={2011}, pages={154–155} }'
  chicago: 'Graffi, Kalman. “PeerfactSim.KOM: A PSP System Simulator - Experiences
    and Lessons Learned.” In <i>Proceedings of the IEEE International Conference on
    Peer-to-Peer Computing (IEEE PsP)</i>, 154–55, 2011. <a href="https://doi.org/10.1109/P2P.2011.6038673">https://doi.org/10.1109/P2P.2011.6038673</a>.'
  ieee: 'K. Graffi, “PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons
    Learned,” in <i>Proceedings of the IEEE International Conference on Peer-to-Peer
    Computing (IEEE PsP)</i>, 2011, pp. 154–155.'
  mla: 'Graffi, Kalman. “PeerfactSim.KOM: A PSP System Simulator - Experiences and
    Lessons Learned.” <i>Proceedings of the IEEE International Conference on Peer-to-Peer
    Computing (IEEE PsP)</i>, 2011, pp. 154–55, doi:<a href="https://doi.org/10.1109/P2P.2011.6038673">10.1109/P2P.2011.6038673</a>.'
  short: 'K. Graffi, in: Proceedings of the IEEE International Conference on Peer-to-Peer
    Computing (IEEE PsP), 2011, pp. 154–155.'
date_created: 2017-10-17T12:42:59Z
date_updated: 2022-01-06T07:03:11Z
ddc:
- '040'
department:
- _id: '79'
doi: 10.1109/P2P.2011.6038673
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-14T13:50:18Z
  date_updated: 2018-03-14T13:50:18Z
  file_id: '1221'
  file_name: 654-IEEE.P2P.11._Kalman.Graffi_PeerfactSim-A.P2P.System.Simulator_01.pdf
  file_size: 327680
  relation: main_file
  success: 1
file_date_updated: 2018-03-14T13:50:18Z
has_accepted_license: '1'
language:
- iso: eng
page: 154-155
project:
- _id: '1'
  name: SFB 901
- _id: '5'
  name: SFB 901 - Subprojekt A1
- _id: '2'
  name: SFB 901 - Project Area A
publication: Proceedings of the IEEE International Conference on Peer-to-Peer Computing
  (IEEE PsP)
status: public
title: 'PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned'
type: conference
user_id: '477'
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'
...
