---
_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: '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: '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: '25740'
author:
- 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: He D, Müller W.  A heuristic energy-aware approach for hard real-time systems
    on multi-core platforms. <i>Microprocessors and Microsystems - Embedded Hardware
    Design 37(6-7)</i>. Published online 2013:845-857.
  apa: He, D., &#38; Müller, W. (2013).  A heuristic energy-aware approach for hard
    real-time systems on multi-core platforms. <i>Microprocessors and Microsystems
    - Embedded Hardware Design 37(6-7)</i>, 845–857.
  bibtex: '@article{He_Müller_2013, title={ A heuristic energy-aware approach for
    hard real-time systems on multi-core platforms}, journal={Microprocessors and
    Microsystems - Embedded Hardware Design 37(6-7)}, author={He, Da and Müller, Wolfgang},
    year={2013}, pages={845–857} }'
  chicago: He, Da, and Wolfgang Müller. “ A Heuristic Energy-Aware Approach for Hard
    Real-Time Systems on Multi-Core Platforms.” <i>Microprocessors and Microsystems
    - Embedded Hardware Design 37(6-7)</i>, 2013, 845–57.
  ieee: D. He and W. Müller, “ A heuristic energy-aware approach for hard real-time
    systems on multi-core platforms,” <i>Microprocessors and Microsystems - Embedded
    Hardware Design 37(6-7)</i>, pp. 845–857, 2013.
  mla: He, Da, and Wolfgang Müller. “ A Heuristic Energy-Aware Approach for Hard Real-Time
    Systems on Multi-Core Platforms.” <i>Microprocessors and Microsystems - Embedded
    Hardware Design 37(6-7)</i>, 2013, pp. 845–57.
  short: D. He, W. Müller, Microprocessors and Microsystems - Embedded Hardware Design
    37(6-7) (2013) 845–857.
date_created: 2021-10-07T09:49:15Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
page: 845-857
publication: Microprocessors and Microsystems - Embedded Hardware Design 37(6-7)
status: public
title: ' A heuristic energy-aware approach for hard real-time systems on multi-core
  platforms'
type: journal_article
user_id: '21240'
year: '2013'
...
---
_id: '25743'
author:
- first_name: Harald
  full_name: Anacker, Harald
  last_name: Anacker
- first_name: Michael
  full_name: Dellnitz, Michael
  last_name: Dellnitz
- first_name: Kathrin
  full_name: Flaßkamp, Kathrin
  last_name: Flaßkamp
- first_name: Stefan
  full_name: Grösbrink, Stefan
  last_name: Grösbrink
- first_name: Philip
  full_name: Hartmann, Philip
  last_name: Hartmann
- first_name: Christian
  full_name: Heinzemann, Christian
  last_name: Heinzemann
- first_name: Christian
  full_name: Horenkamp, Christian
  last_name: Horenkamp
- first_name: Lisa
  full_name: Kleinjohann, Lisa
  id: '15588'
  last_name: Kleinjohann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
- first_name: Sebastian
  full_name: Korf, Sebastian
  last_name: Korf
- first_name: Martin
  full_name: Krüger, Martin
  last_name: Krüger
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Sina
  full_name: Ober-Blöbaum, Sina
  id: '16494'
  last_name: Ober-Blöbaum
- first_name: Simon
  full_name: Oberthür, Simon
  id: '383'
  last_name: Oberthür
- first_name: Mario
  full_name: Porrmann, Mario
  last_name: Porrmann
- first_name: Claudia
  full_name: Priesterjahn, Claudia
  last_name: Priesterjahn
- first_name: W.
  full_name: Radkowski, W.
  last_name: Radkowski
- first_name: Christoph
  full_name: Rasche, Christoph
  last_name: Rasche
- first_name: Jan
  full_name: Rieke, Jan
  last_name: Rieke
- first_name: Maik
  full_name: Ringkamp, Maik
  last_name: Ringkamp
- first_name: Katharina
  full_name: Stahl, Katharina
  last_name: Stahl
- first_name: Dominik
  full_name: Steenken, Dominik
  last_name: Steenken
- first_name: Jörg
  full_name: Stöcklein, Jörg
  last_name: Stöcklein
- first_name: Robert
  full_name: Timmermann, Robert
  last_name: Timmermann
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
- first_name: Katrin
  full_name: Witting, Katrin
  last_name: Witting
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
- first_name: Steffen
  full_name: Ziegert, Steffen
  last_name: Ziegert
citation:
  ama: 'Anacker H, Dellnitz M, Flaßkamp K, et al. Methods for the Design and Development.
    In: <i>Design Methodology for Intelligent Technical Systems Systems – Develop
    Intelligent Technical Systems of the Future</i>. Springer-Verlag; 2013:187-356.'
  apa: Anacker, H., Dellnitz, M., Flaßkamp, K., Grösbrink, S., Hartmann, P., Heinzemann,
    C., Horenkamp, C., Kleinjohann, L., Kleinjohann, B., Korf, S., Krüger, M., Müller,
    W., Ober-Blöbaum, S., Oberthür, S., Porrmann, M., Priesterjahn, C., Radkowski,
    W., Rasche, C., Rieke, J., … Ziegert, S. (2013). Methods for the Design and Development.
    In <i>Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent
    Technical Systems of the Future</i> (pp. 187–356). Springer-Verlag.
  bibtex: '@inbook{Anacker_Dellnitz_Flaßkamp_Grösbrink_Hartmann_Heinzemann_Horenkamp_Kleinjohann_Kleinjohann_Korf_et
    al._2013, place={Heidelberg}, title={Methods for the Design and Development},
    booktitle={Design Methodology for Intelligent Technical Systems Systems – Develop
    Intelligent Technical Systems of the Future}, publisher={Springer-Verlag}, author={Anacker,
    Harald and Dellnitz, Michael and Flaßkamp, Kathrin and Grösbrink, Stefan and Hartmann,
    Philip and Heinzemann, Christian and Horenkamp, Christian and Kleinjohann, Lisa
    and Kleinjohann, Bernd and Korf, Sebastian and et al.}, year={2013}, pages={187–356}
    }'
  chicago: 'Anacker, Harald, Michael Dellnitz, Kathrin Flaßkamp, Stefan Grösbrink,
    Philip Hartmann, Christian Heinzemann, Christian Horenkamp, et al. “Methods for
    the Design and Development.” In <i>Design Methodology for Intelligent Technical
    Systems Systems – Develop Intelligent Technical Systems of the Future</i>, 187–356.
    Heidelberg: Springer-Verlag, 2013.'
  ieee: 'H. Anacker <i>et al.</i>, “Methods for the Design and Development,” in <i>Design
    Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical
    Systems of the Future</i>, Heidelberg: Springer-Verlag, 2013, pp. 187–356.'
  mla: Anacker, Harald, et al. “Methods for the Design and Development.” <i>Design
    Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical
    Systems of the Future</i>, Springer-Verlag, 2013, pp. 187–356.
  short: 'H. Anacker, M. Dellnitz, K. Flaßkamp, S. Grösbrink, P. Hartmann, C. Heinzemann,
    C. Horenkamp, L. Kleinjohann, B. Kleinjohann, S. Korf, M. Krüger, W. Müller, S.
    Ober-Blöbaum, S. Oberthür, M. Porrmann, C. Priesterjahn, W. Radkowski, C. Rasche,
    J. Rieke, M. Ringkamp, K. Stahl, D. Steenken, J. Stöcklein, R. Timmermann, A.
    Trächtler, K. Witting, T. Xie, S. Ziegert, in: Design Methodology for Intelligent
    Technical Systems Systems – Develop Intelligent Technical Systems of the Future,
    Springer-Verlag, Heidelberg, 2013, pp. 187–356.'
date_created: 2021-10-07T10:07:43Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
page: 187-356
place: Heidelberg
publication: Design Methodology for Intelligent Technical Systems Systems – Develop
  Intelligent Technical Systems of the Future
publisher: Springer-Verlag
status: public
title: Methods for the Design and Development
type: book_chapter
user_id: '21240'
year: '2013'
...
---
_id: '36919'
abstract:
- lang: eng
  text: Faced with increasing demands on energy efficiency, current electronic systems
    operate according to complex power management schemes including more and more
    fine-grained voltage frequency scaling and power shutdown scenarios. Consequently,
    validation of the power design intent should begin as early as possible at electronic
    system-level (ESL) together with first executable system specifications for integrity
    tests. However, today's system-level design methodologies usually focus on the
    abstraction of digital logic and time, so that typical low-power aspects cannot
    be considered so far. In this paper, we present a high-level modeling approach
    on top of the SystemC/TLM standard to simulate power distribution and voltage
    based implications in a "loosely-timed" functional execution context. The approach
    reuses legacy TLM models and prevents the need for detailed lock-step process
    synchronization in contrast to existing methods. A case study derived from an
    open source low-power design demonstrates the efficiency of our approach in terms
    of simulation performance and testability.
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. Efficient Power-Intent Validation Using “Loosely-Timed”
    Simulation Models: A Non-Invasive Approach. In: IEEE; 2013. doi:<a href="https://doi.org/10.1109/PATMOS.2013.6662171">10.1109/PATMOS.2013.6662171</a>'
  apa: 'Mischkalla, F., &#38; Müller, W. (2013). <i>Efficient Power-Intent Validation
    Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach</i>. 23rd International
    Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). <a
    href="https://doi.org/10.1109/PATMOS.2013.6662171">https://doi.org/10.1109/PATMOS.2013.6662171</a>'
  bibtex: '@inproceedings{Mischkalla_Müller_2013, place={Karlsruhe}, title={Efficient
    Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive
    Approach}, DOI={<a href="https://doi.org/10.1109/PATMOS.2013.6662171">10.1109/PATMOS.2013.6662171</a>},
    publisher={IEEE}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013}
    }'
  chicago: 'Mischkalla, Fabian, and Wolfgang Müller. “Efficient Power-Intent Validation
    Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach.” Karlsruhe:
    IEEE, 2013. <a href="https://doi.org/10.1109/PATMOS.2013.6662171">https://doi.org/10.1109/PATMOS.2013.6662171</a>.'
  ieee: 'F. Mischkalla and W. Müller, “Efficient Power-Intent Validation Using ‘Loosely-Timed’
    Simulation Models: A Non-Invasive Approach,” presented at the 23rd International
    Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013,
    doi: <a href="https://doi.org/10.1109/PATMOS.2013.6662171">10.1109/PATMOS.2013.6662171</a>.'
  mla: 'Mischkalla, Fabian, and Wolfgang Müller. <i>Efficient Power-Intent Validation
    Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach</i>. IEEE, 2013,
    doi:<a href="https://doi.org/10.1109/PATMOS.2013.6662171">10.1109/PATMOS.2013.6662171</a>.'
  short: 'F. Mischkalla, W. Müller, in: IEEE, Karlsruhe, 2013.'
conference:
  name: 23rd International Workshop on Power and Timing Modeling, Optimization and
    Simulation (PATMOS)
date_created: 2023-01-16T12:08:03Z
date_updated: 2023-01-16T12:08:17Z
department:
- _id: '672'
doi: 10.1109/PATMOS.2013.6662171
keyword:
- Time-varying systems
- Time-domain analysis
- Synchronization
- Context modeling
- Clocks
- Semantics
- Standards
language:
- iso: eng
place: Karlsruhe
publication_identifier:
  eisbn:
  - 978-1-4799-1170-7
publisher: IEEE
status: public
title: 'Efficient Power-Intent Validation Using "Loosely-Timed" Simulation Models:
  A Non-Invasive Approach'
type: conference
user_id: '5786'
year: '2013'
...
---
_id: '36920'
abstract:
- lang: eng
  text: 'In the electronic system development, energy consumption is clearly becoming
    one of the most important design concerns. From the system level point of view,
    Dynamic Power Management (DPM) and Dynamic Voltage and Frequency Scaling (DVFS)
    are two mostly applied techniques to adjust the tradeoff between the performance
    and power dissipation at runtime. In this paper, we study the problem of combined
    application of both techniques with regard to hard real-time systems running on
    cluster-based multi-core processors. To optimize the processor energy consumption,
    a heuristic based on simulated annealing with efficient termination criterion
    is proposed. The experiment results show that the proposed algorithm outperforms
    the existing approaches in terms of the energy reduction. '
author:
- 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: 'He D, Müller W. An Energy-Efficient Heuristic for Hard Real-Time System on
    Multi-Core Processors. In: Weghorn H, ed. <i>Proceedings of the International
    Conference on Applied Computing (AC)</i>. ; 2013.'
  apa: He, D., &#38; Müller, W. (2013). An Energy-Efficient Heuristic for Hard Real-Time
    System on Multi-Core Processors. In H. Weghorn (Ed.), <i>Proceedings of the International
    Conference on Applied Computing (AC)</i>.
  bibtex: '@inproceedings{He_Müller_2013, place={Fort Worth, Texas, USA}, title={An
    Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors},
    booktitle={Proceedings of the International Conference on Applied Computing (AC)},
    author={He, Da and Müller, Wolfgang}, editor={Weghorn, Hans}, year={2013} }'
  chicago: He, Da, and Wolfgang Müller. “An Energy-Efficient Heuristic for Hard Real-Time
    System on Multi-Core Processors.” In <i>Proceedings of the International Conference
    on Applied Computing (AC)</i>, edited by Hans Weghorn. Fort Worth, Texas, USA,
    2013.
  ieee: D. He and W. Müller, “An Energy-Efficient Heuristic for Hard Real-Time System
    on Multi-Core Processors,” in <i>Proceedings of the International Conference on
    Applied Computing (AC)</i>, 2013.
  mla: He, Da, and Wolfgang Müller. “An Energy-Efficient Heuristic for Hard Real-Time
    System on Multi-Core Processors.” <i>Proceedings of the International Conference
    on Applied Computing (AC)</i>, edited by Hans Weghorn, 2013.
  short: 'D. He, W. Müller, in: H. Weghorn (Ed.), Proceedings of the International
    Conference on Applied Computing (AC), Fort Worth, Texas, USA, 2013.'
date_created: 2023-01-16T12:12:58Z
date_updated: 2023-01-16T12:15:44Z
department:
- _id: '672'
editor:
- first_name: Hans
  full_name: Weghorn, Hans
  last_name: Weghorn
keyword:
- Dynamic Power Management
- Dynamic Voltage and Frequency Scaling
- Hard Real-Time
- Multi-core Processor
language:
- iso: eng
place: Fort Worth, Texas, USA
publication: Proceedings of the International Conference on Applied Computing (AC)
publication_identifier:
  isbn:
  - '978-989-8533-20-3 '
status: public
title: An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors
type: conference
user_id: '5786'
year: '2013'
...
---
_id: '25744'
author:
- first_name: M. tech. Mabel Mary
  full_name: Joy, M. tech. Mabel Mary
  last_name: Joy
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Emi
  full_name: Mathews, Emi
  last_name: Mathews
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Joy M tech. MM, Becker M, Mathews E, Müller W. Automated Source Code Annotation
    for Timing Analysis of Embedded Software. In: <i> In Proceedings of Advanced Computing
    and Communications Conference 2012 (ADCOM 2012)</i>. IEEE; 2012.'
  apa: Joy, M. tech. M. M., Becker, M., Mathews, E., &#38; Müller, W. (2012). Automated
    Source Code Annotation for Timing Analysis of Embedded Software. <i> In Proceedings
    of Advanced Computing and Communications Conference 2012 (ADCOM 2012)</i>.
  bibtex: '@inproceedings{Joy_Becker_Mathews_Müller_2012, title={Automated Source
    Code Annotation for Timing Analysis of Embedded Software}, booktitle={ In Proceedings
    of Advanced Computing and Communications Conference 2012 (ADCOM 2012)}, publisher={IEEE},
    author={Joy, M. tech. Mabel Mary and Becker, Markus and Mathews, Emi and Müller,
    Wolfgang}, year={2012} }'
  chicago: Joy, M. tech. Mabel Mary, Markus Becker, Emi Mathews, and Wolfgang Müller.
    “Automated Source Code Annotation for Timing Analysis of Embedded Software.” In
    <i> In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM
    2012)</i>. IEEE, 2012.
  ieee: M. tech. M. M. Joy, M. Becker, E. Mathews, and W. Müller, “Automated Source
    Code Annotation for Timing Analysis of Embedded Software,”  Bangalore, 14. - 16.
    Dez. 2012, IEEE, 2012.
  mla: Joy, M. tech. Mabel Mary, et al. “Automated Source Code Annotation for Timing
    Analysis of Embedded Software.” <i> In Proceedings of Advanced Computing and Communications
    Conference 2012 (ADCOM 2012)</i>, IEEE, 2012.
  short: 'M. tech. M.M. Joy, M. Becker, E. Mathews, W. Müller, in:  In Proceedings
    of Advanced Computing and Communications Conference 2012 (ADCOM 2012), IEEE, 2012.'
conference:
  location: ' Bangalore, 14. - 16. Dez. 2012, IEEE'
date_created: 2021-10-07T10:33:59Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
publication: ' In Proceedings of Advanced Computing and Communications Conference
  2012 (ADCOM 2012)'
publisher: IEEE
status: public
title: Automated Source Code Annotation for Timing Analysis of Embedded Software
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '25758'
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Daniel
  full_name: Baldin, Daniel
  last_name: Baldin
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: M. tech. Mabel Mary
  full_name: Joy, M. tech. Mabel Mary
  last_name: Joy
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Becker M, Baldin D, Kuznik C, Joy M tech. MM, Xie T, Müller W. XEMU: An Efficient
    QEMU Based Binary Mutation Testing Framework for Embedded Software. In: <i>EMSOFT’12:
    Teenth ACM International Conference on Embedded Software 2012 Proceedings </i>.
    ; 2012.'
  apa: 'Becker, M., Baldin, D., Kuznik, C., Joy, M. tech. M. M., Xie, T., &#38; Müller,
    W. (2012). XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for
    Embedded Software. <i>EMSOFT’12: Teenth ACM International Conference on Embedded
    Software 2012 Proceedings </i>.'
  bibtex: '@inproceedings{Becker_Baldin_Kuznik_Joy_Xie_Müller_2012, title={XEMU: An
    Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software},
    booktitle={EMSOFT’12: Teenth ACM International Conference on Embedded Software
    2012 Proceedings }, author={Becker, Markus and Baldin, Daniel and Kuznik, Christoph
    and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang}, year={2012} }'
  chicago: 'Becker, Markus, Daniel Baldin, Christoph Kuznik, M. tech. Mabel Mary Joy,
    Tao Xie, and Wolfgang Müller. “XEMU: An Efficient QEMU Based Binary Mutation Testing
    Framework for Embedded Software.” In <i>EMSOFT’12: Teenth ACM International Conference
    on Embedded Software 2012 Proceedings </i>, 2012.'
  ieee: 'M. Becker, D. Baldin, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller,
    “XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded
    Software,” 2012.'
  mla: 'Becker, Markus, et al. “XEMU: An Efficient QEMU Based Binary Mutation Testing
    Framework for Embedded Software.” <i>EMSOFT’12: Teenth ACM International Conference
    on Embedded Software 2012 Proceedings </i>, 2012.'
  short: 'M. Becker, D. Baldin, C. Kuznik, M. tech. M.M. Joy, T. Xie, W. Müller, in:
    EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings
    , 2012.'
date_created: 2021-10-07T11:11:30Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
publication: 'EMSOFT''12: Teenth ACM International Conference on Embedded Software
  2012 Proceedings '
status: public
title: 'XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded
  Software'
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '25761'
author:
- first_name: Marcio F.
  full_name: Oliveira, Marcio F.
  last_name: Oliveira
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Hoang M.
  full_name: Le, Hoang M.
  last_name: Le
- first_name: Daniel
  full_name: Große, Daniel
  last_name: Große
- first_name: Finn
  full_name: Haedicke, Finn
  last_name: Haedicke
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Rolf
  full_name: Drechsler, Rolf
  last_name: Drechsler
- first_name: Wolfgang
  full_name: Ecker, Wolfgang
  last_name: Ecker
- first_name: Volkan
  full_name: Esen, Volkan
  last_name: Esen
citation:
  ama: 'Oliveira MF, Kuznik C, Le HM, et al. The System Verification Methodology for
    Advanced TLM Verification. In: <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International
    Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>.
    ; 2012.'
  apa: 'Oliveira, M. F., Kuznik, C., Le, H. M., Große, D., Haedicke, F., Müller, W.,
    Drechsler, R., Ecker, W., &#38; Esen, V. (2012). The System Verification Methodology
    for Advanced TLM Verification. <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International
    Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>.'
  bibtex: '@inproceedings{Oliveira_Kuznik_Le_Große_Haedicke_Müller_Drechsler_Ecker_Esen_2012,
    title={The System Verification Methodology for Advanced TLM Verification}, booktitle={CODES/ISSS
    ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign
    and System Synthesis Proceedings}, author={Oliveira, Marcio F. and Kuznik, Christoph
    and Le, Hoang M. and Große, Daniel and Haedicke, Finn and Müller, Wolfgang and
    Drechsler, Rolf and Ecker, Wolfgang and Esen, Volkan}, year={2012} }'
  chicago: 'Oliveira, Marcio F., Christoph Kuznik, Hoang M. Le, Daniel Große, Finn
    Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, and Volkan Esen. “The
    System Verification Methodology for Advanced TLM Verification.” In <i>CODES/ISSS
    ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign
    and System Synthesis Proceedings</i>, 2012.'
  ieee: M. F. Oliveira <i>et al.</i>, “The System Verification Methodology for Advanced
    TLM Verification,” 2012.
  mla: 'Oliveira, Marcio F., et al. “The System Verification Methodology for Advanced
    TLM Verification.” <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference
    on Hardware/Software Codesign and System Synthesis Proceedings</i>, 2012.'
  short: 'M.F. Oliveira, C. Kuznik, H.M. Le, D. Große, F. Haedicke, W. Müller, R.
    Drechsler, W. Ecker, V. Esen, in: CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International
    Conference on Hardware/Software Codesign and System Synthesis Proceedings, 2012.'
date_created: 2021-10-07T11:16:29Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
publication: 'CODES/ISSS ''12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software
  Codesign and System Synthesis Proceedings'
status: public
title: The System Verification Methodology for Advanced TLM Verification
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '25767'
author:
- 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: 'He D, Müller W. A Heuristic Energy-Aware Approach for Hard Real-Time Systems
    on Multi-Core Platforms. In: <i>15th Euromicro Conference on Digital System Design
    (DSD)</i>. IEEE Xplore; 2012.'
  apa: He, D., &#38; Müller, W. (2012). A Heuristic Energy-Aware Approach for Hard
    Real-Time Systems on Multi-Core Platforms. <i>15th Euromicro Conference on Digital
    System Design (DSD)</i>.
  bibtex: '@inproceedings{He_Müller_2012, title={A Heuristic Energy-Aware Approach
    for Hard Real-Time Systems on Multi-Core Platforms}, booktitle={15th Euromicro
    Conference on Digital System Design (DSD)}, publisher={IEEE Xplore}, author={He,
    Da and Müller, Wolfgang}, year={2012} }'
  chicago: He, Da, and Wolfgang Müller. “A Heuristic Energy-Aware Approach for Hard
    Real-Time Systems on Multi-Core Platforms.” In <i>15th Euromicro Conference on
    Digital System Design (DSD)</i>. IEEE Xplore, 2012.
  ieee: D. He and W. Müller, “A Heuristic Energy-Aware Approach for Hard Real-Time
    Systems on Multi-Core Platforms,” 2012.
  mla: He, Da, and Wolfgang Müller. “A Heuristic Energy-Aware Approach for Hard Real-Time
    Systems on Multi-Core Platforms.” <i>15th Euromicro Conference on Digital System
    Design (DSD)</i>, IEEE Xplore, 2012.
  short: 'D. He, W. Müller, in: 15th Euromicro Conference on Digital System Design
    (DSD), IEEE Xplore, 2012.'
date_created: 2021-10-07T12:11:29Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
publication: 15th Euromicro Conference on Digital System Design (DSD)
publisher: IEEE Xplore
status: public
title: A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core
  Platforms
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26022'
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: M. tech. Mabel Mary
  full_name: Joy, M. tech. Mabel Mary
  last_name: Joy
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Becker M, Kuznik C, Joy M tech. MM, Xie T, Müller W. Binary Mutation Testing
    Through Dynamic Translation. In: <i> 42nd Annual IEEE/IFIP International Conference
    on Dependable Systems and Networks (DSN)</i>. ; 2012.'
  apa: Becker, M., Kuznik, C., Joy, M. tech. M. M., Xie, T., &#38; Müller, W. (2012).
    Binary Mutation Testing Through Dynamic Translation. <i> 42nd Annual IEEE/IFIP
    International Conference on Dependable Systems and Networks (DSN)</i>.
  bibtex: '@inproceedings{Becker_Kuznik_Joy_Xie_Müller_2012, title={Binary Mutation
    Testing Through Dynamic Translation}, booktitle={ 42nd Annual IEEE/IFIP International
    Conference on Dependable Systems and Networks (DSN)}, author={Becker, Markus and
    Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang},
    year={2012} }'
  chicago: Becker, Markus, Christoph Kuznik, M. tech. Mabel Mary Joy, Tao Xie, and
    Wolfgang Müller. “Binary Mutation Testing Through Dynamic Translation.” In <i>
    42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks
    (DSN)</i>, 2012.
  ieee: M. Becker, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “Binary Mutation
    Testing Through Dynamic Translation,” 2012.
  mla: Becker, Markus, et al. “Binary Mutation Testing Through Dynamic Translation.”
    <i> 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks
    (DSN)</i>, 2012.
  short: 'M. Becker, C. Kuznik, M. tech. M.M. Joy, T. Xie, W. Müller, in:  42nd Annual
    IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012.'
date_created: 2021-10-11T08:39:53Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
main_file_link:
- url: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6263914&isnumber=6263904
publication: ' 42nd Annual IEEE/IFIP International Conference on Dependable Systems
  and Networks (DSN)'
status: public
title: Binary Mutation Testing Through Dynamic Translation
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26023'
author:
- 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: 'He D, Müller W. Enhanced Schedulability Analysis of Hard Real-Time Systems
    on Power Manageable Multi-Core Platforms. In: <i>Third International Symposium
    on Advances in Embedded Systems and Applications (ESA-2012)</i>. IEEE Xplore;
    2012.'
  apa: He, D., &#38; Müller, W. (2012). Enhanced Schedulability Analysis of Hard Real-Time
    Systems on Power Manageable Multi-Core Platforms. <i>Third International Symposium
    on Advances in Embedded Systems and Applications (ESA-2012)</i>.
  bibtex: '@inproceedings{He_Müller_2012, title={Enhanced Schedulability Analysis
    of Hard Real-Time Systems on Power Manageable Multi-Core Platforms}, booktitle={Third
    International Symposium on Advances in Embedded Systems and Applications (ESA-2012)},
    publisher={IEEE Xplore}, author={He, Da and Müller, Wolfgang}, year={2012} }'
  chicago: He, Da, and Wolfgang Müller. “Enhanced Schedulability Analysis of Hard
    Real-Time Systems on Power Manageable Multi-Core Platforms.” In <i>Third International
    Symposium on Advances in Embedded Systems and Applications (ESA-2012)</i>. IEEE
    Xplore, 2012.
  ieee: D. He and W. Müller, “Enhanced Schedulability Analysis of Hard Real-Time Systems
    on Power Manageable Multi-Core Platforms,” 2012.
  mla: He, Da, and Wolfgang Müller. “Enhanced Schedulability Analysis of Hard Real-Time
    Systems on Power Manageable Multi-Core Platforms.” <i>Third International Symposium
    on Advances in Embedded Systems and Applications (ESA-2012)</i>, IEEE Xplore,
    2012.
  short: 'D. He, W. Müller, in: Third International Symposium on Advances in Embedded
    Systems and Applications (ESA-2012), IEEE Xplore, 2012.'
date_created: 2021-10-11T08:43:05Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
publication: Third International Symposium on Advances in Embedded Systems and Applications
  (ESA-2012)
publisher: IEEE Xplore
status: public
title: Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable
  Multi-Core Platforms
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26024'
author:
- first_name: Stephan
  full_name: Radke, Stephan
  last_name: Radke
- first_name: Steffen
  full_name: Rülke, Steffen
  last_name: Rülke
- first_name: Marcio F.
  full_name: Oliveira, Marcio F.
  last_name: Oliveira
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Wolfgang
  full_name: Ecker, Wolfgang
  last_name: Ecker
- first_name: Volkan
  full_name: Esen, Volkan
  last_name: Esen
- first_name: Simon
  full_name: Hufnagel, Simon
  last_name: Hufnagel
- first_name: Nico
  full_name: Bannow, Nico
  last_name: Bannow
- first_name: Jan-Hendrik
  full_name: Oetjens, Jan-Hendrik
  last_name: Oetjens
- first_name: Helmut
  full_name: Brazdrum, Helmut
  last_name: Brazdrum
- first_name: Peter
  full_name: Janssen, Peter
  last_name: Janssen
- first_name: Hoang M.
  full_name: Le, Hoang M.
  last_name: Le
- first_name: Daniel
  full_name: Große, Daniel
  last_name: Große
- first_name: Finn
  full_name: Haedicke, Finn
  last_name: Haedicke
- first_name: Rolf
  full_name: Drechsler, Rolf
  last_name: Drechsler
- first_name: Gernot
  full_name: Koch, Gernot
  last_name: Koch
- first_name: Andreas
  full_name: Burger, Andreas
  last_name: Burger
- first_name: Oliver
  full_name: Bringmann, Oliver
  last_name: Bringmann
- first_name: Wolfgang
  full_name: Rosenstiel, Wolfgang
  last_name: Rosenstiel
- first_name: Ralph
  full_name: Görgen, Ralph
  last_name: Görgen
citation:
  ama: 'Radke S, Rülke S, Oliveira MF, et al. Compilation of Methodologies to Speed
    up the Verification Process at System Level. In: <i>EdaWorkshop 12</i>. ; 2012.'
  apa: Radke, S., Rülke, S., Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., Esen,
    V., Hufnagel, S., Bannow, N., Oetjens, J.-H., Brazdrum, H., Janssen, P., Le, H.
    M., Große, D., Haedicke, F., Drechsler, R., Koch, G., Burger, A., Bringmann, O.,
    … Görgen, R. (2012). Compilation of Methodologies to Speed up the Verification
    Process at System Level. <i>EdaWorkshop 12</i>.
  bibtex: '@inproceedings{Radke_Rülke_Oliveira_Kuznik_Müller_Ecker_Esen_Hufnagel_Bannow_Oetjens_et
    al._2012, title={Compilation of Methodologies to Speed up the Verification Process
    at System Level}, booktitle={edaWorkshop 12}, author={Radke, Stephan and Rülke,
    Steffen and Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and
    Ecker, Wolfgang and Esen, Volkan and Hufnagel, Simon and Bannow, Nico and Oetjens,
    Jan-Hendrik and et al.}, year={2012} }'
  chicago: Radke, Stephan, Steffen Rülke, Marcio F. Oliveira, Christoph Kuznik, Wolfgang
    Müller, Wolfgang Ecker, Volkan Esen, et al. “Compilation of Methodologies to Speed
    up the Verification Process at System Level.” In <i>EdaWorkshop 12</i>, 2012.
  ieee: S. Radke <i>et al.</i>, “Compilation of Methodologies to Speed up the Verification
    Process at System Level,” 2012.
  mla: Radke, Stephan, et al. “Compilation of Methodologies to Speed up the Verification
    Process at System Level.” <i>EdaWorkshop 12</i>, 2012.
  short: 'S. Radke, S. Rülke, M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen,
    S. Hufnagel, N. Bannow, J.-H. Oetjens, H. Brazdrum, P. Janssen, H.M. Le, D. Große,
    F. Haedicke, R. Drechsler, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, R.
    Görgen, in: EdaWorkshop 12, 2012.'
date_created: 2021-10-11T08:54:53Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
main_file_link:
- url: http://www.vde-verlag.de/proceedings-de/563428010.html
publication: edaWorkshop 12
status: public
title: Compilation of Methodologies to Speed up the Verification Process at System
  Level
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26031'
author:
- 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: 'He D, Müller W. Online Energy-Efficient Hard Real-Time Scheduling for Component
    Oriented Systems. In: <i>2012 IEEE 15th International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing (ISORC)</i>. IEEE Xplore; 2012.'
  apa: He, D., &#38; Müller, W. (2012). Online Energy-Efficient Hard Real-Time Scheduling
    for Component Oriented Systems. <i>2012 IEEE 15th International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing (ISORC)</i>.
  bibtex: '@inproceedings{He_Müller_2012, title={Online Energy-Efficient Hard Real-Time
    Scheduling for Component Oriented Systems}, booktitle={2012 IEEE 15th International
    Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
    (ISORC)}, publisher={IEEE Xplore}, author={He, Da and Müller, Wolfgang}, year={2012}
    }'
  chicago: He, Da, and Wolfgang Müller. “Online Energy-Efficient Hard Real-Time Scheduling
    for Component Oriented Systems.” In <i>2012 IEEE 15th International Symposium
    on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)</i>.
    IEEE Xplore, 2012.
  ieee: D. He and W. Müller, “Online Energy-Efficient Hard Real-Time Scheduling for
    Component Oriented Systems,” 2012.
  mla: He, Da, and Wolfgang Müller. “Online Energy-Efficient Hard Real-Time Scheduling
    for Component Oriented Systems.” <i>2012 IEEE 15th International Symposium on
    Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)</i>,
    IEEE Xplore, 2012.
  short: 'D. He, W. Müller, in: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing (ISORC), IEEE Xplore, 2012.'
date_created: 2021-10-11T10:16:06Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
publication: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented
  Real-Time Distributed Computing (ISORC)
publisher: IEEE Xplore
status: public
title: Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26036'
author:
- first_name: Marcio F.
  full_name: Oliveira, Marcio F.
  last_name: Oliveira
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Wolfgang
  full_name: Ecker, Wolfgang
  last_name: Ecker
- first_name: Volkan
  full_name: Esen, Volkan
  last_name: Esen
citation:
  ama: 'Oliveira MF, Kuznik C, Müller W, Ecker W, Esen V. A SystemC Library for Advanced
    TLM Verification. In: <i>Proceeding of Design and Verification Conference (DVCON)</i>.
    ; 2012.'
  apa: Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., &#38; Esen, V. (2012).
    A SystemC Library for Advanced TLM Verification. <i>Proceeding of Design and Verification
    Conference (DVCON)</i>.
  bibtex: '@inproceedings{Oliveira_Kuznik_Müller_Ecker_Esen_2012, title={A SystemC
    Library for Advanced TLM Verification}, booktitle={Proceeding of Design and Verification
    Conference (DVCON)}, author={Oliveira, Marcio F. and Kuznik, Christoph and Müller,
    Wolfgang and Ecker, Wolfgang and Esen, Volkan}, year={2012} }'
  chicago: Oliveira, Marcio F., Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker,
    and Volkan Esen. “A SystemC Library for Advanced TLM Verification.” In <i>Proceeding
    of Design and Verification Conference (DVCON)</i>, 2012.
  ieee: M. F. Oliveira, C. Kuznik, W. Müller, W. Ecker, and V. Esen, “A SystemC Library
    for Advanced TLM Verification,” 2012.
  mla: Oliveira, Marcio F., et al. “A SystemC Library for Advanced TLM Verification.”
    <i>Proceeding of Design and Verification Conference (DVCON)</i>, 2012.
  short: 'M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, in: Proceeding of
    Design and Verification Conference (DVCON), 2012.'
date_created: 2021-10-11T11:57:27Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceeding of Design and Verification Conference (DVCON)
status: public
title: A SystemC Library for Advanced TLM Verification
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26079'
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- 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
- first_name: F.
  full_name: Fummi, F.
  last_name: Fummi
- first_name: G.
  full_name: Pravadelli, G.
  last_name: Pravadelli
- first_name: Sara
  full_name: Vinco, Sara
  last_name: Vinco
citation:
  ama: 'Becker M, Gnokam Defo GB, Müller W, Fummi F, Pravadelli G, Vinco S. MOUSSE:
    scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution.
    In: <i>Design, Automation and Test in Europe (DATE 2012)</i>. ; 2012.'
  apa: 'Becker, M., Gnokam Defo, G. B., Müller, W., Fummi, F., Pravadelli, G., &#38;
    Vinco, S. (2012). MOUSSE: scaling MOdelling and verification to complex heterogeneoUS
    embedded Systems Evolution. <i>Design, Automation and Test in Europe (DATE 2012)</i>.'
  bibtex: '@inproceedings{Becker_Gnokam Defo_Müller_Fummi_Pravadelli_Vinco_2012, place={Dresden},
    title={MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded
    Systems Evolution}, booktitle={Design, Automation and Test in Europe (DATE 2012)},
    author={Becker, Markus and Gnokam Defo, Gilles Bertrand and Müller, Wolfgang and
    Fummi, F. and Pravadelli, G. and Vinco, Sara}, year={2012} }'
  chicago: 'Becker, Markus, Gilles Bertrand Gnokam Defo, Wolfgang Müller, F. Fummi,
    G. Pravadelli, and Sara Vinco. “MOUSSE: Scaling MOdelling and Verification to
    Complex HeterogeneoUS Embedded Systems Evolution.” In <i>Design, Automation and
    Test in Europe (DATE 2012)</i>. Dresden, 2012.'
  ieee: 'M. Becker, G. B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, and S.
    Vinco, “MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded
    Systems Evolution,” 2012.'
  mla: 'Becker, Markus, et al. “MOUSSE: Scaling MOdelling and Verification to Complex
    HeterogeneoUS Embedded Systems Evolution.” <i>Design, Automation and Test in Europe
    (DATE 2012)</i>, 2012.'
  short: 'M. Becker, G.B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, S. Vinco,
    in: Design, Automation and Test in Europe (DATE 2012), Dresden, 2012.'
date_created: 2021-10-12T10:06:15Z
date_updated: 2022-01-06T06:57:16Z
department:
- _id: '672'
language:
- iso: eng
place: Dresden
publication: Design, Automation and Test in Europe (DATE 2012)
status: public
title: 'MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded
  Systems Evolution'
type: conference
user_id: '21240'
year: '2012'
...