---
_id: '21743'
author:
- first_name: A.
  full_name: Repenning, A.
  last_name: Repenning
- first_name: D.
  full_name: C. Webb, D.
  last_name: C. Webb
- first_name: C.
  full_name: Brand, C.
  last_name: Brand
- first_name: F.
  full_name: Gluck, F.
  last_name: Gluck
- first_name: R.
  full_name: Grover, R.
  last_name: Grover
- first_name: S.
  full_name: Miller, S.
  last_name: Miller
- first_name: H.
  full_name: Nickerson, H.
  last_name: Nickerson
- first_name: M.
  full_name: Song, M.
  last_name: Song
citation:
  ama: 'Repenning A, C. Webb D, Brand C, et al. Beyond Minecraft: Facilitating Computational
    Thinking through Modeling and Programming in 3D. <i>IEEE Computer Graphics and
    Applications</i>. 2014;34(3):68-71. doi:<a href="https://doi.org/10.1109/MCG.2014.46">10.1109/MCG.2014.46</a>'
  apa: 'Repenning, A., C. Webb, D., Brand, C., Gluck, F., Grover, R., Miller, S.,
    … Song, M. (2014). Beyond Minecraft: Facilitating Computational Thinking through
    Modeling and Programming in 3D. <i>IEEE Computer Graphics and Applications</i>,
    <i>34</i>(3), 68–71. <a href="https://doi.org/10.1109/MCG.2014.46">https://doi.org/10.1109/MCG.2014.46</a>'
  bibtex: '@article{Repenning_C. Webb_Brand_Gluck_Grover_Miller_Nickerson_Song_2014,
    title={Beyond Minecraft: Facilitating Computational Thinking through Modeling
    and Programming in 3D}, volume={34}, DOI={<a href="https://doi.org/10.1109/MCG.2014.46">10.1109/MCG.2014.46</a>},
    number={3}, journal={IEEE Computer Graphics and Applications}, publisher={IEEE},
    author={Repenning, A. and C. Webb, D. and Brand, C. and Gluck, F. and Grover,
    R. and Miller, S. and Nickerson, H. and Song, M.}, year={2014}, pages={68–71}
    }'
  chicago: 'Repenning, A., D. C. Webb, C. Brand, F. Gluck, R. Grover, S. Miller, H.
    Nickerson, and M. Song. “Beyond Minecraft: Facilitating Computational Thinking
    through Modeling and Programming in 3D.” <i>IEEE Computer Graphics and Applications</i>
    34, no. 3 (2014): 68–71. <a href="https://doi.org/10.1109/MCG.2014.46">https://doi.org/10.1109/MCG.2014.46</a>.'
  ieee: 'A. Repenning <i>et al.</i>, “Beyond Minecraft: Facilitating Computational
    Thinking through Modeling and Programming in 3D,” <i>IEEE Computer Graphics and
    Applications</i>, vol. 34, no. 3, pp. 68–71, 2014.'
  mla: 'Repenning, A., et al. “Beyond Minecraft: Facilitating Computational Thinking
    through Modeling and Programming in 3D.” <i>IEEE Computer Graphics and Applications</i>,
    vol. 34, no. 3, IEEE, 2014, pp. 68–71, doi:<a href="https://doi.org/10.1109/MCG.2014.46">10.1109/MCG.2014.46</a>.'
  short: A. Repenning, D. C. Webb, C. Brand, F. Gluck, R. Grover, S. Miller, H. Nickerson,
    M. Song, IEEE Computer Graphics and Applications 34 (2014) 68–71.
date_created: 2021-04-25T15:31:50Z
date_updated: 2022-01-06T06:55:12Z
department:
- _id: '65'
doi: 10.1109/MCG.2014.46
intvolume: '        34'
issue: '3'
language:
- iso: eng
page: 68-71
publication: IEEE Computer Graphics and Applications
publisher: IEEE
status: public
title: 'Beyond Minecraft: Facilitating Computational Thinking through Modeling and
  Programming in 3D'
type: journal_article
user_id: '14955'
volume: 34
year: '2014'
...
---
_id: '21744'
author:
- first_name: G.
  full_name: Reina, G.
  last_name: Reina
- first_name: T.
  full_name: Müller, T.
  last_name: Müller
- first_name: T.
  full_name: Ertl, T.
  last_name: Ertl
citation:
  ama: Reina G, Müller T, Ertl T. Incorporating Modern OpenGL into Computer Graphics
    Education. <i>IEEE Computer Graphics and Applications</i>. 2014;34(4):16-21. doi:<a
    href="https://doi.org/10.1109/MCG.2014.69">10.1109/MCG.2014.69</a>
  apa: Reina, G., Müller, T., &#38; Ertl, T. (2014). Incorporating Modern OpenGL into
    Computer Graphics Education. <i>IEEE Computer Graphics and Applications</i>, <i>34</i>(4),
    16–21. <a href="https://doi.org/10.1109/MCG.2014.69">https://doi.org/10.1109/MCG.2014.69</a>
  bibtex: '@article{Reina_Müller_Ertl_2014, title={Incorporating Modern OpenGL into
    Computer Graphics Education}, volume={34}, DOI={<a href="https://doi.org/10.1109/MCG.2014.69">10.1109/MCG.2014.69</a>},
    number={4}, journal={IEEE Computer Graphics and Applications}, publisher={IEEE},
    author={Reina, G. and Müller, T. and Ertl, T.}, year={2014}, pages={16–21} }'
  chicago: 'Reina, G., T. Müller, and T. Ertl. “Incorporating Modern OpenGL into Computer
    Graphics Education.” <i>IEEE Computer Graphics and Applications</i> 34, no. 4
    (2014): 16–21. <a href="https://doi.org/10.1109/MCG.2014.69">https://doi.org/10.1109/MCG.2014.69</a>.'
  ieee: G. Reina, T. Müller, and T. Ertl, “Incorporating Modern OpenGL into Computer
    Graphics Education,” <i>IEEE Computer Graphics and Applications</i>, vol. 34,
    no. 4, pp. 16–21, 2014.
  mla: Reina, G., et al. “Incorporating Modern OpenGL into Computer Graphics Education.”
    <i>IEEE Computer Graphics and Applications</i>, vol. 34, no. 4, IEEE, 2014, pp.
    16–21, doi:<a href="https://doi.org/10.1109/MCG.2014.69">10.1109/MCG.2014.69</a>.
  short: G. Reina, T. Müller, T. Ertl, IEEE Computer Graphics and Applications 34
    (2014) 16–21.
date_created: 2021-04-25T15:31:51Z
date_updated: 2022-01-06T06:55:12Z
department:
- _id: '65'
doi: 10.1109/MCG.2014.69
intvolume: '        34'
issue: '4'
language:
- iso: eng
page: 16-21
publication: IEEE Computer Graphics and Applications
publisher: IEEE
status: public
title: Incorporating Modern OpenGL into Computer Graphics Education
type: journal_article
user_id: '14955'
volume: 34
year: '2014'
...
---
_id: '21745'
author:
- first_name: M.
  full_name: Cao, M.
  last_name: Cao
- first_name: Y.
  full_name: Li, Y.
  last_name: Li
- first_name: Z.
  full_name: Pan, Z.
  last_name: Pan
- first_name: J.
  full_name: Csete, J.
  last_name: Csete
- first_name: S.
  full_name: Sun, S.
  last_name: Sun
- first_name: J.
  full_name: Li, J.
  last_name: Li
- first_name: Y.
  full_name: Liu, Y.
  last_name: Liu
citation:
  ama: 'Cao M, Li Y, Pan Z, et al. Creative Educational Use of Virtual Reality: Working
    with Second Life. <i>Computer Graphics and Applications, IEEE</i>. 2014;34:83-87.
    doi:<a href="https://doi.org/10.1109/MCG.2014.87">10.1109/MCG.2014.87</a>'
  apa: 'Cao, M., Li, Y., Pan, Z., Csete, J., Sun, S., Li, J., &#38; Liu, Y. (2014).
    Creative Educational Use of Virtual Reality: Working with Second Life. <i>Computer
    Graphics and Applications, IEEE</i>, <i>34</i>, 83–87. <a href="https://doi.org/10.1109/MCG.2014.87">https://doi.org/10.1109/MCG.2014.87</a>'
  bibtex: '@article{Cao_Li_Pan_Csete_Sun_Li_Liu_2014, title={Creative Educational
    Use of Virtual Reality: Working with Second Life}, volume={34}, DOI={<a href="https://doi.org/10.1109/MCG.2014.87">10.1109/MCG.2014.87</a>},
    journal={Computer Graphics and Applications, IEEE}, publisher={IEEE}, author={Cao,
    M. and Li, Y. and Pan, Z. and Csete, J. and Sun, S. and Li, J. and Liu, Y.}, year={2014},
    pages={83–87} }'
  chicago: 'Cao, M., Y. Li, Z. Pan, J. Csete, S. Sun, J. Li, and Y. Liu. “Creative
    Educational Use of Virtual Reality: Working with Second Life.” <i>Computer Graphics
    and Applications, IEEE</i> 34 (2014): 83–87. <a href="https://doi.org/10.1109/MCG.2014.87">https://doi.org/10.1109/MCG.2014.87</a>.'
  ieee: 'M. Cao <i>et al.</i>, “Creative Educational Use of Virtual Reality: Working
    with Second Life,” <i>Computer Graphics and Applications, IEEE</i>, vol. 34, pp.
    83–87, 2014.'
  mla: 'Cao, M., et al. “Creative Educational Use of Virtual Reality: Working with
    Second Life.” <i>Computer Graphics and Applications, IEEE</i>, vol. 34, IEEE,
    2014, pp. 83–87, doi:<a href="https://doi.org/10.1109/MCG.2014.87">10.1109/MCG.2014.87</a>.'
  short: M. Cao, Y. Li, Z. Pan, J. Csete, S. Sun, J. Li, Y. Liu, Computer Graphics
    and Applications, IEEE 34 (2014) 83–87.
date_created: 2021-04-25T15:31:52Z
date_updated: 2022-01-06T06:55:12Z
department:
- _id: '65'
doi: 10.1109/MCG.2014.87
intvolume: '        34'
language:
- iso: eng
page: 83-87
publication: Computer Graphics and Applications, IEEE
publisher: IEEE
status: public
title: 'Creative Educational Use of Virtual Reality: Working with Second Life'
type: journal_article
user_id: '14955'
volume: 34
year: '2014'
...
---
_id: '21746'
author:
- first_name: B.
  full_name: DiSalvo, B.
  last_name: DiSalvo
citation:
  ama: 'DiSalvo B. Graphical Qualities of Educational Technology: Using Drag-and-Drop
    and Text-Based Programs for Introductory Computer Science. <i>IEEE Computer Graphics
    and Applications</i>. 2014;34(6):12-15. doi:<a href="https://doi.org/10.1109/MCG.2014.112">10.1109/MCG.2014.112</a>'
  apa: 'DiSalvo, B. (2014). Graphical Qualities of Educational Technology: Using Drag-and-Drop
    and Text-Based Programs for Introductory Computer Science. <i>IEEE Computer Graphics
    and Applications</i>, <i>34</i>(6), 12–15. <a href="https://doi.org/10.1109/MCG.2014.112">https://doi.org/10.1109/MCG.2014.112</a>'
  bibtex: '@article{DiSalvo_2014, title={Graphical Qualities of Educational Technology:
    Using Drag-and-Drop and Text-Based Programs for Introductory Computer Science},
    volume={34}, DOI={<a href="https://doi.org/10.1109/MCG.2014.112">10.1109/MCG.2014.112</a>},
    number={6}, journal={IEEE Computer Graphics and Applications}, publisher={IEEE},
    author={DiSalvo, B.}, year={2014}, pages={12–15} }'
  chicago: 'DiSalvo, B. “Graphical Qualities of Educational Technology: Using Drag-and-Drop
    and Text-Based Programs for Introductory Computer Science.” <i>IEEE Computer Graphics
    and Applications</i> 34, no. 6 (2014): 12–15. <a href="https://doi.org/10.1109/MCG.2014.112">https://doi.org/10.1109/MCG.2014.112</a>.'
  ieee: 'B. DiSalvo, “Graphical Qualities of Educational Technology: Using Drag-and-Drop
    and Text-Based Programs for Introductory Computer Science,” <i>IEEE Computer Graphics
    and Applications</i>, vol. 34, no. 6, pp. 12–15, 2014.'
  mla: 'DiSalvo, B. “Graphical Qualities of Educational Technology: Using Drag-and-Drop
    and Text-Based Programs for Introductory Computer Science.” <i>IEEE Computer Graphics
    and Applications</i>, vol. 34, no. 6, IEEE, 2014, pp. 12–15, doi:<a href="https://doi.org/10.1109/MCG.2014.112">10.1109/MCG.2014.112</a>.'
  short: B. DiSalvo, IEEE Computer Graphics and Applications 34 (2014) 12–15.
date_created: 2021-04-25T15:31:53Z
date_updated: 2022-01-06T06:55:12Z
department:
- _id: '65'
doi: 10.1109/MCG.2014.112
intvolume: '        34'
issue: '6'
language:
- iso: eng
page: 12-15
publication: IEEE Computer Graphics and Applications
publisher: IEEE
status: public
title: 'Graphical Qualities of Educational Technology: Using Drag-and-Drop and Text-Based
  Programs for Introductory Computer Science'
type: journal_article
user_id: '14955'
volume: 34
year: '2014'
...
---
_id: '7761'
citation:
  ama: Weskamp  C, John  T, Kundisch  D, Teetz A, Rose M, eds. <i>Towards a Simulation-Based
    Approach for Evaluating Business Models for the Electric Vehicle Market</i>. Brussels;
    2014.
  apa: Weskamp , C., John , T., Kundisch , D., Teetz, A., &#38; Rose, M. (Eds.). (2014).
    <i>Towards a Simulation-based Approach for Evaluating Business Models for the
    Electric Vehicle Market</i>. Brussels.
  bibtex: '@book{Weskamp _John _Kundisch _Teetz_Rose_2014, place={Brussels}, series={Proceedings
    of the European Electric Vehicle Congress (EEVC)}, title={Towards a Simulation-based
    Approach for Evaluating Business Models for the Electric Vehicle Market}, year={2014},
    collection={Proceedings of the European Electric Vehicle Congress (EEVC)} }'
  chicago: Weskamp , Christoph , Thomas  John , Dennis  Kundisch , Alexander Teetz,
    and Mirko  Rose, eds. <i>Towards a Simulation-Based Approach for Evaluating Business
    Models for the Electric Vehicle Market</i>. Proceedings of the European Electric
    Vehicle Congress (EEVC). Brussels, 2014.
  ieee: C. Weskamp , T. John , D. Kundisch , A. Teetz, and M. Rose, Eds., <i>Towards
    a Simulation-based Approach for Evaluating Business Models for the Electric Vehicle
    Market</i>. Brussels, 2014.
  mla: Weskamp , Christoph, et al., editors. <i>Towards a Simulation-Based Approach
    for Evaluating Business Models for the Electric Vehicle Market</i>. 2014.
  short: C. Weskamp , T. John , D. Kundisch , A. Teetz, M. Rose, eds., Towards a Simulation-Based
    Approach for Evaluating Business Models for the Electric Vehicle Market, Brussels,
    2014.
date_created: 2019-02-19T11:57:56Z
date_updated: 2022-01-06T07:03:45Z
department:
- _id: '66'
editor:
- first_name: 'Christoph '
  full_name: 'Weskamp , Christoph '
  last_name: 'Weskamp '
- first_name: 'Thomas '
  full_name: 'John , Thomas '
  last_name: 'John '
- first_name: 'Dennis '
  full_name: 'Kundisch , Dennis '
  last_name: 'Kundisch '
- first_name: Alexander
  full_name: Teetz, Alexander
  id: '5319'
  last_name: Teetz
- first_name: 'Mirko '
  full_name: 'Rose, Mirko '
  last_name: Rose
language:
- iso: eng
place: Brussels
series_title: Proceedings of the European Electric Vehicle Congress (EEVC)
status: public
title: Towards a Simulation-based Approach for Evaluating Business Models for the
  Electric Vehicle Market
type: conference_editor
user_id: '52534'
year: '2014'
...
---
_id: '8064'
author:
- first_name: Fabian
  full_name: Pittke, Fabian
  last_name: Pittke
- first_name: Benjamin
  full_name: Nagel, Benjamin
  last_name: Nagel
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Jan
  full_name: Mendling, Jan
  last_name: Mendling
citation:
  ama: 'Pittke F, Nagel B, Engels G, Mendling J. Linguistic Consistency of Goal Models.
    In: <i>Proceedings of the 19th International EMMSAD Conference</i>. Springer;
    2014.'
  apa: Pittke, F., Nagel, B., Engels, G., &#38; Mendling, J. (2014). Linguistic Consistency
    of Goal Models. In <i>Proceedings of the 19th International EMMSAD Conference</i>.
    Springer.
  bibtex: '@inproceedings{Pittke_Nagel_Engels_Mendling_2014, title={Linguistic Consistency
    of Goal Models}, booktitle={Proceedings of the 19th International EMMSAD Conference},
    publisher={Springer}, author={Pittke, Fabian and Nagel, Benjamin and Engels, Gregor
    and Mendling, Jan}, year={2014} }'
  chicago: Pittke, Fabian, Benjamin Nagel, Gregor Engels, and Jan Mendling. “Linguistic
    Consistency of Goal Models.” In <i>Proceedings of the 19th International EMMSAD
    Conference</i>. Springer, 2014.
  ieee: F. Pittke, B. Nagel, G. Engels, and J. Mendling, “Linguistic Consistency of
    Goal Models,” in <i>Proceedings of the 19th International EMMSAD Conference</i>,
    2014.
  mla: Pittke, Fabian, et al. “Linguistic Consistency of Goal Models.” <i>Proceedings
    of the 19th International EMMSAD Conference</i>, Springer, 2014.
  short: 'F. Pittke, B. Nagel, G. Engels, J. Mendling, in: Proceedings of the 19th
    International EMMSAD Conference, Springer, 2014.'
date_created: 2019-02-21T21:15:02Z
date_updated: 2022-01-06T07:03:50Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the 19th International EMMSAD Conference
publisher: Springer
status: public
title: Linguistic Consistency of Goal Models
type: conference
user_id: '52534'
year: '2014'
...
---
_id: '8065'
abstract:
- lang: eng
  text: Software engineering methods are used to prescribe and coordinate the tasks
    necessary to plan, build, deliver, and maintain software. There is a broad consensus
    that there is no one-size-fits-all method and that, e.g., agile and plan-driven
    approaches have to be mixed sometimes, based on the context of a project. Creating
    these so-called situational methods and assuring that they cover all necessary
    details consistently is a challenge. There is also the challenge for the project
    teams to follow methods as prescribed by the method engineer. Our approach supports
    the creation of consistent situational methods from a repository of pre-existing
    building blocks. Moreover, we present means to enact these methods with standard
    BPEL/BPEL4People workflow engines, automating the coordination of tasks and providing
    guidance for them.
author:
- first_name: Masud
  full_name: Fazal-Baqaie, Masud
  last_name: Fazal-Baqaie
- first_name: Christian
  full_name: Gerth, Christian
  last_name: Gerth
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Fazal-Baqaie M, Gerth C, Engels G. Breathing Life into Situational Software
    Engineering Methods. In: <i>In Proceedings of the 15th International Conference
    of Product Focused Software Development and Process Improvement (PROFES 2014)</i>.
    Vol 8892. Springer; 2014:281-284.'
  apa: Fazal-Baqaie, M., Gerth, C., &#38; Engels, G. (2014). Breathing Life into Situational
    Software Engineering Methods. In <i>In Proceedings of the 15th International Conference
    of Product Focused Software Development and Process Improvement (PROFES 2014)</i>
    (Vol. 8892, pp. 281–284). Springer.
  bibtex: '@inproceedings{Fazal-Baqaie_Gerth_Engels_2014, title={Breathing Life into
    Situational Software Engineering Methods}, volume={8892}, booktitle={In Proceedings
    of the 15th International Conference of Product Focused Software Development and
    Process Improvement (PROFES 2014)}, publisher={Springer}, author={Fazal-Baqaie,
    Masud and Gerth, Christian and Engels, Gregor}, year={2014}, pages={281–284} }'
  chicago: Fazal-Baqaie, Masud, Christian Gerth, and Gregor Engels. “Breathing Life
    into Situational Software Engineering Methods.” In <i>In Proceedings of the 15th
    International Conference of Product Focused Software Development and Process Improvement
    (PROFES 2014)</i>, 8892:281–84. Springer, 2014.
  ieee: M. Fazal-Baqaie, C. Gerth, and G. Engels, “Breathing Life into Situational
    Software Engineering Methods,” in <i>In Proceedings of the 15th International
    Conference of Product Focused Software Development and Process Improvement (PROFES
    2014)</i>, 2014, vol. 8892, pp. 281–284.
  mla: Fazal-Baqaie, Masud, et al. “Breathing Life into Situational Software Engineering
    Methods.” <i>In Proceedings of the 15th International Conference of Product Focused
    Software Development and Process Improvement (PROFES 2014)</i>, vol. 8892, Springer,
    2014, pp. 281–84.
  short: 'M. Fazal-Baqaie, C. Gerth, G. Engels, in: In Proceedings of the 15th International
    Conference of Product Focused Software Development and Process Improvement (PROFES
    2014), Springer, 2014, pp. 281–284.'
date_created: 2019-02-21T21:15:04Z
date_updated: 2022-01-06T07:03:50Z
department:
- _id: '66'
intvolume: '      8892'
language:
- iso: eng
page: 281-284
publication: In Proceedings of the 15th International Conference of Product Focused
  Software Development and Process Improvement (PROFES 2014)
publisher: Springer
status: public
title: Breathing Life into Situational Software Engineering Methods
type: conference
user_id: '52534'
volume: 8892
year: '2014'
...
---
_id: '8066'
abstract:
- lang: eng
  text: Agile Softwareentwicklungsmethoden erfreuen sich einer steigenden Verbreitung,
    versprechen sie doch risiko-getrie-ben und leichtgewichtig auch bei sich verändernden
    Anforderungen gute Ergebnisse zu erzielen. Viele Unternehmen stehen jedoch vor
    der Herausforderung, agile Prinzipien mit den Gegebenheiten im Unterneh-men zu
    vereinbaren, z.B. mit den internen Prozessen und organisatori-schen Gegebenheiten.
    Ein besonders herausforderndes Beispiel ist die Softwareentwicklung in Kooperation
    mit Offshore-Partnern. Die Auto-ren berichten aus einem laufenden Methodenverbesserungsprojekt
    für ein Unternehmen der Finanzbranche, das für die Softwareentwicklung mit On-
    und Offshore-Partnern kooperiert. Anders als bisher soll der indischen Offshore-Partner
    in naher Zukunft große Softwaressysteme federführend implementieren. Dabei sollen
    projektindividuell auch Onshore-Partner eingebunden werden. Der Beitrag stellt
    den systema-tischen Ansatz für die inkrementelle Methodenverbesserung vor, mit
    dem Varianten einer möglichst agilen Methode definiert werden sollen, die sowohl
    im Projektumfeld als auch im operativen Tagesgeschäft ef-fektiv und effizient
    eingesetzt werden können. Die Autoren fassen au-ßerdem die im Rahmen von Interviews
    erhobenen, bisherigen Erfah-rungen in der Zusammenarbeit mit dem Offshore-Partner
    zusammen, die für die Methode berücksichtigt werden müssen.
author:
- first_name: Masud
  full_name: Fazal-Baqaie, Masud
  last_name: Fazal-Baqaie
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
- first_name: Torsten
  full_name: Heuft, Torsten
  last_name: Heuft
citation:
  ama: 'Fazal-Baqaie M, Sauer S, Heuft T. Agile Entwicklung mit On- und Offshore-Partnern
    – Methodenverbesserung in der Praxis. In: <i>Proceedings of Projektmanagement
    Und Vorgehensmodelle 2014</i>. Lecture Notes in Informatics (LNI). GI, Köllen
    Druck+Verlag GmbH, Bonn; 2014:59-69.'
  apa: Fazal-Baqaie, M., Sauer, S., &#38; Heuft, T. (2014). Agile Entwicklung mit
    On- und Offshore-Partnern – Methodenverbesserung in der Praxis. In <i>Proceedings
    of Projektmanagement und Vorgehensmodelle 2014</i> (pp. 59–69). GI, Köllen Druck+Verlag
    GmbH, Bonn.
  bibtex: '@inproceedings{Fazal-Baqaie_Sauer_Heuft_2014, series={Lecture Notes in
    Informatics (LNI)}, title={Agile Entwicklung mit On- und Offshore-Partnern – Methodenverbesserung
    in der Praxis}, booktitle={Proceedings of Projektmanagement und Vorgehensmodelle
    2014}, publisher={GI, Köllen Druck+Verlag GmbH, Bonn}, author={Fazal-Baqaie, Masud
    and Sauer, Stefan and Heuft, Torsten}, year={2014}, pages={59–69}, collection={Lecture
    Notes in Informatics (LNI)} }'
  chicago: Fazal-Baqaie, Masud, Stefan Sauer, and Torsten Heuft. “Agile Entwicklung
    Mit On- Und Offshore-Partnern – Methodenverbesserung in Der Praxis.” In <i>Proceedings
    of Projektmanagement Und Vorgehensmodelle 2014</i>, 59–69. Lecture Notes in Informatics
    (LNI). GI, Köllen Druck+Verlag GmbH, Bonn, 2014.
  ieee: M. Fazal-Baqaie, S. Sauer, and T. Heuft, “Agile Entwicklung mit On- und Offshore-Partnern
    – Methodenverbesserung in der Praxis,” in <i>Proceedings of Projektmanagement
    und Vorgehensmodelle 2014</i>, 2014, pp. 59–69.
  mla: Fazal-Baqaie, Masud, et al. “Agile Entwicklung Mit On- Und Offshore-Partnern
    – Methodenverbesserung in Der Praxis.” <i>Proceedings of Projektmanagement Und
    Vorgehensmodelle 2014</i>, GI, Köllen Druck+Verlag GmbH, Bonn, 2014, pp. 59–69.
  short: 'M. Fazal-Baqaie, S. Sauer, T. Heuft, in: Proceedings of Projektmanagement
    Und Vorgehensmodelle 2014, GI, Köllen Druck+Verlag GmbH, Bonn, 2014, pp. 59–69.'
date_created: 2019-02-21T21:15:05Z
date_updated: 2022-01-06T07:03:50Z
department:
- _id: '66'
language:
- iso: eng
page: 59-69
publication: Proceedings of Projektmanagement und Vorgehensmodelle 2014
publisher: GI, Köllen Druck+Verlag GmbH, Bonn
series_title: Lecture Notes in Informatics (LNI)
status: public
title: Agile Entwicklung mit On- und Offshore-Partnern – Methodenverbesserung in der
  Praxis
type: conference
user_id: '52534'
year: '2014'
...
---
_id: '8224'
author:
- first_name: Svetlana
  full_name: Arifulina, Svetlana
  last_name: Arifulina
- first_name: Marie
  full_name: Christin Platenius, Marie
  last_name: Christin Platenius
- first_name: Christian
  full_name: Gerth, Christian
  last_name: Gerth
- first_name: Steffen
  full_name: Becker, Steffen
  last_name: Becker
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
citation:
  ama: Arifulina S, Christin Platenius M, Gerth C, Becker S, Engels G, Schäfer W.
    <i>Configuration of Specification Language and Matching for Services in On-The-Fly
    Computing</i>. Heinz Nixdorf Institute, University of Paderborn; 2014.
  apa: Arifulina, S., Christin Platenius, M., Gerth, C., Becker, S., Engels, G., &#38;
    Schäfer, W. (2014). <i>Configuration of Specification Language and Matching for
    Services in On-The-Fly Computing</i>. Heinz Nixdorf Institute, University of Paderborn.
  bibtex: '@book{Arifulina_Christin Platenius_Gerth_Becker_Engels_Schäfer_2014, title={Configuration
    of Specification Language and Matching for Services in On-The-Fly Computing},
    publisher={Heinz Nixdorf Institute, University of Paderborn}, author={Arifulina,
    Svetlana and Christin Platenius, Marie and Gerth, Christian and Becker, Steffen
    and Engels, Gregor and Schäfer, Wilhelm}, year={2014} }'
  chicago: Arifulina, Svetlana, Marie Christin Platenius, Christian Gerth, Steffen
    Becker, Gregor Engels, and Wilhelm Schäfer. <i>Configuration of Specification
    Language and Matching for Services in On-The-Fly Computing</i>. Heinz Nixdorf
    Institute, University of Paderborn, 2014.
  ieee: S. Arifulina, M. Christin Platenius, C. Gerth, S. Becker, G. Engels, and W.
    Schäfer, <i>Configuration of Specification Language and Matching for Services
    in On-The-Fly Computing</i>. Heinz Nixdorf Institute, University of Paderborn,
    2014.
  mla: Arifulina, Svetlana, et al. <i>Configuration of Specification Language and
    Matching for Services in On-The-Fly Computing</i>. Heinz Nixdorf Institute, University
    of Paderborn, 2014.
  short: S. Arifulina, M. Christin Platenius, C. Gerth, S. Becker, G. Engels, W. Schäfer,
    Configuration of Specification Language and Matching for Services in On-The-Fly
    Computing, Heinz Nixdorf Institute, University of Paderborn, 2014.
date_created: 2019-03-03T16:13:24Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: Heinz Nixdorf Institute, University of Paderborn
report_number: tr-ri-14-342
status: public
title: Configuration of Specification Language and Matching for Services in On-The-Fly
  Computing
type: report
user_id: '52534'
year: '2014'
...
---
_id: '5749'
author:
- first_name: Enes
  full_name: Yigitbas, Enes
  id: '8447'
  last_name: Yigitbas
  orcid: 0000-0002-5967-833X
- first_name: Holger Gerhard
  full_name: Fischer, Holger Gerhard
  id: '30457'
  last_name: Fischer
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
citation:
  ama: 'Yigitbas E, Fischer HG, Sauer S. Model-Based User Interface Development for
    Adaptive Self-Service Systems. In: <i>Design, User Experience, and Usability.
    Theories, Methods, and Tools for Designing the User Experience - Third International
    Conference, {DUXU} 2014, Held as Part of {HCI} International 2014, Heraklion,
    Crete, Greece, June 22-27, 2014, Proceedings, Part {I}</i>. ; 2014:206-213. doi:<a
    href="https://doi.org/10.1007/978-3-319-07668-3\_21">10.1007/978-3-319-07668-3\_21</a>'
  apa: Yigitbas, E., Fischer, H. G., &#38; Sauer, S. (2014). Model-Based User Interface
    Development for Adaptive Self-Service Systems. In <i>Design, User Experience,
    and Usability. Theories, Methods, and Tools for Designing the User Experience
    - Third International Conference, {DUXU} 2014, Held as Part of {HCI} International
    2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part {I}</i> (pp.
    206–213). <a href="https://doi.org/10.1007/978-3-319-07668-3\_21">https://doi.org/10.1007/978-3-319-07668-3\_21</a>
  bibtex: '@inproceedings{Yigitbas_Fischer_Sauer_2014, title={Model-Based User Interface
    Development for Adaptive Self-Service Systems}, DOI={<a href="https://doi.org/10.1007/978-3-319-07668-3\_21">10.1007/978-3-319-07668-3\_21</a>},
    booktitle={Design, User Experience, and Usability. Theories, Methods, and Tools
    for Designing the User Experience - Third International Conference, {DUXU} 2014,
    Held as Part of {HCI} International 2014, Heraklion, Crete, Greece, June 22-27,
    2014, Proceedings, Part {I}}, author={Yigitbas, Enes and Fischer, Holger Gerhard
    and Sauer, Stefan}, year={2014}, pages={206–213} }'
  chicago: Yigitbas, Enes, Holger Gerhard Fischer, and Stefan Sauer. “Model-Based
    User Interface Development for Adaptive Self-Service Systems.” In <i>Design, User
    Experience, and Usability. Theories, Methods, and Tools for Designing the User
    Experience - Third International Conference, {DUXU} 2014, Held as Part of {HCI}
    International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part
    {I}</i>, 206–13, 2014. <a href="https://doi.org/10.1007/978-3-319-07668-3\_21">https://doi.org/10.1007/978-3-319-07668-3\_21</a>.
  ieee: E. Yigitbas, H. G. Fischer, and S. Sauer, “Model-Based User Interface Development
    for Adaptive Self-Service Systems,” in <i>Design, User Experience, and Usability.
    Theories, Methods, and Tools for Designing the User Experience - Third International
    Conference, {DUXU} 2014, Held as Part of {HCI} International 2014, Heraklion,
    Crete, Greece, June 22-27, 2014, Proceedings, Part {I}</i>, 2014, pp. 206–213.
  mla: Yigitbas, Enes, et al. “Model-Based User Interface Development for Adaptive
    Self-Service Systems.” <i>Design, User Experience, and Usability. Theories, Methods,
    and Tools for Designing the User Experience - Third International Conference,
    {DUXU} 2014, Held as Part of {HCI} International 2014, Heraklion, Crete, Greece,
    June 22-27, 2014, Proceedings, Part {I}</i>, 2014, pp. 206–13, doi:<a href="https://doi.org/10.1007/978-3-319-07668-3\_21">10.1007/978-3-319-07668-3\_21</a>.
  short: 'E. Yigitbas, H.G. Fischer, S. Sauer, in: Design, User Experience, and Usability.
    Theories, Methods, and Tools for Designing the User Experience - Third International
    Conference, {DUXU} 2014, Held as Part of {HCI} International 2014, Heraklion,
    Crete, Greece, June 22-27, 2014, Proceedings, Part {I}, 2014, pp. 206–213.'
date_created: 2018-11-19T15:17:14Z
date_updated: 2022-01-06T07:02:38Z
department:
- _id: '66'
doi: 10.1007/978-3-319-07668-3\_21
language:
- iso: eng
page: 206-213
publication: Design, User Experience, and Usability. Theories, Methods, and Tools
  for Designing the User Experience - Third International Conference, {DUXU} 2014,
  Held as Part of {HCI} International 2014, Heraklion, Crete, Greece, June 22-27,
  2014, Proceedings, Part {I}
status: public
title: Model-Based User Interface Development for Adaptive Self-Service Systems
type: conference
user_id: '8447'
year: '2014'
...
---
_id: '5750'
author:
- first_name: Enes
  full_name: Yigitbas, Enes
  id: '8447'
  last_name: Yigitbas
  orcid: 0000-0002-5967-833X
- first_name: Holger Gerhard
  full_name: Fischer, Holger Gerhard
  id: '30457'
  last_name: Fischer
- first_name: Thomas
  full_name: Kern, Thomas
  last_name: Kern
- first_name: Volker
  full_name: Paelke, Volker
  last_name: Paelke
citation:
  ama: 'Yigitbas E, Fischer HG, Kern T, Paelke V. Model-Based Development of Adaptive
    UIs for Multi-channel Self-service Systems. In: <i>Human-Centered Software Engineering
    - 5th {IFIP} {WG} 13.2 International Conference, {HCSE} 2014, Paderborn, Germany,
    September 16-18, 2014. Proceedings</i>. ; 2014:267-274. doi:<a href="https://doi.org/10.1007/978-3-662-44811-3\_18">10.1007/978-3-662-44811-3\_18</a>'
  apa: Yigitbas, E., Fischer, H. G., Kern, T., &#38; Paelke, V. (2014). Model-Based
    Development of Adaptive UIs for Multi-channel Self-service Systems. In <i>Human-Centered
    Software Engineering - 5th {IFIP} {WG} 13.2 International Conference, {HCSE} 2014,
    Paderborn, Germany, September 16-18, 2014. Proceedings</i> (pp. 267–274). <a href="https://doi.org/10.1007/978-3-662-44811-3\_18">https://doi.org/10.1007/978-3-662-44811-3\_18</a>
  bibtex: '@inproceedings{Yigitbas_Fischer_Kern_Paelke_2014, title={Model-Based Development
    of Adaptive UIs for Multi-channel Self-service Systems}, DOI={<a href="https://doi.org/10.1007/978-3-662-44811-3\_18">10.1007/978-3-662-44811-3\_18</a>},
    booktitle={Human-Centered Software Engineering - 5th {IFIP} {WG} 13.2 International
    Conference, {HCSE} 2014, Paderborn, Germany, September 16-18, 2014. Proceedings},
    author={Yigitbas, Enes and Fischer, Holger Gerhard and Kern, Thomas and Paelke,
    Volker}, year={2014}, pages={267–274} }'
  chicago: Yigitbas, Enes, Holger Gerhard Fischer, Thomas Kern, and Volker Paelke.
    “Model-Based Development of Adaptive UIs for Multi-Channel Self-Service Systems.”
    In <i>Human-Centered Software Engineering - 5th {IFIP} {WG} 13.2 International
    Conference, {HCSE} 2014, Paderborn, Germany, September 16-18, 2014. Proceedings</i>,
    267–74, 2014. <a href="https://doi.org/10.1007/978-3-662-44811-3\_18">https://doi.org/10.1007/978-3-662-44811-3\_18</a>.
  ieee: E. Yigitbas, H. G. Fischer, T. Kern, and V. Paelke, “Model-Based Development
    of Adaptive UIs for Multi-channel Self-service Systems,” in <i>Human-Centered
    Software Engineering - 5th {IFIP} {WG} 13.2 International Conference, {HCSE} 2014,
    Paderborn, Germany, September 16-18, 2014. Proceedings</i>, 2014, pp. 267–274.
  mla: Yigitbas, Enes, et al. “Model-Based Development of Adaptive UIs for Multi-Channel
    Self-Service Systems.” <i>Human-Centered Software Engineering - 5th {IFIP} {WG}
    13.2 International Conference, {HCSE} 2014, Paderborn, Germany, September 16-18,
    2014. Proceedings</i>, 2014, pp. 267–74, doi:<a href="https://doi.org/10.1007/978-3-662-44811-3\_18">10.1007/978-3-662-44811-3\_18</a>.
  short: 'E. Yigitbas, H.G. Fischer, T. Kern, V. Paelke, in: Human-Centered Software
    Engineering - 5th {IFIP} {WG} 13.2 International Conference, {HCSE} 2014, Paderborn,
    Germany, September 16-18, 2014. Proceedings, 2014, pp. 267–274.'
date_created: 2018-11-19T15:17:22Z
date_updated: 2022-01-06T07:02:38Z
department:
- _id: '66'
doi: 10.1007/978-3-662-44811-3\_18
language:
- iso: eng
page: 267-274
publication: Human-Centered Software Engineering - 5th {IFIP} {WG} 13.2 International
  Conference, {HCSE} 2014, Paderborn, Germany, September 16-18, 2014. Proceedings
status: public
title: Model-Based Development of Adaptive UIs for Multi-channel Self-service Systems
type: conference
user_id: '8447'
year: '2014'
...
---
_id: '5751'
author:
- first_name: Enes
  full_name: Yigitbas, Enes
  id: '8447'
  last_name: Yigitbas
  orcid: 0000-0002-5967-833X
- first_name: Stefan
  full_name: Sauer, Stefan
  last_name: Sauer
citation:
  ama: 'Yigitbas E, Sauer S. Flexible &#38; Adaptive UIs for Self-Service Systems.
    In: <i>Mensch &#38; Computer 2014 - Workshopband, 14. Fachübergreifende Konferenz
    Für Interaktive Und Kooperative Medien - Interaktiv Unterwegs - Freiräume Gestalten,
    31. August - 3. September 2014, München, Germany</i>. ; 2014:167-175.'
  apa: Yigitbas, E., &#38; Sauer, S. (2014). Flexible &#38; Adaptive UIs for Self-Service
    Systems. In <i>Mensch &#38; Computer 2014 - Workshopband, 14. Fachübergreifende
    Konferenz für Interaktive und Kooperative Medien - Interaktiv unterwegs - Freiräume
    gestalten, 31. August - 3. September 2014, München, Germany</i> (pp. 167–175).
  bibtex: '@inproceedings{Yigitbas_Sauer_2014, title={Flexible &#38; Adaptive UIs
    for Self-Service Systems}, booktitle={Mensch &#38; Computer 2014 - Workshopband,
    14. Fachübergreifende Konferenz für Interaktive und Kooperative Medien - Interaktiv
    unterwegs - Freiräume gestalten, 31. August - 3. September 2014, München, Germany},
    author={Yigitbas, Enes and Sauer, Stefan}, year={2014}, pages={167–175} }'
  chicago: Yigitbas, Enes, and Stefan Sauer. “Flexible &#38; Adaptive UIs for Self-Service
    Systems.” In <i>Mensch &#38; Computer 2014 - Workshopband, 14. Fachübergreifende
    Konferenz Für Interaktive Und Kooperative Medien - Interaktiv Unterwegs - Freiräume
    Gestalten, 31. August - 3. September 2014, München, Germany</i>, 167–75, 2014.
  ieee: E. Yigitbas and S. Sauer, “Flexible &#38; Adaptive UIs for Self-Service Systems,”
    in <i>Mensch &#38; Computer 2014 - Workshopband, 14. Fachübergreifende Konferenz
    für Interaktive und Kooperative Medien - Interaktiv unterwegs - Freiräume gestalten,
    31. August - 3. September 2014, München, Germany</i>, 2014, pp. 167–175.
  mla: Yigitbas, Enes, and Stefan Sauer. “Flexible &#38; Adaptive UIs for Self-Service
    Systems.” <i>Mensch &#38; Computer 2014 - Workshopband, 14. Fachübergreifende
    Konferenz Für Interaktive Und Kooperative Medien - Interaktiv Unterwegs - Freiräume
    Gestalten, 31. August - 3. September 2014, München, Germany</i>, 2014, pp. 167–75.
  short: 'E. Yigitbas, S. Sauer, in: Mensch &#38; Computer 2014 - Workshopband, 14.
    Fachübergreifende Konferenz Für Interaktive Und Kooperative Medien - Interaktiv
    Unterwegs - Freiräume Gestalten, 31. August - 3. September 2014, München, Germany,
    2014, pp. 167–175.'
date_created: 2018-11-19T15:17:27Z
date_updated: 2022-01-06T07:02:38Z
department:
- _id: '66'
language:
- iso: eng
page: 167-175
publication: Mensch & Computer 2014 - Workshopband, 14. Fachübergreifende Konferenz
  für Interaktive und Kooperative Medien - Interaktiv unterwegs - Freiräume gestalten,
  31. August - 3. September 2014, München, Germany
status: public
title: Flexible & Adaptive UIs for Self-Service Systems
type: conference
user_id: '8447'
year: '2014'
...
---
_id: '6273'
author:
- first_name: Holger Gerhard
  full_name: Fischer, Holger Gerhard
  id: '30457'
  last_name: Fischer
- first_name: Catharina
  full_name: Riedemann, Catharina
  last_name: Riedemann
- first_name: Lisa
  full_name: Daske, Lisa
  last_name: Daske
- first_name: Thomas
  full_name: Geis, Thomas
  last_name: Geis
- first_name: Oliver
  full_name: Kluge, Oliver
  last_name: Kluge
- first_name: Rolf
  full_name: Molich, Rolf
  last_name: Molich
- first_name: Knut
  full_name: Polkehn, Knut
  last_name: Polkehn
citation:
  ama: 'Fischer HG, Riedemann C, Daske L, et al. Qualität im Usability Engineering
    - Stand der Arbeiten am Qualitätsstandard Usability Engineering der German UPA.
    In: <i>Jahresband Usability Professionals</i>. German UPA; 2014.'
  apa: Fischer, H. G., Riedemann, C., Daske, L., Geis, T., Kluge, O., Molich, R.,
    &#38; Polkehn, K. (2014). Qualität im Usability Engineering - Stand der Arbeiten
    am Qualitätsstandard Usability Engineering der German UPA. In <i>Jahresband Usability
    Professionals</i>. German UPA.
  bibtex: '@inproceedings{Fischer_Riedemann_Daske_Geis_Kluge_Molich_Polkehn_2014,
    title={Qualität im Usability Engineering - Stand der Arbeiten am Qualitätsstandard
    Usability Engineering der German UPA}, booktitle={Jahresband Usability Professionals},
    publisher={German UPA}, author={Fischer, Holger Gerhard and Riedemann, Catharina
    and Daske, Lisa and Geis, Thomas and Kluge, Oliver and Molich, Rolf and Polkehn,
    Knut}, year={2014} }'
  chicago: Fischer, Holger Gerhard, Catharina Riedemann, Lisa Daske, Thomas Geis,
    Oliver Kluge, Rolf Molich, and Knut Polkehn. “Qualität Im Usability Engineering
    - Stand Der Arbeiten Am Qualitätsstandard Usability Engineering Der German UPA.”
    In <i>Jahresband Usability Professionals</i>. German UPA, 2014.
  ieee: H. G. Fischer <i>et al.</i>, “Qualität im Usability Engineering - Stand der
    Arbeiten am Qualitätsstandard Usability Engineering der German UPA,” in <i>Jahresband
    Usability Professionals</i>, 2014.
  mla: Fischer, Holger Gerhard, et al. “Qualität Im Usability Engineering - Stand
    Der Arbeiten Am Qualitätsstandard Usability Engineering Der German UPA.” <i>Jahresband
    Usability Professionals</i>, German UPA, 2014.
  short: 'H.G. Fischer, C. Riedemann, L. Daske, T. Geis, O. Kluge, R. Molich, K. Polkehn,
    in: Jahresband Usability Professionals, German UPA, 2014.'
date_created: 2018-12-18T12:37:36Z
date_updated: 2022-01-06T07:02:59Z
department:
- _id: '66'
- _id: '534'
- _id: '221'
language:
- iso: eng
publication: Jahresband Usability Professionals
publisher: German UPA
status: public
title: Qualität im Usability Engineering - Stand der Arbeiten am Qualitätsstandard
  Usability Engineering der German UPA
type: conference
user_id: '30457'
year: '2014'
...
---
_id: '6303'
author:
- first_name: Björn
  full_name: Senft, Björn
  id: '9109'
  last_name: Senft
- first_name: Holger Gerhard
  full_name: Fischer, Holger Gerhard
  id: '30457'
  last_name: Fischer
- first_name: Christian
  full_name: Sudbrock, Christian
  last_name: Sudbrock
citation:
  ama: 'Senft B, Fischer HG, Sudbrock C. IT-Unterstützung im praktischen Ausbildungsbetrieb
    der Feuerwehr. In: <i>Mensch &#38; Computer 2014 - Workshopband</i>. De Gruyter
    Oldenbourg; 2014:111-116.'
  apa: Senft, B., Fischer, H. G., &#38; Sudbrock, C. (2014). IT-Unterstützung im praktischen
    Ausbildungsbetrieb der Feuerwehr. In <i>Mensch &#38; Computer 2014 - Workshopband</i>
    (pp. 111–116). De Gruyter Oldenbourg.
  bibtex: '@inproceedings{Senft_Fischer_Sudbrock_2014, title={IT-Unterstützung im
    praktischen Ausbildungsbetrieb der Feuerwehr}, booktitle={Mensch &#38; Computer
    2014 - Workshopband}, publisher={De Gruyter Oldenbourg}, author={Senft, Björn
    and Fischer, Holger Gerhard and Sudbrock, Christian}, year={2014}, pages={111–116}
    }'
  chicago: Senft, Björn, Holger Gerhard Fischer, and Christian Sudbrock. “IT-Unterstützung
    im praktischen Ausbildungsbetrieb der Feuerwehr.” In <i>Mensch &#38; Computer
    2014 - Workshopband</i>, 111–16. De Gruyter Oldenbourg, 2014.
  ieee: B. Senft, H. G. Fischer, and C. Sudbrock, “IT-Unterstützung im praktischen
    Ausbildungsbetrieb der Feuerwehr,” in <i>Mensch &#38; Computer 2014 - Workshopband</i>,
    2014, pp. 111–116.
  mla: Senft, Björn, et al. “IT-Unterstützung im praktischen Ausbildungsbetrieb der
    Feuerwehr.” <i>Mensch &#38; Computer 2014 - Workshopband</i>, De Gruyter Oldenbourg,
    2014, pp. 111–16.
  short: 'B. Senft, H.G. Fischer, C. Sudbrock, in: Mensch &#38; Computer 2014 - Workshopband,
    De Gruyter Oldenbourg, 2014, pp. 111–116.'
date_created: 2018-12-18T13:09:24Z
date_updated: 2022-01-06T07:03:00Z
department:
- _id: '66'
- _id: '534'
- _id: '221'
language:
- iso: ger
page: 111-116
publication: Mensch & Computer 2014 - Workshopband
publisher: De Gruyter Oldenbourg
status: public
title: IT-Unterstützung im praktischen Ausbildungsbetrieb der Feuerwehr
type: conference
user_id: '30457'
year: '2014'
...
---
_id: '6428'
abstract:
- lang: eng
  text: "The intensive use of networked embedded systems is one of the key success
    factors in the automotive industry also triggering a massive shortening of innovation
    cycles. Hundreds of so called Electronic Control Units (ECUs), connected by kilometers
    of electrical wiring, operate in today's modern car enabling a huge variety of
    new functionalities ranging from safety to comfort applications. All this functionality
    can only be realized if the ECUs are able to communicate and to cooperate using
    a real-time enabled communication network in the car. Today we are at the verge
    of another leap forward: This in-car network is being ex- tended to not only connect
    local ECUs but to connect the whole car to other cars and its environment using
    Inter-Vehicle Communications (IVCs). Relying on existing wireless Internet access
    using cellular networks of the third (3G) or fourth generation (4G), or novel
    networking technologies that are being designed specifically for the use in the
    vehicular context such as IEEE WAVE, ETSI ITS-G5, and the IEEE 802.11p protocol,
    it becomes possible to use spontaneous connections between vehicles to exchange
    information, promising to enable novel and sometimes futuristic applications.
    Using such IVC, safety relevant information can be exchanged that could not have
    been obtained using local sensors, enabling a driver to virtually see traffic
    through large trucks or buildings. This new idea of networked vehicles creates
    opportunities to not only increase road traffic safety but also to improve our
    driving experience. Traffic jams can be prevented altogether (or at least we would
    be informed of jams well in advance) - and we might even be able to enable the
    driver to enjoying fully automated rides in a train-like convoy of cooperating
    of vehicles on the road. Vehicular networking, the fusion of vehicles' networks
    to exchange information, is the common basis on which all of these visions build
    upon. Being fascinated with all the opportunities and challenges related to vehicular
    networking, we have been a part of this research community for close to ten years.
    In this time, many new and sometimes crazy ideas have been formulated how to connect
    cars of the future. Many of these ideas have been found not suitable after thorough
    investigation - yet, several survived and paved the road for what are now close
    to market-ready solutions. From a research perspective, we are able to identify
    many open challenges, both in the in-car and inter-vehicle communication systems.
    To investigate these further, we co-organized two Dagstuhl seminars inviting leading
    experts from all over the world and bringing together practitioners from industry
    and scientists from research institutes and universities. In this scope, we were
    able to formulate directions guiding the ongoing research activities at least
    in the medium term. We also established a complementary seminar series for newcomers
    to the field, which is being organized in the context of the international FG-IVC
    series of seminars and organized by the German computer science and electrical
    engineering societies GI and ITG. This textbook is based on a tutorial series
    on the same topic presented at all the major IEEE conferences including IEEE CCNC,
    IEEE ICC, IEEE GLOBECOM, and IEEE VTC, as well as in the scope of Falko Dressler's
    IEEE Distinguished Lecturer Tours in Europe, the U.S., South America, and Asia-Pacific.
    We also designed a new graduate level university class, which is being held at
    different universities in Europe. This has inspired us to collect our experiences
    in the form of a textbook, collecting in one place the common concepts of past
    and future vehicular networking topics for a broad range of readers - from students
    that want to enter this exciting new field to practitioners looking for a comprehensive
    overview. This book would not have been possible without the many people that
    have inspired and supported us over the last decade in our research activites
    on vehicular networking - first and foremost the community centering around the
    IEEE Vehicular Networking Conference, the premier conference in the field. In
    particular we'd like to name Prof. Ozan K. Tonguz (CMU) and Prof. Mario Gerla
    (UCLA) who collaborated with us investigating some of the mentioned crazy ideas,
    and finally identifying valuable and lasting solutions. The aforementioned tutorial
    lectues have been prepared together with Dr. Onur Altintas (Toyota ITC) and Prof.
    Claudio Casetti (Politechnico di Torino). We also wish to express our appreciation
    for the support we received from the most helpful staff at Cambridge during the
    preparation of this book. Finally, we would like to sincerely thank our families,
    friends, and colleagues for their enduring help and support. We hope you will
    enjoy reading this textbook as much as we enjoyed preparing its contents for you.
    We gladly welcome any feedback and invite you to leave us a note or peruse supplementary
    material we are offering on this book's companion website http://book.car2x.org/.\r\n"
author:
- first_name: Christoph
  full_name: Sommer, Christoph
  id: '49154'
  last_name: Sommer
  orcid: 0000-0002-4336-7350
- first_name: Falko
  full_name: Dressler, Falko
  id: '48097'
  last_name: Dressler
  orcid: 0000-0002-1989-1750
citation:
  ama: Sommer C, Dressler F. <i>Vehicular Networking</i>. Cambridge University Press;
    2014. doi:<a href="https://doi.org/10.1017/CBO9781107110649">10.1017/CBO9781107110649</a>
  apa: Sommer, C., &#38; Dressler, F. (2014). <i>Vehicular Networking</i>. Cambridge
    University Press. <a href="https://doi.org/10.1017/CBO9781107110649">https://doi.org/10.1017/CBO9781107110649</a>
  bibtex: '@book{Sommer_Dressler_2014, title={Vehicular Networking}, DOI={<a href="https://doi.org/10.1017/CBO9781107110649">10.1017/CBO9781107110649</a>},
    publisher={Cambridge University Press}, author={Sommer, Christoph and Dressler,
    Falko}, year={2014} }'
  chicago: Sommer, Christoph, and Falko Dressler. <i>Vehicular Networking</i>. Cambridge
    University Press, 2014. <a href="https://doi.org/10.1017/CBO9781107110649">https://doi.org/10.1017/CBO9781107110649</a>.
  ieee: C. Sommer and F. Dressler, <i>Vehicular Networking</i>. Cambridge University
    Press, 2014.
  mla: Sommer, Christoph, and Falko Dressler. <i>Vehicular Networking</i>. Cambridge
    University Press, 2014, doi:<a href="https://doi.org/10.1017/CBO9781107110649">10.1017/CBO9781107110649</a>.
  short: C. Sommer, F. Dressler, Vehicular Networking, Cambridge University Press,
    2014.
date_created: 2018-12-30T11:06:33Z
date_updated: 2022-01-06T07:03:04Z
department:
- _id: '273'
- _id: '7'
doi: 10.1017/CBO9781107110649
language:
- iso: eng
publication_identifier:
  isbn:
  - 978-1-107-04671-9
publisher: Cambridge University Press
status: public
title: Vehicular Networking
type: book
user_id: '49154'
year: '2014'
...
---
_id: '442'
abstract:
- lang: eng
  text: We present a new transformation of chosen-plaintext secure predicate encryption
    schemes with public index into chosen-ciphertext secure schemes. Our construction
    requires only a universal one-way hash function and is selectively secure in the
    standard model. The transformation is not generic but can be applied to various
    existing schemes constructed from bilinear groups. Using common structural properties
    of these schemes we provide an efficient and simple transformation without overhead
    in form of one-time signatures or message authentication codes as required in
    the known generic transformations.
author:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
- first_name: Gennadij
  full_name: Liske, Gennadij
  last_name: Liske
citation:
  ama: Blömer J, Liske G. Constructing CCA-secure predicate encapsulation schemes
    from CPA-secure schemes and universal one-way hash functions. 2014.
  apa: Blömer, J., &#38; Liske, G. (2014). Constructing CCA-secure predicate encapsulation
    schemes from CPA-secure schemes and universal one-way hash functions. Universität
    Paderborn.
  bibtex: '@article{Blömer_Liske_2014, title={Constructing CCA-secure predicate encapsulation
    schemes from CPA-secure schemes and universal one-way hash functions}, publisher={Universität
    Paderborn}, author={Blömer, Johannes and Liske, Gennadij}, year={2014} }'
  chicago: Blömer, Johannes, and Gennadij Liske. “Constructing CCA-Secure Predicate
    Encapsulation Schemes from CPA-Secure Schemes and Universal One-Way Hash Functions.”
    Universität Paderborn, 2014.
  ieee: J. Blömer and G. Liske, “Constructing CCA-secure predicate encapsulation schemes
    from CPA-secure schemes and universal one-way hash functions.” Universität Paderborn,
    2014.
  mla: Blömer, Johannes, and Gennadij Liske. <i>Constructing CCA-Secure Predicate
    Encapsulation Schemes from CPA-Secure Schemes and Universal One-Way Hash Functions</i>.
    Universität Paderborn, 2014.
  short: J. Blömer, G. Liske, (2014).
date_created: 2017-10-17T12:42:18Z
date_updated: 2022-01-06T07:01:03Z
ddc:
- '000'
department:
- _id: '64'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-16T11:28:34Z
  date_updated: 2018-03-16T11:28:34Z
  file_id: '1351'
  file_name: 442-P-KEM.pdf
  file_size: 377945
  relation: main_file
  success: 1
file_date_updated: 2018-03-16T11:28:34Z
has_accepted_license: '1'
main_file_link:
- open_access: '1'
  url: https://eprint.iacr.org/2014/511.pdf
oa: '1'
project:
- _id: '1'
  name: SFB 901
- _id: '13'
  name: SFB 901 - Subprojekt C1
- _id: '4'
  name: SFB 901 - Project Area C
- _id: '43'
  name: Securing the Financial Cloud
publisher: Universität Paderborn
status: public
title: Constructing CCA-secure predicate encapsulation schemes from CPA-secure schemes
  and universal one-way hash functions
type: preprint
user_id: '25078'
year: '2014'
...
---
_id: '446'
abstract:
- lang: eng
  text: 'This paper considers the problem of how to efficiently share a wireless medium
    which is subject to harsh external interference or even jamming. While this problem
    has already been studied intensively for simplistic single-hop or unit disk graph
    models, we make a leap forward and study MAC protocols for the SINR interference
    model (a.k.a. the physical model). We make two contributions. First, we introduce
    a new adversarial SINR model which captures a wide range of interference phenomena.
    Concretely, we consider a powerful, adaptive adversary which can jam nodes at
    arbitrary times and which is only limited by some energy budget. The second contribution
    of this paper is a distributed MAC protocol which provably achieves a constant
    competitive throughput in this environment: we show that, with high probability,
    the protocol ensures that a constant fraction of the non-blocked time periods
    is used for successful transmissions.'
author:
- first_name: Adrian
  full_name: Ogierman, Adrian
  last_name: Ogierman
- first_name: Andrea W.
  full_name: Richa, Andrea W.
  last_name: Richa
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
- first_name: Stefan
  full_name: Schmid, Stefan
  last_name: Schmid
- first_name: Jin
  full_name: Zhang, Jin
  last_name: Zhang
citation:
  ama: 'Ogierman A, Richa AW, Scheideler C, Schmid S, Zhang J. Competitive MAC under
    adversarial SINR. In: <i>Proceedings of the 33rd Annual IEEE International Conference
    on Computer Communications (INFOCOM)</i>. ; 2014:2751--2759. doi:<a href="https://doi.org/10.1109/INFOCOM.2014.6848224">10.1109/INFOCOM.2014.6848224</a>'
  apa: Ogierman, A., Richa, A. W., Scheideler, C., Schmid, S., &#38; Zhang, J. (2014).
    Competitive MAC under adversarial SINR. In <i>Proceedings of the 33rd Annual IEEE
    International Conference on Computer Communications (INFOCOM)</i> (pp. 2751--2759).
    <a href="https://doi.org/10.1109/INFOCOM.2014.6848224">https://doi.org/10.1109/INFOCOM.2014.6848224</a>
  bibtex: '@inproceedings{Ogierman_Richa_Scheideler_Schmid_Zhang_2014, title={Competitive
    MAC under adversarial SINR}, DOI={<a href="https://doi.org/10.1109/INFOCOM.2014.6848224">10.1109/INFOCOM.2014.6848224</a>},
    booktitle={Proceedings of the 33rd Annual IEEE International Conference on Computer
    Communications (INFOCOM)}, author={Ogierman, Adrian and Richa, Andrea W. and Scheideler,
    Christian and Schmid, Stefan and Zhang, Jin}, year={2014}, pages={2751--2759}
    }'
  chicago: Ogierman, Adrian, Andrea W. Richa, Christian Scheideler, Stefan Schmid,
    and Jin Zhang. “Competitive MAC under Adversarial SINR.” In <i>Proceedings of
    the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM)</i>,
    2751--2759, 2014. <a href="https://doi.org/10.1109/INFOCOM.2014.6848224">https://doi.org/10.1109/INFOCOM.2014.6848224</a>.
  ieee: A. Ogierman, A. W. Richa, C. Scheideler, S. Schmid, and J. Zhang, “Competitive
    MAC under adversarial SINR,” in <i>Proceedings of the 33rd Annual IEEE International
    Conference on Computer Communications (INFOCOM)</i>, 2014, pp. 2751--2759.
  mla: Ogierman, Adrian, et al. “Competitive MAC under Adversarial SINR.” <i>Proceedings
    of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM)</i>,
    2014, pp. 2751--2759, doi:<a href="https://doi.org/10.1109/INFOCOM.2014.6848224">10.1109/INFOCOM.2014.6848224</a>.
  short: 'A. Ogierman, A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Proceedings
    of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM),
    2014, pp. 2751--2759.'
date_created: 2017-10-17T12:42:18Z
date_updated: 2022-01-06T07:01:05Z
ddc:
- '040'
department:
- _id: '79'
doi: 10.1109/INFOCOM.2014.6848224
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-16T11:27:04Z
  date_updated: 2018-03-16T11:27:04Z
  file_id: '1348'
  file_name: 446-infocom14_01.pdf
  file_size: 378095
  relation: main_file
  success: 1
file_date_updated: 2018-03-16T11:27:04Z
has_accepted_license: '1'
page: 2751--2759
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 33rd Annual IEEE International Conference on Computer
  Communications (INFOCOM)
status: public
title: Competitive MAC under adversarial SINR
type: conference
user_id: '15504'
year: '2014'
...
---
_id: '447'
abstract:
- lang: eng
  text: Automatic service composition is still a challengingtask. It is even more
    challenging when dealing witha dynamic market of services for end users. New servicesmay
    enter the market while other services are completelyremoved. Furthermore, end
    users are typically no experts in thedomain in which they formulate a request.
    As a consequence,ambiguous user requests will inevitably emerge and have tobe
    taken into account. To meet these challenges, we proposea new approach that combines
    automatic service compositionwith adaptive service recommendation. A best first
    backwardsearch algorithm produces solutions that are functional correctwith respect
    to user requests. An adaptive recommendationsystem supports the search algorithm
    in decision-making.Reinforcement Learning techniques enable the system to adjustits
    recommendation strategy over time based on user ratings.The integrated approach
    is described on a conceptional leveland demonstrated by means of an illustrative
    example fromthe image processing domain.
author:
- first_name: Alexander
  full_name: Jungmann, Alexander
  last_name: Jungmann
- first_name: Felix
  full_name: Mohr, Felix
  last_name: Mohr
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Jungmann A, Mohr F, Kleinjohann B. Combining Automatic Service Composition
    with Adaptive Service Recommendation for Dynamic Markets of Services. In: <i>Proceedings
    of the 10th World Congress on Services (SERVICES)</i>. ; 2014:346-353. doi:<a
    href="https://doi.org/10.1109/SERVICES.2014.68">10.1109/SERVICES.2014.68</a>'
  apa: Jungmann, A., Mohr, F., &#38; Kleinjohann, B. (2014). Combining Automatic Service
    Composition with Adaptive Service Recommendation for Dynamic Markets of Services.
    In <i>Proceedings of the 10th World Congress on Services (SERVICES)</i> (pp. 346–353).
    <a href="https://doi.org/10.1109/SERVICES.2014.68">https://doi.org/10.1109/SERVICES.2014.68</a>
  bibtex: '@inproceedings{Jungmann_Mohr_Kleinjohann_2014, title={Combining Automatic
    Service Composition with Adaptive Service Recommendation for Dynamic Markets of
    Services}, DOI={<a href="https://doi.org/10.1109/SERVICES.2014.68">10.1109/SERVICES.2014.68</a>},
    booktitle={Proceedings of the 10th World Congress on Services (SERVICES)}, author={Jungmann,
    Alexander and Mohr, Felix and Kleinjohann, Bernd}, year={2014}, pages={346–353}
    }'
  chicago: Jungmann, Alexander, Felix Mohr, and Bernd Kleinjohann. “Combining Automatic
    Service Composition with Adaptive Service Recommendation for Dynamic Markets of
    Services.” In <i>Proceedings of the 10th World Congress on Services (SERVICES)</i>,
    346–53, 2014. <a href="https://doi.org/10.1109/SERVICES.2014.68">https://doi.org/10.1109/SERVICES.2014.68</a>.
  ieee: A. Jungmann, F. Mohr, and B. Kleinjohann, “Combining Automatic Service Composition
    with Adaptive Service Recommendation for Dynamic Markets of Services,” in <i>Proceedings
    of the 10th World Congress on Services (SERVICES)</i>, 2014, pp. 346–353.
  mla: Jungmann, Alexander, et al. “Combining Automatic Service Composition with Adaptive
    Service Recommendation for Dynamic Markets of Services.” <i>Proceedings of the
    10th World Congress on Services (SERVICES)</i>, 2014, pp. 346–53, doi:<a href="https://doi.org/10.1109/SERVICES.2014.68">10.1109/SERVICES.2014.68</a>.
  short: 'A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 10th World
    Congress on Services (SERVICES), 2014, pp. 346–353.'
date_created: 2017-10-17T12:42:19Z
date_updated: 2022-01-06T07:01:06Z
ddc:
- '040'
department:
- _id: '355'
doi: 10.1109/SERVICES.2014.68
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-16T11:26:36Z
  date_updated: 2018-03-16T11:26:36Z
  file_id: '1347'
  file_name: 447-_FINAL__Combining_Automatic_Service_Composition_with_Adaptive_Service_Recommendation_for_Dynamic_Markets_of_Services.pdf
  file_size: 429462
  relation: main_file
  success: 1
file_date_updated: 2018-03-16T11:26:36Z
has_accepted_license: '1'
language:
- iso: eng
page: 346-353
project:
- _id: '1'
  name: SFB 901
- _id: '10'
  name: SFB 901 - Subprojekt B2
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 10th World Congress on Services (SERVICES)
status: public
title: Combining Automatic Service Composition with Adaptive Service Recommendation
  for Dynamic Markets of Services
type: conference
user_id: '477'
year: '2014'
...
---
_id: '449'
abstract:
- lang: eng
  text: Cloud computing resulted in a continuously growing number of provided software
    services to be used by consumers. Brokers discover services that fit best to consumers'
    requirements by matching Qualityof-Service (QoS) properties. In order to negotiate
    Service-Level Agreements (SLAs), a provider has to determine the provided QoS
    based on QoS analyses. However, the risk for the provider to violate the SLA is
    high as the service's actual quality can deviate from the specified QoS due to
    uncertainties that occur during the provider's quality analysis. In this paper,
    we discuss current software engineering paradigms like cloud computing and service-oriented
    computing with respect to the amount of uncertainty they induce into service matching
    and SLA negotiations. As a result, we explain, why cloud computing reduces such
    uncertainties.
author:
- first_name: Matthias
  full_name: Becker, Matthias
  last_name: Becker
- first_name: Marie Christin
  full_name: Platenius, Marie Christin
  last_name: Platenius
- first_name: Steffen
  full_name: Becker, Steffen
  last_name: Becker
citation:
  ama: 'Becker M, Platenius MC, Becker S. Cloud Computing Reduces Uncertainties in
    Quality-of-Service Matching! In: <i>Proceedings of the 2nd International Workshop
    on Cloud Service Brokerage (CSB)</i>. Communications in Computer and Information
    Science. ; 2014:153-159. doi:<a href="https://doi.org/10.1007/978-3-319-14886-1_15">10.1007/978-3-319-14886-1_15</a>'
  apa: Becker, M., Platenius, M. C., &#38; Becker, S. (2014). Cloud Computing Reduces
    Uncertainties in Quality-of-Service Matching! In <i>Proceedings of the 2nd International
    Workshop on Cloud Service Brokerage (CSB)</i> (pp. 153–159). <a href="https://doi.org/10.1007/978-3-319-14886-1_15">https://doi.org/10.1007/978-3-319-14886-1_15</a>
  bibtex: '@inproceedings{Becker_Platenius_Becker_2014, series={Communications in
    Computer and Information Science}, title={Cloud Computing Reduces Uncertainties
    in Quality-of-Service Matching!}, DOI={<a href="https://doi.org/10.1007/978-3-319-14886-1_15">10.1007/978-3-319-14886-1_15</a>},
    booktitle={Proceedings of the 2nd International Workshop on Cloud Service Brokerage
    (CSB)}, author={Becker, Matthias and Platenius, Marie Christin and Becker, Steffen},
    year={2014}, pages={153–159}, collection={Communications in Computer and Information
    Science} }'
  chicago: Becker, Matthias, Marie Christin Platenius, and Steffen Becker. “Cloud
    Computing Reduces Uncertainties in Quality-of-Service Matching!” In <i>Proceedings
    of the 2nd International Workshop on Cloud Service Brokerage (CSB)</i>, 153–59.
    Communications in Computer and Information Science, 2014. <a href="https://doi.org/10.1007/978-3-319-14886-1_15">https://doi.org/10.1007/978-3-319-14886-1_15</a>.
  ieee: M. Becker, M. C. Platenius, and S. Becker, “Cloud Computing Reduces Uncertainties
    in Quality-of-Service Matching!,” in <i>Proceedings of the 2nd International Workshop
    on Cloud Service Brokerage (CSB)</i>, 2014, pp. 153–159.
  mla: Becker, Matthias, et al. “Cloud Computing Reduces Uncertainties in Quality-of-Service
    Matching!” <i>Proceedings of the 2nd International Workshop on Cloud Service Brokerage
    (CSB)</i>, 2014, pp. 153–59, doi:<a href="https://doi.org/10.1007/978-3-319-14886-1_15">10.1007/978-3-319-14886-1_15</a>.
  short: 'M. Becker, M.C. Platenius, S. Becker, in: Proceedings of the 2nd International
    Workshop on Cloud Service Brokerage (CSB), 2014, pp. 153–159.'
date_created: 2017-10-17T12:42:19Z
date_updated: 2022-01-06T07:01:06Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1007/978-3-319-14886-1_15
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-16T11:26:04Z
  date_updated: 2018-03-16T11:26:04Z
  file_id: '1346'
  file_name: 449-CSB2014_01.pdf
  file_size: 362248
  relation: main_file
  success: 1
file_date_updated: 2018-03-16T11:26:04Z
has_accepted_license: '1'
language:
- iso: eng
page: 153-159
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '9'
  name: SFB 901 - Subproject B1
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 2nd International Workshop on Cloud Service Brokerage
  (CSB)
series_title: Communications in Computer and Information Science
status: public
title: Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!
type: conference
user_id: '477'
year: '2014'
...
---
_id: '450'
abstract:
- lang: eng
  text: 'Configurable program analysis (CPA) is a generic concept for the formalization
    of different software analysis techniques in a single framework. With the tool
    CPAchecker, this framework allows for an easy configuration and subsequent automatic
    execution of analysis procedures ranging from data-flow analysis to model checking.
    The focus of the tool CPAchecker is thus on analysis. In this paper, we study
    configurability from the point of view of software certification. Certification
    aims at providing (via a prior analysis) a certificate of correctness for a program
    which is (a) tamper-proof and (b) more efficient to check for validity than a
    full analysis. Here, we will show how, given an analysis instance of a CPA, to
    construct a corresponding sound certification instance, thereby arriving at configurable
    program certification. We report on experiments with certification based on different
    analysis techniques, and in particular explain which characteristics of an underlying
    analysis allow us to design an efficient (in the above (b) sense) certification
    procedure. '
author:
- first_name: Marie-Christine
  full_name: Jakobs, Marie-Christine
  last_name: Jakobs
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Jakobs M-C, Wehrheim H. Certification for Configurable Program Analysis. In:
    <i>Proceedings of the 21st International Symposium on Model Checking of Software
    (SPIN)</i>. SPIN 2014. ; 2014:30-39. doi:<a href="https://doi.org/10.1145/2632362.2632372">10.1145/2632362.2632372</a>'
  apa: Jakobs, M.-C., &#38; Wehrheim, H. (2014). Certification for Configurable Program
    Analysis. In <i>Proceedings of the 21st International Symposium on Model Checking
    of Software (SPIN)</i> (pp. 30–39). <a href="https://doi.org/10.1145/2632362.2632372">https://doi.org/10.1145/2632362.2632372</a>
  bibtex: '@inproceedings{Jakobs_Wehrheim_2014, series={SPIN 2014}, title={Certification
    for Configurable Program Analysis}, DOI={<a href="https://doi.org/10.1145/2632362.2632372">10.1145/2632362.2632372</a>},
    booktitle={Proceedings of the 21st International Symposium on Model Checking of
    Software (SPIN)}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2014},
    pages={30–39}, collection={SPIN 2014} }'
  chicago: Jakobs, Marie-Christine, and Heike Wehrheim. “Certification for Configurable
    Program Analysis.” In <i>Proceedings of the 21st International Symposium on Model
    Checking of Software (SPIN)</i>, 30–39. SPIN 2014, 2014. <a href="https://doi.org/10.1145/2632362.2632372">https://doi.org/10.1145/2632362.2632372</a>.
  ieee: M.-C. Jakobs and H. Wehrheim, “Certification for Configurable Program Analysis,”
    in <i>Proceedings of the 21st International Symposium on Model Checking of Software
    (SPIN)</i>, 2014, pp. 30–39.
  mla: Jakobs, Marie-Christine, and Heike Wehrheim. “Certification for Configurable
    Program Analysis.” <i>Proceedings of the 21st International Symposium on Model
    Checking of Software (SPIN)</i>, 2014, pp. 30–39, doi:<a href="https://doi.org/10.1145/2632362.2632372">10.1145/2632362.2632372</a>.
  short: 'M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 21st International Symposium
    on Model Checking of Software (SPIN), 2014, pp. 30–39.'
date_created: 2017-10-17T12:42:19Z
date_updated: 2022-01-06T07:01:07Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1145/2632362.2632372
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-16T11:25:35Z
  date_updated: 2018-03-16T11:25:35Z
  file_id: '1345'
  file_name: 450-p30-jakobs.pdf
  file_size: 487366
  relation: main_file
  success: 1
file_date_updated: 2018-03-16T11:25:35Z
has_accepted_license: '1'
language:
- iso: eng
page: 30-39
project:
- _id: '1'
  name: SFB 901
- _id: '12'
  name: SFB 901 - Subprojekt B4
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 21st International Symposium on Model Checking of
  Software (SPIN)
series_title: SPIN 2014
status: public
title: Certification for Configurable Program Analysis
type: conference
user_id: '477'
year: '2014'
...
