---
_id: '8051'
author:
- first_name: Helge
  full_name: Jung, Helge
  last_name: Jung
- first_name: Karsten
  full_name: Nebe, Karsten
  last_name: Nebe
- first_name: Florian
  full_name: Klompmaker, Florian
  last_name: Klompmaker
- first_name: Holger Gerhard
  full_name: Fischer, Holger Gerhard
  id: '30457'
  last_name: Fischer
citation:
  ama: 'Jung H, Nebe K, Klompmaker F, Fischer HG. Authentifizierte Eingaben auf Multitouch-Tischen.
    In: <i>Mensch &#38; Computer 2011, 11. Fachübergreifende Konferenz Für Interaktive
    Und Kooperative Medien, ÜberMEDIEN - ÜBERmorgen</i>. Oldenbourg Wissenschaftsverlag;
    2011:305-308.'
  apa: Jung, H., Nebe, K., Klompmaker, F., &#38; Fischer, H. G. (2011). Authentifizierte
    Eingaben auf Multitouch-Tischen. In <i>Mensch &#38; Computer 2011, 11. fachübergreifende
    Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen</i>
    (pp. 305–308). Oldenbourg Wissenschaftsverlag.
  bibtex: '@inproceedings{Jung_Nebe_Klompmaker_Fischer_2011, title={Authentifizierte
    Eingaben auf Multitouch-Tischen}, booktitle={Mensch &#38; Computer 2011, 11. fachübergreifende
    Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen}, publisher={Oldenbourg
    Wissenschaftsverlag}, author={Jung, Helge and Nebe, Karsten and Klompmaker, Florian
    and Fischer, Holger Gerhard}, year={2011}, pages={305–308} }'
  chicago: Jung, Helge, Karsten Nebe, Florian Klompmaker, and Holger Gerhard Fischer.
    “Authentifizierte Eingaben Auf Multitouch-Tischen.” In <i>Mensch &#38; Computer
    2011, 11. Fachübergreifende Konferenz Für Interaktive Und Kooperative Medien,
    ÜberMEDIEN - ÜBERmorgen</i>, 305–8. Oldenbourg Wissenschaftsverlag, 2011.
  ieee: H. Jung, K. Nebe, F. Klompmaker, and H. G. Fischer, “Authentifizierte Eingaben
    auf Multitouch-Tischen,” in <i>Mensch &#38; Computer 2011, 11. fachübergreifende
    Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen</i>,
    2011, pp. 305–308.
  mla: Jung, Helge, et al. “Authentifizierte Eingaben Auf Multitouch-Tischen.” <i>Mensch
    &#38; Computer 2011, 11. Fachübergreifende Konferenz Für Interaktive Und Kooperative
    Medien, ÜberMEDIEN - ÜBERmorgen</i>, Oldenbourg Wissenschaftsverlag, 2011, pp.
    305–08.
  short: 'H. Jung, K. Nebe, F. Klompmaker, H.G. Fischer, in: Mensch &#38; Computer
    2011, 11. Fachübergreifende Konferenz Für Interaktive Und Kooperative Medien,
    ÜberMEDIEN - ÜBERmorgen, Oldenbourg Wissenschaftsverlag, 2011, pp. 305–308.'
date_created: 2019-02-21T20:49:26Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
language:
- iso: eng
page: 305-308
publication: Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive
  und kooperative Medien, überMEDIEN - ÜBERmorgen
publisher: Oldenbourg Wissenschaftsverlag
status: public
title: Authentifizierte Eingaben auf Multitouch-Tischen
type: conference
user_id: '52534'
year: '2011'
...
---
_id: '8052'
author:
- first_name: Markus
  full_name: Luckey, Markus
  last_name: Luckey
- first_name: Benjamin
  full_name: Nagel, Benjamin
  last_name: Nagel
- first_name: Christian
  full_name: Gerth, Christian
  last_name: Gerth
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Luckey M, Nagel B, Gerth C, Engels G. Adapt Cases: Extending Use Cases for
    Adaptive Systems. In: <i>Proceeding of the 6th International Symposium on Software
    Engineering for Adaptive and Self-Managing Systems</i>. SEAMS ’11. New York, NY,
    USA: ACM; 2011:30-39.'
  apa: 'Luckey, M., Nagel, B., Gerth, C., &#38; Engels, G. (2011). Adapt Cases: Extending
    Use Cases for Adaptive Systems. In <i>Proceeding of the 6th international symposium
    on Software engineering for adaptive and self-managing systems</i> (pp. 30–39).
    New York, NY, USA: ACM.'
  bibtex: '@inproceedings{Luckey_Nagel_Gerth_Engels_2011, place={New York, NY, USA},
    series={SEAMS ’11}, title={Adapt Cases: Extending Use Cases for Adaptive Systems},
    booktitle={Proceeding of the 6th international symposium on Software engineering
    for adaptive and self-managing systems}, publisher={ACM}, author={Luckey, Markus
    and Nagel, Benjamin and Gerth, Christian and Engels, Gregor}, year={2011}, pages={30–39},
    collection={SEAMS ’11} }'
  chicago: 'Luckey, Markus, Benjamin Nagel, Christian Gerth, and Gregor Engels. “Adapt
    Cases: Extending Use Cases for Adaptive Systems.” In <i>Proceeding of the 6th
    International Symposium on Software Engineering for Adaptive and Self-Managing
    Systems</i>, 30–39. SEAMS ’11. New York, NY, USA: ACM, 2011.'
  ieee: 'M. Luckey, B. Nagel, C. Gerth, and G. Engels, “Adapt Cases: Extending Use
    Cases for Adaptive Systems,” in <i>Proceeding of the 6th international symposium
    on Software engineering for adaptive and self-managing systems</i>, 2011, pp.
    30–39.'
  mla: 'Luckey, Markus, et al. “Adapt Cases: Extending Use Cases for Adaptive Systems.”
    <i>Proceeding of the 6th International Symposium on Software Engineering for Adaptive
    and Self-Managing Systems</i>, ACM, 2011, pp. 30–39.'
  short: 'M. Luckey, B. Nagel, C. Gerth, G. Engels, in: Proceeding of the 6th International
    Symposium on Software Engineering for Adaptive and Self-Managing Systems, ACM,
    New York, NY, USA, 2011, pp. 30–39.'
date_created: 2019-02-21T20:49:27Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
language:
- iso: eng
page: 30-39
place: New York, NY, USA
publication: Proceeding of the 6th international symposium on Software engineering
  for adaptive and self-managing systems
publisher: ACM
series_title: SEAMS '11
status: public
title: 'Adapt Cases: Extending Use Cases for Adaptive Systems'
type: conference
user_id: '52534'
year: '2011'
...
---
_id: '8053'
author:
- first_name: Markus
  full_name: Luckey, Markus
  last_name: Luckey
- first_name: Christian
  full_name: Gerth, Christian
  last_name: Gerth
- first_name: Christian
  full_name: Soltenborn, Christian
  id: '1737'
  last_name: Soltenborn
  orcid: 0000-0002-0342-8227
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Luckey M, Gerth C, Soltenborn C, Engels G. QUAASY - QUality Assurance of Adaptive
    SYstems. In: <i>Proceedings of the 8th International Conference on Autonomic Computing
    (ICAC’11)</i>. ACM; 2011. doi:<a href="http://dx.doi.org/10.1145/1998582.1998617">http://dx.doi.org/10.1145/1998582.1998617</a>'
  apa: Luckey, M., Gerth, C., Soltenborn, C., &#38; Engels, G. (2011). QUAASY - QUality
    Assurance of Adaptive SYstems. In <i>Proceedings of the 8th International Conference
    on Autonomic Computing (ICAC’11)</i>. ACM. <a href="http://dx.doi.org/10.1145/1998582.1998617">http://dx.doi.org/10.1145/1998582.1998617</a>
  bibtex: '@inproceedings{Luckey_Gerth_Soltenborn_Engels_2011, title={QUAASY - QUality
    Assurance of Adaptive SYstems}, DOI={<a href="http://dx.doi.org/10.1145/1998582.1998617">http://dx.doi.org/10.1145/1998582.1998617</a>},
    booktitle={Proceedings of the 8th International Conference on Autonomic Computing
    (ICAC’11)}, publisher={ACM}, author={Luckey, Markus and Gerth, Christian and Soltenborn,
    Christian and Engels, Gregor}, year={2011} }'
  chicago: Luckey, Markus, Christian Gerth, Christian Soltenborn, and Gregor Engels.
    “QUAASY - QUality Assurance of Adaptive SYstems.” In <i>Proceedings of the 8th
    International Conference on Autonomic Computing (ICAC’11)</i>. ACM, 2011. <a href="http://dx.doi.org/10.1145/1998582.1998617">http://dx.doi.org/10.1145/1998582.1998617</a>.
  ieee: M. Luckey, C. Gerth, C. Soltenborn, and G. Engels, “QUAASY - QUality Assurance
    of Adaptive SYstems,” in <i>Proceedings of the 8th International Conference on
    Autonomic Computing (ICAC’11)</i>, 2011.
  mla: Luckey, Markus, et al. “QUAASY - QUality Assurance of Adaptive SYstems.” <i>Proceedings
    of the 8th International Conference on Autonomic Computing (ICAC’11)</i>, ACM,
    2011, doi:<a href="http://dx.doi.org/10.1145/1998582.1998617">http://dx.doi.org/10.1145/1998582.1998617</a>.
  short: 'M. Luckey, C. Gerth, C. Soltenborn, G. Engels, in: Proceedings of the 8th
    International Conference on Autonomic Computing (ICAC’11), ACM, 2011.'
date_created: 2019-02-21T20:49:28Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1145/1998582.1998617
language:
- iso: eng
publication: Proceedings of the 8th International Conference on Autonomic Computing
  (ICAC'11)
publisher: ACM
status: public
title: QUAASY - QUality Assurance of Adaptive SYstems
type: conference
user_id: '14955'
year: '2011'
...
---
_id: '8054'
author:
- first_name: Nils
  full_name: Bandener, Nils
  last_name: Bandener
- first_name: Christian
  full_name: Soltenborn, Christian
  id: '1737'
  last_name: Soltenborn
  orcid: 0000-0002-0342-8227
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Bandener N, Soltenborn C, Engels G. Extending DMM Behavior Specifications
    for Visual Execution and Debugging. In: <i>Proceedings of the 3rd International
    Conference on Software Language Engineering (SLE 2010)</i>. Vol 6563. LNCS. Berlin/Heidelberg:
    Springer; 2011:357-376. doi:<a href="http://dx.doi.org/10.1007/978-3-642-19440-5_24">http://dx.doi.org/10.1007/978-3-642-19440-5_24</a>'
  apa: 'Bandener, N., Soltenborn, C., &#38; Engels, G. (2011). Extending DMM Behavior
    Specifications for Visual Execution and Debugging. In <i>Proceedings of the 3rd
    International Conference on Software Language Engineering (SLE 2010)</i> (Vol.
    6563, pp. 357–376). Berlin/Heidelberg: Springer. <a href="http://dx.doi.org/10.1007/978-3-642-19440-5_24">http://dx.doi.org/10.1007/978-3-642-19440-5_24</a>'
  bibtex: '@inproceedings{Bandener_Soltenborn_Engels_2011, place={Berlin/Heidelberg},
    series={LNCS}, title={Extending DMM Behavior Specifications for Visual Execution
    and Debugging}, volume={6563}, DOI={<a href="http://dx.doi.org/10.1007/978-3-642-19440-5_24">http://dx.doi.org/10.1007/978-3-642-19440-5_24</a>},
    booktitle={Proceedings of the 3rd International Conference on Software Language
    Engineering (SLE 2010)}, publisher={Springer}, author={Bandener, Nils and Soltenborn,
    Christian and Engels, Gregor}, year={2011}, pages={357–376}, collection={LNCS}
    }'
  chicago: 'Bandener, Nils, Christian Soltenborn, and Gregor Engels. “Extending DMM
    Behavior Specifications for Visual Execution and Debugging.” In <i>Proceedings
    of the 3rd International Conference on Software Language Engineering (SLE 2010)</i>,
    6563:357–76. LNCS. Berlin/Heidelberg: Springer, 2011. <a href="http://dx.doi.org/10.1007/978-3-642-19440-5_24">http://dx.doi.org/10.1007/978-3-642-19440-5_24</a>.'
  ieee: N. Bandener, C. Soltenborn, and G. Engels, “Extending DMM Behavior Specifications
    for Visual Execution and Debugging,” in <i>Proceedings of the 3rd International
    Conference on Software Language Engineering (SLE 2010)</i>, 2011, vol. 6563, pp.
    357–376.
  mla: Bandener, Nils, et al. “Extending DMM Behavior Specifications for Visual Execution
    and Debugging.” <i>Proceedings of the 3rd International Conference on Software
    Language Engineering (SLE 2010)</i>, vol. 6563, Springer, 2011, pp. 357–76, doi:<a
    href="http://dx.doi.org/10.1007/978-3-642-19440-5_24">http://dx.doi.org/10.1007/978-3-642-19440-5_24</a>.
  short: 'N. Bandener, C. Soltenborn, G. Engels, in: Proceedings of the 3rd International
    Conference on Software Language Engineering (SLE 2010), Springer, Berlin/Heidelberg,
    2011, pp. 357–376.'
date_created: 2019-02-21T20:49:29Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-642-19440-5_24
intvolume: '      6563'
language:
- iso: eng
page: 357-376
place: Berlin/Heidelberg
publication: Proceedings of the 3rd International Conference on Software Language
  Engineering (SLE 2010)
publisher: Springer
series_title: LNCS
status: public
title: Extending DMM Behavior Specifications for Visual Execution and Debugging
type: conference
user_id: '14955'
volume: 6563
year: '2011'
...
---
_id: '8221'
author:
- first_name: Frank
  full_name: Brüseke, Frank
  last_name: Brüseke
- first_name: Fabian
  full_name: Christ, Fabian
  last_name: Christ
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
- first_name: Andreas
  full_name: Wübbeke, Andreas
  last_name: Wübbeke
citation:
  ama: Brüseke F, Christ F, Sauer S, Wübbeke A. <i>Testen von Software-Produktlinien</i>.
    University of Paderborn, Software Quality Lab (s-lab); 2011.
  apa: Brüseke, F., Christ, F., Sauer, S., &#38; Wübbeke, A. (2011). <i>Testen von
    Software-Produktlinien</i>. University of Paderborn, Software Quality Lab (s-lab).
  bibtex: '@book{Brüseke_Christ_Sauer_Wübbeke_2011, title={Testen von Software-Produktlinien},
    publisher={University of Paderborn, Software Quality Lab (s-lab)}, author={Brüseke,
    Frank and Christ, Fabian and Sauer, Stefan and Wübbeke, Andreas}, year={2011}
    }'
  chicago: Brüseke, Frank, Fabian Christ, Stefan Sauer, and Andreas Wübbeke. <i>Testen
    von Software-Produktlinien</i>. University of Paderborn, Software Quality Lab
    (s-lab), 2011.
  ieee: F. Brüseke, F. Christ, S. Sauer, and A. Wübbeke, <i>Testen von Software-Produktlinien</i>.
    University of Paderborn, Software Quality Lab (s-lab), 2011.
  mla: Brüseke, Frank, et al. <i>Testen von Software-Produktlinien</i>. University
    of Paderborn, Software Quality Lab (s-lab), 2011.
  short: F. Brüseke, F. Christ, S. Sauer, A. Wübbeke, Testen von Software-Produktlinien,
    University of Paderborn, Software Quality Lab (s-lab), 2011.
date_created: 2019-03-03T16:13:21Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Paderborn, Software Quality Lab (s-lab)
report_number: '4'
status: public
title: Testen von Software-Produktlinien
type: report
user_id: '52534'
year: '2011'
...
---
_id: '6293'
author:
- first_name: Karsten
  full_name: Nebe, Karsten
  last_name: Nebe
- first_name: Florian
  full_name: Klompmaker, Florian
  last_name: Klompmaker
- first_name: Helge
  full_name: Jung, Helge
  last_name: Jung
- first_name: Holger Gerhard
  full_name: Fischer, Holger Gerhard
  id: '30457'
  last_name: Fischer
citation:
  ama: 'Nebe K, Klompmaker F, Jung H, Fischer HG. Exploiting New Interaction Techniques
    for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction.
    In: Jacko JA, ed. <i>Human-Computer Interaction. Interaction Techniques and Environments.</i>
    Vol 6762. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin
    Heidelberg; 2011:100-109. doi:<a href="https://doi.org/10.1007/978-3-642-21605-3_11">10.1007/978-3-642-21605-3_11</a>'
  apa: 'Nebe, K., Klompmaker, F., Jung, H., &#38; Fischer, H. G. (2011). Exploiting
    New Interaction Techniques for Disaster Control Management Using Multitouch-,
    Tangible- and Pen-Based-Interaction. In J. A. Jacko (Ed.), <i>Human-Computer Interaction.
    Interaction Techniques and Environments.</i> (Vol. 6762, pp. 100–109). Berlin,
    Heidelberg: Springer Berlin Heidelberg. <a href="https://doi.org/10.1007/978-3-642-21605-3_11">https://doi.org/10.1007/978-3-642-21605-3_11</a>'
  bibtex: '@inbook{Nebe_Klompmaker_Jung_Fischer_2011, place={Berlin, Heidelberg},
    series={Lecture Notes in Computer Science}, title={Exploiting New Interaction
    Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction},
    volume={6762}, DOI={<a href="https://doi.org/10.1007/978-3-642-21605-3_11">10.1007/978-3-642-21605-3_11</a>},
    booktitle={Human-Computer Interaction. Interaction Techniques and Environments.},
    publisher={Springer Berlin Heidelberg}, author={Nebe, Karsten and Klompmaker,
    Florian and Jung, Helge and Fischer, Holger Gerhard}, editor={Jacko, Julie AnneEditor},
    year={2011}, pages={100–109}, collection={Lecture Notes in Computer Science} }'
  chicago: 'Nebe, Karsten, Florian Klompmaker, Helge Jung, and Holger Gerhard Fischer.
    “Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-,
    Tangible- and Pen-Based-Interaction.” In <i>Human-Computer Interaction. Interaction
    Techniques and Environments.</i>, edited by Julie Anne Jacko, 6762:100–109. Lecture
    Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
    <a href="https://doi.org/10.1007/978-3-642-21605-3_11">https://doi.org/10.1007/978-3-642-21605-3_11</a>.'
  ieee: 'K. Nebe, F. Klompmaker, H. Jung, and H. G. Fischer, “Exploiting New Interaction
    Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction,”
    in <i>Human-Computer Interaction. Interaction Techniques and Environments.</i>,
    vol. 6762, J. A. Jacko, Ed. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011,
    pp. 100–109.'
  mla: Nebe, Karsten, et al. “Exploiting New Interaction Techniques for Disaster Control
    Management Using Multitouch-, Tangible- and Pen-Based-Interaction.” <i>Human-Computer
    Interaction. Interaction Techniques and Environments.</i>, edited by Julie Anne
    Jacko, vol. 6762, Springer Berlin Heidelberg, 2011, pp. 100–09, doi:<a href="https://doi.org/10.1007/978-3-642-21605-3_11">10.1007/978-3-642-21605-3_11</a>.
  short: 'K. Nebe, F. Klompmaker, H. Jung, H.G. Fischer, in: J.A. Jacko (Ed.), Human-Computer
    Interaction. Interaction Techniques and Environments., Springer Berlin Heidelberg,
    Berlin, Heidelberg, 2011, pp. 100–109.'
conference:
  end_date: 2011-07-14
  location: Orlando, USA
  name: International Conference on Interaction Techniques and Environments as part
    of HCI International 2011
  start_date: 2011-07-09
date_created: 2018-12-18T12:55:26Z
date_updated: 2022-01-06T07:03:00Z
department:
- _id: '66'
- _id: '534'
- _id: '221'
doi: 10.1007/978-3-642-21605-3_11
editor:
- first_name: Julie Anne
  full_name: Jacko, Julie Anne
  last_name: Jacko
intvolume: '      6762'
language:
- iso: eng
page: 100-109
place: Berlin, Heidelberg
publication: Human-Computer Interaction. Interaction Techniques and Environments.
publication_identifier:
  isbn:
  - '9783642216046'
  - '9783642216053'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: Springer Berlin Heidelberg
series_title: Lecture Notes in Computer Science
status: public
title: Exploiting New Interaction Techniques for Disaster Control Management Using
  Multitouch-, Tangible- and Pen-Based-Interaction
type: book_chapter
user_id: '30457'
volume: 6762
year: '2011'
...
---
_id: '6298'
author:
- first_name: Karsten
  full_name: Nebe, Karsten
  last_name: Nebe
- first_name: Holger Gerhard
  full_name: Fischer, Holger Gerhard
  id: '30457'
  last_name: Fischer
- first_name: Florian
  full_name: Klompmaker, Florian
  last_name: Klompmaker
- first_name: Helge
  full_name: Jung, Helge
  last_name: Jung
citation:
  ama: 'Nebe K, Fischer HG, Klompmaker F, Jung H. Multitouch-, Be-Greifbare- und Stiftbasierte-Interaktion
    in der Einsatzlageplanung. In: <i>Mensch &#38; Computer 2011, 11. fachübergreifende
    Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen</i>.
    Oldenbourg Wissenschaftsverlag; 2011:263-273.'
  apa: Nebe, K., Fischer, H. G., Klompmaker, F., &#38; Jung, H. (2011). Multitouch-,
    Be-Greifbare- und Stiftbasierte-Interaktion in der Einsatzlageplanung. In <i>Mensch
    &#38; Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative
    Medien, überMEDIEN - ÜBERmorgen</i> (pp. 263–273). Oldenbourg Wissenschaftsverlag.
  bibtex: '@inproceedings{Nebe_Fischer_Klompmaker_Jung_2011, title={Multitouch-, Be-Greifbare-
    und Stiftbasierte-Interaktion in der Einsatzlageplanung}, booktitle={Mensch &#38;
    Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative
    Medien, überMEDIEN - ÜBERmorgen}, publisher={Oldenbourg Wissenschaftsverlag},
    author={Nebe, Karsten and Fischer, Holger Gerhard and Klompmaker, Florian and
    Jung, Helge}, year={2011}, pages={263–273} }'
  chicago: Nebe, Karsten, Holger Gerhard Fischer, Florian Klompmaker, and Helge Jung.
    “Multitouch-, Be-Greifbare- und Stiftbasierte-Interaktion in der Einsatzlageplanung.”
    In <i>Mensch &#38; Computer 2011, 11. fachübergreifende Konferenz für interaktive
    und kooperative Medien, überMEDIEN - ÜBERmorgen</i>, 263–73. Oldenbourg Wissenschaftsverlag,
    2011.
  ieee: K. Nebe, H. G. Fischer, F. Klompmaker, and H. Jung, “Multitouch-, Be-Greifbare-
    und Stiftbasierte-Interaktion in der Einsatzlageplanung,” in <i>Mensch &#38; Computer
    2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien,
    überMEDIEN - ÜBERmorgen</i>, 2011, pp. 263–273.
  mla: Nebe, Karsten, et al. “Multitouch-, Be-Greifbare- und Stiftbasierte-Interaktion
    in der Einsatzlageplanung.” <i>Mensch &#38; Computer 2011, 11. fachübergreifende
    Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen</i>,
    Oldenbourg Wissenschaftsverlag, 2011, pp. 263–73.
  short: 'K. Nebe, H.G. Fischer, F. Klompmaker, H. Jung, in: Mensch &#38; Computer
    2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien,
    überMEDIEN - ÜBERmorgen, Oldenbourg Wissenschaftsverlag, 2011, pp. 263–273.'
date_created: 2018-12-18T13:02:26Z
date_updated: 2022-01-06T07:03:00Z
department:
- _id: '66'
- _id: '534'
- _id: '221'
language:
- iso: ger
page: 263-273
publication: Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive
  und kooperative Medien, überMEDIEN - ÜBERmorgen
publisher: Oldenbourg Wissenschaftsverlag
status: public
title: Multitouch-, Be-Greifbare- und Stiftbasierte-Interaktion in der Einsatzlageplanung
type: conference
user_id: '30457'
year: '2011'
...
---
_id: '6299'
author:
- first_name: Helge
  full_name: Jung, Helge
  last_name: Jung
- first_name: Karsten
  full_name: Nebe, Karsten
  last_name: Nebe
- first_name: Florian
  full_name: Klompmaker, Florian
  last_name: Klompmaker
- first_name: Holger Gerhard
  full_name: Fischer, Holger Gerhard
  id: '30457'
  last_name: Fischer
citation:
  ama: 'Jung H, Nebe K, Klompmaker F, Fischer HG. Authentifizierte Eingaben auf Multitouch-Tischen.
    In: <i>Mensch &#38; Computer 2011, 11. fachübergreifende Konferenz für interaktive
    und kooperative Medien, überMEDIEN - ÜBERmorgen</i>. Oldenbourg Wissenschaftsverlag;
    2011:305-308.'
  apa: Jung, H., Nebe, K., Klompmaker, F., &#38; Fischer, H. G. (2011). Authentifizierte
    Eingaben auf Multitouch-Tischen. In <i>Mensch &#38; Computer 2011, 11. fachübergreifende
    Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen</i>
    (pp. 305–308). Oldenbourg Wissenschaftsverlag.
  bibtex: '@inproceedings{Jung_Nebe_Klompmaker_Fischer_2011, title={Authentifizierte
    Eingaben auf Multitouch-Tischen}, booktitle={Mensch &#38; Computer 2011, 11. fachübergreifende
    Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen}, publisher={Oldenbourg
    Wissenschaftsverlag}, author={Jung, Helge and Nebe, Karsten and Klompmaker, Florian
    and Fischer, Holger Gerhard}, year={2011}, pages={305–308} }'
  chicago: Jung, Helge, Karsten Nebe, Florian Klompmaker, and Holger Gerhard Fischer.
    “Authentifizierte Eingaben auf Multitouch-Tischen.” In <i>Mensch &#38; Computer
    2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien,
    überMEDIEN - ÜBERmorgen</i>, 305–8. Oldenbourg Wissenschaftsverlag, 2011.
  ieee: H. Jung, K. Nebe, F. Klompmaker, and H. G. Fischer, “Authentifizierte Eingaben
    auf Multitouch-Tischen,” in <i>Mensch &#38; Computer 2011, 11. fachübergreifende
    Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen</i>,
    2011, pp. 305–308.
  mla: Jung, Helge, et al. “Authentifizierte Eingaben auf Multitouch-Tischen.” <i>Mensch
    &#38; Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative
    Medien, überMEDIEN - ÜBERmorgen</i>, Oldenbourg Wissenschaftsverlag, 2011, pp.
    305–08.
  short: 'H. Jung, K. Nebe, F. Klompmaker, H.G. Fischer, in: Mensch &#38; Computer
    2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien,
    überMEDIEN - ÜBERmorgen, Oldenbourg Wissenschaftsverlag, 2011, pp. 305–308.'
date_created: 2018-12-18T13:03:06Z
date_updated: 2022-01-06T07:03:00Z
department:
- _id: '66'
- _id: '534'
- _id: '221'
language:
- iso: ger
page: 305-308
publication: Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive
  und kooperative Medien, überMEDIEN - ÜBERmorgen
publisher: Oldenbourg Wissenschaftsverlag
status: public
title: Authentifizierte Eingaben auf Multitouch-Tischen
type: conference
user_id: '30457'
year: '2011'
...
---
_id: '6300'
author:
- first_name: Holger Gerhard
  full_name: Fischer, Holger Gerhard
  id: '30457'
  last_name: Fischer
- first_name: Karsten
  full_name: Nebe, Karsten
  last_name: Nebe
- first_name: Florian
  full_name: Klompmaker, Florian
  last_name: Klompmaker
citation:
  ama: 'Fischer HG, Nebe K, Klompmaker F. A Holistic Model for Integrating Usability
    Engineering and Software Engineering Enriched with Marketing Activities. In: Kurosu
    M, ed. <i>Human Centered Design</i>. Vol 6776. Lecture Notes in Computer Science.
    Berlin, Heidelberg: Springer Berlin Heidelberg; 2011:28-37. doi:<a href="https://doi.org/10.1007/978-3-642-21753-1_4">10.1007/978-3-642-21753-1_4</a>'
  apa: 'Fischer, H. G., Nebe, K., &#38; Klompmaker, F. (2011). A Holistic Model for
    Integrating Usability Engineering and Software Engineering Enriched with Marketing
    Activities. In M. Kurosu (Ed.), <i>Human Centered Design</i> (Vol. 6776, pp. 28–37).
    Berlin, Heidelberg: Springer Berlin Heidelberg. <a href="https://doi.org/10.1007/978-3-642-21753-1_4">https://doi.org/10.1007/978-3-642-21753-1_4</a>'
  bibtex: '@inbook{Fischer_Nebe_Klompmaker_2011, place={Berlin, Heidelberg}, series={Lecture
    Notes in Computer Science}, title={A Holistic Model for Integrating Usability
    Engineering and Software Engineering Enriched with Marketing Activities}, volume={6776},
    DOI={<a href="https://doi.org/10.1007/978-3-642-21753-1_4">10.1007/978-3-642-21753-1_4</a>},
    booktitle={Human Centered Design}, publisher={Springer Berlin Heidelberg}, author={Fischer,
    Holger Gerhard and Nebe, Karsten and Klompmaker, Florian}, editor={Kurosu, MasaakiEditor},
    year={2011}, pages={28–37}, collection={Lecture Notes in Computer Science} }'
  chicago: 'Fischer, Holger Gerhard, Karsten Nebe, and Florian Klompmaker. “A Holistic
    Model for Integrating Usability Engineering and Software Engineering Enriched
    with Marketing Activities.” In <i>Human Centered Design</i>, edited by Masaaki
    Kurosu, 6776:28–37. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer
    Berlin Heidelberg, 2011. <a href="https://doi.org/10.1007/978-3-642-21753-1_4">https://doi.org/10.1007/978-3-642-21753-1_4</a>.'
  ieee: 'H. G. Fischer, K. Nebe, and F. Klompmaker, “A Holistic Model for Integrating
    Usability Engineering and Software Engineering Enriched with Marketing Activities,”
    in <i>Human Centered Design</i>, vol. 6776, M. Kurosu, Ed. Berlin, Heidelberg:
    Springer Berlin Heidelberg, 2011, pp. 28–37.'
  mla: Fischer, Holger Gerhard, et al. “A Holistic Model for Integrating Usability
    Engineering and Software Engineering Enriched with Marketing Activities.” <i>Human
    Centered Design</i>, edited by Masaaki Kurosu, vol. 6776, Springer Berlin Heidelberg,
    2011, pp. 28–37, doi:<a href="https://doi.org/10.1007/978-3-642-21753-1_4">10.1007/978-3-642-21753-1_4</a>.
  short: 'H.G. Fischer, K. Nebe, F. Klompmaker, in: M. Kurosu (Ed.), Human Centered
    Design, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 28–37.'
conference:
  end_date: 2011-07-14
  location: Orlando, USA
  name: International Conference on Human Centered Design (HCD) as part of HCI International
    2011
  start_date: 2011-07-09
date_created: 2018-12-18T13:04:39Z
date_updated: 2022-01-06T07:03:00Z
department:
- _id: '66'
- _id: '534'
- _id: '221'
doi: 10.1007/978-3-642-21753-1_4
editor:
- first_name: Masaaki
  full_name: Kurosu, Masaaki
  last_name: Kurosu
intvolume: '      6776'
language:
- iso: eng
page: 28-37
place: Berlin, Heidelberg
publication: Human Centered Design
publication_identifier:
  isbn:
  - '9783642217524'
  - '9783642217531'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: Springer Berlin Heidelberg
series_title: Lecture Notes in Computer Science
status: public
title: A Holistic Model for Integrating Usability Engineering and Software Engineering
  Enriched with Marketing Activities
type: book_chapter
user_id: '30457'
volume: 6776
year: '2011'
...
---
_id: '6301'
author:
- first_name: Holger Gerhard
  full_name: Fischer, Holger Gerhard
  id: '30457'
  last_name: Fischer
- first_name: Christian
  full_name: Bogner, Christian
  last_name: Bogner
- first_name: Thomas
  full_name: Geis, Thomas
  last_name: Geis
- first_name: Knut
  full_name: Polkehn, Knut
  last_name: Polkehn
- first_name: Dirk
  full_name: Zimmermann, Dirk
  last_name: Zimmermann
citation:
  ama: 'Fischer HG, Bogner C, Geis T, Polkehn K, Zimmermann D. Der Qualitätsstandard
    für Usability Engineering der German UPA – Aktueller Stand der Arbeiten. In: <i>Jahresband
    Usability Professionals</i>. German UPA; 2011:72-74.'
  apa: Fischer, H. G., Bogner, C., Geis, T., Polkehn, K., &#38; Zimmermann, D. (2011).
    Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand
    der Arbeiten. In <i>Jahresband Usability Professionals</i> (pp. 72–74). German
    UPA.
  bibtex: '@inproceedings{Fischer_Bogner_Geis_Polkehn_Zimmermann_2011, title={Der
    Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der
    Arbeiten}, booktitle={Jahresband Usability Professionals}, publisher={German UPA},
    author={Fischer, Holger Gerhard and Bogner, Christian and Geis, Thomas and Polkehn,
    Knut and Zimmermann, Dirk}, year={2011}, pages={72–74} }'
  chicago: Fischer, Holger Gerhard, Christian Bogner, Thomas Geis, Knut Polkehn, and
    Dirk Zimmermann. “Der Qualitätsstandard für Usability Engineering der German UPA
    – Aktueller Stand der Arbeiten.” In <i>Jahresband Usability Professionals</i>,
    72–74. German UPA, 2011.
  ieee: H. G. Fischer, C. Bogner, T. Geis, K. Polkehn, and D. Zimmermann, “Der Qualitätsstandard
    für Usability Engineering der German UPA – Aktueller Stand der Arbeiten,” in <i>Jahresband
    Usability Professionals</i>, 2011, pp. 72–74.
  mla: Fischer, Holger Gerhard, et al. “Der Qualitätsstandard für Usability Engineering
    der German UPA – Aktueller Stand der Arbeiten.” <i>Jahresband Usability Professionals</i>,
    German UPA, 2011, pp. 72–74.
  short: 'H.G. Fischer, C. Bogner, T. Geis, K. Polkehn, D. Zimmermann, in: Jahresband
    Usability Professionals, German UPA, 2011, pp. 72–74.'
date_created: 2018-12-18T13:07:07Z
date_updated: 2022-01-06T07:03:00Z
department:
- _id: '66'
- _id: '534'
- _id: '221'
language:
- iso: ger
page: 72-74
publication: Jahresband Usability Professionals
publisher: German UPA
status: public
title: Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller
  Stand der Arbeiten
type: conference
user_id: '30457'
year: '2011'
...
---
_id: '645'
abstract:
- lang: eng
  text: In the standard consensus problem there are n processes with possibly di®erent
    input values and the goal is to eventually reach a point at which all processes
    commit to exactly one of these values. We are studying a slight variant of the
    consensus problem called the stabilizing consensus problem [2]. In this problem,
    we do not require that each process commits to a ¯nal value at some point, but
    that eventually they arrive at a common, stable value without necessarily being
    aware of that. This should work irrespective of the states in which the processes
    are starting. Our main result is a simple randomized algorithm called median rule
    that, with high probability, just needs O(logmlog log n + log n) time and work
    per process to arrive at an almost stable consensus for any set of m legal values
    as long as an adversary can corrupt the states of at most p n processes at any
    time. Without adversarial involvement, just O(log n) time and work is needed for
    a stable consensus, with high probability. As a by-product, we obtain a simple
    distributed algorithm for approximating the median of n numbers in time O(logmlog
    log n + log n) under adversarial presence.
author:
- first_name: Benjamin
  full_name: Doerr, Benjamin
  last_name: Doerr
- first_name: Leslie Ann
  full_name: Goldberg, Leslie Ann
  last_name: Goldberg
- first_name: Lorenz
  full_name: Minder, Lorenz
  last_name: Minder
- first_name: Thomas
  full_name: Sauerwald, Thomas
  last_name: Sauerwald
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
citation:
  ama: 'Doerr B, Goldberg LA, Minder L, Sauerwald T, Scheideler C. Stabilizing consensus
    with the power of two choices. In: <i>Proceedings of the 23rd ACM Symposium on
    Parallelism in Algorithms and Architectures (SPAA)</i>. ; 2011:149-158. doi:<a
    href="https://doi.org/10.1145/1989493.1989516">10.1145/1989493.1989516</a>'
  apa: Doerr, B., Goldberg, L. A., Minder, L., Sauerwald, T., &#38; Scheideler, C.
    (2011). Stabilizing consensus with the power of two choices. In <i>Proceedings
    of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)</i>
    (pp. 149–158). <a href="https://doi.org/10.1145/1989493.1989516">https://doi.org/10.1145/1989493.1989516</a>
  bibtex: '@inproceedings{Doerr_Goldberg_Minder_Sauerwald_Scheideler_2011, title={Stabilizing
    consensus with the power of two choices}, DOI={<a href="https://doi.org/10.1145/1989493.1989516">10.1145/1989493.1989516</a>},
    booktitle={Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms
    and Architectures (SPAA)}, author={Doerr, Benjamin and Goldberg, Leslie Ann and
    Minder, Lorenz and Sauerwald, Thomas and Scheideler, Christian}, year={2011},
    pages={149–158} }'
  chicago: Doerr, Benjamin, Leslie Ann Goldberg, Lorenz Minder, Thomas Sauerwald,
    and Christian Scheideler. “Stabilizing Consensus with the Power of Two Choices.”
    In <i>Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures
    (SPAA)</i>, 149–58, 2011. <a href="https://doi.org/10.1145/1989493.1989516">https://doi.org/10.1145/1989493.1989516</a>.
  ieee: B. Doerr, L. A. Goldberg, L. Minder, T. Sauerwald, and C. Scheideler, “Stabilizing
    consensus with the power of two choices,” in <i>Proceedings of the 23rd ACM Symposium
    on Parallelism in Algorithms and Architectures (SPAA)</i>, 2011, pp. 149–158.
  mla: Doerr, Benjamin, et al. “Stabilizing Consensus with the Power of Two Choices.”
    <i>Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures
    (SPAA)</i>, 2011, pp. 149–58, doi:<a href="https://doi.org/10.1145/1989493.1989516">10.1145/1989493.1989516</a>.
  short: 'B. Doerr, L.A. Goldberg, L. Minder, T. Sauerwald, C. Scheideler, in: Proceedings
    of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA),
    2011, pp. 149–158.'
date_created: 2017-10-17T12:42:57Z
date_updated: 2022-01-06T07:03:05Z
ddc:
- '040'
department:
- _id: '79'
doi: 10.1145/1989493.1989516
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-14T13:58:11Z
  date_updated: 2018-03-14T13:58:11Z
  file_id: '1228'
  file_name: 645-spaa70-scheideler.pdf
  file_size: 268500
  relation: main_file
  success: 1
file_date_updated: 2018-03-14T13:58:11Z
has_accepted_license: '1'
page: 149-158
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 23rd ACM Symposium on Parallelism in Algorithms and
  Architectures (SPAA)
status: public
title: Stabilizing consensus with the power of two choices
type: conference
user_id: '15504'
year: '2011'
...
---
_id: '7353'
abstract:
- lang: eng
  text: Manuelle Testerstellung verursacht hohe Kosten. Im Vergleich dazu bietet modellbasiertes
    Testen große Vorteile hinsichtlich Testautomatisierung, früher Fehlerfindung,
    Erhöhung der Testabdeckung, effizienten Testentwurfs und besserer Rückverfolgbarkeit.
    Die Einführung des modellbasierten Testens ist jedoch mit Investitionen verbunden,
    für die die Rendite häufig unklar erscheint. Dabei finden sich in der Literatur
    bereits etliche Erfahrungsberichte zur erfolg­reichen Einführung von modellbasiertem
    Testen in unterschiedlichen Anwendungsdomänen. In diesem Artikel präsentieren
    wir einen Überblick über einige dieser Erfahrungsberichte.
author:
- first_name: Stephan
  full_name: Weißleder, Stephan
  last_name: Weißleder
- first_name: Baris
  full_name: Güldali, Baris
  last_name: Güldali
- first_name: Michael
  full_name: Mlynarski, Michael
  last_name: Mlynarski
- first_name: Arne-Michael
  full_name: Törsel, Arne-Michael
  last_name: Törsel
- first_name: David
  full_name: Faragó, David
  last_name: Faragó
- first_name: Florian
  full_name: Prester, Florian
  last_name: Prester
- first_name: Mario
  full_name: Winter, Mario
  last_name: Winter
citation:
  ama: 'Weißleder S, Güldali B, Mlynarski M, et al. Modellbasiertes Testen: Hype oder
    Realität? <i>OBJEKTspektrum</i>. 2011;(6):59-65.'
  apa: 'Weißleder, S., Güldali, B., Mlynarski, M., Törsel, A.-M., Faragó, D., Prester,
    F., &#38; Winter, M. (2011). Modellbasiertes Testen: Hype oder Realität? <i>OBJEKTspektrum</i>,
    (6), 59–65.'
  bibtex: '@article{Weißleder_Güldali_Mlynarski_Törsel_Faragó_Prester_Winter_2011,
    title={Modellbasiertes Testen: Hype oder Realität?}, number={6}, journal={OBJEKTspektrum},
    author={Weißleder, Stephan and Güldali, Baris and Mlynarski, Michael and Törsel,
    Arne-Michael and Faragó, David and Prester, Florian and Winter, Mario}, year={2011},
    pages={59–65} }'
  chicago: 'Weißleder, Stephan, Baris Güldali, Michael Mlynarski, Arne-Michael Törsel,
    David Faragó, Florian Prester, and Mario Winter. “Modellbasiertes Testen: Hype
    Oder Realität?” <i>OBJEKTspektrum</i>, no. 6 (2011): 59–65.'
  ieee: 'S. Weißleder <i>et al.</i>, “Modellbasiertes Testen: Hype oder Realität?,”
    <i>OBJEKTspektrum</i>, no. 6, pp. 59–65, 2011.'
  mla: 'Weißleder, Stephan, et al. “Modellbasiertes Testen: Hype Oder Realität?” <i>OBJEKTspektrum</i>,
    no. 6, 2011, pp. 59–65.'
  short: S. Weißleder, B. Güldali, M. Mlynarski, A.-M. Törsel, D. Faragó, F. Prester,
    M. Winter, OBJEKTspektrum (2011) 59–65.
date_created: 2019-01-31T13:00:12Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
issue: '6'
language:
- iso: eng
page: 59-65
publication: OBJEKTspektrum
status: public
title: 'Modellbasiertes Testen: Hype oder Realität?'
type: journal_article
user_id: '52534'
year: '2011'
...
---
_id: '7354'
abstract:
- lang: eng
  text: 'Acceptance testing is a time-consuming task for complex software systems
    that have to fulfill a large number of requirements. To reduce this effort, we
    have developed a widely automated method for deriving test plans from requirements
    that are expressed in natural language. It consists of three stages: annotation,
    clustering, and test plan specification. The general idea is to exploit redundancies
    and implicit relationships in requirements specifications. Multi-viewpoint techniques
    based on RM-ODP (Reference Model for Open Distributed Processing) are employed
    for specifying the requirements. We then use linguistic analysis techniques, requirements
    clustering algorithms, and pattern-based requirements collection to reduce the
    total effort of testing against the requirements specification. In particular,
    we use linguistic analysis for extracting and annotating the actor, process and
    object of a requirements statement. During clustering, a similarity function is
    computed as a measure for the overlap of requirements. In the test plan specification
    stage, our approach provides capabilities for semi-automatically deriving test
    plans and acceptance criteria from the clustered informal textual requirements.
    Two patterns are applied to compute a suitable order of test activities. The generated
    test plans consist of a sequence of test steps and asserts that are executed or
    checked in the given order. We also present the supporting prototype tool TORC,
    which is available open source. For the evaluation of the approach, we have conducted
    a case study in the field of acceptance testing of a national electronic identification
    system. In summary, we report on lessons learned how linguistic analysis and clustering
    techniques can help testers in understanding the relations between requirements
    and for improving test planning.'
author:
- first_name: Baris
  full_name: Güldali, Baris
  last_name: Güldali
- first_name: Holger
  full_name: Funke, Holger
  last_name: Funke
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Güldali B, Funke H, Sauer S, Engels G. TORC: test plan optimization by requirements
    clustering. <i>Software Quality Journal</i>. 2011;19(4):771-799. doi:<a href="https://doi.org/10.1007/s11219-011-9149-4">10.1007/s11219-011-9149-4</a>'
  apa: 'Güldali, B., Funke, H., Sauer, S., &#38; Engels, G. (2011). TORC: test plan
    optimization by requirements clustering. <i>Software Quality Journal</i>, <i>19</i>(4),
    771–799. <a href="https://doi.org/10.1007/s11219-011-9149-4">https://doi.org/10.1007/s11219-011-9149-4</a>'
  bibtex: '@article{Güldali_Funke_Sauer_Engels_2011, title={TORC: test plan optimization
    by requirements clustering}, volume={19}, DOI={<a href="https://doi.org/10.1007/s11219-011-9149-4">10.1007/s11219-011-9149-4</a>},
    number={4}, journal={Software Quality Journal}, publisher={Springer Nature}, author={Güldali,
    Baris and Funke, Holger and Sauer, Stefan and Engels, Gregor}, year={2011}, pages={771–799}
    }'
  chicago: 'Güldali, Baris, Holger Funke, Stefan Sauer, and Gregor Engels. “TORC:
    Test Plan Optimization by Requirements Clustering.” <i>Software Quality Journal</i>
    19, no. 4 (2011): 771–99. <a href="https://doi.org/10.1007/s11219-011-9149-4">https://doi.org/10.1007/s11219-011-9149-4</a>.'
  ieee: 'B. Güldali, H. Funke, S. Sauer, and G. Engels, “TORC: test plan optimization
    by requirements clustering,” <i>Software Quality Journal</i>, vol. 19, no. 4,
    pp. 771–799, 2011.'
  mla: 'Güldali, Baris, et al. “TORC: Test Plan Optimization by Requirements Clustering.”
    <i>Software Quality Journal</i>, vol. 19, no. 4, Springer Nature, 2011, pp. 771–99,
    doi:<a href="https://doi.org/10.1007/s11219-011-9149-4">10.1007/s11219-011-9149-4</a>.'
  short: B. Güldali, H. Funke, S. Sauer, G. Engels, Software Quality Journal 19 (2011)
    771–799.
date_created: 2019-01-31T13:00:53Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
doi: 10.1007/s11219-011-9149-4
intvolume: '        19'
issue: '4'
language:
- iso: eng
page: 771-799
publication: Software Quality Journal
publication_identifier:
  issn:
  - 0963-9314
  - 1573-1367
publication_status: published
publisher: Springer Nature
status: public
title: 'TORC: test plan optimization by requirements clustering'
type: journal_article
user_id: '52534'
volume: 19
year: '2011'
...
---
_id: '7355'
abstract:
- lang: eng
  text: Dynamic Meta Modeling (DMM) is a visual semantics specification technique
    targeted at languages based on a metamodel. A DMM specification consists of a
    runtime metamodel and operational rules which describe how instances of the runtime
    metamodel change over time. A known deficiency of the DMM approach is that it
    does not support the refinement of a DMM specification, e.g., in the case of defining
    the semantics for a refined and extended domain-specific language (DSL). Up to
    now, DMM specifications could only be reused by adding or removing DMM rules.
    In this paper, we enhance DMM such that DMM rules can override other DMM rules,
    similar to a method being overridden in a subclass, and we show how rule overriding
    can be realized with the graph transformation tool GROOVE. We argue that rule
    overriding does not only have positive impact on reusability, but also improves
    the intuitive understandability of DMM semantics specifications.
author:
- first_name: Christian
  full_name: Soltenborn, Christian
  id: '1737'
  last_name: Soltenborn
  orcid: 0000-0002-0342-8227
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: Soltenborn C, Engels G. Using rule overriding to improve reusability and understandability
    of Dynamic Meta Modeling specifications. <i>Journal of Visual Languages &#38;
    Computing</i>. 2011;22(3):233-250. doi:<a href="https://doi.org/10.1016/j.jvlc.2010.12.005">10.1016/j.jvlc.2010.12.005</a>
  apa: Soltenborn, C., &#38; Engels, G. (2011). Using rule overriding to improve reusability
    and understandability of Dynamic Meta Modeling specifications. <i>Journal of Visual
    Languages &#38; Computing</i>, <i>22</i>(3), 233–250. <a href="https://doi.org/10.1016/j.jvlc.2010.12.005">https://doi.org/10.1016/j.jvlc.2010.12.005</a>
  bibtex: '@article{Soltenborn_Engels_2011, title={Using rule overriding to improve
    reusability and understandability of Dynamic Meta Modeling specifications}, volume={22},
    DOI={<a href="https://doi.org/10.1016/j.jvlc.2010.12.005">10.1016/j.jvlc.2010.12.005</a>},
    number={3}, journal={Journal of Visual Languages &#38; Computing}, publisher={Elsevier
    BV}, author={Soltenborn, Christian and Engels, Gregor}, year={2011}, pages={233–250}
    }'
  chicago: 'Soltenborn, Christian, and Gregor Engels. “Using Rule Overriding to Improve
    Reusability and Understandability of Dynamic Meta Modeling Specifications.” <i>Journal
    of Visual Languages &#38; Computing</i> 22, no. 3 (2011): 233–50. <a href="https://doi.org/10.1016/j.jvlc.2010.12.005">https://doi.org/10.1016/j.jvlc.2010.12.005</a>.'
  ieee: C. Soltenborn and G. Engels, “Using rule overriding to improve reusability
    and understandability of Dynamic Meta Modeling specifications,” <i>Journal of
    Visual Languages &#38; Computing</i>, vol. 22, no. 3, pp. 233–250, 2011.
  mla: Soltenborn, Christian, and Gregor Engels. “Using Rule Overriding to Improve
    Reusability and Understandability of Dynamic Meta Modeling Specifications.” <i>Journal
    of Visual Languages &#38; Computing</i>, vol. 22, no. 3, Elsevier BV, 2011, pp.
    233–50, doi:<a href="https://doi.org/10.1016/j.jvlc.2010.12.005">10.1016/j.jvlc.2010.12.005</a>.
  short: C. Soltenborn, G. Engels, Journal of Visual Languages &#38; Computing 22
    (2011) 233–250.
date_created: 2019-01-31T13:02:21Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
doi: 10.1016/j.jvlc.2010.12.005
intvolume: '        22'
issue: '3'
language:
- iso: eng
page: 233-250
publication: Journal of Visual Languages & Computing
publication_identifier:
  issn:
  - 1045-926X
publication_status: published
publisher: Elsevier BV
status: public
title: Using rule overriding to improve reusability and understandability of Dynamic
  Meta Modeling specifications
type: journal_article
user_id: '14955'
volume: 22
year: '2011'
...
---
_id: '7535'
author:
- first_name: Irina
  full_name: Böckelmann, Irina
  last_name: Böckelmann
- first_name: Daniel
  full_name: Schenk, Daniel
  last_name: Schenk
- first_name: Thoralf
  full_name: Rößler, Thoralf
  last_name: Rößler
- first_name: Simon
  full_name: Adler, Simon
  last_name: Adler
- first_name: Björn
  full_name: Senft, Björn
  id: '9109'
  last_name: Senft
- first_name: Jens
  full_name: Grubert, Jens
  last_name: Grubert
- first_name: Rüdiger
  full_name: Mecke, Rüdiger
  last_name: Mecke
- first_name: Anke
  full_name: Huckauf, Anke
  last_name: Huckauf
- first_name: Mario
  full_name: Urbina, Mario
  last_name: Urbina
- first_name: Johannes
  full_name: Tümler, Johannes
  last_name: Tümler
- first_name: Sabine
  full_name: Darius, Sabine
  last_name: Darius
citation:
  ama: 'Böckelmann I, Schenk D, Rößler T, et al. Physiologische Beanspruchungsreaktionen
    bei der Anwendung von kopfgetragenen AR-Displays. In: ; 2011.'
  apa: Böckelmann, I., Schenk, D., Rößler, T., Adler, S., Senft, B., Grubert, J.,
    … Darius, S. (2011). Physiologische Beanspruchungsreaktionen bei der Anwendung
    von kopfgetragenen AR-Displays. Presented at the 51. Wissenschaftliche Jahrestagung
    der Deutschen Gesellschaft für Arbeitsmedizin und Umweltmedizin e. V. (DGAUM).
  bibtex: '@inproceedings{Böckelmann_Schenk_Rößler_Adler_Senft_Grubert_Mecke_Huckauf_Urbina_Tümler_et
    al._2011, title={Physiologische Beanspruchungsreaktionen bei der Anwendung von
    kopfgetragenen AR-Displays}, author={Böckelmann, Irina and Schenk, Daniel and
    Rößler, Thoralf and Adler, Simon and Senft, Björn and Grubert, Jens and Mecke,
    Rüdiger and Huckauf, Anke and Urbina, Mario and Tümler, Johannes and et al.},
    year={2011} }'
  chicago: Böckelmann, Irina, Daniel Schenk, Thoralf Rößler, Simon Adler, Björn Senft,
    Jens Grubert, Rüdiger Mecke, et al. “Physiologische Beanspruchungsreaktionen Bei
    Der Anwendung von Kopfgetragenen AR-Displays,” 2011.
  ieee: I. Böckelmann <i>et al.</i>, “Physiologische Beanspruchungsreaktionen bei
    der Anwendung von kopfgetragenen AR-Displays,” presented at the 51. Wissenschaftliche
    Jahrestagung der Deutschen Gesellschaft für Arbeitsmedizin und Umweltmedizin e.
    V. (DGAUM), 2011.
  mla: Böckelmann, Irina, et al. <i>Physiologische Beanspruchungsreaktionen Bei Der
    Anwendung von Kopfgetragenen AR-Displays</i>. 2011.
  short: 'I. Böckelmann, D. Schenk, T. Rößler, S. Adler, B. Senft, J. Grubert, R.
    Mecke, A. Huckauf, M. Urbina, J. Tümler, S. Darius, in: 2011.'
conference:
  name: 51. Wissenschaftliche Jahrestagung der Deutschen Gesellschaft für Arbeitsmedizin
    und Umweltmedizin e. V. (DGAUM)
date_created: 2019-02-05T12:36:59Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Physiologische Beanspruchungsreaktionen bei der Anwendung von kopfgetragenen
  AR-Displays
type: conference
user_id: '9109'
year: '2011'
...
---
_id: '7536'
author:
- first_name: Florian
  full_name: Klompmaker, Florian
  last_name: Klompmaker
- first_name: Björn
  full_name: Senft, Björn
  id: '9109'
  last_name: Senft
- first_name: Karsten
  full_name: Nebe, Karsten
  last_name: Nebe
- first_name: Clemens
  full_name: Busch, Clemens
  last_name: Busch
- first_name: Detlev
  full_name: Willemsen, Detlev
  last_name: Willemsen
citation:
  ama: 'Klompmaker F, Senft B, Nebe K, Busch C, Willemsen D. User Centered Design
    Process of OSAMi-D - Developing User Interfaces for a Remote Ergometer Training
    Application. In: <i>{HEALTHINF} 2011 - Proceedings of the International Conference
    on Health Informatics, Rome, Italy, 26-29 January, 2011</i>. ; 2011:268-273.'
  apa: Klompmaker, F., Senft, B., Nebe, K., Busch, C., &#38; Willemsen, D. (2011).
    User Centered Design Process of OSAMi-D - Developing User Interfaces for a Remote
    Ergometer Training Application. In <i>{HEALTHINF} 2011 - Proceedings of the International
    Conference on Health Informatics, Rome, Italy, 26-29 January, 2011</i> (pp. 268–273).
  bibtex: '@inproceedings{Klompmaker_Senft_Nebe_Busch_Willemsen_2011, title={User
    Centered Design Process of OSAMi-D - Developing User Interfaces for a Remote Ergometer
    Training Application}, booktitle={{HEALTHINF} 2011 - Proceedings of the International
    Conference on Health Informatics, Rome, Italy, 26-29 January, 2011}, author={Klompmaker,
    Florian and Senft, Björn and Nebe, Karsten and Busch, Clemens and Willemsen, Detlev},
    year={2011}, pages={268–273} }'
  chicago: Klompmaker, Florian, Björn Senft, Karsten Nebe, Clemens Busch, and Detlev
    Willemsen. “User Centered Design Process of OSAMi-D - Developing User Interfaces
    for a Remote Ergometer Training Application.” In <i>{HEALTHINF} 2011 - Proceedings
    of the International Conference on Health Informatics, Rome, Italy, 26-29 January,
    2011</i>, 268–73, 2011.
  ieee: F. Klompmaker, B. Senft, K. Nebe, C. Busch, and D. Willemsen, “User Centered
    Design Process of OSAMi-D - Developing User Interfaces for a Remote Ergometer
    Training Application,” in <i>{HEALTHINF} 2011 - Proceedings of the International
    Conference on Health Informatics, Rome, Italy, 26-29 January, 2011</i>, 2011,
    pp. 268–273.
  mla: Klompmaker, Florian, et al. “User Centered Design Process of OSAMi-D - Developing
    User Interfaces for a Remote Ergometer Training Application.” <i>{HEALTHINF} 2011
    - Proceedings of the International Conference on Health Informatics, Rome, Italy,
    26-29 January, 2011</i>, 2011, pp. 268–73.
  short: 'F. Klompmaker, B. Senft, K. Nebe, C. Busch, D. Willemsen, in: {HEALTHINF}
    2011 - Proceedings of the International Conference on Health Informatics, Rome,
    Italy, 26-29 January, 2011, 2011, pp. 268–273.'
date_created: 2019-02-05T12:41:05Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
language:
- iso: eng
page: 268-273
publication: '{HEALTHINF} 2011 - Proceedings of the International Conference on Health
  Informatics, Rome, Italy, 26-29 January, 2011'
status: public
title: User Centered Design Process of OSAMi-D - Developing User Interfaces for a
  Remote Ergometer Training Application
type: conference
user_id: '9109'
year: '2011'
...
---
_id: '8471'
abstract:
- lang: eng
  text: Performance is an important quality attribute for business information systems.
    When a tester has spotted a performance error, the error is passed to the software
    developers to fix it. However, in component-based software development the tester
    has to do blame analysis first, i. e. the tester has to decide, which party is
    responsible to fix the error. If the error is a design or deployment issue, it
    can be assigned to the software architect or the system deployer. If the error
    is specific to a component, it needs to be assigned to the corresponding component
    developer. An accurate blame analysis is important, because wrong assignments
    of errors will cause a loss of time and money. Our approach aims at doing blame
    analysis for performance errors by comparing performance metrics obtained in performance
    testing and performance prediction. We use performance prediction values as expected
    values for individual components. For performance prediction we use the Palladio
    approach. By this means, our approach evaluates each component’s performance in
    a certain test case. If the component performs poorly, its component developer
    needs to fix the component or the architect replaces the component with a faster
    one. If no omponent performs poorly, we can deduce that there is a design or deployment
    issue and the architecture needs to be changed. In this paper, we present an exemplary
    blame analysis based on a web shop system. The example shows the feasibility of
    our approach.
author:
- first_name: Frank
  full_name: Brüseke, Frank
  last_name: Brüseke
- first_name: Steffen
  full_name: Becker, Steffen
  last_name: Becker
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Brüseke F, Becker S, Engels G. Palladio-based performance blame analysis.
    In: <i>Proceedings of the 16th International Workshop on Component-Oriented Programming
    (WCOP; Satellite Event of the CompArch 2011), Boulder Colorado, CO (USA)</i>.
    New York, NY (USA): ACM; 2011:25-32. doi:<a href="http://dx.doi.org/10.1145/2000292.2000298">http://dx.doi.org/10.1145/2000292.2000298</a>'
  apa: 'Brüseke, F., Becker, S., &#38; Engels, G. (2011). Palladio-based performance
    blame analysis. In <i>Proceedings of the 16th International Workshop on Component-Oriented
    Programming (WCOP; satellite event of the CompArch 2011), Boulder Colorado, CO
    (USA)</i> (pp. 25–32). New York, NY (USA): ACM. <a href="http://dx.doi.org/10.1145/2000292.2000298">http://dx.doi.org/10.1145/2000292.2000298</a>'
  bibtex: '@inproceedings{Brüseke_Becker_Engels_2011, place={New York, NY (USA)},
    title={Palladio-based performance blame analysis}, DOI={<a href="http://dx.doi.org/10.1145/2000292.2000298">http://dx.doi.org/10.1145/2000292.2000298</a>},
    booktitle={Proceedings of the 16th International Workshop on Component-Oriented
    Programming (WCOP; satellite event of the CompArch 2011), Boulder Colorado, CO
    (USA)}, publisher={ACM}, author={Brüseke, Frank and Becker, Steffen and Engels,
    Gregor}, year={2011}, pages={25–32} }'
  chicago: 'Brüseke, Frank, Steffen Becker, and Gregor Engels. “Palladio-Based Performance
    Blame Analysis.” In <i>Proceedings of the 16th International Workshop on Component-Oriented
    Programming (WCOP; Satellite Event of the CompArch 2011), Boulder Colorado, CO
    (USA)</i>, 25–32. New York, NY (USA): ACM, 2011. <a href="http://dx.doi.org/10.1145/2000292.2000298">http://dx.doi.org/10.1145/2000292.2000298</a>.'
  ieee: F. Brüseke, S. Becker, and G. Engels, “Palladio-based performance blame analysis,”
    in <i>Proceedings of the 16th International Workshop on Component-Oriented Programming
    (WCOP; satellite event of the CompArch 2011), Boulder Colorado, CO (USA)</i>,
    2011, pp. 25–32.
  mla: Brüseke, Frank, et al. “Palladio-Based Performance Blame Analysis.” <i>Proceedings
    of the 16th International Workshop on Component-Oriented Programming (WCOP; Satellite
    Event of the CompArch 2011), Boulder Colorado, CO (USA)</i>, ACM, 2011, pp. 25–32,
    doi:<a href="http://dx.doi.org/10.1145/2000292.2000298">http://dx.doi.org/10.1145/2000292.2000298</a>.
  short: 'F. Brüseke, S. Becker, G. Engels, in: Proceedings of the 16th International
    Workshop on Component-Oriented Programming (WCOP; Satellite Event of the CompArch
    2011), Boulder Colorado, CO (USA), ACM, New York, NY (USA), 2011, pp. 25–32.'
date_created: 2019-03-08T09:36:29Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1145/2000292.2000298
language:
- iso: eng
page: 25-32
place: New York, NY (USA)
publication: Proceedings of the 16th International Workshop on Component-Oriented
  Programming (WCOP; satellite event of the CompArch 2011), Boulder Colorado, CO (USA)
publisher: ACM
status: public
title: Palladio-based performance blame analysis
type: conference
user_id: '52534'
year: '2011'
...
---
_id: '8472'
author:
- first_name: 'Benjamin '
  full_name: 'Nagel, Benjamin '
  last_name: Nagel
citation:
  ama: 'Nagel B. Semi-automatische Ableitung externer Anpassungsmechanismen für selbst-adaptive
    Systeme. In: <i>Proceedings of the Software Engineering 2011 (SE 2011), Karlsruhe
    (Germany)</i>. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik
    (GI); 2011.'
  apa: 'Nagel, B. (2011). Semi-automatische Ableitung externer Anpassungsmechanismen
    für selbst-adaptive Systeme. In <i>Proceedings of the Software Engineering 2011
    (SE 2011), Karlsruhe (Germany)</i>. Bonn: Gesellschaft für Informatik (GI).'
  bibtex: '@inproceedings{Nagel_2011, place={Bonn}, series={Lecture Notes in Informatics},
    title={Semi-automatische Ableitung externer Anpassungsmechanismen für selbst-adaptive
    Systeme}, booktitle={Proceedings of the Software Engineering 2011 (SE 2011), Karlsruhe
    (Germany)}, publisher={Gesellschaft für Informatik (GI)}, author={Nagel, Benjamin
    }, year={2011}, collection={Lecture Notes in Informatics} }'
  chicago: 'Nagel, Benjamin . “Semi-Automatische Ableitung Externer Anpassungsmechanismen
    Für Selbst-Adaptive Systeme.” In <i>Proceedings of the Software Engineering 2011
    (SE 2011), Karlsruhe (Germany)</i>. Lecture Notes in Informatics. Bonn: Gesellschaft
    für Informatik (GI), 2011.'
  ieee: B. Nagel, “Semi-automatische Ableitung externer Anpassungsmechanismen für
    selbst-adaptive Systeme,” in <i>Proceedings of the Software Engineering 2011 (SE
    2011), Karlsruhe (Germany)</i>, 2011.
  mla: Nagel, Benjamin. “Semi-Automatische Ableitung Externer Anpassungsmechanismen
    Für Selbst-Adaptive Systeme.” <i>Proceedings of the Software Engineering 2011
    (SE 2011), Karlsruhe (Germany)</i>, Gesellschaft für Informatik (GI), 2011.
  short: 'B. Nagel, in: Proceedings of the Software Engineering 2011 (SE 2011), Karlsruhe
    (Germany), Gesellschaft für Informatik (GI), Bonn, 2011.'
date_created: 2019-03-08T09:38:16Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
language:
- iso: eng
place: Bonn
publication: Proceedings of the Software Engineering 2011 (SE 2011), Karlsruhe (Germany)
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Semi-automatische Ableitung externer Anpassungsmechanismen für selbst-adaptive
  Systeme
type: conference
user_id: '52534'
year: '2011'
...
---
_id: '646'
abstract:
- lang: eng
  text: This paper presents a dynamic overlay network based on the De Bruijn graph
    which we call Linearized De Bruijn (LDB) network. The LDB network has the advantage
    that it has a guaranteed constant node degree and that the routing between any
    two nodes takes at most O(log n) hops with high probability. Also, we show that
    there is a simple local-control algorithm that can recover the LDB network from
    any network topology that is weakly connected.
author:
- first_name: Andrea W.
  full_name: Richa, Andrea W.
  last_name: Richa
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
citation:
  ama: 'Richa AW, Scheideler C. Self-Stabilizing DeBruijn Networks. In: <i>Proceedings
    of the 13th International Symposium on Stabilization, Safety, and Security of
    Distributed Systems (SSS)</i>. LNCS. ; 2011:416-430. doi:<a href="https://doi.org/10.1007/978-3-642-24550-3_31">10.1007/978-3-642-24550-3_31</a>'
  apa: Richa, A. W., &#38; Scheideler, C. (2011). Self-Stabilizing DeBruijn Networks.
    In <i>Proceedings of the 13th International Symposium on Stabilization, Safety,
    and Security of Distributed Systems (SSS)</i> (pp. 416–430). <a href="https://doi.org/10.1007/978-3-642-24550-3_31">https://doi.org/10.1007/978-3-642-24550-3_31</a>
  bibtex: '@inproceedings{Richa_Scheideler_2011, series={LNCS}, title={Self-Stabilizing
    DeBruijn Networks}, DOI={<a href="https://doi.org/10.1007/978-3-642-24550-3_31">10.1007/978-3-642-24550-3_31</a>},
    booktitle={Proceedings of the 13th International Symposium on Stabilization, Safety,
    and Security of Distributed Systems (SSS)}, author={Richa, Andrea W. and Scheideler,
    Christian}, year={2011}, pages={416–430}, collection={LNCS} }'
  chicago: Richa, Andrea W., and Christian Scheideler. “Self-Stabilizing DeBruijn
    Networks.” In <i>Proceedings of the 13th International Symposium on Stabilization,
    Safety, and Security of Distributed Systems (SSS)</i>, 416–30. LNCS, 2011. <a
    href="https://doi.org/10.1007/978-3-642-24550-3_31">https://doi.org/10.1007/978-3-642-24550-3_31</a>.
  ieee: A. W. Richa and C. Scheideler, “Self-Stabilizing DeBruijn Networks,” in <i>Proceedings
    of the 13th International Symposium on Stabilization, Safety, and Security of
    Distributed Systems (SSS)</i>, 2011, pp. 416–430.
  mla: Richa, Andrea W., and Christian Scheideler. “Self-Stabilizing DeBruijn Networks.”
    <i>Proceedings of the 13th International Symposium on Stabilization, Safety, and
    Security of Distributed Systems (SSS)</i>, 2011, pp. 416–30, doi:<a href="https://doi.org/10.1007/978-3-642-24550-3_31">10.1007/978-3-642-24550-3_31</a>.
  short: 'A.W. Richa, C. Scheideler, in: Proceedings of the 13th International Symposium
    on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp.
    416–430.'
date_created: 2017-10-17T12:42:58Z
date_updated: 2022-01-06T07:03:06Z
ddc:
- '040'
department:
- _id: '79'
doi: 10.1007/978-3-642-24550-3_31
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-14T13:57:26Z
  date_updated: 2018-03-14T13:57:26Z
  file_id: '1227'
  file_name: 646-SSS2011-Scheideler_02.pdf
  file_size: 339664
  relation: main_file
  success: 1
file_date_updated: 2018-03-14T13:57:26Z
has_accepted_license: '1'
page: 416-430
project:
- _id: '1'
  name: SFB 901
- _id: '13'
  name: SFB 901 - Subprojekt C1
- _id: '4'
  name: SFB 901 - Project Area C
publication: Proceedings of the 13th International Symposium on Stabilization, Safety,
  and Security of Distributed Systems (SSS)
series_title: LNCS
status: public
title: Self-Stabilizing DeBruijn Networks
type: conference
user_id: '15504'
year: '2011'
...
---
_id: '647'
author:
- first_name: Michael
  full_name: Leuschel, Michael
  last_name: Leuschel
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: Leuschel M, Wehrheim H. Selected papers on Integrated Formal Methods (iFM09).
    <i>Science of Computer Programming</i>. 2011;(10):835--836. doi:<a href="https://doi.org/10.1016/j.scico.2011.01.009">10.1016/j.scico.2011.01.009</a>
  apa: Leuschel, M., &#38; Wehrheim, H. (2011). Selected papers on Integrated Formal
    Methods (iFM09). <i>Science of Computer Programming</i>, (10), 835--836. <a href="https://doi.org/10.1016/j.scico.2011.01.009">https://doi.org/10.1016/j.scico.2011.01.009</a>
  bibtex: '@article{Leuschel_Wehrheim_2011, title={Selected papers on Integrated Formal
    Methods (iFM09)}, DOI={<a href="https://doi.org/10.1016/j.scico.2011.01.009">10.1016/j.scico.2011.01.009</a>},
    number={10}, journal={Science of Computer Programming}, publisher={Elsevier},
    author={Leuschel, Michael and Wehrheim, Heike}, year={2011}, pages={835--836}
    }'
  chicago: 'Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated
    Formal Methods (IFM09).” <i>Science of Computer Programming</i>, no. 10 (2011):
    835--836. <a href="https://doi.org/10.1016/j.scico.2011.01.009">https://doi.org/10.1016/j.scico.2011.01.009</a>.'
  ieee: M. Leuschel and H. Wehrheim, “Selected papers on Integrated Formal Methods
    (iFM09),” <i>Science of Computer Programming</i>, no. 10, pp. 835--836, 2011.
  mla: Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal
    Methods (IFM09).” <i>Science of Computer Programming</i>, no. 10, Elsevier, 2011,
    pp. 835--836, doi:<a href="https://doi.org/10.1016/j.scico.2011.01.009">10.1016/j.scico.2011.01.009</a>.
  short: M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.
date_created: 2017-10-17T12:42:58Z
date_updated: 2022-01-06T07:03:06Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1016/j.scico.2011.01.009
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-14T13:56:48Z
  date_updated: 2018-03-14T13:56:48Z
  file_id: '1226'
  file_name: 647-LeuschelWehrheim.pdf
  file_size: 139105
  relation: main_file
  success: 1
file_date_updated: 2018-03-14T13:56:48Z
has_accepted_license: '1'
issue: '10'
language:
- iso: eng
page: 835--836
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '12'
  name: SFB 901 - Subproject B4
- _id: '3'
  name: SFB 901 - Project Area B
publication: Science of Computer Programming
publisher: Elsevier
status: public
title: Selected papers on Integrated Formal Methods (iFM09)
type: journal_article
user_id: '477'
year: '2011'
...
