---
_id: '25299'
author:
- first_name: Stefan
  full_name: Grösbrink, Stefan
  last_name: Grösbrink
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
citation:
  ama: 'Grösbrink S, Rammig F-J. Safe Self-Evolving Embedded Software via System Virtualization.
    In: <i>3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013</i>. SBC;
    2013.'
  apa: Grösbrink, S., &#38; Rammig, F.-J. (2013). Safe Self-Evolving Embedded Software
    via System Virtualization. <i>3rd SBC Workshop on Autonomic Distributed Systems
    - WoSiDA 2013</i>.
  bibtex: '@inproceedings{Grösbrink_Rammig_2013, place={Brasilia, Brazil}, title={Safe
    Self-Evolving Embedded Software via System Virtualization}, booktitle={3rd SBC
    Workshop on Autonomic Distributed Systems - WoSiDA 2013}, publisher={SBC}, author={Grösbrink,
    Stefan and Rammig, Franz-Josef}, year={2013} }'
  chicago: 'Grösbrink, Stefan, and Franz-Josef Rammig. “Safe Self-Evolving Embedded
    Software via System Virtualization.” In <i>3rd SBC Workshop on Autonomic Distributed
    Systems - WoSiDA 2013</i>. Brasilia, Brazil: SBC, 2013.'
  ieee: S. Grösbrink and F.-J. Rammig, “Safe Self-Evolving Embedded Software via System
    Virtualization,” 2013.
  mla: Grösbrink, Stefan, and Franz-Josef Rammig. “Safe Self-Evolving Embedded Software
    via System Virtualization.” <i>3rd SBC Workshop on Autonomic Distributed Systems
    - WoSiDA 2013</i>, SBC, 2013.
  short: 'S. Grösbrink, F.-J. Rammig, in: 3rd SBC Workshop on Autonomic Distributed
    Systems - WoSiDA 2013, SBC, Brasilia, Brazil, 2013.'
date_created: 2021-10-04T12:48:59Z
date_updated: 2022-01-06T06:56:59Z
department:
- _id: '672'
language:
- iso: eng
place: Brasilia, Brazil
publication: 3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013
publisher: SBC
status: public
title: Safe Self-Evolving Embedded Software via System Virtualization
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25548'
author:
- first_name: Stefan
  full_name: Grösbrink, Stefan
  last_name: Grösbrink
- first_name: Luis
  full_name: Almeida, Luis
  last_name: Almeida
- first_name: Mario
  full_name: de Sousa, Mario
  last_name: de Sousa
- first_name: Stefan M.
  full_name: Petters, Stefan M.
  last_name: Petters
citation:
  ama: 'Grösbrink S, Almeida L, de Sousa M, Petters SM. Fair Bandwidth Sharing among
    Virtual Machines in a Multi-criticality Scope. In: <i>5th Workshop on Adaptive
    and Reconfigurable Embedded Systems (CPSWeek 2013)</i>. ; 2013.'
  apa: Grösbrink, S., Almeida, L., de Sousa, M., &#38; Petters, S. M. (2013). Fair
    Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope. <i>5th
    Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013)</i>. 8.
    - 11. Apr. 2013.
  bibtex: '@inproceedings{Grösbrink_Almeida_de Sousa_Petters_2013, title={Fair Bandwidth
    Sharing among Virtual Machines in a Multi-criticality Scope}, booktitle={5th Workshop
    on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013)}, author={Grösbrink,
    Stefan and Almeida, Luis and de Sousa, Mario and Petters, Stefan M.}, year={2013}
    }'
  chicago: Grösbrink, Stefan, Luis Almeida, Mario de Sousa, and Stefan M. Petters.
    “Fair Bandwidth Sharing among Virtual Machines in a Multi-Criticality Scope.”
    In <i>5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013)</i>,
    2013.
  ieee: S. Grösbrink, L. Almeida, M. de Sousa, and S. M. Petters, “Fair Bandwidth
    Sharing among Virtual Machines in a Multi-criticality Scope,” presented at the
    8. - 11. Apr. 2013, 2013.
  mla: Grösbrink, Stefan, et al. “Fair Bandwidth Sharing among Virtual Machines in
    a Multi-Criticality Scope.” <i>5th Workshop on Adaptive and Reconfigurable Embedded
    Systems (CPSWeek 2013)</i>, 2013.
  short: 'S. Grösbrink, L. Almeida, M. de Sousa, S.M. Petters, in: 5th Workshop on
    Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013), 2013.'
conference:
  name: 8. - 11. Apr. 2013
date_created: 2021-10-06T10:27:23Z
date_updated: 2022-01-06T06:57:07Z
department:
- _id: '672'
language:
- iso: eng
publication: 5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek
  2013)
status: public
title: Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25557'
author:
- first_name: Mona
  full_name: Qanadilo, Mona
  last_name: Qanadilo
- first_name: Sufyan
  full_name: Samara, Sufyan
  last_name: Samara
- first_name: Yuhong
  full_name: Zhao, Yuhong
  last_name: Zhao
citation:
  ama: 'Qanadilo M, Samara S, Zhao Y. Accelerating Online Model Checking. In: <i>6’th
    Latin-American Symposium on Dependable Computing (LADC 2013)</i>. ; 2013.'
  apa: Qanadilo, M., Samara, S., &#38; Zhao, Y. (2013). Accelerating Online Model
    Checking. <i>6’th Latin-American Symposium on Dependable Computing (LADC 2013)</i>.
  bibtex: '@inproceedings{Qanadilo_Samara_Zhao_2013, title={Accelerating Online Model
    Checking}, booktitle={6’th Latin-American Symposium on Dependable Computing (LADC
    2013)}, author={Qanadilo, Mona and Samara, Sufyan and Zhao, Yuhong}, year={2013}
    }'
  chicago: Qanadilo, Mona, Sufyan Samara, and Yuhong Zhao. “Accelerating Online Model
    Checking.” In <i>6’th Latin-American Symposium on Dependable Computing (LADC 2013)</i>,
    2013.
  ieee: M. Qanadilo, S. Samara, and Y. Zhao, “Accelerating Online Model Checking,”
    2013.
  mla: Qanadilo, Mona, et al. “Accelerating Online Model Checking.” <i>6’th Latin-American
    Symposium on Dependable Computing (LADC 2013)</i>, 2013.
  short: 'M. Qanadilo, S. Samara, Y. Zhao, in: 6’th Latin-American Symposium on Dependable
    Computing (LADC 2013), 2013.'
date_created: 2021-10-06T10:43:15Z
date_updated: 2022-01-06T06:57:07Z
department:
- _id: '672'
language:
- iso: eng
publication: 6'th Latin-American Symposium on Dependable Computing (LADC 2013)
status: public
title: Accelerating Online Model Checking
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25573'
author:
- first_name: Claudius
  full_name: Stern, Claudius
  last_name: Stern
- first_name: Christoph
  full_name: Rasche, Christoph
  last_name: Rasche
- first_name: Lisa
  full_name: Kleinjohann, Lisa
  id: '15588'
  last_name: Kleinjohann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Bildangereicherte Kartenerstellung
    zur Unterstützung bei Rettungseinsätzen. In: <i>11. Paderborner Workshop Augmented
    &#38; Virtual Reality in der Produktentstehung</i>. Vol 311. Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn, Nr. 311; 2013.'
  apa: Stern, C., Rasche, C., Kleinjohann, L., &#38; Kleinjohann, B. (2013). Bildangereicherte
    Kartenerstellung zur Unterstützung bei Rettungseinsätzen. <i>11. Paderborner Workshop
    Augmented &#38; Virtual Reality in der Produktentstehung</i>, <i>311</i>.
  bibtex: '@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2013, title={Bildangereicherte
    Kartenerstellung zur Unterstützung bei Rettungseinsätzen}, volume={311}, booktitle={11.
    Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung},
    publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311},
    author={Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann,
    Bernd}, year={2013} }'
  chicago: Stern, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann.
    “Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen.”
    In <i>11. Paderborner Workshop Augmented &#38; Virtual Reality in der Produktentstehung</i>,
    Vol. 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311,
    2013.
  ieee: C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Bildangereicherte
    Kartenerstellung zur Unterstützung bei Rettungseinsätzen,” in <i>11. Paderborner
    Workshop Augmented &#38; Virtual Reality in der Produktentstehung</i>, 2013, vol.
    311.
  mla: Stern, Claudius, et al. “Bildangereicherte Kartenerstellung zur Unterstützung
    bei Rettungseinsätzen.” <i>11. Paderborner Workshop Augmented &#38; Virtual Reality
    in der Produktentstehung</i>, vol. 311, Verlagsschriftenreihe des Heinz Nixdorf
    Instituts, Paderborn, Nr. 311, 2013.
  short: 'C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: 11. Paderborner
    Workshop Augmented &#38; Virtual Reality in der Produktentstehung, Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn, Nr. 311, 2013.'
date_created: 2021-10-06T11:54:43Z
date_updated: 2022-01-06T06:57:07Z
department:
- _id: '672'
intvolume: '       311'
language:
- iso: ger
publication: 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311
status: public
title: Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen
type: conference
user_id: '21240'
volume: 311
year: '2013'
...
---
_id: '25574'
author:
- first_name: Christoph
  full_name: Rasche, Christoph
  last_name: Rasche
- first_name: Maarten
  full_name: Bieshaar, Maarten
  last_name: Bieshaar
- first_name: Alexander
  full_name: Jungmann, Alexander
  last_name: Jungmann
- first_name: Lisa
  full_name: Kleinjohann, Lisa
  id: '15588'
  last_name: Kleinjohann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Rasche C, Bieshaar M, Jungmann A, Kleinjohann L, Kleinjohann B. Statistisches
    Planen in einem realen Roboterszenario. In: <i>Entwurf mechatronischer Systeme,
    Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310</i>. Vol
    310. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2013:133-146.'
  apa: Rasche, C., Bieshaar, M., Jungmann, A., Kleinjohann, L., &#38; Kleinjohann,
    B. (2013). Statistisches Planen in einem realen Roboterszenario. <i>Entwurf mechatronischer
    Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310</i>,
    <i>310</i>, 133–146.
  bibtex: '@inproceedings{Rasche_Bieshaar_Jungmann_Kleinjohann_Kleinjohann_2013, title={Statistisches
    Planen in einem realen Roboterszenario}, volume={310}, booktitle={Entwurf mechatronischer
    Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310},
    publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Rasche,
    Christoph and Bieshaar, Maarten and Jungmann, Alexander and Kleinjohann, Lisa
    and Kleinjohann, Bernd}, year={2013}, pages={133–146} }'
  chicago: Rasche, Christoph, Maarten Bieshaar, Alexander Jungmann, Lisa Kleinjohann,
    and Bernd Kleinjohann. “Statistisches Planen in einem realen Roboterszenario.”
    In <i>Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf
    Instituts, Paderborn, Band 310</i>, 310:133–46. Verlagsschriftenreihe des Heinz
    Nixdorf Instituts, Paderborn, 2013.
  ieee: C. Rasche, M. Bieshaar, A. Jungmann, L. Kleinjohann, and B. Kleinjohann, “Statistisches
    Planen in einem realen Roboterszenario,” in <i>Entwurf mechatronischer Systeme,
    Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310</i>, 2013,
    vol. 310, pp. 133–146.
  mla: Rasche, Christoph, et al. “Statistisches Planen in einem realen Roboterszenario.”
    <i>Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn, Band 310</i>, vol. 310, Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn, 2013, pp. 133–46.
  short: 'C. Rasche, M. Bieshaar, A. Jungmann, L. Kleinjohann, B. Kleinjohann, in:
    Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn, Band 310, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn,
    2013, pp. 133–146.'
date_created: 2021-10-06T12:14:24Z
date_updated: 2022-01-06T06:57:07Z
department:
- _id: '672'
intvolume: '       310'
language:
- iso: ger
page: 133-146
publication: Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf
  Instituts, Paderborn, Band 310
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Statistisches Planen in einem realen Roboterszenario
type: conference
user_id: '21240'
volume: 310
year: '2013'
...
---
_id: '25575'
author:
- first_name: Stefan
  full_name: Grösbrink, Stefan
  last_name: Grösbrink
- first_name: Daniel
  full_name: Baldin, Daniel
  last_name: Baldin
- first_name: Simon
  full_name: Oberthür, Simon
  id: '383'
  last_name: Oberthür
citation:
  ama: 'Grösbrink S, Baldin D, Oberthür S. Architecture for Adaptive Resource Assignment
    to Virtualized Mixed-Criticality Real-Time Systems. In: <i>ACM SIGBED Review,
    Band 10</i>. ACM; 2013.'
  apa: Grösbrink, S., Baldin, D., &#38; Oberthür, S. (2013). Architecture for Adaptive
    Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems. <i>ACM
    SIGBED Review, Band 10</i>.
  bibtex: '@inproceedings{Grösbrink_Baldin_Oberthür_2013, title={Architecture for
    Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems},
    booktitle={ACM SIGBED Review, Band 10}, publisher={ACM}, author={Grösbrink, Stefan
    and Baldin, Daniel and Oberthür, Simon}, year={2013} }'
  chicago: Grösbrink, Stefan, Daniel Baldin, and Simon Oberthür. “Architecture for
    Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems.”
    In <i>ACM SIGBED Review, Band 10</i>. ACM, 2013.
  ieee: S. Grösbrink, D. Baldin, and S. Oberthür, “Architecture for Adaptive Resource
    Assignment to Virtualized Mixed-Criticality Real-Time Systems,” 2013.
  mla: Grösbrink, Stefan, et al. “Architecture for Adaptive Resource Assignment to
    Virtualized Mixed-Criticality Real-Time Systems.” <i>ACM SIGBED Review, Band 10</i>,
    ACM, 2013.
  short: 'S. Grösbrink, D. Baldin, S. Oberthür, in: ACM SIGBED Review, Band 10, ACM,
    2013.'
date_created: 2021-10-06T12:43:51Z
date_updated: 2022-01-06T06:57:07Z
department:
- _id: '672'
language:
- iso: eng
publication: ACM SIGBED Review, Band 10
publisher: ACM
status: public
title: Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality
  Real-Time Systems
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25606'
author:
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Marcio
  full_name: F. S. Oliveira, Marcio
  last_name: F. S. Oliveira
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Kuznik C, F. S. Oliveira M, Müller W. SystemC Verification Components - An
    enhanced OVM/UVM for SystemC. In: <i>EdaWorkshop 13</i>. ; 2013.'
  apa: Kuznik, C., F. S. Oliveira, M., &#38; Müller, W. (2013). SystemC Verification
    Components - An enhanced OVM/UVM for SystemC. <i>EdaWorkshop 13</i>.
  bibtex: '@inproceedings{Kuznik_F. S. Oliveira_Müller_2013, title={SystemC Verification
    Components - An enhanced OVM/UVM for SystemC}, booktitle={edaWorkshop 13}, author={Kuznik,
    Christoph and F. S. Oliveira, Marcio and Müller, Wolfgang}, year={2013} }'
  chicago: Kuznik, Christoph, Marcio F. S. Oliveira, and Wolfgang Müller. “SystemC
    Verification Components - An Enhanced OVM/UVM for SystemC.” In <i>EdaWorkshop
    13</i>, 2013.
  ieee: C. Kuznik, M. F. S. Oliveira, and W. Müller, “SystemC Verification Components
    - An enhanced OVM/UVM for SystemC,” Mrz. 2013 - Poster, 2013.
  mla: Kuznik, Christoph, et al. “SystemC Verification Components - An Enhanced OVM/UVM
    for SystemC.” <i>EdaWorkshop 13</i>, 2013.
  short: 'C. Kuznik, M. F. S. Oliveira, W. Müller, in: EdaWorkshop 13, 2013.'
conference:
  location: Mrz. 2013 - Poster
date_created: 2021-10-07T07:58:38Z
date_updated: 2022-01-06T06:57:07Z
department:
- _id: '672'
language:
- iso: eng
publication: edaWorkshop 13
status: public
title: SystemC Verification Components - An enhanced OVM/UVM for SystemC
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25612'
author:
- first_name: Fabian
  full_name: Mischkalla, Fabian
  last_name: Mischkalla
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Mischkalla F, Müller W. Funktionale Verifikation von Low-Power Designs unter
    Verwendung Virtueller Prototypen. In: <i>Methoden und Beschreibungssprachen zur
    Modellierung und Verifikation von Schaltungen und Systemen (MBMV)</i>. ; 2013.'
  apa: Mischkalla, F., &#38; Müller, W. (2013). Funktionale Verifikation von Low-Power
    Designs unter Verwendung Virtueller Prototypen. <i>Methoden und Beschreibungssprachen
    zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)</i>.
  bibtex: '@inproceedings{Mischkalla_Müller_2013, title={Funktionale Verifikation
    von Low-Power Designs unter Verwendung Virtueller Prototypen}, booktitle={Methoden
    und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und
    Systemen (MBMV)}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013}
    }'
  chicago: Mischkalla, Fabian, and Wolfgang Müller. “Funktionale Verifikation von
    Low-Power Designs unter Verwendung Virtueller Prototypen.” In <i>Methoden und
    Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
    (MBMV)</i>, 2013.
  ieee: F. Mischkalla and W. Müller, “Funktionale Verifikation von Low-Power Designs
    unter Verwendung Virtueller Prototypen,” 2013.
  mla: Mischkalla, Fabian, and Wolfgang Müller. “Funktionale Verifikation von Low-Power
    Designs unter Verwendung Virtueller Prototypen.” <i>Methoden und Beschreibungssprachen
    zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)</i>, 2013.
  short: 'F. Mischkalla, W. Müller, in: Methoden und Beschreibungssprachen zur Modellierung
    und Verifikation von Schaltungen und Systemen (MBMV), 2013.'
date_created: 2021-10-07T08:27:55Z
date_updated: 2022-01-06T06:57:08Z
department:
- _id: '672'
language:
- iso: ger
publication: Methoden und Beschreibungssprachen zur Modellierung und Verifikation
  von Schaltungen und Systemen (MBMV)
status: public
title: Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller
  Prototypen
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25614'
author:
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Marcio
  full_name: F. S. Oliveira, Marcio
  last_name: F. S. Oliveira
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Kuznik C, F. S. Oliveira M, Müller W. SC OVM: An Advanced SystemC Library
    for OVM-based Verification. In: <i>Open SANITAS SystemC Verification Workshop</i>.
    ; 2013.'
  apa: 'Kuznik, C., F. S. Oliveira, M., &#38; Müller, W. (2013). SC OVM: An Advanced
    SystemC Library for OVM-based Verification. <i>Open SANITAS SystemC Verification
    Workshop</i>.'
  bibtex: '@inproceedings{Kuznik_F. S. Oliveira_Müller_2013, title={SC OVM: An Advanced
    SystemC Library for OVM-based Verification}, booktitle={Open SANITAS SystemC Verification
    Workshop}, author={Kuznik, Christoph and F. S. Oliveira, Marcio and Müller, Wolfgang},
    year={2013} }'
  chicago: 'Kuznik, Christoph, Marcio F. S. Oliveira, and Wolfgang Müller. “SC OVM:
    An Advanced SystemC Library for OVM-Based Verification.” In <i>Open SANITAS SystemC
    Verification Workshop</i>, 2013.'
  ieee: 'C. Kuznik, M. F. S. Oliveira, and W. Müller, “SC OVM: An Advanced SystemC
    Library for OVM-based Verification,” 2013.'
  mla: 'Kuznik, Christoph, et al. “SC OVM: An Advanced SystemC Library for OVM-Based
    Verification.” <i>Open SANITAS SystemC Verification Workshop</i>, 2013.'
  short: 'C. Kuznik, M. F. S. Oliveira, W. Müller, in: Open SANITAS SystemC Verification
    Workshop, 2013.'
date_created: 2021-10-07T08:31:07Z
date_updated: 2022-01-06T06:57:08Z
department:
- _id: '672'
language:
- iso: eng
publication: Open SANITAS SystemC Verification Workshop
status: public
title: 'SC OVM: An Advanced SystemC Library for OVM-based Verification'
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25615'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Christian
  full_name: Gerth, Christian
  last_name: Gerth
- first_name: Lisa
  full_name: Kleinjohann, Lisa
  id: '15588'
  last_name: Kleinjohann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: Engels G, Gerth C, Kleinjohann L, Kleinjohann B, Müller W.  Informationstechnik
    spart Ressourcen. <i>ForschungsForum Paderborn </i>. 2013.
  apa: Engels, G., Gerth, C., Kleinjohann, L., Kleinjohann, B., &#38; Müller, W. (2013).  Informationstechnik
    spart Ressourcen. <i>ForschungsForum Paderborn </i>.
  bibtex: '@article{Engels_Gerth_Kleinjohann_Kleinjohann_Müller_2013, title={ Informationstechnik
    spart Ressourcen}, journal={ForschungsForum Paderborn }, author={Engels, Gregor
    and Gerth, Christian and Kleinjohann, Lisa and Kleinjohann, Bernd and Müller,
    Wolfgang}, year={2013} }'
  chicago: Engels, Gregor, Christian Gerth, Lisa Kleinjohann, Bernd Kleinjohann, and
    Wolfgang Müller. “ Informationstechnik spart Ressourcen.” <i>ForschungsForum Paderborn
    </i>, 2013.
  ieee: G. Engels, C. Gerth, L. Kleinjohann, B. Kleinjohann, and W. Müller, “ Informationstechnik
    spart Ressourcen,” <i>ForschungsForum Paderborn </i>, 2013.
  mla: Engels, Gregor, et al. “ Informationstechnik spart Ressourcen.” <i>ForschungsForum
    Paderborn </i>, 2013.
  short: G. Engels, C. Gerth, L. Kleinjohann, B. Kleinjohann, W. Müller, ForschungsForum
    Paderborn  (2013).
date_created: 2021-10-07T08:34:47Z
date_updated: 2022-01-06T06:57:08Z
department:
- _id: '672'
language:
- iso: ger
publication: 'ForschungsForum Paderborn '
publication_date: 2013-02-01
status: public
title: ' Informationstechnik spart Ressourcen'
type: newspaper_article
user_id: '21240'
year: '2013'
...
---
_id: '25616'
author:
- first_name: Stefan
  full_name: Grösbrink, Stefan
  last_name: Grösbrink
citation:
  ama: Grösbrink S. Basics of Virtual Machine Migration on Heterogeneous Architectures
    for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation
    Issues. <i>Production Engineering Research &#38; Development 7(1)</i>. Published
    online 2013:69-79.
  apa: Grösbrink, S. (2013). Basics of Virtual Machine Migration on Heterogeneous
    Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and
    Implementation Issues. <i>Production Engineering Research &#38; Development 7(1)</i>,
    69–79.
  bibtex: '@article{Grösbrink_2013, title={Basics of Virtual Machine Migration on
    Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary
    Conditions and Implementation Issues}, journal={Production Engineering Research
    &#38; Development 7(1)}, author={Grösbrink, Stefan}, year={2013}, pages={69–79}
    }'
  chicago: Grösbrink, Stefan. “Basics of Virtual Machine Migration on Heterogeneous
    Architectures for Self-Optimizing Mechatronic Systems - Necessary Conditions and
    Implementation Issues.” <i>Production Engineering Research &#38; Development 7(1)</i>,
    2013, 69–79.
  ieee: S. Grösbrink, “Basics of Virtual Machine Migration on Heterogeneous Architectures
    for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation
    Issues,” <i>Production Engineering Research &#38; Development 7(1)</i>, pp. 69–79,
    2013.
  mla: Grösbrink, Stefan. “Basics of Virtual Machine Migration on Heterogeneous Architectures
    for Self-Optimizing Mechatronic Systems - Necessary Conditions and Implementation
    Issues.” <i>Production Engineering Research &#38; Development 7(1)</i>, 2013,
    pp. 69–79.
  short: S. Grösbrink, Production Engineering Research &#38; Development 7(1) (2013)
    69–79.
date_created: 2021-10-07T08:43:39Z
date_updated: 2022-01-06T06:57:08Z
department:
- _id: '672'
language:
- iso: eng
page: 69-79
publication: Production Engineering Research & Development 7(1)
status: public
title: Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing
  Mechatronic Systems - Necessary Conditions and Implementation Issues
type: journal_article
user_id: '21240'
year: '2013'
...
---
_id: '25618'
abstract:
- lang: eng
  text: The as a service paradigm reflects the fundamental idea of providing basic
    coherent functionality in terms of components that can be utilised on demand.
    These so-called services may also be interconnected in order to provide more complex
    functionality. Automation of this service composition process is indeed a formidable
    challenge. In our work, we are addressing this challenge by decomposing service
    composition into sequential decision making steps. Each step is supported by a
    recommendation mechanism. If composition requests recur over time and if evaluations
    of composition results are fed back, a proper recommendation strategy can evolve
    over time through learning from experience. In this paper, we describe our approach
    of modelling this service composition and recommendation process as Markov decision
    process and of solving it by means of reinforcement learning. A case study serves
    as proof of concept.
author:
- first_name: Alexander
  full_name: Jungmann, Alexander
  last_name: Jungmann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
- first_name: Lisa
  full_name: Kleinjohann, Lisa
  id: '15588'
  last_name: Kleinjohann
citation:
  ama: Jungmann A, Kleinjohann B, Kleinjohann L. Learning Service Recommendations.
    <i>International Journal of Business Process Integration and Management 6(4)</i>.
    Published online 2013:284-297.
  apa: Jungmann, A., Kleinjohann, B., &#38; Kleinjohann, L. (2013). Learning Service
    Recommendations. <i>International Journal of Business Process Integration and
    Management 6(4)</i>, 284–297.
  bibtex: '@article{Jungmann_Kleinjohann_Kleinjohann_2013, title={Learning Service
    Recommendations}, journal={International Journal of Business Process Integration
    and Management 6(4)}, author={Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann,
    Lisa}, year={2013}, pages={284–297} }'
  chicago: Jungmann, Alexander, Bernd Kleinjohann, and Lisa Kleinjohann. “Learning
    Service Recommendations.” <i>International Journal of Business Process Integration
    and Management 6(4)</i>, 2013, 284–97.
  ieee: A. Jungmann, B. Kleinjohann, and L. Kleinjohann, “Learning Service Recommendations,”
    <i>International Journal of Business Process Integration and Management 6(4)</i>,
    pp. 284–297, 2013.
  mla: Jungmann, Alexander, et al. “Learning Service Recommendations.” <i>International
    Journal of Business Process Integration and Management 6(4)</i>, 2013, pp. 284–97.
  short: A. Jungmann, B. Kleinjohann, L. Kleinjohann, International Journal of Business
    Process Integration and Management 6(4) (2013) 284–297.
date_created: 2021-10-07T08:47:56Z
date_updated: 2022-01-06T06:57:08Z
department:
- _id: '672'
language:
- iso: eng
page: 284-297
publication: International Journal of Business Process Integration and Management
  6(4)
status: public
title: Learning Service Recommendations
type: journal_article
user_id: '21240'
year: '2013'
...
---
_id: '25620'
author:
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Marcio F.
  full_name: Oliveira, Marcio F.
  last_name: Oliveira
- first_name: Bertrand
  full_name: Defo, Bertrand
  last_name: Defo
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Kuznik C, Oliveira MF, Defo B, Müller W. Systematic Application of UCIS to
    Improve the Automation on Verification Closure. In: <i>Proceedings of DVCON</i>.
    ; 2013.'
  apa: Kuznik, C., Oliveira, M. F., Defo, B., &#38; Müller, W. (2013). Systematic
    Application of UCIS to Improve the Automation on Verification Closure. <i>Proceedings
    of DVCON</i>.
  bibtex: '@inproceedings{Kuznik_Oliveira_Defo_Müller_2013, title={Systematic Application
    of UCIS to Improve the Automation on Verification Closure}, booktitle={Proceedings
    of DVCON}, author={Kuznik, Christoph and Oliveira, Marcio F. and Defo, Bertrand
    and Müller, Wolfgang}, year={2013} }'
  chicago: Kuznik, Christoph, Marcio F. Oliveira, Bertrand Defo, and Wolfgang Müller.
    “Systematic Application of UCIS to Improve the Automation on Verification Closure.”
    In <i>Proceedings of DVCON</i>, 2013.
  ieee: C. Kuznik, M. F. Oliveira, B. Defo, and W. Müller, “Systematic Application
    of UCIS to Improve the Automation on Verification Closure,” 2013.
  mla: Kuznik, Christoph, et al. “Systematic Application of UCIS to Improve the Automation
    on Verification Closure.” <i>Proceedings of DVCON</i>, 2013.
  short: 'C. Kuznik, M.F. Oliveira, B. Defo, W. Müller, in: Proceedings of DVCON,
    2013.'
date_created: 2021-10-07T08:51:16Z
date_updated: 2022-01-06T06:57:08Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of DVCON
status: public
title: Systematic Application of UCIS to Improve the Automation on Verification Closure
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25625'
abstract:
- lang: eng
  text: After big disasters, search and rescue missions take place. During these missions
    it is essential to obtain an overview of the overall situation to arrange efficient
    rescue tasks as soon as possible. Afterwards, this information has to be continuously
    updated during the complete mission in order to quickly respond to changing conditions.
    The use of unmanned aerial vehicles (UAVs) is a viable choice to obtain such an
    overview in a fast and efficient way. Using multiple UAVs, the problem of coordination
    has to be solved to decrease the time needed to explore an area. We present an
    approach for the coordination of UAVs by setting up formation patterns using bifurcation
    theory. We combine this theory with a potential field approach for exploration,
    based on harmonic functions.
author:
- first_name: Christoph
  full_name: Rasche, Christoph
  last_name: Rasche
- first_name: Claudius
  full_name: Stern, Claudius
  last_name: Stern
- first_name: Lisa
  full_name: Kleinjohann, Lisa
  id: '15588'
  last_name: Kleinjohann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Rasche C, Stern C, Kleinjohann L, Kleinjohann B. A 3D Path Planning Approach
    Extended by Bifurcation Theory for Formation Flights. In: Sen Gupta G, Bailey
    D, Demidenko S, Carnegie D, eds. <i>Recent Advances in Robotics and Automation,
    Studies in Computational Intelligence, Band 480</i>. Vol 480. Springer ; 2013:103-113.'
  apa: Rasche, C., Stern, C., Kleinjohann, L., &#38; Kleinjohann, B. (2013). A 3D
    Path Planning Approach Extended by Bifurcation Theory for Formation Flights. In
    G. Sen Gupta, D. Bailey, S. Demidenko, &#38; D. Carnegie (Eds.), <i>Recent Advances
    in Robotics and Automation, Studies in Computational Intelligence, Band 480</i>
    (Vol. 480, pp. 103–113). Springer .
  bibtex: '@inbook{Rasche_Stern_Kleinjohann_Kleinjohann_2013, place={Berlin Heidelberg},
    title={A 3D Path Planning Approach Extended by Bifurcation Theory for Formation
    Flights}, volume={480}, booktitle={Recent Advances in Robotics and Automation,
    Studies in Computational Intelligence, Band 480}, publisher={Springer }, author={Rasche,
    Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd}, editor={Sen
    Gupta, Gourab and Bailey, Donald and Demidenko, Serge and Carnegie, Dale}, year={2013},
    pages={103–113} }'
  chicago: 'Rasche, Christoph, Claudius Stern, Lisa Kleinjohann, and Bernd Kleinjohann.
    “A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights.”
    In <i>Recent Advances in Robotics and Automation, Studies in Computational Intelligence,
    Band 480</i>, edited by Gourab Sen Gupta, Donald Bailey, Serge Demidenko, and
    Dale Carnegie, 480:103–13. Berlin Heidelberg: Springer , 2013.'
  ieee: 'C. Rasche, C. Stern, L. Kleinjohann, and B. Kleinjohann, “A 3D Path Planning
    Approach Extended by Bifurcation Theory for Formation Flights,” in <i>Recent Advances
    in Robotics and Automation, Studies in Computational Intelligence, Band 480</i>,
    vol. 480, G. Sen Gupta, D. Bailey, S. Demidenko, and D. Carnegie, Eds. Berlin
    Heidelberg: Springer , 2013, pp. 103–113.'
  mla: Rasche, Christoph, et al. “A 3D Path Planning Approach Extended by Bifurcation
    Theory for Formation Flights.” <i>Recent Advances in Robotics and Automation,
    Studies in Computational Intelligence, Band 480</i>, edited by Gourab Sen Gupta
    et al., vol. 480, Springer , 2013, pp. 103–13.
  short: 'C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, in: G. Sen Gupta, D.
    Bailey, S. Demidenko, D. Carnegie (Eds.), Recent Advances in Robotics and Automation,
    Studies in Computational Intelligence, Band 480, Springer , Berlin Heidelberg,
    2013, pp. 103–113.'
date_created: 2021-10-07T09:04:25Z
date_updated: 2022-01-06T06:57:08Z
department:
- _id: '672'
editor:
- first_name: Gourab
  full_name: Sen Gupta, Gourab
  last_name: Sen Gupta
- first_name: Donald
  full_name: Bailey, Donald
  last_name: Bailey
- first_name: Serge
  full_name: Demidenko, Serge
  last_name: Demidenko
- first_name: Dale
  full_name: Carnegie, Dale
  last_name: Carnegie
intvolume: '       480'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007%2F978-3-642-37387-9_8
page: 103-113
place: Berlin Heidelberg
publication: Recent Advances in Robotics and Automation, Studies in Computational
  Intelligence, Band 480
publisher: 'Springer '
status: public
title: A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights
type: book_chapter
user_id: '21240'
volume: 480
year: '2013'
...
---
_id: '25632'
author:
- first_name: Kay
  full_name: Klobedanz, Kay
  last_name: Klobedanz
- first_name: Jan
  full_name: Jatzkowski, Jan
  last_name: Jatzkowski
- first_name: Achim
  full_name: Rettberg, Achim
  last_name: Rettberg
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Klobedanz K, Jatzkowski J, Rettberg A, Müller W. Fault-Tolerant Deployment
    of Real-Time Software in AUTOSAR ECU Networks. In: <i>International Embedded Systems
    Symposium (IESS) 2013</i>. Springer; 2013.'
  apa: Klobedanz, K., Jatzkowski, J., Rettberg, A., &#38; Müller, W. (2013). Fault-Tolerant
    Deployment of Real-Time Software in AUTOSAR ECU Networks. <i>International Embedded
    Systems Symposium (IESS) 2013</i>.
  bibtex: '@inproceedings{Klobedanz_Jatzkowski_Rettberg_Müller_2013, title={Fault-Tolerant
    Deployment of Real-Time Software in AUTOSAR ECU Networks}, booktitle={International
    Embedded Systems Symposium (IESS) 2013}, publisher={Springer}, author={Klobedanz,
    Kay and Jatzkowski, Jan and Rettberg, Achim and Müller, Wolfgang}, year={2013}
    }'
  chicago: Klobedanz, Kay, Jan Jatzkowski, Achim Rettberg, and Wolfgang Müller. “Fault-Tolerant
    Deployment of Real-Time Software in AUTOSAR ECU Networks.” In <i>International
    Embedded Systems Symposium (IESS) 2013</i>. Springer, 2013.
  ieee: K. Klobedanz, J. Jatzkowski, A. Rettberg, and W. Müller, “Fault-Tolerant Deployment
    of Real-Time Software in AUTOSAR ECU Networks,” 2013.
  mla: Klobedanz, Kay, et al. “Fault-Tolerant Deployment of Real-Time Software in
    AUTOSAR ECU Networks.” <i>International Embedded Systems Symposium (IESS) 2013</i>,
    Springer, 2013.
  short: 'K. Klobedanz, J. Jatzkowski, A. Rettberg, W. Müller, in: International Embedded
    Systems Symposium (IESS) 2013, Springer, 2013.'
date_created: 2021-10-07T09:46:48Z
date_updated: 2022-01-06T06:57:08Z
department:
- _id: '672'
language:
- iso: eng
publication: International Embedded Systems Symposium (IESS) 2013
publisher: Springer
status: public
title: Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '19981'
author:
- first_name: Bärbel
  full_name: Mertsching, Bärbel
  last_name: Mertsching
- first_name: Mohammad
  full_name: Divband Soorati, Mohammad
  last_name: Divband Soorati
- first_name: Tobias
  full_name: Kotthauser, Tobias
  last_name: Kotthauser
citation:
  ama: Mertsching B, Divband Soorati M, Kotthauser T. Automatic Reconstruction of
    Polygonal Room Models from 3D Point Clouds. <i>IEEE International Conference on
    Robotics and Biomimetics (ROBIO)</i>. 2013:661-667.
  apa: Mertsching, B., Divband Soorati, M., &#38; Kotthauser, T. (2013). Automatic
    Reconstruction of Polygonal Room Models from 3D Point Clouds. <i>IEEE International
    Conference on Robotics and Biomimetics (ROBIO)</i>, 661–667.
  bibtex: '@article{Mertsching_Divband Soorati_Kotthauser_2013, title={Automatic Reconstruction
    of Polygonal Room Models from 3D Point Clouds}, journal={IEEE International Conference
    on Robotics and Biomimetics (ROBIO)}, author={Mertsching, Bärbel and Divband Soorati,
    Mohammad and Kotthauser, Tobias}, year={2013}, pages={661–667} }'
  chicago: Mertsching, Bärbel, Mohammad Divband Soorati, and Tobias Kotthauser. “Automatic
    Reconstruction of Polygonal Room Models from 3D Point Clouds.” <i>IEEE International
    Conference on Robotics and Biomimetics (ROBIO)</i>, 2013, 661–67.
  ieee: B. Mertsching, M. Divband Soorati, and T. Kotthauser, “Automatic Reconstruction
    of Polygonal Room Models from 3D Point Clouds,” <i>IEEE International Conference
    on Robotics and Biomimetics (ROBIO)</i>, pp. 661–667, 2013.
  mla: Mertsching, Bärbel, et al. “Automatic Reconstruction of Polygonal Room Models
    from 3D Point Clouds.” <i>IEEE International Conference on Robotics and Biomimetics
    (ROBIO)</i>, 2013, pp. 661–67.
  short: B. Mertsching, M. Divband Soorati, T. Kotthauser, IEEE International Conference
    on Robotics and Biomimetics (ROBIO) (2013) 661–667.
date_created: 2020-10-12T13:21:53Z
date_updated: 2022-01-06T06:54:17Z
department:
- _id: '63'
- _id: '238'
language:
- iso: eng
page: 661-667
publication: IEEE International Conference on Robotics and Biomimetics (ROBIO)
status: public
title: Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds
type: journal_article
user_id: '15415'
year: '2013'
...
---
_id: '20148'
author:
- first_name: Heiko
  full_name: Hamann, Heiko
  last_name: Hamann
- first_name: Istvan
  full_name: Karsai, Istvan
  last_name: Karsai
- first_name: Thomas
  full_name: Schmickl, Thomas
  last_name: Schmickl
citation:
  ama: 'Hamann H, Karsai I, Schmickl T. Time delay implies cost on task switching:
    A model to investigate the efficiency of task partitioning. <i>Bulletin of Mathematical
    Biology</i>. 2013;75(7):1181-1206. doi:<a href="https://doi.org/10.1007/s11538-013-9851-4
    ">10.1007/s11538-013-9851-4 </a>'
  apa: 'Hamann, H., Karsai, I., &#38; Schmickl, T. (2013). Time delay implies cost
    on task switching: A model to investigate the efficiency of task partitioning.
    <i>Bulletin of Mathematical Biology</i>, <i>75</i>(7), 1181–1206. <a href="https://doi.org/10.1007/s11538-013-9851-4
    ">https://doi.org/10.1007/s11538-013-9851-4 </a>'
  bibtex: '@article{Hamann_Karsai_Schmickl_2013, title={Time delay implies cost on
    task switching: A model to investigate the efficiency of task partitioning}, volume={75},
    DOI={<a href="https://doi.org/10.1007/s11538-013-9851-4 ">10.1007/s11538-013-9851-4
    </a>}, number={7}, journal={Bulletin of Mathematical Biology}, author={Hamann,
    Heiko and Karsai, Istvan and Schmickl, Thomas}, year={2013}, pages={1181–1206}
    }'
  chicago: 'Hamann, Heiko, Istvan Karsai, and Thomas Schmickl. “Time Delay Implies
    Cost on Task Switching: A Model to Investigate the Efficiency of Task Partitioning.”
    <i>Bulletin of Mathematical Biology</i> 75, no. 7 (2013): 1181–1206. <a href="https://doi.org/10.1007/s11538-013-9851-4
    ">https://doi.org/10.1007/s11538-013-9851-4 </a>.'
  ieee: 'H. Hamann, I. Karsai, and T. Schmickl, “Time delay implies cost on task switching:
    A model to investigate the efficiency of task partitioning,” <i>Bulletin of Mathematical
    Biology</i>, vol. 75, no. 7, pp. 1181–1206, 2013.'
  mla: 'Hamann, Heiko, et al. “Time Delay Implies Cost on Task Switching: A Model
    to Investigate the Efficiency of Task Partitioning.” <i>Bulletin of Mathematical
    Biology</i>, vol. 75, no. 7, 2013, pp. 1181–206, doi:<a href="https://doi.org/10.1007/s11538-013-9851-4
    ">10.1007/s11538-013-9851-4 </a>.'
  short: H. Hamann, I. Karsai, T. Schmickl, Bulletin of Mathematical Biology 75 (2013)
    1181–1206.
date_created: 2020-10-21T08:41:17Z
date_updated: 2022-01-06T06:54:20Z
department:
- _id: '63'
- _id: '238'
doi: '10.1007/s11538-013-9851-4 '
intvolume: '        75'
issue: '7'
language:
- iso: eng
page: 1181-1206
publication: Bulletin of Mathematical Biology
status: public
title: 'Time delay implies cost on task switching: A model to investigate the efficiency
  of task partitioning'
type: journal_article
user_id: '15415'
volume: 75
year: '2013'
...
---
_id: '20150'
author:
- first_name: Heiko
  full_name: Hamann, Heiko
  last_name: Hamann
- first_name: Thomas
  full_name: Schmickl, Thomas
  last_name: Schmickl
- first_name: Jürgen
  full_name: Stradner, Jürgen
  last_name: Stradner
- first_name: Karl
  full_name: Crailsheim, Karl
  last_name: Crailsheim
- first_name: Ronald
  full_name: Thenius, Ronald
  last_name: Thenius
- first_name: Payam
  full_name: Zahadat, Payam
  last_name: Zahadat
citation:
  ama: Hamann H, Schmickl T, Stradner J, Crailsheim K, Thenius R, Zahadat P. Algorithmic
    Requirements for Swarm Intelligence in Differently Coupled Collective Systems.
    <i>Chaos, Solitons &#38; Fractals</i>. 2013;50:100-114. doi:<a href="https://doi.org/10.1016/j.chaos.2013.01.011">10.1016/j.chaos.2013.01.011</a>
  apa: Hamann, H., Schmickl, T., Stradner, J., Crailsheim, K., Thenius, R., &#38;
    Zahadat, P. (2013). Algorithmic Requirements for Swarm Intelligence in Differently
    Coupled Collective Systems. <i>Chaos, Solitons &#38; Fractals</i>, <i>50</i>,
    100–114. <a href="https://doi.org/10.1016/j.chaos.2013.01.011">https://doi.org/10.1016/j.chaos.2013.01.011</a>
  bibtex: '@article{Hamann_Schmickl_Stradner_Crailsheim_Thenius_Zahadat_2013, title={Algorithmic
    Requirements for Swarm Intelligence in Differently Coupled Collective Systems},
    volume={50}, DOI={<a href="https://doi.org/10.1016/j.chaos.2013.01.011">10.1016/j.chaos.2013.01.011</a>},
    journal={Chaos, Solitons &#38; Fractals}, author={Hamann, Heiko and Schmickl,
    Thomas and Stradner, Jürgen and Crailsheim, Karl and Thenius, Ronald and Zahadat,
    Payam}, year={2013}, pages={100–114} }'
  chicago: 'Hamann, Heiko, Thomas Schmickl, Jürgen Stradner, Karl Crailsheim, Ronald
    Thenius, and Payam Zahadat. “Algorithmic Requirements for Swarm Intelligence in
    Differently Coupled Collective Systems.” <i>Chaos, Solitons &#38; Fractals</i>
    50 (2013): 100–114. <a href="https://doi.org/10.1016/j.chaos.2013.01.011">https://doi.org/10.1016/j.chaos.2013.01.011</a>.'
  ieee: H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, R. Thenius, and P. Zahadat,
    “Algorithmic Requirements for Swarm Intelligence in Differently Coupled Collective
    Systems,” <i>Chaos, Solitons &#38; Fractals</i>, vol. 50, pp. 100–114, 2013.
  mla: Hamann, Heiko, et al. “Algorithmic Requirements for Swarm Intelligence in Differently
    Coupled Collective Systems.” <i>Chaos, Solitons &#38; Fractals</i>, vol. 50, 2013,
    pp. 100–14, doi:<a href="https://doi.org/10.1016/j.chaos.2013.01.011">10.1016/j.chaos.2013.01.011</a>.
  short: H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, R. Thenius, P. Zahadat,
    Chaos, Solitons &#38; Fractals 50 (2013) 100–114.
date_created: 2020-10-21T08:46:02Z
date_updated: 2022-01-06T06:54:20Z
department:
- _id: '63'
- _id: '238'
doi: 10.1016/j.chaos.2013.01.011
intvolume: '        50'
language:
- iso: eng
page: 100-114
publication: Chaos, Solitons & Fractals
status: public
title: Algorithmic Requirements for Swarm Intelligence in Differently Coupled Collective
  Systems
type: journal_article
user_id: '15415'
volume: 50
year: '2013'
...
---
_id: '20151'
author:
- first_name: Heiko
  full_name: Hamann, Heiko
  last_name: Hamann
- first_name: Thomas
  full_name: Schmickl, Thomas
  last_name: Schmickl
- first_name: Jürgen
  full_name: Stradner, Jürgen
  last_name: Stradner
- first_name: Christopher
  full_name: Schwarzer, Christopher
  last_name: Schwarzer
- first_name: Nico K.
  full_name: Michiels, Nico K.
  last_name: Michiels
- first_name: Anna Isabel
  full_name: Esparcia-Alcazar, Anna Isabel
  last_name: Esparcia-Alcazar
citation:
  ama: 'Hamann H, Schmickl T, Stradner J, Schwarzer C, Michiels NK, Esparcia-Alcazar
    AI. Virtual Spatiality in Agent Controllers: Encoding Compartmentalization. In:
    <i>Applications of Evolutionary Computation - 16th European Conference (EvoApplications
    2013)</i>. Vol 7835. ; 2013:579-588. doi:<a href="https://doi.org/10.1007/978-3-642-37192-9_58">10.1007/978-3-642-37192-9_58</a>'
  apa: 'Hamann, H., Schmickl, T., Stradner, J., Schwarzer, C., Michiels, N. K., &#38;
    Esparcia-Alcazar, A. I. (2013). Virtual Spatiality in Agent Controllers: Encoding
    Compartmentalization. In <i>Applications of Evolutionary Computation - 16th European
    Conference (EvoApplications 2013)</i> (Vol. 7835, pp. 579–588). <a href="https://doi.org/10.1007/978-3-642-37192-9_58">https://doi.org/10.1007/978-3-642-37192-9_58</a>'
  bibtex: '@inproceedings{Hamann_Schmickl_Stradner_Schwarzer_Michiels_Esparcia-Alcazar_2013,
    title={Virtual Spatiality in Agent Controllers: Encoding Compartmentalization},
    volume={7835}, DOI={<a href="https://doi.org/10.1007/978-3-642-37192-9_58">10.1007/978-3-642-37192-9_58</a>},
    booktitle={Applications of Evolutionary Computation - 16th European Conference
    (EvoApplications 2013)}, author={Hamann, Heiko and Schmickl, Thomas and Stradner,
    Jürgen and Schwarzer, Christopher and Michiels, Nico K. and Esparcia-Alcazar,
    Anna Isabel}, year={2013}, pages={579–588} }'
  chicago: 'Hamann, Heiko, Thomas Schmickl, Jürgen Stradner, Christopher Schwarzer,
    Nico K. Michiels, and Anna Isabel Esparcia-Alcazar. “Virtual Spatiality in Agent
    Controllers: Encoding Compartmentalization.” In <i>Applications of Evolutionary
    Computation - 16th European Conference (EvoApplications 2013)</i>, 7835:579–88,
    2013. <a href="https://doi.org/10.1007/978-3-642-37192-9_58">https://doi.org/10.1007/978-3-642-37192-9_58</a>.'
  ieee: 'H. Hamann, T. Schmickl, J. Stradner, C. Schwarzer, N. K. Michiels, and A.
    I. Esparcia-Alcazar, “Virtual Spatiality in Agent Controllers: Encoding Compartmentalization,”
    in <i>Applications of Evolutionary Computation - 16th European Conference (EvoApplications
    2013)</i>, 2013, vol. 7835, pp. 579–588.'
  mla: 'Hamann, Heiko, et al. “Virtual Spatiality in Agent Controllers: Encoding Compartmentalization.”
    <i>Applications of Evolutionary Computation - 16th European Conference (EvoApplications
    2013)</i>, vol. 7835, 2013, pp. 579–88, doi:<a href="https://doi.org/10.1007/978-3-642-37192-9_58">10.1007/978-3-642-37192-9_58</a>.'
  short: 'H. Hamann, T. Schmickl, J. Stradner, C. Schwarzer, N.K. Michiels, A.I. Esparcia-Alcazar,
    in: Applications of Evolutionary Computation - 16th European Conference (EvoApplications
    2013), 2013, pp. 579–588.'
date_created: 2020-10-21T08:53:30Z
date_updated: 2022-01-06T06:54:20Z
department:
- _id: '63'
- _id: '238'
doi: 10.1007/978-3-642-37192-9_58
intvolume: '      7835'
language:
- iso: eng
page: 579-588
publication: Applications of Evolutionary Computation - 16th European Conference (EvoApplications
  2013)
status: public
title: 'Virtual Spatiality in Agent Controllers: Encoding Compartmentalization'
type: conference
user_id: '15415'
volume: 7835
year: '2013'
...
---
_id: '20160'
author:
- first_name: Heiko
  full_name: Hamann, Heiko
  last_name: Hamann
citation:
  ama: 'Hamann H. A Reductionist Approach to Hypothesis-Catching for the Analysis
    of Self-Organizing Decision-Making Systems. In: <i>7th IEEE Int. Conf. on Self-Adaptive
    and Self-Organizing Systems (SASO 2013)</i>. IEEE Press; 2013:227-236. doi:<a
    href="https://doi.org/10.1109/SASO.2013.10">10.1109/SASO.2013.10</a>'
  apa: Hamann, H. (2013). A Reductionist Approach to Hypothesis-Catching for the Analysis
    of Self-Organizing Decision-Making Systems. In <i>7th IEEE Int. Conf. on Self-Adaptive
    and Self-Organizing Systems (SASO 2013)</i> (pp. 227–236). IEEE Press. <a href="https://doi.org/10.1109/SASO.2013.10">https://doi.org/10.1109/SASO.2013.10</a>
  bibtex: '@inproceedings{Hamann_2013, title={A Reductionist Approach to Hypothesis-Catching
    for the Analysis of Self-Organizing Decision-Making Systems}, DOI={<a href="https://doi.org/10.1109/SASO.2013.10">10.1109/SASO.2013.10</a>},
    booktitle={7th IEEE Int. Conf. on Self-Adaptive and Self-Organizing Systems (SASO
    2013)}, publisher={IEEE Press}, author={Hamann, Heiko}, year={2013}, pages={227–236}
    }'
  chicago: Hamann, Heiko. “A Reductionist Approach to Hypothesis-Catching for the
    Analysis of Self-Organizing Decision-Making Systems.” In <i>7th IEEE Int. Conf.
    on Self-Adaptive and Self-Organizing Systems (SASO 2013)</i>, 227–36. IEEE Press,
    2013. <a href="https://doi.org/10.1109/SASO.2013.10">https://doi.org/10.1109/SASO.2013.10</a>.
  ieee: H. Hamann, “A Reductionist Approach to Hypothesis-Catching for the Analysis
    of Self-Organizing Decision-Making Systems,” in <i>7th IEEE Int. Conf. on Self-Adaptive
    and Self-Organizing Systems (SASO 2013)</i>, 2013, pp. 227–236.
  mla: Hamann, Heiko. “A Reductionist Approach to Hypothesis-Catching for the Analysis
    of Self-Organizing Decision-Making Systems.” <i>7th IEEE Int. Conf. on Self-Adaptive
    and Self-Organizing Systems (SASO 2013)</i>, IEEE Press, 2013, pp. 227–36, doi:<a
    href="https://doi.org/10.1109/SASO.2013.10">10.1109/SASO.2013.10</a>.
  short: 'H. Hamann, in: 7th IEEE Int. Conf. on Self-Adaptive and Self-Organizing
    Systems (SASO 2013), IEEE Press, 2013, pp. 227–236.'
date_created: 2020-10-21T13:48:26Z
date_updated: 2022-01-06T06:54:20Z
department:
- _id: '63'
- _id: '238'
doi: 10.1109/SASO.2013.10
language:
- iso: eng
page: 227-236
publication: 7th IEEE Int. Conf. on Self-Adaptive and Self-Organizing Systems (SASO
  2013)
publisher: IEEE Press
status: public
title: A Reductionist Approach to Hypothesis-Catching for the Analysis of Self-Organizing
  Decision-Making Systems
type: conference
user_id: '15415'
year: '2013'
...