---
_id: '26702'
author:
- first_name: Andreas
  full_name: Thuy, Andreas
  last_name: Thuy
citation:
  ama: 'Thuy A.  Comparison of periodic and aperiodic task models for cyber-physical-systems.
    In: <i>Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th
    International Workshop On </i>. IEEE Xplore; 2011.'
  apa: Thuy, A. (2011).  Comparison of periodic and aperiodic task models for cyber-physical-systems.
    <i>Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International
    Workshop On </i>. 20. - 22. Jun. 2011.
  bibtex: '@inproceedings{Thuy_2011, title={ Comparison of periodic and aperiodic
    task models for cyber-physical-systems}, booktitle={Reconfigurable Communication-centric
    Systems-on-Chip (ReCoSoC), 2011 6th International Workshop on }, publisher={IEEE
    Xplore}, author={Thuy, Andreas}, year={2011} }'
  chicago: Thuy, Andreas. “ Comparison of Periodic and Aperiodic Task Models for Cyber-Physical-Systems.”
    In <i>Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th
    International Workshop On </i>. IEEE Xplore, 2011.
  ieee: A. Thuy, “ Comparison of periodic and aperiodic task models for cyber-physical-systems,”
    presented at the 20. - 22. Jun. 2011, 2011.
  mla: Thuy, Andreas. “ Comparison of Periodic and Aperiodic Task Models for Cyber-Physical-Systems.”
    <i>Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International
    Workshop On </i>, IEEE Xplore, 2011.
  short: 'A. Thuy, in: Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC),
    2011 6th International Workshop On , IEEE Xplore, 2011.'
conference:
  name: 20. - 22. Jun. 2011
date_created: 2021-10-21T12:31:52Z
date_updated: 2022-01-06T06:57:26Z
department:
- _id: '672'
language:
- iso: eng
publication: 'Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2011
  6th International Workshop on '
publisher: IEEE Xplore
status: public
title: ' Comparison of periodic and aperiodic task models for cyber-physical-systems'
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26705'
abstract:
- lang: eng
  text: "In the area of dynamic verification of virtual prototypes, functional coverage
    is a valuable tool for answering the \"Are we done?\" question and achieving verification
    closure. Recent verification methodologies such as OVM and UVM contain multi-language
    support that provides a basic SystemC version. However, due to language shortcoming
    they cannot be utilized for the same amount of verification tasks in the SystemC
    ecosystem as in other supported hardware design and verification languages. In
    this presentation, we propose to boost the verification capabilities of SystemC
    by implementing functional coverage collection and evaluation according to the
    same metric as defined in the widely accepted IEEE-1800 SystemVerilog cover group
    feature. We implement a functional coverage library to enable coverage-driven
    verification of SystemC designs on multiple levels of abstraction enabling value,
    transition, and expression coverage. To our knowledge, the overall functionalities
    are not available in the IEEE-1666 SystemC standard or the SCV add-on library,
    nor are they complete compared to the aforementioned in any publicly available
    SystemC library.\r\n"
author:
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: Kuznik C, Müller W. Verification Closure of SystemC Designs with Functional
    Coverage. <i>North American SystemC User Group Meeting (16th)</i>. Published online
    2011.
  apa: Kuznik, C., &#38; Müller, W. (2011). Verification Closure of SystemC Designs
    with Functional Coverage. <i>North American SystemC User Group Meeting (16th)</i>.
    Jun. 2011 - 16th North American User Group Meeting (NASCUG).
  bibtex: '@article{Kuznik_Müller_2011, title={Verification Closure of SystemC Designs
    with Functional Coverage}, journal={North American SystemC User Group Meeting
    (16th)}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }'
  chicago: Kuznik, Christoph, and Wolfgang Müller. “Verification Closure of SystemC
    Designs with Functional Coverage.” <i>North American SystemC User Group Meeting
    (16th)</i>, 2011.
  ieee: C. Kuznik and W. Müller, “Verification Closure of SystemC Designs with Functional
    Coverage,” <i>North American SystemC User Group Meeting (16th)</i>, 2011.
  mla: Kuznik, Christoph, and Wolfgang Müller. “Verification Closure of SystemC Designs
    with Functional Coverage.” <i>North American SystemC User Group Meeting (16th)</i>,
    2011.
  short: C. Kuznik, W. Müller, North American SystemC User Group Meeting (16th) (2011).
conference:
  name: Jun. 2011 - 16th North American User Group Meeting (NASCUG)
date_created: 2021-10-21T12:37:44Z
date_updated: 2022-01-06T06:57:26Z
department:
- _id: '672'
language:
- iso: eng
publication: North American SystemC User Group Meeting (16th)
status: public
title: Verification Closure of SystemC Designs with Functional Coverage
type: journal_article
user_id: '21240'
year: '2011'
...
---
_id: '26707'
abstract:
- lang: eng
  text: "Planar graph routing works provably correct if the underlying network graph
    is connected and planar. Typically, wireless networks modeled as 2D graphs, are
    not planar and planar graph routing applied on such unprocessed network graphs
    may fail. Planarizing a given connected graph by removing intersecting links might
    be impossible if the outcome still needs to be a connected subgraph. It becomes
    even more difficult with distributed planarization techniques, where each node
    is allowed to use only the information about its local neighborhood. Furthermore,
    it is getting complicated if the nodes' assigned positions do not reflect the
    exact physical location. With or without exact location information, the outcome
    might be disconnected, nonplanar, or both of it. With all these unsolvable problems,
    the question arises how to apply planar graph routing in a realistic network setting?
    Fortunately, wireless network graphs bear one property which distinguishes them
    from arbitrary graphs: due to limited communication range, network links cannot
    become arbitrarily long. In this work we exploit this locality property to build
    a new localized planarization algorithm, which is location fault tolerant and
    which produces planar connected graphs in most cases in realistic wireless models.
    We evaluate our algorithm using the Log Normal Shadowing model and show that our
    algorithm always produces planar connected graphs in all simulations even when
    large location errors are present.\r\n"
author:
- first_name: Emi
  full_name: Mathews, Emi
  last_name: Mathews
- first_name: Hannes
  full_name: Frey, Hannes
  last_name: Frey
citation:
  ama: 'Mathews E, Frey H. A Localized Planarization Algorithm for Realistic Wireless
    Networks. In: <i>IEEE International Symposium on a World of Wireless, Mobile and
    Multimedia Networks (WoWMoM)</i>.  IEEE Computer Society; 2011:1-9.'
  apa: Mathews, E., &#38; Frey, H. (2011). A Localized Planarization Algorithm for
    Realistic Wireless Networks. <i>IEEE International Symposium on a World of Wireless,
    Mobile and Multimedia Networks (WoWMoM)</i>, 1–9.
  bibtex: '@inproceedings{Mathews_Frey_2011, title={A Localized Planarization Algorithm
    for Realistic Wireless Networks}, booktitle={IEEE International Symposium on a
    World of Wireless, Mobile and Multimedia Networks (WoWMoM)}, publisher={ IEEE
    Computer Society}, author={Mathews, Emi and Frey, Hannes}, year={2011}, pages={1–9}
    }'
  chicago: Mathews, Emi, and Hannes Frey. “A Localized Planarization Algorithm for
    Realistic Wireless Networks.” In <i>IEEE International Symposium on a World of
    Wireless, Mobile and Multimedia Networks (WoWMoM)</i>, 1–9.  IEEE Computer Society,
    2011.
  ieee: E. Mathews and H. Frey, “A Localized Planarization Algorithm for Realistic
    Wireless Networks,” in <i>IEEE International Symposium on a World of Wireless,
    Mobile and Multimedia Networks (WoWMoM)</i>, 2011, pp. 1–9.
  mla: Mathews, Emi, and Hannes Frey. “A Localized Planarization Algorithm for Realistic
    Wireless Networks.” <i>IEEE International Symposium on a World of Wireless, Mobile
    and Multimedia Networks (WoWMoM)</i>,  IEEE Computer Society, 2011, pp. 1–9.
  short: 'E. Mathews, H. Frey, in: IEEE International Symposium on a World of Wireless,
    Mobile and Multimedia Networks (WoWMoM),  IEEE Computer Society, 2011, pp. 1–9.'
date_created: 2021-10-21T12:40:58Z
date_updated: 2022-01-06T06:57:26Z
department:
- _id: '672'
language:
- iso: eng
page: 1-9
publication: IEEE International Symposium on a World of Wireless, Mobile and Multimedia
  Networks (WoWMoM)
publisher: ' IEEE Computer Society'
status: public
title: A Localized Planarization Algorithm for Realistic Wireless Networks
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26710'
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Henning
  full_name: Zabel, Henning
  last_name: Zabel
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Ahmed
  full_name: Elfeky, Ahmed
  last_name: Elfeky
- first_name: Anthony
  full_name: DiPasquale, Anthony
  last_name: DiPasquale
citation:
  ama: "Becker M, Zabel H, Müller W, Elfeky A, DiPasquale A. Virtual Prototyping softwareintensiver
    mechatronischer Systeme \x96 Eine Fallstudie. In: <i>8. Paderborner Workshop Entwurf
    Mechatronischer Systeme, Band 294</i>. Vol 294. Verlagsschriftenreihe des Heinz
    Nixdorf Instituts, Paderborn; 2011:315-327."
  apa: "Becker, M., Zabel, H., Müller, W., Elfeky, A., &#38; DiPasquale, A. (2011).
    Virtual Prototyping softwareintensiver mechatronischer Systeme \x96 Eine Fallstudie.
    <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294</i>, <i>294</i>,
    315–327."
  bibtex: "@inproceedings{Becker_Zabel_Müller_Elfeky_DiPasquale_2011, title={Virtual
    Prototyping softwareintensiver mechatronischer Systeme \x96 Eine Fallstudie},
    volume={294}, booktitle={8. Paderborner Workshop Entwurf mechatronischer Systeme,
    Band 294}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn},
    author={Becker, Markus and Zabel, Henning and Müller, Wolfgang and Elfeky, Ahmed
    and DiPasquale, Anthony}, year={2011}, pages={315–327} }"
  chicago: "Becker, Markus, Henning Zabel, Wolfgang Müller, Ahmed Elfeky, and Anthony
    DiPasquale. “Virtual Prototyping Softwareintensiver Mechatronischer Systeme \x96
    Eine Fallstudie.” In <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme,
    Band 294</i>, 294:315–27. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn,
    2011."
  ieee: "M. Becker, H. Zabel, W. Müller, A. Elfeky, and A. DiPasquale, “Virtual Prototyping
    softwareintensiver mechatronischer Systeme \x96 Eine Fallstudie,” in <i>8. Paderborner
    Workshop Entwurf mechatronischer Systeme, Band 294</i>, 2011, vol. 294, pp. 315–327."
  mla: "Becker, Markus, et al. “Virtual Prototyping Softwareintensiver Mechatronischer
    Systeme \x96 Eine Fallstudie.” <i>8. Paderborner Workshop Entwurf Mechatronischer
    Systeme, Band 294</i>, vol. 294, Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn, 2011, pp. 315–27."
  short: 'M. Becker, H. Zabel, W. Müller, A. Elfeky, A. DiPasquale, in: 8. Paderborner
    Workshop Entwurf Mechatronischer Systeme, Band 294, Verlagsschriftenreihe des
    Heinz Nixdorf Instituts, Paderborn, 2011, pp. 315–327.'
date_created: 2021-10-21T12:46:10Z
date_updated: 2022-01-06T06:57:26Z
department:
- _id: '672'
intvolume: '       294'
language:
- iso: eng
page: 315-327
publication: 8. Paderborner Workshop Entwurf mechatronischer Systeme, Band 294
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: "Virtual Prototyping softwareintensiver mechatronischer Systeme \x96 Eine Fallstudie"
type: conference
user_id: '21240'
volume: 294
year: '2011'
...
---
_id: '26711'
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. Coordinated Exploration and
    Goal-Oriented Path Planning using Multiple UAVs. <i>ThinkMind, International Journal
    On Advances in Software 3 (3&#38;4)</i>. Published online 2011:351-370.
  apa: Rasche, C., Stern, C., Kleinjohann, L., &#38; Kleinjohann, B. (2011). Coordinated
    Exploration and Goal-Oriented Path Planning using Multiple UAVs. <i>ThinkMind,
    International Journal On Advances in Software 3 (3&#38;4)</i>, 351–370.
  bibtex: '@article{Rasche_Stern_Kleinjohann_Kleinjohann_2011, title={Coordinated
    Exploration and Goal-Oriented Path Planning using Multiple UAVs}, journal={ThinkMind,
    International Journal On Advances in Software 3 (3&#38;4)}, author={Rasche, Christoph
    and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2011},
    pages={351–370} }'
  chicago: Rasche, Christoph, Claudius Stern, Lisa Kleinjohann, and Bernd Kleinjohann.
    “Coordinated Exploration and Goal-Oriented Path Planning Using Multiple UAVs.”
    <i>ThinkMind, International Journal On Advances in Software 3 (3&#38;4)</i>, 2011,
    351–70.
  ieee: C. Rasche, C. Stern, L. Kleinjohann, and B. Kleinjohann, “Coordinated Exploration
    and Goal-Oriented Path Planning using Multiple UAVs,” <i>ThinkMind, International
    Journal On Advances in Software 3 (3&#38;4)</i>, pp. 351–370, 2011.
  mla: Rasche, Christoph, et al. “Coordinated Exploration and Goal-Oriented Path Planning
    Using Multiple UAVs.” <i>ThinkMind, International Journal On Advances in Software
    3 (3&#38;4)</i>, 2011, pp. 351–70.
  short: C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, ThinkMind, International
    Journal On Advances in Software 3 (3&#38;4) (2011) 351–370.
date_created: 2021-10-21T12:56:18Z
date_updated: 2022-01-06T06:57:26Z
department:
- _id: '672'
language:
- iso: eng
page: 351-370
publication: ThinkMind, International Journal On Advances in Software 3 (3&4)
status: public
title: Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs
type: journal_article
user_id: '21240'
year: '2011'
...
---
_id: '26712'
author:
- first_name: Yara
  full_name: Khaluf, Yara
  last_name: Khaluf
- first_name: Emi
  full_name: Mathews, Emi
  last_name: Mathews
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
citation:
  ama: 'Khaluf Y, Mathews E, Rammig F-J.  Self-Organized Cooperation in Swarm Robotics.
    In: <i>14th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing Workshops (ISORCW)</i>. IEEE Computer Society;
    2011:217-226.'
  apa: Khaluf, Y., Mathews, E., &#38; Rammig, F.-J. (2011).  Self-Organized Cooperation
    in Swarm Robotics. <i>14th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing Workshops (ISORCW)</i>, 217–226.
  bibtex: '@inproceedings{Khaluf_Mathews_Rammig_2011, place={Newport Beach, California,
    USA}, title={ Self-Organized Cooperation in Swarm Robotics}, booktitle={14th IEEE
    International Symposium on Object/Component/Service-Oriented Real-Time Distributed
    Computing Workshops (ISORCW)}, publisher={IEEE Computer Society}, author={Khaluf,
    Yara and Mathews, Emi and Rammig, Franz-Josef}, year={2011}, pages={217–226} }'
  chicago: 'Khaluf, Yara, Emi Mathews, and Franz-Josef Rammig. “ Self-Organized Cooperation
    in Swarm Robotics.” In <i>14th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing Workshops (ISORCW)</i>, 217–26. Newport Beach,
    California, USA: IEEE Computer Society, 2011.'
  ieee: Y. Khaluf, E. Mathews, and F.-J. Rammig, “ Self-Organized Cooperation in Swarm
    Robotics,” in <i>14th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing Workshops (ISORCW)</i>, 2011, pp. 217–226.
  mla: Khaluf, Yara, et al. “ Self-Organized Cooperation in Swarm Robotics.” <i>14th
    IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed
    Computing Workshops (ISORCW)</i>, IEEE Computer Society, 2011, pp. 217–26.
  short: 'Y. Khaluf, E. Mathews, F.-J. Rammig, in: 14th IEEE International Symposium
    on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops
    (ISORCW), IEEE Computer Society, Newport Beach, California, USA, 2011, pp. 217–226.'
conference:
  name: Newport Beach, California, USA, 28. - 31. Mrz. 2011 IEEE, IEEE Computer Society
date_created: 2021-10-21T12:59:04Z
date_updated: 2022-01-06T06:57:26Z
department:
- _id: '672'
language:
- iso: eng
page: 217-226
place: Newport Beach, California, USA
publication: 14th IEEE International Symposium on Object/Component/Service-Oriented
  Real-Time Distributed Computing Workshops (ISORCW)
publisher: IEEE Computer Society
status: public
title: ' Self-Organized Cooperation in Swarm Robotics'
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26713'
author:
- first_name: Kay
  full_name: Klobedanz, Kay
  last_name: Klobedanz
- first_name: A.
  full_name: König, A.
  last_name: König
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Klobedanz K, König A, Müller W. A Reconfiguration Approach for Fault-Tolerant
    FlexRay Networks. In: <i>Proceedings of Design, Automation, Test Europe - DATE2011</i>.
    IEEE Computer Society Press; 2011.'
  apa: Klobedanz, K., König, A., &#38; Müller, W. (2011). A Reconfiguration Approach
    for Fault-Tolerant FlexRay Networks. <i>Proceedings of Design, Automation, Test
    Europe - DATE2011</i>.
  bibtex: '@inproceedings{Klobedanz_König_Müller_2011, place={Grenoble, France}, title={A
    Reconfiguration Approach for Fault-Tolerant FlexRay Networks}, booktitle={Proceedings
    of Design, Automation, Test Europe - DATE2011}, publisher={IEEE Computer Society
    Press}, author={Klobedanz, Kay and König, A. and Müller, Wolfgang}, year={2011}
    }'
  chicago: 'Klobedanz, Kay, A. König, and Wolfgang Müller. “A Reconfiguration Approach
    for Fault-Tolerant FlexRay Networks.” In <i>Proceedings of Design, Automation,
    Test Europe - DATE2011</i>. Grenoble, France: IEEE Computer Society Press, 2011.'
  ieee: K. Klobedanz, A. König, and W. Müller, “A Reconfiguration Approach for Fault-Tolerant
    FlexRay Networks,” 14. - 18. Mrz. 2011, 2011.
  mla: Klobedanz, Kay, et al. “A Reconfiguration Approach for Fault-Tolerant FlexRay
    Networks.” <i>Proceedings of Design, Automation, Test Europe - DATE2011</i>, IEEE
    Computer Society Press, 2011.
  short: 'K. Klobedanz, A. König, W. Müller, in: Proceedings of Design, Automation,
    Test Europe - DATE2011, IEEE Computer Society Press, Grenoble, France, 2011.'
conference:
  location: 14. - 18. Mrz. 2011
date_created: 2021-10-21T13:01:47Z
date_updated: 2022-01-06T06:57:26Z
department:
- _id: '672'
language:
- iso: eng
place: Grenoble, France
publication: Proceedings of Design, Automation, Test Europe - DATE2011
publisher: IEEE Computer Society Press
status: public
title: A Reconfiguration Approach for Fault-Tolerant FlexRay Networks
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26714'
author:
- first_name: Kay
  full_name: Klobedanz, Kay
  last_name: Klobedanz
- first_name: A.
  full_name: König, A.
  last_name: König
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Achim
  full_name: Rettberg, Achim
  last_name: Rettberg
citation:
  ama: 'Klobedanz K, König A, Müller W, Rettberg A. Self-Reconfiguration for Fault-Tolerant
    FlexRay Networks. In: <i>Second IEEE Workshop on Self-Organizing Real-Time Systems
    - SORT 2011</i>. IEEE Computer Society Press; 2011.'
  apa: Klobedanz, K., König, A., Müller, W., &#38; Rettberg, A. (2011). Self-Reconfiguration
    for Fault-Tolerant FlexRay Networks. <i>Second IEEE Workshop on Self-Organizing
    Real-Time Systems - SORT 2011</i>.
  bibtex: '@inproceedings{Klobedanz_König_Müller_Rettberg_2011, place={Newport Beach,
    California, USA}, title={Self-Reconfiguration for Fault-Tolerant FlexRay Networks},
    booktitle={Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011},
    publisher={IEEE Computer Society Press}, author={Klobedanz, Kay and König, A.
    and Müller, Wolfgang and Rettberg, Achim}, year={2011} }'
  chicago: 'Klobedanz, Kay, A. König, Wolfgang Müller, and Achim Rettberg. “Self-Reconfiguration
    for Fault-Tolerant FlexRay Networks.” In <i>Second IEEE Workshop on Self-Organizing
    Real-Time Systems - SORT 2011</i>. Newport Beach, California, USA: IEEE Computer
    Society Press, 2011.'
  ieee: K. Klobedanz, A. König, W. Müller, and A. Rettberg, “Self-Reconfiguration
    for Fault-Tolerant FlexRay Networks,” 2011.
  mla: Klobedanz, Kay, et al. “Self-Reconfiguration for Fault-Tolerant FlexRay Networks.”
    <i>Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011</i>,
    IEEE Computer Society Press, 2011.
  short: 'K. Klobedanz, A. König, W. Müller, A. Rettberg, in: Second IEEE Workshop
    on Self-Organizing Real-Time Systems - SORT 2011, IEEE Computer Society Press,
    Newport Beach, California, USA, 2011.'
date_created: 2021-10-21T13:06:26Z
date_updated: 2022-01-06T06:57:26Z
department:
- _id: '672'
language:
- iso: eng
place: Newport Beach, California, USA
publication: Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011
publisher: IEEE Computer Society Press
status: public
title: Self-Reconfiguration for Fault-Tolerant FlexRay Networks
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26715'
abstract:
- lang: eng
  text: SystemC is a versatile C++ based design and verification language, offering
    various mechanisms and constructs required for embedded systems modeling. Using
    the add-on SystemC Verification Library (SCV) elemental constrained-random stimuli
    techniques may be used for verification. However, SCV has several drawbacks such
    as lack of a functional coverage facility supporting coverage collection on RTL
    and TLM models. In this article we present a functional coverage library which
    implements parts of the IEEE 1800-2005 SystemVerilog standard capturing functional
    coverage throughout the design and verification process, and allows to facilitate
    coverage-driven verification in SystemC.
author:
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Kuznik C, Müller W. Functional Coverage-driven Verification with SystemC on
    Multiple Level of Abstraction. In: <i>Proceedings of DVCON </i>. ; 2011.'
  apa: Kuznik, C., &#38; Müller, W. (2011). Functional Coverage-driven Verification
    with SystemC on Multiple Level of Abstraction. <i>Proceedings of DVCON </i>.
  bibtex: '@inproceedings{Kuznik_Müller_2011, title={Functional Coverage-driven Verification
    with SystemC on Multiple Level of Abstraction}, booktitle={Proceedings of DVCON
    }, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }'
  chicago: Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification
    with SystemC on Multiple Level of Abstraction.” In <i>Proceedings of DVCON </i>,
    2011.
  ieee: C. Kuznik and W. Müller, “Functional Coverage-driven Verification with SystemC
    on Multiple Level of Abstraction,” 2011.
  mla: Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification
    with SystemC on Multiple Level of Abstraction.” <i>Proceedings of DVCON </i>,
    2011.
  short: 'C. Kuznik, W. Müller, in: Proceedings of DVCON , 2011.'
date_created: 2021-10-21T13:10:10Z
date_updated: 2022-01-06T06:57:26Z
department:
- _id: '672'
language:
- iso: eng
publication: 'Proceedings of DVCON '
status: public
title: Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26716'
abstract:
- lang: eng
  text: UML profiles like SysML and MARTE have been a major research topic in electronic
    system design, but are mainly applied for specification and analysis in early
    design phases. High-Level Synthesis (HLS), however, addresses the physical implementation
    aspect of electronic systems, and thus leads to different requirements on the
    accuracy of models. For this, modular interfaces are a novel object-oriented synthesizable
    technique to overcome the conflict between a higher degree of abstraction and
    necessary details for further synthesis. In this paper, we present our approach
    to use SysML as an adequate modeling language for modular interfaces and C/C++/SystemC-based
    HLS. We extended SysML with annotations for synthesizable SystemC and high-level
    synthesis constraints and implemented a code generation scheme to achieve design
    flow automation. Based on the SysML editor Artisan Studio and an industrial case
    study, we demonstrate the applicability of SysML as a retargetable front-end for
    HLS design flows.
author:
- first_name: Fabian
  full_name: Mischkalla, Fabian
  last_name: Mischkalla
- first_name: Da
  full_name: He, Da
  last_name: He
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Mischkalla F, He D, Müller W. A Retargetable SysML-based Front-End for High-Level
    Synthesis. In: <i>Proceedings of 2nd Workshop on Model Based Engineering for Embedded
    Systems Design (M-BED)</i>. ; 2011.'
  apa: Mischkalla, F., He, D., &#38; Müller, W. (2011). A Retargetable SysML-based
    Front-End for High-Level Synthesis. <i>Proceedings of 2nd Workshop on Model Based
    Engineering for Embedded Systems Design (M-BED)</i>.
  bibtex: '@inproceedings{Mischkalla_He_Müller_2011, title={A Retargetable SysML-based
    Front-End for High-Level Synthesis}, booktitle={Proceedings of 2nd Workshop on
    Model Based Engineering for Embedded Systems Design (M-BED)}, author={Mischkalla,
    Fabian and He, Da and Müller, Wolfgang}, year={2011} }'
  chicago: Mischkalla, Fabian, Da He, and Wolfgang Müller. “A Retargetable SysML-Based
    Front-End for High-Level Synthesis.” In <i>Proceedings of 2nd Workshop on Model
    Based Engineering for Embedded Systems Design (M-BED)</i>, 2011.
  ieee: F. Mischkalla, D. He, and W. Müller, “A Retargetable SysML-based Front-End
    for High-Level Synthesis,” 2011.
  mla: Mischkalla, Fabian, et al. “A Retargetable SysML-Based Front-End for High-Level
    Synthesis.” <i>Proceedings of 2nd Workshop on Model Based Engineering for Embedded
    Systems Design (M-BED)</i>, 2011.
  short: 'F. Mischkalla, D. He, W. Müller, in: Proceedings of 2nd Workshop on Model
    Based Engineering for Embedded Systems Design (M-BED), 2011.'
date_created: 2021-10-21T13:16:24Z
date_updated: 2022-01-06T06:57:26Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems
  Design (M-BED)
status: public
title: A Retargetable SysML-based Front-End for High-Level Synthesis
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26717'
author:
- first_name: Da
  full_name: He, Da
  last_name: He
- 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: 'He D, Mischkalla F, Müller W. A SysML-based Framework with QEMU-SystemC Code
    Generation. In: <i>Proceedings of 1st International QEMU Users Forum</i>. ; 2011.'
  apa: He, D., Mischkalla, F., &#38; Müller, W. (2011). A SysML-based Framework with
    QEMU-SystemC Code Generation. <i>Proceedings of 1st International QEMU Users Forum</i>.
  bibtex: '@inproceedings{He_Mischkalla_Müller_2011, title={A SysML-based Framework
    with QEMU-SystemC Code Generation}, booktitle={Proceedings of 1st international
    QEMU Users Forum}, author={He, Da and Mischkalla, Fabian and Müller, Wolfgang},
    year={2011} }'
  chicago: He, Da, Fabian Mischkalla, and Wolfgang Müller. “A SysML-Based Framework
    with QEMU-SystemC Code Generation.” In <i>Proceedings of 1st International QEMU
    Users Forum</i>, 2011.
  ieee: D. He, F. Mischkalla, and W. Müller, “A SysML-based Framework with QEMU-SystemC
    Code Generation,” 2011.
  mla: He, Da, et al. “A SysML-Based Framework with QEMU-SystemC Code Generation.”
    <i>Proceedings of 1st International QEMU Users Forum</i>, 2011.
  short: 'D. He, F. Mischkalla, W. Müller, in: Proceedings of 1st International QEMU
    Users Forum, 2011.'
date_created: 2021-10-21T13:18:27Z
date_updated: 2022-01-06T06:57:26Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of 1st international QEMU Users Forum
status: public
title: A SysML-based Framework with QEMU-SystemC Code Generation
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26726'
citation:
  ama: Hellmich F, ed. <i>Selbstkonzepte im Grundschulalter – Modelle, empirische
    Ergebnisse, pädagogische Konsequenzen</i>. Kohlhammer; 2011.
  apa: Hellmich, F. (Ed.). (2011). <i>Selbstkonzepte im Grundschulalter – Modelle,
    empirische Ergebnisse, pädagogische Konsequenzen</i>. Kohlhammer.
  bibtex: '@book{Hellmich_2011, place={Stuttgart}, title={Selbstkonzepte im Grundschulalter
    – Modelle, empirische Ergebnisse, pädagogische Konsequenzen}, publisher={Kohlhammer},
    year={2011} }'
  chicago: 'Hellmich, Frank, ed. <i>Selbstkonzepte im Grundschulalter – Modelle, empirische
    Ergebnisse, pädagogische Konsequenzen</i>. Stuttgart: Kohlhammer, 2011.'
  ieee: 'F. Hellmich, Ed., <i>Selbstkonzepte im Grundschulalter – Modelle, empirische
    Ergebnisse, pädagogische Konsequenzen</i>. Stuttgart: Kohlhammer, 2011.'
  mla: Hellmich, Frank, editor. <i>Selbstkonzepte im Grundschulalter – Modelle, empirische
    Ergebnisse, pädagogische Konsequenzen</i>. Kohlhammer, 2011.
  short: F. Hellmich, ed., Selbstkonzepte im Grundschulalter – Modelle, empirische
    Ergebnisse, pädagogische Konsequenzen, Kohlhammer, Stuttgart, 2011.
date_created: 2021-10-22T07:34:13Z
date_updated: 2022-01-06T06:57:26Z
department:
- _id: '460'
editor:
- first_name: Frank
  full_name: Hellmich, Frank
  id: '26282'
  last_name: Hellmich
language:
- iso: ger
place: Stuttgart
publisher: Kohlhammer
status: public
title: Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische
  Konsequenzen
type: book_editor
user_id: '57672'
year: '2011'
...
---
_id: '26745'
author:
- first_name: Frank
  full_name: Hellmich, Frank
  id: '26282'
  last_name: Hellmich
citation:
  ama: 'Hellmich F. Lehren und Lernen im Geometrieunterricht. In: Wember FB, Heimlich  U,
    eds. <i>Didaktik des Unterrichts im Förderschwerpunkt Lernen. Ein Handreichung
    für Studium und Praxis</i>. 2nd ed. Kohlhammer; 2011:294-306.'
  apa: Hellmich, F. (2011). Lehren und Lernen im Geometrieunterricht. In F. B. Wember
    &#38; U. Heimlich  (Eds.), <i>Didaktik des Unterrichts im Förderschwerpunkt Lernen.
    Ein Handreichung für Studium und Praxis</i> (2nd ed., pp. 294–306). Kohlhammer.
  bibtex: '@inbook{Hellmich_2011, place={Stuttgart}, edition={2}, title={Lehren und
    Lernen im Geometrieunterricht}, booktitle={Didaktik des Unterrichts im Förderschwerpunkt
    Lernen. Ein Handreichung für Studium und Praxis}, publisher={Kohlhammer}, author={Hellmich,
    Frank}, editor={Wember, Franz B. and Heimlich , Ulrich}, year={2011}, pages={294–306}
    }'
  chicago: 'Hellmich, Frank. “Lehren und Lernen im Geometrieunterricht.” In <i>Didaktik
    des Unterrichts im Förderschwerpunkt Lernen. Ein Handreichung für Studium und
    Praxis</i>, edited by Franz B. Wember and Ulrich Heimlich , 2nd ed., 294–306.
    Stuttgart: Kohlhammer, 2011.'
  ieee: 'F. Hellmich, “Lehren und Lernen im Geometrieunterricht,” in <i>Didaktik des
    Unterrichts im Förderschwerpunkt Lernen. Ein Handreichung für Studium und Praxis</i>,
    2nd ed., F. B. Wember and U. Heimlich , Eds. Stuttgart: Kohlhammer, 2011, pp.
    294–306.'
  mla: Hellmich, Frank. “Lehren und Lernen im Geometrieunterricht.” <i>Didaktik des
    Unterrichts im Förderschwerpunkt Lernen. Ein Handreichung für Studium und Praxis</i>,
    edited by Franz B. Wember and Ulrich Heimlich , 2nd ed., Kohlhammer, 2011, pp.
    294–306.
  short: 'F. Hellmich, in: F.B. Wember, U. Heimlich  (Eds.), Didaktik des Unterrichts
    im Förderschwerpunkt Lernen. Ein Handreichung für Studium und Praxis, 2nd ed.,
    Kohlhammer, Stuttgart, 2011, pp. 294–306.'
date_created: 2021-10-22T09:49:00Z
date_updated: 2022-01-06T06:57:26Z
department:
- _id: '460'
edition: '2'
editor:
- first_name: Franz B.
  full_name: Wember, Franz B.
  last_name: Wember
- first_name: Ulrich
  full_name: Heimlich , Ulrich
  last_name: 'Heimlich '
language:
- iso: ger
page: 294-306
place: Stuttgart
publication: Didaktik des Unterrichts im Förderschwerpunkt Lernen. Ein Handreichung
  für Studium und Praxis
publisher: Kohlhammer
status: public
title: Lehren und Lernen im Geometrieunterricht
type: book_chapter
user_id: '57672'
year: '2011'
...
---
_id: '26749'
author:
- first_name: Frank
  full_name: Hellmich, Frank
  id: '26282'
  last_name: Hellmich
citation:
  ama: 'Hellmich F. Implizite Fähigkeitstheorien von Grundschulkindern vor dem Übergang
    auf die weiterführenden Schulen. In: Kucharz D, Irion T, Reinhoffer  B, eds. <i>Grundlegende
    Bildung ohne Brüche</i>. Vol 15. Jahrbuch Grundschulpädagogik. Springer VS; 2011:215-218.
    doi:<a href="https://doi.org/10.1007/978-3-531-94131-8_39">10.1007/978-3-531-94131-8_39</a>'
  apa: Hellmich, F. (2011). Implizite Fähigkeitstheorien von Grundschulkindern vor
    dem Übergang auf die weiterführenden Schulen. In D. Kucharz, T. Irion, &#38; B.
    Reinhoffer  (Eds.), <i>Grundlegende Bildung ohne Brüche</i> (Vol. 15, pp. 215–218).
    Springer VS. <a href="https://doi.org/10.1007/978-3-531-94131-8_39">https://doi.org/10.1007/978-3-531-94131-8_39</a>
  bibtex: '@inbook{Hellmich_2011, place={Wiesbaden}, series={Jahrbuch Grundschulpädagogik},
    title={Implizite Fähigkeitstheorien von Grundschulkindern vor dem Übergang auf
    die weiterführenden Schulen}, volume={15}, DOI={<a href="https://doi.org/10.1007/978-3-531-94131-8_39">10.1007/978-3-531-94131-8_39</a>},
    booktitle={Grundlegende Bildung ohne Brüche}, publisher={Springer VS}, author={Hellmich,
    Frank}, editor={Kucharz, Diemut and Irion, Thomas and Reinhoffer , Bernd}, year={2011},
    pages={215–218}, collection={Jahrbuch Grundschulpädagogik} }'
  chicago: 'Hellmich, Frank. “Implizite Fähigkeitstheorien von Grundschulkindern vor
    dem Übergang auf die weiterführenden Schulen.” In <i>Grundlegende Bildung ohne
    Brüche</i>, edited by Diemut Kucharz, Thomas Irion, and Bernd Reinhoffer , 15:215–18.
    Jahrbuch Grundschulpädagogik. Wiesbaden: Springer VS, 2011. <a href="https://doi.org/10.1007/978-3-531-94131-8_39">https://doi.org/10.1007/978-3-531-94131-8_39</a>.'
  ieee: 'F. Hellmich, “Implizite Fähigkeitstheorien von Grundschulkindern vor dem
    Übergang auf die weiterführenden Schulen,” in <i>Grundlegende Bildung ohne Brüche</i>,
    vol. 15, D. Kucharz, T. Irion, and B. Reinhoffer , Eds. Wiesbaden: Springer VS,
    2011, pp. 215–218.'
  mla: Hellmich, Frank. “Implizite Fähigkeitstheorien von Grundschulkindern vor dem
    Übergang auf die weiterführenden Schulen.” <i>Grundlegende Bildung ohne Brüche</i>,
    edited by Diemut Kucharz et al., vol. 15, Springer VS, 2011, pp. 215–18, doi:<a
    href="https://doi.org/10.1007/978-3-531-94131-8_39">10.1007/978-3-531-94131-8_39</a>.
  short: 'F. Hellmich, in: D. Kucharz, T. Irion, B. Reinhoffer  (Eds.), Grundlegende
    Bildung ohne Brüche, Springer VS, Wiesbaden, 2011, pp. 215–218.'
date_created: 2021-10-25T06:54:21Z
date_updated: 2022-01-06T06:57:27Z
department:
- _id: '460'
doi: 10.1007/978-3-531-94131-8_39
editor:
- first_name: Diemut
  full_name: Kucharz, Diemut
  last_name: Kucharz
- first_name: Thomas
  full_name: Irion, Thomas
  last_name: Irion
- first_name: Bernd
  full_name: Reinhoffer , Bernd
  last_name: 'Reinhoffer '
intvolume: '        15'
language:
- iso: ger
page: 215-218
place: Wiesbaden
publication: Grundlegende Bildung ohne Brüche
publisher: Springer VS
series_title: Jahrbuch Grundschulpädagogik
status: public
title: Implizite Fähigkeitstheorien von Grundschulkindern vor dem Übergang auf die
  weiterführenden Schulen
type: book_chapter
user_id: '57672'
volume: 15
year: '2011'
...
---
_id: '26750'
author:
- first_name: Frank
  full_name: Hellmich, Frank
  id: '26282'
  last_name: Hellmich
- first_name: Frederike
  full_name: Günther, Frederike
  last_name: Günther
citation:
  ama: 'Hellmich F, Günther F. Entwicklung von Selbstkonzepten bei Kindern im Grundschulalter
    – ein Überblick. In: Hellmich F, ed. <i>Selbstkonzepte im Grundschulalter – Modelle,
    empirische Ergebnisse, pädagogische Konsequenzen</i>. Kohlhammer; 2011:17-46.'
  apa: Hellmich, F., &#38; Günther, F. (2011). Entwicklung von Selbstkonzepten bei
    Kindern im Grundschulalter – ein Überblick. In F. Hellmich (Ed.), <i>Selbstkonzepte
    im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen</i>
    (pp. 17–46). Kohlhammer.
  bibtex: '@inbook{Hellmich_Günther_2011, place={Stuttgart}, title={Entwicklung von
    Selbstkonzepten bei Kindern im Grundschulalter – ein Überblick}, booktitle={Selbstkonzepte
    im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen},
    publisher={Kohlhammer}, author={Hellmich, Frank and Günther, Frederike}, editor={Hellmich,
    Frank}, year={2011}, pages={17–46} }'
  chicago: 'Hellmich, Frank, and Frederike Günther. “Entwicklung von Selbstkonzepten
    bei Kindern im Grundschulalter – ein Überblick.” In <i>Selbstkonzepte im Grundschulalter
    – Modelle, empirische Ergebnisse, pädagogische Konsequenzen</i>, edited by Frank
    Hellmich, 17–46. Stuttgart: Kohlhammer, 2011.'
  ieee: 'F. Hellmich and F. Günther, “Entwicklung von Selbstkonzepten bei Kindern
    im Grundschulalter – ein Überblick,” in <i>Selbstkonzepte im Grundschulalter –
    Modelle, empirische Ergebnisse, pädagogische Konsequenzen</i>, F. Hellmich, Ed.
    Stuttgart: Kohlhammer, 2011, pp. 17–46.'
  mla: Hellmich, Frank, and Frederike Günther. “Entwicklung von Selbstkonzepten bei
    Kindern im Grundschulalter – ein Überblick.” <i>Selbstkonzepte im Grundschulalter
    – Modelle, empirische Ergebnisse, pädagogische Konsequenzen</i>, edited by Frank
    Hellmich, Kohlhammer, 2011, pp. 17–46.
  short: 'F. Hellmich, F. Günther, in: F. Hellmich (Ed.), Selbstkonzepte im Grundschulalter
    – Modelle, empirische Ergebnisse, pädagogische Konsequenzen, Kohlhammer, Stuttgart,
    2011, pp. 17–46.'
date_created: 2021-10-25T06:59:45Z
date_updated: 2022-01-06T06:57:27Z
department:
- _id: '460'
editor:
- first_name: Frank
  full_name: Hellmich, Frank
  last_name: Hellmich
language:
- iso: ger
page: 17-46
place: Stuttgart
publication: Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische
  Konsequenzen
publisher: Kohlhammer
status: public
title: Entwicklung von Selbstkonzepten bei Kindern im Grundschulalter – ein Überblick
type: book_chapter
user_id: '57672'
year: '2011'
...
---
_id: '26751'
author:
- first_name: Frank
  full_name: Hellmich, Frank
  id: '26282'
  last_name: Hellmich
- first_name: Sandra
  full_name: Niebuhr-Siebert, Sandra
  last_name: Niebuhr-Siebert
citation:
  ama: 'Hellmich F, Niebuhr-Siebert S. Förderung der Lesekompetenz durch ein wortschatzbasiertes
    Lesestrategietraining bei Kindern mit Deutsch als Zweitsprache. In: Hornberg S,
    Valtin R, eds. <i>Mehrsprachigkeit: Chance oder Hürde beim Schriftspracherwerb?
    – empirische Befunde und Beispiele guter Praxis</i>. Deutsche Gesellschaft für
    Lesen und Schreiben; 2011:287-293.'
  apa: 'Hellmich, F., &#38; Niebuhr-Siebert, S. (2011). Förderung der Lesekompetenz
    durch ein wortschatzbasiertes Lesestrategietraining bei Kindern mit Deutsch als
    Zweitsprache. In S. Hornberg &#38; R. Valtin (Eds.), <i>Mehrsprachigkeit: Chance
    oder Hürde beim Schriftspracherwerb? – empirische Befunde und Beispiele guter
    Praxis</i> (pp. 287–293). Deutsche Gesellschaft für Lesen und Schreiben.'
  bibtex: '@inbook{Hellmich_Niebuhr-Siebert_2011, place={Berlin}, title={Förderung
    der Lesekompetenz durch ein wortschatzbasiertes Lesestrategietraining bei Kindern
    mit Deutsch als Zweitsprache}, booktitle={Mehrsprachigkeit: Chance oder Hürde
    beim Schriftspracherwerb? – empirische Befunde und Beispiele guter Praxis}, publisher={Deutsche
    Gesellschaft für Lesen und Schreiben}, author={Hellmich, Frank and Niebuhr-Siebert,
    Sandra}, editor={Hornberg, Sabine and Valtin, Renate}, year={2011}, pages={287–293}
    }'
  chicago: 'Hellmich, Frank, and Sandra Niebuhr-Siebert. “Förderung der Lesekompetenz
    durch ein wortschatzbasiertes Lesestrategietraining bei Kindern mit Deutsch als
    Zweitsprache.” In <i>Mehrsprachigkeit: Chance oder Hürde beim Schriftspracherwerb?
    – empirische Befunde und Beispiele guter Praxis</i>, edited by Sabine Hornberg
    and Renate Valtin, 287–93. Berlin: Deutsche Gesellschaft für Lesen und Schreiben,
    2011.'
  ieee: 'F. Hellmich and S. Niebuhr-Siebert, “Förderung der Lesekompetenz durch ein
    wortschatzbasiertes Lesestrategietraining bei Kindern mit Deutsch als Zweitsprache,”
    in <i>Mehrsprachigkeit: Chance oder Hürde beim Schriftspracherwerb? – empirische
    Befunde und Beispiele guter Praxis</i>, S. Hornberg and R. Valtin, Eds. Berlin:
    Deutsche Gesellschaft für Lesen und Schreiben, 2011, pp. 287–293.'
  mla: 'Hellmich, Frank, and Sandra Niebuhr-Siebert. “Förderung der Lesekompetenz
    durch ein wortschatzbasiertes Lesestrategietraining bei Kindern mit Deutsch als
    Zweitsprache.” <i>Mehrsprachigkeit: Chance oder Hürde beim Schriftspracherwerb?
    – empirische Befunde und Beispiele guter Praxis</i>, edited by Sabine Hornberg
    and Renate Valtin, Deutsche Gesellschaft für Lesen und Schreiben, 2011, pp. 287–93.'
  short: 'F. Hellmich, S. Niebuhr-Siebert, in: S. Hornberg, R. Valtin (Eds.), Mehrsprachigkeit:
    Chance oder Hürde beim Schriftspracherwerb? – empirische Befunde und Beispiele
    guter Praxis, Deutsche Gesellschaft für Lesen und Schreiben, Berlin, 2011, pp.
    287–293.'
date_created: 2021-10-25T07:05:40Z
date_updated: 2022-01-06T06:57:27Z
department:
- _id: '460'
editor:
- first_name: Sabine
  full_name: Hornberg, Sabine
  last_name: Hornberg
- first_name: Renate
  full_name: Valtin, Renate
  last_name: Valtin
language:
- iso: ger
page: 287-293
place: Berlin
publication: 'Mehrsprachigkeit: Chance oder Hürde beim Schriftspracherwerb? – empirische
  Befunde und Beispiele guter Praxis'
publisher: Deutsche Gesellschaft für Lesen und Schreiben
status: public
title: Förderung der Lesekompetenz durch ein wortschatzbasiertes Lesestrategietraining
  bei Kindern mit Deutsch als Zweitsprache
type: book_chapter
user_id: '57672'
year: '2011'
...
---
_id: '26782'
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
citation:
  ama: 'Becker M. QEMU/SystemC Cosimulation at Different Abstraction Levels. In: <i>1st
    International QEMU Users Forum (QUF’11)</i>. ; 2011.'
  apa: Becker, M. (2011). QEMU/SystemC Cosimulation at Different Abstraction Levels.
    <i>1st International QEMU Users Forum (QUF’11)</i>.
  bibtex: '@inproceedings{Becker_2011, title={QEMU/SystemC Cosimulation at Different
    Abstraction Levels}, booktitle={1st International QEMU Users Forum (QUF’11)},
    author={Becker, Markus}, year={2011} }'
  chicago: Becker, Markus. “QEMU/SystemC Cosimulation at Different Abstraction Levels.”
    In <i>1st International QEMU Users Forum (QUF’11)</i>, 2011.
  ieee: M. Becker, “QEMU/SystemC Cosimulation at Different Abstraction Levels,” 2011.
  mla: Becker, Markus. “QEMU/SystemC Cosimulation at Different Abstraction Levels.”
    <i>1st International QEMU Users Forum (QUF’11)</i>, 2011.
  short: 'M. Becker, in: 1st International QEMU Users Forum (QUF’11), 2011.'
date_created: 2021-10-25T09:44:40Z
date_updated: 2022-01-06T06:57:28Z
department:
- _id: '672'
language:
- iso: eng
publication: 1st International QEMU Users Forum (QUF'11)
status: public
title: QEMU/SystemC Cosimulation at Different Abstraction Levels
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26783'
author:
- first_name: Philipp
  full_name: Adelt, Philipp
  last_name: Adelt
- first_name: Natascha
  full_name: Esau, Natascha
  last_name: Esau
- first_name: Christian
  full_name: Hölscher, Christian
  last_name: Hölscher
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
- first_name: Lisa
  full_name: Kleinjohann, Lisa
  id: '15588'
  last_name: Kleinjohann
- first_name: Martin
  full_name: Krüger, Martin
  last_name: Krüger
- first_name: Detmar
  full_name: Zimmer, Detmar
  id: '604'
  last_name: Zimmer
citation:
  ama: 'Adelt P, Esau N, Hölscher C, et al. Hybrid Planning for Self-Optimization
    in Railbound Mechatronic Systems. In: <i> Intelligent Mechatronics; Kapitel 10</i>.
    InTech Open Access Publisher; 2011:169-194.'
  apa: Adelt, P., Esau, N., Hölscher, C., Kleinjohann, B., Kleinjohann, L., Krüger,
    M., &#38; Zimmer, D. (2011). Hybrid Planning for Self-Optimization in Railbound
    Mechatronic Systems. In <i> Intelligent Mechatronics; Kapitel 10</i> (pp. 169–194).
    InTech Open Access Publisher.
  bibtex: '@inbook{Adelt_Esau_Hölscher_Kleinjohann_Kleinjohann_Krüger_Zimmer_2011,
    title={Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems},
    booktitle={ Intelligent Mechatronics; Kapitel 10}, publisher={InTech Open Access
    Publisher}, author={Adelt, Philipp and Esau, Natascha and Hölscher, Christian
    and Kleinjohann, Bernd and Kleinjohann, Lisa and Krüger, Martin and Zimmer, Detmar},
    year={2011}, pages={169–194} }'
  chicago: Adelt, Philipp, Natascha Esau, Christian Hölscher, Bernd Kleinjohann, Lisa
    Kleinjohann, Martin Krüger, and Detmar Zimmer. “Hybrid Planning for Self-Optimization
    in Railbound Mechatronic Systems.” In <i> Intelligent Mechatronics; Kapitel 10</i>,
    169–94. InTech Open Access Publisher, 2011.
  ieee: P. Adelt <i>et al.</i>, “Hybrid Planning for Self-Optimization in Railbound
    Mechatronic Systems,” in <i> Intelligent Mechatronics; Kapitel 10</i>, InTech
    Open Access Publisher, 2011, pp. 169–194.
  mla: Adelt, Philipp, et al. “Hybrid Planning for Self-Optimization in Railbound
    Mechatronic Systems.” <i> Intelligent Mechatronics; Kapitel 10</i>, InTech Open
    Access Publisher, 2011, pp. 169–94.
  short: 'P. Adelt, N. Esau, C. Hölscher, B. Kleinjohann, L. Kleinjohann, M. Krüger,
    D. Zimmer, in:  Intelligent Mechatronics; Kapitel 10, InTech Open Access Publisher,
    2011, pp. 169–194.'
date_created: 2021-10-25T09:49:51Z
date_updated: 2022-01-06T06:57:28Z
department:
- _id: '672'
language:
- iso: eng
page: 169-194
publication: ' Intelligent Mechatronics; Kapitel 10'
publisher: InTech Open Access Publisher
status: public
title: Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems
type: book_chapter
user_id: '21240'
year: '2011'
...
---
_id: '26784'
author:
- first_name: Gilles Bertrand
  full_name: Gnokam Defo, Gilles Bertrand
  last_name: Gnokam Defo
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Gnokam Defo GB, Müller W. Synchronisation eines SystemC Restbus-Simulators
    mit einem Hardware-In-the-Loop FlexRay Netzwerk. In: <i>Methoden Und Beschreibungssprachen
    Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV)</i>. ; 2011.'
  apa: Gnokam Defo, G. B., &#38; Müller, W. (2011). Synchronisation eines SystemC
    Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. <i>Methoden
    Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und
    Systemen (MBMV)</i>.
  bibtex: '@inproceedings{Gnokam Defo_Müller_2011, title={Synchronisation eines SystemC
    Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk}, booktitle={Methoden
    und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und
    Systemen (MBMV)}, author={Gnokam Defo, Gilles Bertrand and Müller, Wolfgang},
    year={2011} }'
  chicago: Gnokam Defo, Gilles Bertrand, and Wolfgang Müller. “Synchronisation Eines
    SystemC Restbus-Simulators Mit Einem Hardware-In-the-Loop FlexRay Netzwerk.” In
    <i>Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen
    Und Systemen (MBMV)</i>, 2011.
  ieee: G. B. Gnokam Defo and W. Müller, “Synchronisation eines SystemC Restbus-Simulators
    mit einem Hardware-In-the-Loop FlexRay Netzwerk,” 2011.
  mla: Gnokam Defo, Gilles Bertrand, and Wolfgang Müller. “Synchronisation Eines SystemC
    Restbus-Simulators Mit Einem Hardware-In-the-Loop FlexRay Netzwerk.” <i>Methoden
    Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und
    Systemen (MBMV)</i>, 2011.
  short: 'G.B. Gnokam Defo, W. Müller, in: Methoden Und Beschreibungssprachen Zur
    Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.'
date_created: 2021-10-25T09:57:05Z
date_updated: 2022-01-06T06:57:28Z
department:
- _id: '672'
language:
- iso: eng
publication: Methoden und Beschreibungssprachen zur Modellierung und Verifikation
  von Schaltungen und Systemen (MBMV)
status: public
title: Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop
  FlexRay Netzwerk
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '26787'
author:
- first_name: Lial
  full_name: Khaluf, Lial
  last_name: Khaluf
- first_name: Christian
  full_name: Gerth, Christian
  last_name: Gerth
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Khaluf L, Gerth C, Engels G. Pattern-Based Modeling and Formalizing of Business
    Process Quality Constraints. In: <i>Proceedings of the 23rd International Conference
    on Advanced Information Systems Engineering (CAiSE’11)</i>. Springer Verlag; 2011:521-535.'
  apa: Khaluf, L., Gerth, C., &#38; Engels, G. (2011). Pattern-Based Modeling and
    Formalizing of Business Process Quality Constraints. <i>Proceedings of the 23rd
    International Conference on Advanced Information Systems Engineering (CAiSE’11)</i>,
    521–535.
  bibtex: '@inproceedings{Khaluf_Gerth_Engels_2011, title={Pattern-Based Modeling
    and Formalizing of Business Process Quality Constraints}, booktitle={Proceedings
    of the 23rd international conference on Advanced information systems engineering
    (CAiSE’11)}, publisher={Springer Verlag}, author={Khaluf, Lial and Gerth, Christian
    and Engels, Gregor}, year={2011}, pages={521–535} }'
  chicago: Khaluf, Lial, Christian Gerth, and Gregor Engels. “Pattern-Based Modeling
    and Formalizing of Business Process Quality Constraints.” In <i>Proceedings of
    the 23rd International Conference on Advanced Information Systems Engineering
    (CAiSE’11)</i>, 521–35. Springer Verlag, 2011.
  ieee: L. Khaluf, C. Gerth, and G. Engels, “Pattern-Based Modeling and Formalizing
    of Business Process Quality Constraints,” in <i>Proceedings of the 23rd international
    conference on Advanced information systems engineering (CAiSE’11)</i>, 2011, pp.
    521–535.
  mla: Khaluf, Lial, et al. “Pattern-Based Modeling and Formalizing of Business Process
    Quality Constraints.” <i>Proceedings of the 23rd International Conference on Advanced
    Information Systems Engineering (CAiSE’11)</i>, Springer Verlag, 2011, pp. 521–35.
  short: 'L. Khaluf, C. Gerth, G. Engels, in: Proceedings of the 23rd International
    Conference on Advanced Information Systems Engineering (CAiSE’11), Springer Verlag,
    2011, pp. 521–535.'
date_created: 2021-10-25T10:00:11Z
date_updated: 2022-01-06T06:57:28Z
department:
- _id: '672'
language:
- iso: eng
page: 521-535
publication: Proceedings of the 23rd international conference on Advanced information
  systems engineering (CAiSE'11)
publisher: Springer Verlag
status: public
title: Pattern-Based Modeling and Formalizing of Business Process Quality Constraints
type: conference
user_id: '21240'
year: '2011'
...