---
_id: '1820'
citation:
  ama: Scheideler C, Taghi Hajiaghayi M, eds. <i>Proceedings of the 29th ACM Symposium
    on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA,
    July 24-26, 2017</i>.; 2017. doi:<a href="https://doi.org/10.1145/3087556">10.1145/3087556</a>
  apa: Scheideler, C., &#38; Taghi Hajiaghayi, M. (Eds.). (2017). <i>Proceedings of
    the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017,
    Washington DC, USA, July 24-26, 2017</i>. <a href="https://doi.org/10.1145/3087556">https://doi.org/10.1145/3087556</a>
  bibtex: '@book{Scheideler_Taghi Hajiaghayi_2017, title={Proceedings of the 29th
    ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington
    DC, USA, July 24-26, 2017}, DOI={<a href="https://doi.org/10.1145/3087556">10.1145/3087556</a>},
    year={2017} }'
  chicago: Scheideler, Christian, and Mohammad Taghi Hajiaghayi, eds. <i>Proceedings
    of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA
    2017, Washington DC, USA, July 24-26, 2017</i>, 2017. <a href="https://doi.org/10.1145/3087556">https://doi.org/10.1145/3087556</a>.
  ieee: C. Scheideler and M. Taghi Hajiaghayi, Eds., <i>Proceedings of the 29th ACM
    Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington
    DC, USA, July 24-26, 2017</i>. 2017.
  mla: Scheideler, Christian, and Mohammad Taghi Hajiaghayi, editors. <i>Proceedings
    of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA
    2017, Washington DC, USA, July 24-26, 2017</i>. 2017, doi:<a href="https://doi.org/10.1145/3087556">10.1145/3087556</a>.
  short: C. Scheideler, M. Taghi Hajiaghayi, eds., Proceedings of the 29th ACM Symposium
    on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA,
    July 24-26, 2017, 2017.
date_created: 2018-03-27T11:29:10Z
date_updated: 2022-01-06T06:53:27Z
department:
- _id: '79'
doi: 10.1145/3087556
editor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
- first_name: Mohammad
  full_name: Taghi Hajiaghayi, Mohammad
  last_name: Taghi Hajiaghayi
publication_identifier:
  isbn:
  - 978-1-4503-4593-4
status: public
title: Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures,
  SPAA 2017, Washington DC, USA, July 24-26, 2017
type: conference_editor
user_id: '15504'
year: '2017'
...
---
_id: '22811'
author:
- first_name: Daniel
  full_name: Röltgen, Daniel
  last_name: Röltgen
- first_name: Fabio
  full_name: Wortmann, Fabio
  last_name: Wortmann
- 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, Wortmann F, Anacker H, Dumitrescu R. Identifikation von Potentialen
    für Augmented-Reality-basierte Produkt-Service-Systeme. In: Gausemeier J,  Heinz
    Nixdorf Institut, Paderborn, eds. <i>13. Symposium Für Vorausschau Und Technologieplanung,
    Band 374 , Berlin , 23. - 24. Nov. 2017</i>. Vol 374. ; 2017.'
  apa: Röltgen, D., Wortmann, F., Anacker, H., &#38; Dumitrescu, R. (2017). Identifikation
    von Potentialen für Augmented-Reality-basierte Produkt-Service-Systeme. In J.
    Gausemeier &#38;  Heinz Nixdorf Institut, Paderborn (Eds.), <i>13. Symposium für
    Vorausschau und Technologieplanung, Band 374 , Berlin , 23. - 24. Nov. 2017</i>
    (Vol. 374).
  bibtex: '@inproceedings{Röltgen_Wortmann_Anacker_Dumitrescu_2017, title={Identifikation
    von Potentialen für Augmented-Reality-basierte Produkt-Service-Systeme}, volume={374},
    booktitle={13. Symposium für Vorausschau und Technologieplanung, Band 374 , Berlin
    , 23. - 24. Nov. 2017}, author={Röltgen, Daniel and Wortmann, Fabio and Anacker,
    Harald and Dumitrescu, Roman}, editor={Gausemeier, Jürgen and  Heinz Nixdorf Institut,
    PaderbornEditors}, year={2017} }'
  chicago: Röltgen, Daniel, Fabio Wortmann, Harald Anacker, and Roman Dumitrescu.
    “Identifikation von Potentialen Für Augmented-Reality-Basierte Produkt-Service-Systeme.”
    In <i>13. Symposium Für Vorausschau Und Technologieplanung, Band 374 , Berlin
    , 23. - 24. Nov. 2017</i>, edited by Jürgen Gausemeier and  Heinz Nixdorf Institut,
    Paderborn, Vol. 374, 2017.
  ieee: D. Röltgen, F. Wortmann, H. Anacker, and R. Dumitrescu, “Identifikation von
    Potentialen für Augmented-Reality-basierte Produkt-Service-Systeme,” in <i>13.
    Symposium für Vorausschau und Technologieplanung, Band 374 , Berlin , 23. - 24.
    Nov. 2017</i>, 2017, vol. 374.
  mla: Röltgen, Daniel, et al. “Identifikation von Potentialen Für Augmented-Reality-Basierte
    Produkt-Service-Systeme.” <i>13. Symposium Für Vorausschau Und Technologieplanung,
    Band 374 , Berlin , 23. - 24. Nov. 2017</i>, edited by Jürgen Gausemeier and  Heinz
    Nixdorf Institut, Paderborn, vol. 374, 2017.
  short: 'D. Röltgen, F. Wortmann, H. Anacker, R. Dumitrescu, in: J. Gausemeier,  Heinz
    Nixdorf Institut, Paderborn (Eds.), 13. Symposium Für Vorausschau Und Technologieplanung,
    Band 374 , Berlin , 23. - 24. Nov. 2017, 2017.'
conference:
  end_date: 2017-11-24
  start_date: 2017-11-23
corporate_editor:
- ' Heinz Nixdorf Institut, Paderborn'
date_created: 2021-07-26T09:55:31Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
editor:
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
intvolume: '       374'
language:
- iso: eng
publication: 13. Symposium für Vorausschau und Technologieplanung, Band 374 , Berlin
  , 23. - 24. Nov. 2017
status: public
title: Identifikation von Potentialen für Augmented-Reality-basierte Produkt-Service-Systeme
type: conference
user_id: '21240'
volume: 374
year: '2017'
...
---
_id: '22813'
author:
- first_name: Alexander
  full_name: Albers, Alexander
  last_name: Albers
- 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: 'Albers A, Kühn A, Dumitrescu R. Modellbasierte Entscheidungsunterstützung
    in der Produktgenerationenplanung. In: <i>Proceedings of: Tag Des Systems Engineering
    (TdSE), 8. - 10. Nov. 2017</i>. ; 2017.'
  apa: 'Albers, A., Kühn, A., &#38; Dumitrescu, R. (2017). Modellbasierte Entscheidungsunterstützung
    in der Produktgenerationenplanung. In <i>Proceedings of: Tag des Systems Engineering
    (TdSE), 8. - 10. Nov. 2017</i>.'
  bibtex: '@inproceedings{Albers_Kühn_Dumitrescu_2017, title={Modellbasierte Entscheidungsunterstützung
    in der Produktgenerationenplanung}, booktitle={Proceedings of: Tag des Systems
    Engineering (TdSE), 8. - 10. Nov. 2017}, author={Albers, Alexander and Kühn, Arno
    and Dumitrescu, Roman}, year={2017} }'
  chicago: 'Albers, Alexander, Arno Kühn, and Roman Dumitrescu. “Modellbasierte Entscheidungsunterstützung
    in Der Produktgenerationenplanung.” In <i>Proceedings of: Tag Des Systems Engineering
    (TdSE), 8. - 10. Nov. 2017</i>, 2017.'
  ieee: 'A. Albers, A. Kühn, and R. Dumitrescu, “Modellbasierte Entscheidungsunterstützung
    in der Produktgenerationenplanung,” in <i>Proceedings of: Tag des Systems Engineering
    (TdSE), 8. - 10. Nov. 2017</i>, 2017.'
  mla: 'Albers, Alexander, et al. “Modellbasierte Entscheidungsunterstützung in Der
    Produktgenerationenplanung.” <i>Proceedings of: Tag Des Systems Engineering (TdSE),
    8. - 10. Nov. 2017</i>, 2017.'
  short: 'A. Albers, A. Kühn, R. Dumitrescu, in: Proceedings of: Tag Des Systems Engineering
    (TdSE), 8. - 10. Nov. 2017, 2017.'
date_created: 2021-07-26T12:35:49Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: eng
publication: 'Proceedings of: Tag des Systems Engineering (TdSE), 8. - 10. Nov. 2017'
status: public
title: Modellbasierte Entscheidungsunterstützung in der Produktgenerationenplanung
type: conference
user_id: '21240'
year: '2017'
...
---
_id: '22861'
author:
- first_name: Andre
  full_name: Lipsmeier, Andre
  last_name: Lipsmeier
- first_name: Thorsten
  full_name: Westermann, Thorsten
  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
citation:
  ama: 'Lipsmeier A, Westermann T, Anacker H, Dumitrescu R. Mechatronic Modularization
    of Intelligent Technical Systems. In: <i>21th International Conference on Engineering
    and Design (ICED17), 21. - 25. Aug. 2017</i>. ; 2017.'
  apa: Lipsmeier, A., Westermann, T., Anacker, H., &#38; Dumitrescu, R. (2017). Mechatronic
    Modularization of Intelligent Technical Systems. In <i>21th International Conference
    on Engineering and Design (ICED17), 21. - 25. Aug. 2017</i>.
  bibtex: '@inproceedings{Lipsmeier_Westermann_Anacker_Dumitrescu_2017, title={Mechatronic
    Modularization of Intelligent Technical Systems}, booktitle={21th International
    Conference on Engineering and Design (ICED17), 21. - 25. Aug. 2017}, author={Lipsmeier,
    Andre and Westermann, Thorsten and Anacker, Harald and Dumitrescu, Roman}, year={2017}
    }'
  chicago: Lipsmeier, Andre, Thorsten Westermann, Harald Anacker, and Roman Dumitrescu.
    “Mechatronic Modularization of Intelligent Technical Systems.” In <i>21th International
    Conference on Engineering and Design (ICED17), 21. - 25. Aug. 2017</i>, 2017.
  ieee: A. Lipsmeier, T. Westermann, H. Anacker, and R. Dumitrescu, “Mechatronic Modularization
    of Intelligent Technical Systems,” in <i>21th International Conference on Engineering
    and Design (ICED17), 21. - 25. Aug. 2017</i>, 2017.
  mla: Lipsmeier, Andre, et al. “Mechatronic Modularization of Intelligent Technical
    Systems.” <i>21th International Conference on Engineering and Design (ICED17),
    21. - 25. Aug. 2017</i>, 2017.
  short: 'A. Lipsmeier, T. Westermann, H. Anacker, R. Dumitrescu, in: 21th International
    Conference on Engineering and Design (ICED17), 21. - 25. Aug. 2017, 2017.'
date_created: 2021-07-28T08:56:18Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: eng
publication: 21th International Conference on Engineering and Design (ICED17), 21.
  - 25. Aug. 2017
status: public
title: Mechatronic Modularization of Intelligent Technical Systems
type: conference
user_id: '21240'
year: '2017'
...
---
_id: '22863'
author:
- first_name: Andre
  full_name: Lipsmeier, Andre
  last_name: Lipsmeier
- first_name: Harald
  full_name: Anacker, Harald
  last_name: Anacker
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
- first_name: Arno
  full_name: Kühn, Arno
  last_name: Kühn
citation:
  ama: 'Lipsmeier A, Anacker H, Dumitrescu R, Kühn A. Kundenorientierte Entwicklung
    von Intelligenten Technischen Systemen im Maschinenbau. In: <i>Stuttgarter Symposium
    Für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017</i>. ; 2017.'
  apa: Lipsmeier, A., Anacker, H., Dumitrescu, R., &#38; Kühn, A. (2017). Kundenorientierte
    Entwicklung von Intelligenten Technischen Systemen im Maschinenbau. In <i>Stuttgarter
    Symposium für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017</i>.
  bibtex: '@inproceedings{Lipsmeier_Anacker_Dumitrescu_Kühn_2017, title={Kundenorientierte
    Entwicklung von Intelligenten Technischen Systemen im Maschinenbau}, booktitle={Stuttgarter
    Symposium für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017}, author={Lipsmeier,
    Andre and Anacker, Harald and Dumitrescu, Roman and Kühn, Arno}, year={2017} }'
  chicago: Lipsmeier, Andre, Harald Anacker, Roman Dumitrescu, and Arno Kühn. “Kundenorientierte
    Entwicklung von Intelligenten Technischen Systemen Im Maschinenbau.” In <i>Stuttgarter
    Symposium Für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017</i>,
    2017.
  ieee: A. Lipsmeier, H. Anacker, R. Dumitrescu, and A. Kühn, “Kundenorientierte Entwicklung
    von Intelligenten Technischen Systemen im Maschinenbau,” in <i>Stuttgarter Symposium
    für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017</i>, 2017.
  mla: Lipsmeier, Andre, et al. “Kundenorientierte Entwicklung von Intelligenten Technischen
    Systemen Im Maschinenbau.” <i>Stuttgarter Symposium Für Produktentwicklung SSP
    2017, Stuttgart, 28. - 29. Jun. 2017</i>, 2017.
  short: 'A. Lipsmeier, H. Anacker, R. Dumitrescu, A. Kühn, in: Stuttgarter Symposium
    Für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017, 2017.'
date_created: 2021-07-28T08:58:37Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: eng
publication: Stuttgarter Symposium für Produktentwicklung SSP 2017, Stuttgart, 28.
  - 29. Jun. 2017
status: public
title: Kundenorientierte Entwicklung von Intelligenten Technischen Systemen im Maschinenbau
type: conference
user_id: '21240'
year: '2017'
...
---
_id: '22864'
author:
- first_name: Christian
  full_name: Fechtelpeter, Christian
  last_name: Fechtelpeter
- first_name: Arno
  full_name: Kühn, Arno
  last_name: Kühn
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
- first_name: Peter
  full_name: Ebbesmeyer, Peter
  last_name: Ebbesmeyer
citation:
  ama: 'Fechtelpeter C, Kühn A, Dumitrescu R, Ebbesmeyer P. Integrated technology
    transfer concept for fostering innovation in SMEs. In: Hörlesberger M, Hribernik
    B, eds. <i>Proceedings of the 26th International Association for Management of
    Technology Conference , 14. - 18. Mai 2017, IAMOT</i>. ; 2017.'
  apa: Fechtelpeter, C., Kühn, A., Dumitrescu, R., &#38; Ebbesmeyer, P. (2017). Integrated
    technology transfer concept for fostering innovation in SMEs. In M. Hörlesberger
    &#38; B. Hribernik (Eds.), <i>Proceedings of the 26th International Association
    for Management of Technology Conference , 14. - 18. Mai 2017, IAMOT</i>.
  bibtex: '@inproceedings{Fechtelpeter_Kühn_Dumitrescu_Ebbesmeyer_2017, title={Integrated
    technology transfer concept for fostering innovation in SMEs}, booktitle={Proceedings
    of the 26th International Association for Management of Technology Conference
    , 14. - 18. Mai 2017, IAMOT}, author={Fechtelpeter, Christian and Kühn, Arno and
    Dumitrescu, Roman and Ebbesmeyer, Peter}, editor={Hörlesberger, M. and Hribernik,
    B.Editors}, year={2017} }'
  chicago: Fechtelpeter, Christian, Arno Kühn, Roman Dumitrescu, and Peter Ebbesmeyer.
    “Integrated Technology Transfer Concept for Fostering Innovation in SMEs.” In
    <i>Proceedings of the 26th International Association for Management of Technology
    Conference , 14. - 18. Mai 2017, IAMOT</i>, edited by M. Hörlesberger and B. Hribernik,
    2017.
  ieee: C. Fechtelpeter, A. Kühn, R. Dumitrescu, and P. Ebbesmeyer, “Integrated technology
    transfer concept for fostering innovation in SMEs,” in <i>Proceedings of the 26th
    International Association for Management of Technology Conference , 14. - 18.
    Mai 2017, IAMOT</i>, 2017.
  mla: Fechtelpeter, Christian, et al. “Integrated Technology Transfer Concept for
    Fostering Innovation in SMEs.” <i>Proceedings of the 26th International Association
    for Management of Technology Conference , 14. - 18. Mai 2017, IAMOT</i>, edited
    by M. Hörlesberger and B. Hribernik, 2017.
  short: 'C. Fechtelpeter, A. Kühn, R. Dumitrescu, P. Ebbesmeyer, in: M. Hörlesberger,
    B. Hribernik (Eds.), Proceedings of the 26th International Association for Management
    of Technology Conference , 14. - 18. Mai 2017, IAMOT, 2017.'
date_created: 2021-07-28T09:03:05Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
editor:
- first_name: M.
  full_name: Hörlesberger, M.
  last_name: Hörlesberger
- first_name: B.
  full_name: Hribernik, B.
  last_name: Hribernik
language:
- iso: eng
publication: Proceedings of the 26th International Association for Management of Technology
  Conference , 14. - 18. Mai 2017, IAMOT
status: public
title: Integrated technology transfer concept for fostering innovation in SMEs
type: conference
user_id: '21240'
year: '2017'
...
---
_id: '22865'
author:
- first_name: Marvin
  full_name: Drewel, Marvin
  last_name: Drewel
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
- first_name: Andre
  full_name: Kluge, Andre
  last_name: Kluge
- first_name: Christoph
  full_name: Pierenkemper, Christoph
  last_name: Pierenkemper
citation:
  ama: 'Drewel M, Gausemeier J, Kluge A, Pierenkemper C. Erfolgsgarant digitale Plattform
    – Vorreiter Landwirtschaft. In: Bodden E, Dressler F, Dumitrescu R, et al., eds.
    <i>Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017, Band 369</i>.
    Vol 369. ; 2017:53-66.'
  apa: Drewel, M., Gausemeier, J., Kluge, A., &#38; Pierenkemper, C. (2017). Erfolgsgarant
    digitale Plattform – Vorreiter Landwirtschaft. In E. Bodden, F. Dressler, R. Dumitrescu,
    J. Gausemeier, F. Meyer auf der Heide, C. Scheytt, … Verlagsschriftenreihe des
    Heinz Nixdorf Instituts, Paderborn (Eds.), <i>Wissenschaftsforum Intelligente
    Technische Systeme (WInTeSys) 2017, Band 369</i> (Vol. 369, pp. 53–66).
  bibtex: '@inproceedings{Drewel_Gausemeier_Kluge_Pierenkemper_2017, title={Erfolgsgarant
    digitale Plattform – Vorreiter Landwirtschaft}, volume={369}, booktitle={Wissenschaftsforum
    Intelligente Technische Systeme (WInTeSys) 2017, Band 369}, author={Drewel, Marvin
    and Gausemeier, Jürgen and Kluge, Andre and Pierenkemper, Christoph}, editor={Bodden,
    Eric and Dressler, Falko and Dumitrescu, Roman and Gausemeier, Jürgen and Meyer
    auf der Heide, Friedhelm and Scheytt, Christoph and Trächtler, Ansgar and Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, PaderbornEditors}, year={2017}, pages={53–66} }'
  chicago: Drewel, Marvin, Jürgen Gausemeier, Andre Kluge, and Christoph Pierenkemper.
    “Erfolgsgarant digitale Plattform – Vorreiter Landwirtschaft.” In <i>Wissenschaftsforum
    Intelligente Technische Systeme (WInTeSys) 2017, Band 369</i>, edited by Eric
    Bodden, Falko Dressler, Roman Dumitrescu, Jürgen Gausemeier, Friedhelm Meyer auf
    der Heide, Christoph Scheytt, Ansgar Trächtler, and Verlagsschriftenreihe des
    Heinz Nixdorf Instituts, Paderborn, 369:53–66, 2017.
  ieee: M. Drewel, J. Gausemeier, A. Kluge, and C. Pierenkemper, “Erfolgsgarant digitale
    Plattform – Vorreiter Landwirtschaft,” in <i>Wissenschaftsforum Intelligente Technische
    Systeme (WInTeSys) 2017, Band 369</i>, 2017, vol. 369, pp. 53–66.
  mla: Drewel, Marvin, et al. “Erfolgsgarant digitale Plattform – Vorreiter Landwirtschaft.”
    <i>Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017, Band 369</i>,
    edited by Eric Bodden et al., vol. 369, 2017, pp. 53–66.
  short: 'M. Drewel, J. Gausemeier, A. Kluge, C. Pierenkemper, in: E. Bodden, F. Dressler,
    R. Dumitrescu, J. Gausemeier, F. Meyer auf der Heide, C. Scheytt, A. Trächtler,
    Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Eds.), Wissenschaftsforum
    Intelligente Technische Systeme (WInTeSys) 2017, Band 369, 2017, pp. 53–66.'
corporate_editor:
- Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
date_created: 2021-07-28T09:07:51Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
editor:
- first_name: Eric
  full_name: Bodden, Eric
  last_name: Bodden
- first_name: Falko
  full_name: Dressler, Falko
  last_name: Dressler
- first_name: Roman
  full_name: Dumitrescu, Roman
  last_name: Dumitrescu
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  last_name: Meyer auf der Heide
- first_name: Christoph
  full_name: Scheytt, Christoph
  last_name: Scheytt
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  last_name: Trächtler
intvolume: '       369'
language:
- iso: ger
page: 53-66
publication: Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017, Band
  369
status: public
title: Erfolgsgarant digitale Plattform – Vorreiter Landwirtschaft
type: conference
user_id: '21240'
volume: 369
year: '2017'
...
---
_id: '22866'
author:
- first_name: Christian
  full_name: Fechtelpeter, Christian
  last_name: Fechtelpeter
- first_name: Michael
  full_name: Bansmann, Michael
  last_name: Bansmann
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
- first_name: Harald
  full_name: Anacker, Harald
  last_name: Anacker
citation:
  ama: 'Fechtelpeter C, Bansmann M, Dumitrescu R, Anacker H. Implementation planning
    and transfer of technology induced scenarios of digitized work. In: <i>Presentation
    and Proceedings, Technology Transfer Society (T2S) Annual Conference, 2017</i>.
    ; 2017.'
  apa: Fechtelpeter, C., Bansmann, M., Dumitrescu, R., &#38; Anacker, H. (2017). Implementation
    planning and transfer of technology induced scenarios of digitized work. In <i>Presentation
    and proceedings, Technology Transfer Society (T2S) Annual Conference, 2017</i>.
  bibtex: '@inproceedings{Fechtelpeter_Bansmann_Dumitrescu_Anacker_2017, title={Implementation
    planning and transfer of technology induced scenarios of digitized work}, booktitle={Presentation
    and proceedings, Technology Transfer Society (T2S) Annual Conference, 2017}, author={Fechtelpeter,
    Christian and Bansmann, Michael and Dumitrescu, Roman and Anacker, Harald}, year={2017}
    }'
  chicago: Fechtelpeter, Christian, Michael Bansmann, Roman Dumitrescu, and Harald
    Anacker. “Implementation Planning and Transfer of Technology Induced Scenarios
    of Digitized Work.” In <i>Presentation and Proceedings, Technology Transfer Society
    (T2S) Annual Conference, 2017</i>, 2017.
  ieee: C. Fechtelpeter, M. Bansmann, R. Dumitrescu, and H. Anacker, “Implementation
    planning and transfer of technology induced scenarios of digitized work,” in <i>Presentation
    and proceedings, Technology Transfer Society (T2S) Annual Conference, 2017</i>,
    2017.
  mla: Fechtelpeter, Christian, et al. “Implementation Planning and Transfer of Technology
    Induced Scenarios of Digitized Work.” <i>Presentation and Proceedings, Technology
    Transfer Society (T2S) Annual Conference, 2017</i>, 2017.
  short: 'C. Fechtelpeter, M. Bansmann, R. Dumitrescu, H. Anacker, in: Presentation
    and Proceedings, Technology Transfer Society (T2S) Annual Conference, 2017, 2017.'
date_created: 2021-07-28T09:12:33Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: eng
publication: Presentation and proceedings, Technology Transfer Society (T2S) Annual
  Conference, 2017
status: public
title: Implementation planning and transfer of technology induced scenarios of digitized
  work
type: conference
user_id: '21240'
year: '2017'
...
---
_id: '22867'
author:
- first_name: Thorsten
  full_name: Westermann, Thorsten
  last_name: Westermann
- first_name: Harald
  full_name: Anacker, Harald
  last_name: Anacker
- first_name: Roman
  full_name: Dumitrescu, Roman
  last_name: Dumitrescu
citation:
  ama: 'Westermann T, Anacker H, Dumitrescu R. Reifegradmodell für die Planung von
    Cyber-Physical Systems. In: Bodden E, Dressler F, Dumitrescu R, et al., eds. <i>Wissenschafts-
    und Industrieforum 2017 - Intelligente Technische Systeme, Band 369</i>. ; 2017.'
  apa: Westermann, T., Anacker, H., &#38; Dumitrescu, R. (2017). Reifegradmodell für
    die Planung von Cyber-Physical Systems. In E. Bodden, F. Dressler, R. Dumitrescu,
    J. Gausemeier, F. Meyer auf der Heide, C. Scheytt, … Verlagsschriftenreihe des
    Heinz Nixdorf Instituts, Paderborn (Eds.), <i>Wissenschafts- und Industrieforum
    2017 - Intelligente Technische Systeme, Band 369</i>.
  bibtex: '@inproceedings{Westermann_Anacker_Dumitrescu_2017, title={Reifegradmodell
    für die Planung von Cyber-Physical Systems}, booktitle={Wissenschafts- und Industrieforum
    2017 - Intelligente Technische Systeme, Band 369}, author={Westermann, Thorsten
    and Anacker, Harald and Dumitrescu, Roman}, editor={Bodden, Eric and Dressler,
    Falko and Dumitrescu, Roman and Gausemeier, Jürgen and Meyer auf der Heide, Friedhelm
    and Scheytt, Christoph and Trächtler, Ansgar and Verlagsschriftenreihe des Heinz
    Nixdorf Instituts, PaderbornEditors}, year={2017} }'
  chicago: Westermann, Thorsten, Harald Anacker, and Roman Dumitrescu. “Reifegradmodell
    für die Planung von Cyber-Physical Systems.” In <i>Wissenschafts- und Industrieforum
    2017 - Intelligente Technische Systeme, Band 369</i>, edited by Eric Bodden, Falko
    Dressler, Roman Dumitrescu, Jürgen Gausemeier, Friedhelm Meyer auf der Heide,
    Christoph Scheytt, Ansgar Trächtler, and Verlagsschriftenreihe des Heinz Nixdorf
    Instituts, Paderborn, 2017.
  ieee: T. Westermann, H. Anacker, and R. Dumitrescu, “Reifegradmodell für die Planung
    von Cyber-Physical Systems,” in <i>Wissenschafts- und Industrieforum 2017 - Intelligente
    Technische Systeme, Band 369</i>, 2017.
  mla: Westermann, Thorsten, et al. “Reifegradmodell für die Planung von Cyber-Physical
    Systems.” <i>Wissenschafts- und Industrieforum 2017 - Intelligente Technische
    Systeme, Band 369</i>, edited by Eric Bodden et al., 2017.
  short: 'T. Westermann, H. Anacker, R. Dumitrescu, in: E. Bodden, F. Dressler, R.
    Dumitrescu, J. Gausemeier, F. Meyer auf der Heide, C. Scheytt, A. Trächtler, Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn (Eds.), Wissenschafts- und Industrieforum
    2017 - Intelligente Technische Systeme, Band 369, 2017.'
corporate_editor:
- Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
date_created: 2021-07-28T09:16:58Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
editor:
- first_name: Eric
  full_name: Bodden, Eric
  last_name: Bodden
- first_name: Falko
  full_name: Dressler, Falko
  last_name: Dressler
- first_name: Roman
  full_name: Dumitrescu, Roman
  last_name: Dumitrescu
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  last_name: Meyer auf der Heide
- first_name: Christoph
  full_name: Scheytt, Christoph
  last_name: Scheytt
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  last_name: Trächtler
language:
- iso: ger
publication: Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme,
  Band 369
status: public
title: Reifegradmodell für die Planung von Cyber-Physical Systems
type: conference
user_id: '21240'
year: '2017'
...
---
_id: '22868'
author:
- first_name: Felix
  full_name: Reinhart, Felix
  last_name: Reinhart
- first_name: Arno
  full_name: Kühn, Arno
  last_name: Kühn
- first_name: Roman
  full_name: Dumitrescu, Roman
  last_name: Dumitrescu
citation:
  ama: 'Reinhart F, Kühn A, Dumitrescu R. Schichtenmodell für die Entwicklung von
    Data Science Anwendungen im Maschinen- und Anlagenbau. In: <i>Wissenschaftsforum
    Intelligente Technische Systeme (WInTeSys),</i>. Heinz Nixdorf MuseumsForum; 2017:321-334.'
  apa: Reinhart, F., Kühn, A., &#38; Dumitrescu, R. (2017). Schichtenmodell für die
    Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau. In <i>Wissenschaftsforum
    Intelligente Technische Systeme (WInTeSys),</i> (pp. 321–334). Heinz Nixdorf MuseumsForum.
  bibtex: '@inproceedings{Reinhart_Kühn_Dumitrescu_2017, title={Schichtenmodell für
    die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau}, booktitle={Wissenschaftsforum
    Intelligente Technische Systeme (WInTeSys),}, publisher={Heinz Nixdorf MuseumsForum},
    author={Reinhart, Felix and Kühn, Arno and Dumitrescu, Roman}, year={2017}, pages={321–334}
    }'
  chicago: Reinhart, Felix, Arno Kühn, and Roman Dumitrescu. “Schichtenmodell für
    die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau.” In
    <i>Wissenschaftsforum Intelligente Technische Systeme (WInTeSys),</i> 321–34.
    Heinz Nixdorf MuseumsForum, 2017.
  ieee: F. Reinhart, A. Kühn, and R. Dumitrescu, “Schichtenmodell für die Entwicklung
    von Data Science Anwendungen im Maschinen- und Anlagenbau,” in <i>Wissenschaftsforum
    Intelligente Technische Systeme (WInTeSys),</i> 2017, pp. 321–334.
  mla: Reinhart, Felix, et al. “Schichtenmodell für die Entwicklung von Data Science
    Anwendungen im Maschinen- und Anlagenbau.” <i>Wissenschaftsforum Intelligente
    Technische Systeme (WInTeSys),</i> Heinz Nixdorf MuseumsForum, 2017, pp. 321–34.
  short: 'F. Reinhart, A. Kühn, R. Dumitrescu, in: Wissenschaftsforum Intelligente
    Technische Systeme (WInTeSys), Heinz Nixdorf MuseumsForum, 2017, pp. 321–334.'
date_created: 2021-07-28T09:20:19Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: ger
page: 321-334
publication: Wissenschaftsforum Intelligente Technische Systeme (WInTeSys),
publisher: Heinz Nixdorf MuseumsForum
status: public
title: Schichtenmodell für die Entwicklung von Data Science Anwendungen im Maschinen-
  und Anlagenbau
type: conference
user_id: '21240'
year: '2017'
...
---
_id: '22869'
author:
- first_name: Jürgen
  full_name: Roßmann, Jürgen
  last_name: Roßmann
- first_name: Michael
  full_name: Schluse, Michael
  last_name: Schluse
- first_name: Malte
  full_name: Rast, Malte
  last_name: Rast
- first_name: Martin
  full_name: Hoppen, Martin
  last_name: Hoppen
- first_name: Linus
  full_name: Atorf, Linus
  last_name: Atorf
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
- first_name: Christian
  full_name: Bremer, Christian
  last_name: Bremer
- first_name: Michael
  full_name: Hillebrand, Michael
  id: '83856'
  last_name: Hillebrand
- first_name: Oliver
  full_name: Stern, Oliver
  last_name: Stern
- first_name: Peter
  full_name: Schmitter, Peter
  last_name: Schmitter
citation:
  ama: 'Roßmann J, Schluse M, Rast M, et al.  Integrierte Entwicklung komplexer Systeme
    mit modellbasierter Systemspezifikation und -simulation - Eine Fallstudie zur
    Sensorauslegung in der Raumfahrt. In: <i>Wissenschaftsforum Intelligente Technische
    Systeme (WinTeSys)</i>. Paderborn; 2017.'
  apa: Roßmann, J., Schluse, M., Rast, M., Hoppen, M., Atorf, L., Dumitrescu, R.,
    … Schmitter, P. (2017).  Integrierte Entwicklung komplexer Systeme mit modellbasierter
    Systemspezifikation und -simulation - Eine Fallstudie zur Sensorauslegung in der
    Raumfahrt. In <i>Wissenschaftsforum Intelligente Technische Systeme (WinTeSys)</i>.
    Paderborn.
  bibtex: '@inproceedings{Roßmann_Schluse_Rast_Hoppen_Atorf_Dumitrescu_Bremer_Hillebrand_Stern_Schmitter_2017,
    place={Paderborn}, title={ Integrierte Entwicklung komplexer Systeme mit modellbasierter
    Systemspezifikation und -simulation - Eine Fallstudie zur Sensorauslegung in der
    Raumfahrt}, booktitle={Wissenschaftsforum Intelligente Technische Systeme (WinTeSys)},
    author={Roßmann, Jürgen and Schluse, Michael and Rast, Malte and Hoppen, Martin
    and Atorf, Linus and Dumitrescu, Roman and Bremer, Christian and Hillebrand, Michael
    and Stern, Oliver and Schmitter, Peter}, year={2017} }'
  chicago: Roßmann, Jürgen, Michael Schluse, Malte Rast, Martin Hoppen, Linus Atorf,
    Roman Dumitrescu, Christian Bremer, Michael Hillebrand, Oliver Stern, and Peter
    Schmitter. “ Integrierte Entwicklung Komplexer Systeme Mit Modellbasierter Systemspezifikation
    Und -Simulation - Eine Fallstudie Zur Sensorauslegung in Der Raumfahrt.” In <i>Wissenschaftsforum
    Intelligente Technische Systeme (WinTeSys)</i>. Paderborn, 2017.
  ieee: J. Roßmann <i>et al.</i>, “ Integrierte Entwicklung komplexer Systeme mit
    modellbasierter Systemspezifikation und -simulation - Eine Fallstudie zur Sensorauslegung
    in der Raumfahrt,” in <i>Wissenschaftsforum Intelligente Technische Systeme (WinTeSys)</i>,
    2017.
  mla: Roßmann, Jürgen, et al. “ Integrierte Entwicklung Komplexer Systeme Mit Modellbasierter
    Systemspezifikation Und -Simulation - Eine Fallstudie Zur Sensorauslegung in Der
    Raumfahrt.” <i>Wissenschaftsforum Intelligente Technische Systeme (WinTeSys)</i>,
    2017.
  short: 'J. Roßmann, M. Schluse, M. Rast, M. Hoppen, L. Atorf, R. Dumitrescu, C.
    Bremer, M. Hillebrand, O. Stern, P. Schmitter, in: Wissenschaftsforum Intelligente
    Technische Systeme (WinTeSys), Paderborn, 2017.'
date_created: 2021-07-28T09:27:52Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: eng
place: Paderborn
publication: Wissenschaftsforum Intelligente Technische Systeme (WinTeSys)
status: public
title: ' Integrierte Entwicklung komplexer Systeme mit modellbasierter Systemspezifikation
  und -simulation - Eine Fallstudie zur Sensorauslegung in der Raumfahrt'
type: conference
user_id: '21240'
year: '2017'
...
---
_id: '90'
abstract:
- lang: eng
  text: We propose and extend an approach for the verification of safety properties
    for parameterized timed systems modeled as networks of timed automata. For this
    task, we introduce an incremental workflow that is based on our algorithm IC3
    with Zones. It proceeds in a cycle in which single models of the system are verified,
    and the verification results are employed for the reasoning about the entire system.
    Starting with the smallest instances, the verification of the safety property
    is carried out fast and efficient. On successful verification, the algorithm produces
    an inductive strengthening of the safety property. We reuse this result and try
    to reason about the entire parameterized timed system. To this end, we extrapolate
    the inductive strengthening into a candidate for the next-larger model. In case
    this candidate is a valid inductive strengthening for the next larger model, our
    main theorem reasons about all models of the parameterized timed system, stating
    that the safety property holds true for all models. Otherwise, the main cycle
    starts over with the verification of the next larger model. This workflow is iterated
    indefinitely, until able to reason about the entire parameterized timed system,
    until a counterexample trace is found, or until the single models become too large
    to be handled in the verification. We reuse the intermediate results in a Feedback-loop
    in order to accelerate the verification runs for the single models. Furthermore,
    we consider an extended formalism in comparison to our previous publications.
author:
- first_name: Tobias
  full_name: Isenberg, Tobias
  last_name: Isenberg
citation:
  ama: Isenberg T. Incremental Inductive Verification of Parameterized Timed Systems.
    <i>ACM Transactions on Embedded Computing Systems</i>. 2017;(2):47:1-47:24. doi:<a
    href="https://doi.org/10.1145/2984640">10.1145/2984640</a>
  apa: Isenberg, T. (2017). Incremental Inductive Verification of Parameterized Timed
    Systems. <i>ACM Transactions on Embedded Computing Systems</i>, (2), 47:1-47:24.
    <a href="https://doi.org/10.1145/2984640">https://doi.org/10.1145/2984640</a>
  bibtex: '@article{Isenberg_2017, title={Incremental Inductive Verification of Parameterized
    Timed Systems}, DOI={<a href="https://doi.org/10.1145/2984640">10.1145/2984640</a>},
    number={2}, journal={ACM Transactions on Embedded Computing Systems}, publisher={ACM},
    author={Isenberg, Tobias}, year={2017}, pages={47:1-47:24} }'
  chicago: 'Isenberg, Tobias. “Incremental Inductive Verification of Parameterized
    Timed Systems.” <i>ACM Transactions on Embedded Computing Systems</i>, no. 2 (2017):
    47:1-47:24. <a href="https://doi.org/10.1145/2984640">https://doi.org/10.1145/2984640</a>.'
  ieee: T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,”
    <i>ACM Transactions on Embedded Computing Systems</i>, no. 2, pp. 47:1-47:24,
    2017.
  mla: Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed
    Systems.” <i>ACM Transactions on Embedded Computing Systems</i>, no. 2, ACM, 2017,
    pp. 47:1-47:24, doi:<a href="https://doi.org/10.1145/2984640">10.1145/2984640</a>.
  short: T. Isenberg, ACM Transactions on Embedded Computing Systems (2017) 47:1-47:24.
date_created: 2017-10-17T12:41:09Z
date_updated: 2022-01-06T07:04:06Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1145/2984640
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-21T13:13:04Z
  date_updated: 2018-03-21T13:13:04Z
  file_id: '1572'
  file_name: 90-a47-isenberg.pdf
  file_size: 584870
  relation: main_file
  success: 1
file_date_updated: 2018-03-21T13:13:04Z
has_accepted_license: '1'
issue: '2'
language:
- iso: eng
page: 47:1-47:24
project:
- _id: '1'
  name: SFB 901
- _id: '12'
  name: SFB 901 - Subprojekt B4
- _id: '3'
  name: SFB 901 - Project Area B
publication: ACM Transactions on Embedded Computing Systems
publisher: ACM
status: public
title: Incremental Inductive Verification of Parameterized Timed Systems
type: journal_article
user_id: '477'
year: '2017'
...
---
_id: '7749'
citation:
  ama: Carmona  J, Engels G, Kumar A, eds. <i>Business Process Management - 15th International
    Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture
    Notes in Computer Science</i>. Vol 10445. Springer; 2017.
  apa: Carmona , J., Engels, G., &#38; Kumar, A. (Eds.). (2017). <i>Business Process
    Management - 15th International Conference, BPM 2017, Barcelona, Spain, September
    10-15, 2017, Proceedings Lecture Notes in Computer Science</i> (Vol. 10445). Springer.
  bibtex: '@book{Carmona _Engels_Kumar_2017, title={Business Process Management -
    15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017,
    Proceedings Lecture Notes in Computer Science}, volume={10445}, publisher={Springer},
    year={2017} }'
  chicago: Carmona , Josep , Gregor Engels, and Akhil  Kumar, eds. <i>Business Process
    Management - 15th International Conference, BPM 2017, Barcelona, Spain, September
    10-15, 2017, Proceedings Lecture Notes in Computer Science</i>. Vol. 10445. Springer,
    2017.
  ieee: J. Carmona , G. Engels, and A. Kumar, Eds., <i>Business Process Management
    - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15,
    2017, Proceedings Lecture Notes in Computer Science</i>, vol. 10445. Springer,
    2017.
  mla: Carmona , Josep, et al., editors. <i>Business Process Management - 15th International
    Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture
    Notes in Computer Science</i>. Vol. 10445, Springer, 2017.
  short: J. Carmona , G. Engels, A. Kumar, eds., Business Process Management - 15th
    International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings
    Lecture Notes in Computer Science, Springer, 2017.
date_created: 2019-02-18T14:18:26Z
date_updated: 2022-01-06T07:03:45Z
department:
- _id: '66'
editor:
- first_name: 'Josep '
  full_name: 'Carmona , Josep '
  last_name: 'Carmona '
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: 'Akhil '
  full_name: 'Kumar, Akhil '
  last_name: Kumar
intvolume: '     10445'
language:
- iso: eng
publisher: Springer
status: public
title: Business Process Management - 15th International Conference, BPM 2017, Barcelona,
  Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science
type: conference_editor
user_id: '52534'
volume: 10445
year: '2017'
...
---
_id: '7750'
citation:
  ama: Carmona  J, Engels G, Kumar A, eds. <i>Business Process Management Forum -
    BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture
    Notes in Business Information Processing 297</i>. Vol 297. Springer; 2017.
  apa: Carmona , J., Engels, G., &#38; Kumar, A. (Eds.). (2017). <i>Business Process
    Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017,
    Proceedings Lecture Notes in Business Information Processing 297</i> (Vol. 297).
    Springer.
  bibtex: '@book{Carmona _Engels_Kumar_2017, title={Business Process Management Forum
    - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture
    Notes in Business Information Processing 297}, volume={297}, publisher={Springer},
    year={2017} }'
  chicago: Carmona , Josep , Gregor Engels, and Akhil  Kumar, eds. <i>Business Process
    Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017,
    Proceedings Lecture Notes in Business Information Processing 297</i>. Vol. 297.
    Springer, 2017.
  ieee: J. Carmona , G. Engels, and A. Kumar, Eds., <i>Business Process Management
    Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings
    Lecture Notes in Business Information Processing 297</i>, vol. 297. Springer,
    2017.
  mla: Carmona , Josep, et al., editors. <i>Business Process Management Forum - BPM
    Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes
    in Business Information Processing 297</i>. Vol. 297, Springer, 2017.
  short: J. Carmona , G. Engels, A. Kumar, eds., Business Process Management Forum
    - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture
    Notes in Business Information Processing 297, Springer, 2017.
date_created: 2019-02-18T14:26:32Z
date_updated: 2022-01-06T07:03:45Z
department:
- _id: '66'
editor:
- first_name: 'Josep '
  full_name: 'Carmona , Josep '
  last_name: 'Carmona '
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: 'Akhil '
  full_name: 'Kumar, Akhil '
  last_name: Kumar
intvolume: '       297'
language:
- iso: eng
publisher: Springer
status: public
title: Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September
  10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297
type: conference_editor
user_id: '52534'
volume: 297
year: '2017'
...
---
_id: '7751'
citation:
  ama: Spalazzese R, Christin Platenius M, Becker S, Persson P, Engels G, eds. <i>Message
    from the IoT-ASAP Chairs</i>.; 2017. doi:<a href="https://doi.org/10.1109/ICSAW.2017.67">10.1109/ICSAW.2017.67</a>
  apa: Spalazzese, R., Christin Platenius, M., Becker, S., Persson, P., &#38; Engels,
    G. (Eds.). (2017). <i>Message from the IoT-ASAP Chairs</i>. <a href="https://doi.org/10.1109/ICSAW.2017.67">https://doi.org/10.1109/ICSAW.2017.67</a>
  bibtex: '@book{Spalazzese_Christin Platenius_Becker_Persson_Engels_2017, title={Message
    from the IoT-ASAP Chairs}, DOI={<a href="https://doi.org/10.1109/ICSAW.2017.67">10.1109/ICSAW.2017.67</a>},
    year={2017} }'
  chicago: Spalazzese, Romina, Marie Christin Platenius, Steffen Becker, Per Persson,
    and Gregor Engels, eds. <i>Message from the IoT-ASAP Chairs</i>, 2017. <a href="https://doi.org/10.1109/ICSAW.2017.67">https://doi.org/10.1109/ICSAW.2017.67</a>.
  ieee: R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, and G. Engels,
    Eds., <i>Message from the IoT-ASAP Chairs</i>. 2017.
  mla: Spalazzese, Romina, et al., editors. <i>Message from the IoT-ASAP Chairs</i>.
    2017, doi:<a href="https://doi.org/10.1109/ICSAW.2017.67">10.1109/ICSAW.2017.67</a>.
  short: R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, G. Engels, eds.,
    Message from the IoT-ASAP Chairs, 2017.
date_created: 2019-02-18T14:27:25Z
date_updated: 2022-01-06T07:03:45Z
department:
- _id: '66'
doi: 10.1109/ICSAW.2017.67
editor:
- first_name: Romina
  full_name: Spalazzese, Romina
  last_name: Spalazzese
- first_name: Marie
  full_name: Christin Platenius, Marie
  last_name: Christin Platenius
- first_name: Steffen
  full_name: Becker, Steffen
  last_name: Becker
- first_name: Per
  full_name: Persson, Per
  last_name: Persson
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
language:
- iso: eng
status: public
title: Message from the IoT-ASAP Chairs
type: book_editor
user_id: '52534'
year: '2017'
...
---
_id: '7754'
citation:
  ama: 'Hess S, Fischer HG, eds. <i>Mensch Und Computer 2017 - Usability Professionals.
    Tagungsband</i>. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V.;
    2017.'
  apa: 'Hess, S., &#38; Fischer, H. G. (Eds.). (2017). <i>Mensch und Computer 2017
    - Usability Professionals. Tagungsband</i>. Regensburg: Gesellschaft für Informatik
    e.V. und German UPA e.V.'
  bibtex: '@book{Hess_Fischer_2017, place={Regensburg}, title={Mensch und Computer
    2017 - Usability Professionals. Tagungsband}, publisher={Gesellschaft für Informatik
    e.V. und German UPA e.V.}, year={2017} }'
  chicago: 'Hess, Steffen , and Holger Gerhard Fischer, eds. <i>Mensch Und Computer
    2017 - Usability Professionals. Tagungsband</i>. Regensburg: Gesellschaft für
    Informatik e.V. und German UPA e.V., 2017.'
  ieee: 'S. Hess and H. G. Fischer, Eds., <i>Mensch und Computer 2017 - Usability
    Professionals. Tagungsband</i>. Regensburg: Gesellschaft für Informatik e.V. und
    German UPA e.V., 2017.'
  mla: Hess, Steffen, and Holger Gerhard Fischer, editors. <i>Mensch Und Computer
    2017 - Usability Professionals. Tagungsband</i>. Gesellschaft für Informatik e.V.
    und German UPA e.V., 2017.
  short: S. Hess, H.G. Fischer, eds., Mensch Und Computer 2017 - Usability Professionals.
    Tagungsband, Gesellschaft für Informatik e.V. und German UPA e.V., Regensburg,
    2017.
date_created: 2019-02-19T11:44:42Z
date_updated: 2022-01-06T07:03:45Z
department:
- _id: '66'
editor:
- first_name: 'Steffen '
  full_name: 'Hess, Steffen '
  last_name: Hess
- first_name: Holger Gerhard
  full_name: Fischer, Holger Gerhard
  id: '30457'
  last_name: Fischer
language:
- iso: eng
place: Regensburg
publisher: Gesellschaft für Informatik e.V. und German UPA e.V.
status: public
title: Mensch und Computer 2017 - Usability Professionals. Tagungsband
type: conference_editor
user_id: '52534'
year: '2017'
...
---
_id: '7755'
author:
- first_name: Jorge
  full_name: Mendes, Jorge
  last_name: Mendes
- first_name: Jacome
  full_name: Cunha, Jacome
  last_name: Cunha
- first_name: Francisco
  full_name: Duarte, Francisco
  last_name: Duarte
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Joao
  full_name: Saraiva, Joao
  last_name: Saraiva
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
citation:
  ama: 'Mendes J, Cunha J, Duarte F, Engels G, Saraiva J, Sauer S. Towards systematic
    spreadsheet construction processes. In: Gesellschaft für Informatik e.V. und German
    UPA e.V. (Regensburg) , ed. <i>2017 IEEE/ACM 39th International Conference on
    Software Engineering Companion (ICSE-C)</i>. IEEE; 2017. doi:<a href="https://doi.org/10.1109/icse-c.2017.141">10.1109/icse-c.2017.141</a>'
  apa: Mendes, J., Cunha, J., Duarte, F., Engels, G., Saraiva, J., &#38; Sauer, S.
    (2017). Towards systematic spreadsheet construction processes. In Gesellschaft
    für Informatik e.V. und German UPA e.V. (Regensburg)  (Ed.), <i>2017 IEEE/ACM
    39th International Conference on Software Engineering Companion (ICSE-C)</i>.
    IEEE. <a href="https://doi.org/10.1109/icse-c.2017.141">https://doi.org/10.1109/icse-c.2017.141</a>
  bibtex: '@inproceedings{Mendes_Cunha_Duarte_Engels_Saraiva_Sauer_2017, title={Towards
    systematic spreadsheet construction processes}, DOI={<a href="https://doi.org/10.1109/icse-c.2017.141">10.1109/icse-c.2017.141</a>},
    booktitle={2017 IEEE/ACM 39th International Conference on Software Engineering
    Companion (ICSE-C)}, publisher={IEEE}, author={Mendes, Jorge and Cunha, Jacome
    and Duarte, Francisco and Engels, Gregor and Saraiva, Joao and Sauer, Stefan},
    editor={Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) Editor},
    year={2017} }'
  chicago: Mendes, Jorge, Jacome Cunha, Francisco Duarte, Gregor Engels, Joao Saraiva,
    and Stefan Sauer. “Towards Systematic Spreadsheet Construction Processes.” In
    <i>2017 IEEE/ACM 39th International Conference on Software Engineering Companion
    (ICSE-C)</i>, edited by Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg)
    . IEEE, 2017. <a href="https://doi.org/10.1109/icse-c.2017.141">https://doi.org/10.1109/icse-c.2017.141</a>.
  ieee: J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, and S. Sauer, “Towards
    systematic spreadsheet construction processes,” in <i>2017 IEEE/ACM 39th International
    Conference on Software Engineering Companion (ICSE-C)</i>, 2017.
  mla: Mendes, Jorge, et al. “Towards Systematic Spreadsheet Construction Processes.”
    <i>2017 IEEE/ACM 39th International Conference on Software Engineering Companion
    (ICSE-C)</i>, edited by Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg)
    , IEEE, 2017, doi:<a href="https://doi.org/10.1109/icse-c.2017.141">10.1109/icse-c.2017.141</a>.
  short: 'J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, S. Sauer, in: Gesellschaft
    für Informatik e.V. und German UPA e.V. (Regensburg)  (Ed.), 2017 IEEE/ACM 39th
    International Conference on Software Engineering Companion (ICSE-C), IEEE, 2017.'
corporate_editor:
- 'Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) '
date_created: 2019-02-19T11:47:41Z
date_updated: 2022-01-06T07:03:45Z
department:
- _id: '66'
doi: 10.1109/icse-c.2017.141
language:
- iso: eng
publication: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion
  (ICSE-C)
publication_identifier:
  isbn:
  - '9781538615898'
publication_status: published
publisher: IEEE
status: public
title: Towards systematic spreadsheet construction processes
type: conference
user_id: '52534'
year: '2017'
...
---
_id: '78'
abstract:
- lang: eng
  text: The Internet of Things (IoT) connects the things of our everyday life and
    supports usin our common activities.Several markets for IoT services have been
    created. These markets enable IoT users to search and compose services in order
    to support an IoT activity.However, existing IoT markets like IFTTT (If This Then
    That) are not convenient for users with respect to service discovery and composition.The
    objective of On-the-fly (OTF) computing is to configure and provide software markets
    that fulfill individual users' wishes by the automatic on-the-fly composition
    of single services.The architecture framework of On-the-fly computing markets
    helps architects to systematically develop these systems in different domains.In
    this paper, we use our OTF architectural framework to examine the requirements
    of a reference architecture for IoT markets.Furthermore, we perform a comparison
    between the architecture of IFTTT as an existing IoT market with this reference
    architecture. The results show how existing IoT markets can be improved. In return,
    the practical knowledge of IFTTT is taken to the reference architecture.This knowledge
    helps to overcome the limitations of today's IoT markets or creating new markets
    in the future.
author:
- first_name: Bahar
  full_name: Jazayeri, Bahar
  id: '36399'
  last_name: Jazayeri
- first_name: Simon
  full_name: Schwichtenberg, Simon
  id: '13235'
  last_name: Schwichtenberg
citation:
  ama: 'Jazayeri B, Schwichtenberg S. On-The-Fly Computing Meets IoT Markets - Towards
    a Reference Architecture. In: <i>Proceedings of the International Conference on
    Software Architecture (ICSA) IoT-ASAP Workshop</i>. Gothenburg, Sweden: IEEE;
    2017:120--127. doi:<a href="https://doi.org/10.1109/ICSAW.2017.59">10.1109/ICSAW.2017.59</a>'
  apa: 'Jazayeri, B., &#38; Schwichtenberg, S. (2017). On-The-Fly Computing Meets
    IoT Markets - Towards a Reference Architecture. In <i>Proceedings of the International
    Conference on Software Architecture (ICSA) IoT-ASAP Workshop</i> (pp. 120--127).
    Gothenburg, Sweden: IEEE. <a href="https://doi.org/10.1109/ICSAW.2017.59">https://doi.org/10.1109/ICSAW.2017.59</a>'
  bibtex: '@inproceedings{Jazayeri_Schwichtenberg_2017, place={Gothenburg, Sweden},
    title={On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture},
    DOI={<a href="https://doi.org/10.1109/ICSAW.2017.59">10.1109/ICSAW.2017.59</a>},
    booktitle={Proceedings of the International Conference on Software Architecture
    (ICSA) IoT-ASAP Workshop}, publisher={IEEE}, author={Jazayeri, Bahar and Schwichtenberg,
    Simon}, year={2017}, pages={120--127} }'
  chicago: 'Jazayeri, Bahar, and Simon Schwichtenberg. “On-The-Fly Computing Meets
    IoT Markets - Towards a Reference Architecture.” In <i>Proceedings of the International
    Conference on Software Architecture (ICSA) IoT-ASAP Workshop</i>, 120--127. Gothenburg,
    Sweden: IEEE, 2017. <a href="https://doi.org/10.1109/ICSAW.2017.59">https://doi.org/10.1109/ICSAW.2017.59</a>.'
  ieee: B. Jazayeri and S. Schwichtenberg, “On-The-Fly Computing Meets IoT Markets
    - Towards a Reference Architecture,” in <i>Proceedings of the International Conference
    on Software Architecture (ICSA) IoT-ASAP Workshop</i>, 2017, pp. 120--127.
  mla: Jazayeri, Bahar, and Simon Schwichtenberg. “On-The-Fly Computing Meets IoT
    Markets - Towards a Reference Architecture.” <i>Proceedings of the International
    Conference on Software Architecture (ICSA) IoT-ASAP Workshop</i>, IEEE, 2017,
    pp. 120--127, doi:<a href="https://doi.org/10.1109/ICSAW.2017.59">10.1109/ICSAW.2017.59</a>.
  short: 'B. Jazayeri, S. Schwichtenberg, in: Proceedings of the International Conference
    on Software Architecture (ICSA) IoT-ASAP Workshop, IEEE, Gothenburg, Sweden, 2017,
    pp. 120--127.'
date_created: 2017-10-17T12:41:06Z
date_updated: 2022-01-06T07:03:46Z
ddc:
- '000'
department:
- _id: '66'
doi: 10.1109/ICSAW.2017.59
file:
- access_level: closed
  content_type: application/pdf
  creator: ups
  date_created: 2018-11-02T14:49:05Z
  date_updated: 2018-11-02T14:49:05Z
  file_id: '5284'
  file_name: 07958467.pdf
  file_size: 624689
  relation: main_file
  success: 1
file_date_updated: 2018-11-02T14:49:05Z
has_accepted_license: '1'
language:
- iso: eng
page: 120--127
place: Gothenburg, Sweden
project:
- _id: '1'
  name: SFB 901
- _id: '17'
  name: SFB 901 - Subprojekt C5
- _id: '4'
  name: SFB 901 - Project Area C
publication: Proceedings of the International Conference on Software Architecture
  (ICSA) IoT-ASAP Workshop
publisher: IEEE
status: public
title: On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture
type: conference
user_id: '36399'
year: '2017'
...
---
_id: '79'
abstract:
- lang: eng
  text: Consider a problem in which $n$ jobs that are classified into $k$ types arrive
    over time at their release times and are to be scheduled on a single machine so
    as to minimize the maximum flow time.The machine requires a setup taking $s$ time
    units whenever it switches from processing jobs of one type to jobs of a different
    type.We consider the problem as an online problem where each job is only known
    to the scheduler as soon as it arrives and where the processing time of a job
    only becomes known upon its completion (non-clairvoyance).We are interested in
    the potential of simple ``greedy-like'' algorithms.We analyze a modification of
    the FIFO strategy and show its competitiveness to be $\Theta(\sqrt{n})$, which
    is optimal for the considered class of algorithms.For $k=2$ types it achieves
    a constant competitiveness.Our main insight is obtained by an analysis of the
    smoothed competitiveness.If processing times $p_j$ are independently perturbed
    to $\hat p_j = (1+X_j)p_j$, we obtain a competitiveness of $O(\sigma^{-2} \log^2
    n)$ when $X_j$ is drawn from a uniform or a (truncated) normal distribution with
    standard deviation $\sigma$.The result proves that bad instances are fragile and
    ``practically'' one might expect a much better performance than given by the $\Omega(\sqrt{n})$-bound.
author:
- first_name: Alexander
  full_name: Mäcker, Alexander
  id: '13536'
  last_name: Mäcker
- first_name: Manuel
  full_name: Malatyali, Manuel
  last_name: Malatyali
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
- first_name: Sören
  full_name: Riechers, Sören
  last_name: Riechers
citation:
  ama: 'Mäcker A, Malatyali M, Meyer auf der Heide F, Riechers S. Non-Clairvoyant
    Scheduling to Minimize Max Flow Time on a Machine with Setup Times. In: <i>Proceedings
    of the 15th Workshop on Approximation and Online Algorithms (WAOA)</i>. Vol 10787.
    Lecture Notes in Computer Science. Springer; 2017:207-222. doi:<a href="https://doi.org/10.1007/978-3-319-89441-6">10.1007/978-3-319-89441-6</a>'
  apa: Mäcker, A., Malatyali, M., Meyer auf der Heide, F., &#38; Riechers, S. (2017).
    Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times.
    In <i>Proceedings of the 15th Workshop on Approximation and Online Algorithms
    (WAOA)</i> (Vol. 10787, pp. 207–222). Springer. <a href="https://doi.org/10.1007/978-3-319-89441-6">https://doi.org/10.1007/978-3-319-89441-6</a>
  bibtex: '@inproceedings{Mäcker_Malatyali_Meyer auf der Heide_Riechers_2017, series={Lecture
    Notes in Computer Science}, title={Non-Clairvoyant Scheduling to Minimize Max
    Flow Time on a Machine with Setup Times}, volume={10787}, DOI={<a href="https://doi.org/10.1007/978-3-319-89441-6">10.1007/978-3-319-89441-6</a>},
    booktitle={Proceedings of the 15th Workshop on Approximation and Online Algorithms
    (WAOA)}, publisher={Springer}, author={Mäcker, Alexander and Malatyali, Manuel
    and Meyer auf der Heide, Friedhelm and Riechers, Sören}, year={2017}, pages={207–222},
    collection={Lecture Notes in Computer Science} }'
  chicago: Mäcker, Alexander, Manuel Malatyali, Friedhelm Meyer auf der Heide, and
    Sören Riechers. “Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine
    with Setup Times.” In <i>Proceedings of the 15th Workshop on Approximation and
    Online Algorithms (WAOA)</i>, 10787:207–22. Lecture Notes in Computer Science.
    Springer, 2017. <a href="https://doi.org/10.1007/978-3-319-89441-6">https://doi.org/10.1007/978-3-319-89441-6</a>.
  ieee: A. Mäcker, M. Malatyali, F. Meyer auf der Heide, and S. Riechers, “Non-Clairvoyant
    Scheduling to Minimize Max Flow Time on a Machine with Setup Times,” in <i>Proceedings
    of the 15th Workshop on Approximation and Online Algorithms (WAOA)</i>, 2017,
    vol. 10787, pp. 207–222.
  mla: Mäcker, Alexander, et al. “Non-Clairvoyant Scheduling to Minimize Max Flow
    Time on a Machine with Setup Times.” <i>Proceedings of the 15th Workshop on Approximation
    and Online Algorithms (WAOA)</i>, vol. 10787, Springer, 2017, pp. 207–22, doi:<a
    href="https://doi.org/10.1007/978-3-319-89441-6">10.1007/978-3-319-89441-6</a>.
  short: 'A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings
    of the 15th Workshop on Approximation and Online Algorithms (WAOA), Springer,
    2017, pp. 207–222.'
date_created: 2017-10-17T12:41:06Z
date_updated: 2022-01-06T07:03:47Z
ddc:
- '000'
department:
- _id: '63'
doi: 10.1007/978-3-319-89441-6
file:
- access_level: closed
  content_type: application/pdf
  creator: ups
  date_created: 2018-11-02T14:59:22Z
  date_updated: 2018-11-02T14:59:22Z
  file_id: '5289'
  file_name: Non-clairvoyantSchedulingToMin.pdf
  file_size: 380629
  relation: main_file
  success: 1
file_date_updated: 2018-11-02T14:59:22Z
has_accepted_license: '1'
intvolume: '     10787'
language:
- iso: eng
page: 207-222
project:
- _id: '1'
  name: SFB 901
- _id: '16'
  name: SFB 901 - Subprojekt C4
- _id: '4'
  name: SFB 901 - Project Area C
publication: Proceedings of the 15th Workshop on Approximation and Online Algorithms
  (WAOA)
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup
  Times
type: conference
user_id: '477'
volume: 10787
year: '2017'
...
---
_id: '8073'
author:
- first_name: Marvin
  full_name: Grieger, Marvin
  last_name: Grieger
- first_name: Masud
  full_name: Fazal-Baqaie, Masud
  last_name: Fazal-Baqaie
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Markus
  full_name: Klenke, Markus
  last_name: Klenke
citation:
  ama: 'Grieger M, Fazal-Baqaie M, Engels G, Klenke M. Concept-Based Engineering of
    Situation-Specific Migration Methods. In: <i>Software Engineering 2017</i>. ;
    2017:65-66.'
  apa: Grieger, M., Fazal-Baqaie, M., Engels, G., &#38; Klenke, M. (2017). Concept-Based
    Engineering of Situation-Specific Migration Methods. In <i>Software Engineering
    2017</i> (pp. 65–66).
  bibtex: '@inproceedings{Grieger_Fazal-Baqaie_Engels_Klenke_2017, title={Concept-Based
    Engineering of Situation-Specific Migration Methods}, booktitle={Software Engineering
    2017}, author={Grieger, Marvin and Fazal-Baqaie, Masud and Engels, Gregor and
    Klenke, Markus}, year={2017}, pages={65–66} }'
  chicago: Grieger, Marvin, Masud Fazal-Baqaie, Gregor Engels, and Markus Klenke.
    “Concept-Based Engineering of Situation-Specific Migration Methods.” In <i>Software
    Engineering 2017</i>, 65–66, 2017.
  ieee: M. Grieger, M. Fazal-Baqaie, G. Engels, and M. Klenke, “Concept-Based Engineering
    of Situation-Specific Migration Methods,” in <i>Software Engineering 2017</i>,
    2017, pp. 65–66.
  mla: Grieger, Marvin, et al. “Concept-Based Engineering of Situation-Specific Migration
    Methods.” <i>Software Engineering 2017</i>, 2017, pp. 65–66.
  short: 'M. Grieger, M. Fazal-Baqaie, G. Engels, M. Klenke, in: Software Engineering
    2017, 2017, pp. 65–66.'
date_created: 2019-02-21T21:28:39Z
date_updated: 2022-01-06T07:03:50Z
department:
- _id: '66'
language:
- iso: eng
page: 65-66
publication: Software Engineering 2017
status: public
title: Concept-Based Engineering of Situation-Specific Migration Methods
type: conference
user_id: '52534'
year: '2017'
...