---
_id: '25777'
abstract:
- lang: eng
  text: "This paper presents a hierarchical hyprid planning approach developed for
    realizing self-optimizing mechatronic systems. The hybrid planning approach is
    based on a discrete plan and a forecast of continuous system behavior generated
    by simulation during runtime. This does not only allow an online adaptation of
    a previously generated plan with regard to the actual system state as well as
    the current environmental conditions, even the planning objectives may be adapted
    to newly arising needs during system operation. The planner exploits the hierarchy
    already present in the system model by considering hierarchical parameterizations
    of the system as a discrete dimension of choice. The parameterizations are proposed
    by a novel hierarchical multiobjective optimization, which calculates Pareto points
    in a bottom up fashion, taking into account the constraints imposed by lower levels
    of the system hierarchy on the higher ones. Evaluations of the hierarchical hybrid
    planner in the context of an innovative railbound transport system show that it
    outperforms its non-hierarchical predecessor.\r\n"
author:
- first_name: Natascha
  full_name: Esau, Natascha
  last_name: Esau
- first_name: Martin
  full_name: Krüger, Martin
  last_name: Krüger
- first_name: Christoph
  full_name: Rasche, Christoph
  last_name: Rasche
- first_name: Steffen
  full_name: Beringer, Steffen
  last_name: Beringer
- first_name: Lisa
  full_name: Kleinjohann, Lisa
  id: '15588'
  last_name: Kleinjohann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Esau N, Krüger M, Rasche C, Beringer S, Kleinjohann L, Kleinjohann B. Hierarchical
    Hybrid Planning for a Self-Optimizing Active Suspension System. In: <i>7th IEEE
    Conference in Industrial Electronics and Applications</i>. IEEE; 2012.'
  apa: Esau, N., Krüger, M., Rasche, C., Beringer, S., Kleinjohann, L., &#38; Kleinjohann,
    B. (2012). Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension
    System. <i>7th IEEE Conference in Industrial Electronics and Applications</i>.
  bibtex: '@inproceedings{Esau_Krüger_Rasche_Beringer_Kleinjohann_Kleinjohann_2012,
    place={Singapore}, title={Hierarchical Hybrid Planning for a Self-Optimizing Active
    Suspension System}, booktitle={7th IEEE Conference in Industrial Electronics and
    Applications}, publisher={IEEE}, author={Esau, Natascha and Krüger, Martin and
    Rasche, Christoph and Beringer, Steffen and Kleinjohann, Lisa and Kleinjohann,
    Bernd}, year={2012} }'
  chicago: 'Esau, Natascha, Martin Krüger, Christoph Rasche, Steffen Beringer, Lisa
    Kleinjohann, and Bernd Kleinjohann. “Hierarchical Hybrid Planning for a Self-Optimizing
    Active Suspension System.” In <i>7th IEEE Conference in Industrial Electronics
    and Applications</i>. Singapore: IEEE, 2012.'
  ieee: N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, and B. Kleinjohann,
    “Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System,”
    Singapore, 18. - 20. Jul. 2012 IEEE, IEEE, 2012.
  mla: Esau, Natascha, et al. “Hierarchical Hybrid Planning for a Self-Optimizing
    Active Suspension System.” <i>7th IEEE Conference in Industrial Electronics and
    Applications</i>, IEEE, 2012.
  short: 'N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, B. Kleinjohann,
    in: 7th IEEE Conference in Industrial Electronics and Applications, IEEE, Singapore,
    2012.'
conference:
  location: Singapore, 18. - 20. Jul. 2012 IEEE, IEEE
date_created: 2021-10-07T12:56:39Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
place: Singapore
publication: 7th IEEE Conference in Industrial Electronics and Applications
publisher: IEEE
status: public
title: Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '25781'
author:
- first_name: Claudius
  full_name: Stern, Claudius
  last_name: Stern
- first_name: Christoph
  full_name: Rasche, Christoph
  last_name: Rasche
- first_name: Lisa
  full_name: Kleinjohann, Lisa
  id: '15588'
  last_name: Kleinjohann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Evaluating Quality of Online
    Image Registration of Aerial Images Using Virtual Forces. In: <i>Proceedings of
    The 16th International Conference on Image Processing, Computer Vision, &#38;
    Pattern Recognition</i>. ; 2012.'
  apa: Stern, C., Rasche, C., Kleinjohann, L., &#38; Kleinjohann, B. (2012). Evaluating
    Quality of Online Image Registration of Aerial Images Using Virtual Forces. <i>Proceedings
    of The 16th International Conference on Image Processing, Computer Vision, &#38;
    Pattern Recognition</i>.
  bibtex: '@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2012, place={Las Vegas,
    Nevada, USA}, title={Evaluating Quality of Online Image Registration of Aerial
    Images Using Virtual Forces}, booktitle={Proceedings of The 16th International
    Conference on Image Processing, Computer Vision, &#38; Pattern Recognition}, author={Stern,
    Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd},
    year={2012} }'
  chicago: Stern, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann.
    “Evaluating Quality of Online Image Registration of Aerial Images Using Virtual
    Forces.” In <i>Proceedings of The 16th International Conference on Image Processing,
    Computer Vision, &#38; Pattern Recognition</i>. Las Vegas, Nevada, USA, 2012.
  ieee: C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Evaluating Quality
    of Online Image Registration of Aerial Images Using Virtual Forces,” 16. - 19.
    Jul. 2012; Las Vegas, Nevada, USA, 2012.
  mla: Stern, Claudius, et al. “Evaluating Quality of Online Image Registration of
    Aerial Images Using Virtual Forces.” <i>Proceedings of The 16th International
    Conference on Image Processing, Computer Vision, &#38; Pattern Recognition</i>,
    2012.
  short: 'C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: Proceedings of
    The 16th International Conference on Image Processing, Computer Vision, &#38;
    Pattern Recognition, Las Vegas, Nevada, USA, 2012.'
conference:
  location: 16. - 19. Jul. 2012; Las Vegas, Nevada, USA
date_created: 2021-10-07T13:00:52Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
place: Las Vegas, Nevada, USA
publication: Proceedings of The 16th International Conference on Image Processing,
  Computer Vision, & Pattern Recognition
status: public
title: Evaluating Quality of Online Image Registration of Aerial Images Using Virtual
  Forces
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '25783'
author:
- first_name: Stefan
  full_name: Grösbrink, Stefan
  last_name: Grösbrink
citation:
  ama: 'Grösbrink S. A First Step Towards Real-time Virtual Machine Migration in Heterogeneous
    Multi-Processor Systems. In: <i>Symposium on System-Integrated Intelligence</i>.
    ; 2012.'
  apa: Grösbrink, S. (2012). A First Step Towards Real-time Virtual Machine Migration
    in Heterogeneous Multi-Processor Systems. <i>Symposium on System-Integrated Intelligence</i>.
  bibtex: '@inproceedings{Grösbrink_2012, title={A First Step Towards Real-time Virtual
    Machine Migration in Heterogeneous Multi-Processor Systems}, booktitle={Symposium
    on System-integrated Intelligence}, author={Grösbrink, Stefan}, year={2012} }'
  chicago: Grösbrink, Stefan. “A First Step Towards Real-Time Virtual Machine Migration
    in Heterogeneous Multi-Processor Systems.” In <i>Symposium on System-Integrated
    Intelligence</i>, 2012.
  ieee: S. Grösbrink, “A First Step Towards Real-time Virtual Machine Migration in
    Heterogeneous Multi-Processor Systems,” 27. - 29. Jun. 2012, 2012.
  mla: Grösbrink, Stefan. “A First Step Towards Real-Time Virtual Machine Migration
    in Heterogeneous Multi-Processor Systems.” <i>Symposium on System-Integrated Intelligence</i>,
    2012.
  short: 'S. Grösbrink, in: Symposium on System-Integrated Intelligence, 2012.'
conference:
  location: 27. - 29. Jun. 2012
date_created: 2021-10-07T13:05:50Z
date_updated: 2022-01-06T06:57:12Z
department:
- _id: '672'
language:
- iso: eng
publication: Symposium on System-integrated Intelligence
status: public
title: A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor
  Systems
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: '26025'
author:
- first_name: Norma
  full_name: Montealegre, Norma
  last_name: Montealegre
- first_name: Sebastian
  full_name: Hagenkötter, Sebastian
  last_name: Hagenkötter
citation:
  ama: 'Montealegre N, Hagenkötter S. Process integrated wire-bond quality control
    by means of cytokine-Formal Immune Networks. In: <i>Journal of Intelligent Manufacturing
    23(3)</i>. Published online on June 2010; 2012:699-715.'
  apa: Montealegre, N., &#38; Hagenkötter, S. (2012). Process integrated wire-bond
    quality control by means of cytokine-Formal Immune Networks. In <i>Journal of
    Intelligent Manufacturing 23(3)</i> (pp. 699–715). Published online on June 2010.
  bibtex: '@inbook{Montealegre_Hagenkötter_2012, title={Process integrated wire-bond
    quality control by means of cytokine-Formal Immune Networks}, booktitle={Journal
    of Intelligent Manufacturing 23(3)}, publisher={Published online on June 2010},
    author={Montealegre, Norma and Hagenkötter, Sebastian}, year={2012}, pages={699–715}
    }'
  chicago: Montealegre, Norma, and Sebastian Hagenkötter. “Process Integrated Wire-Bond
    Quality Control by Means of Cytokine-Formal Immune Networks.” In <i>Journal of
    Intelligent Manufacturing 23(3)</i>, 699–715. Published online on June 2010, 2012.
  ieee: N. Montealegre and S. Hagenkötter, “Process integrated wire-bond quality control
    by means of cytokine-Formal Immune Networks,” in <i>Journal of Intelligent Manufacturing
    23(3)</i>, Published online on June 2010, 2012, pp. 699–715.
  mla: Montealegre, Norma, and Sebastian Hagenkötter. “Process Integrated Wire-Bond
    Quality Control by Means of Cytokine-Formal Immune Networks.” <i>Journal of Intelligent
    Manufacturing 23(3)</i>, Published online on June 2010, 2012, pp. 699–715.
  short: 'N. Montealegre, S. Hagenkötter, in: Journal of Intelligent Manufacturing
    23(3), Published online on June 2010, 2012, pp. 699–715.'
date_created: 2021-10-11T09:06:41Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
page: 699-715
publication: Journal of Intelligent Manufacturing 23(3)
publisher: Published online on June 2010
status: public
title: Process integrated wire-bond quality control by means of cytokine-Formal Immune
  Networks
type: book_chapter
user_id: '21240'
year: '2012'
...
---
_id: '26026'
author:
- first_name: Stefan
  full_name: Grösbrink, Stefan
  last_name: Grösbrink
- first_name: Simon
  full_name: Oberthür, Simon
  id: '383'
  last_name: Oberthür
- first_name: Daniel
  full_name: Baldin, Daniel
  last_name: Baldin
citation:
  ama: 'Grösbrink S, Oberthür S, Baldin D. Towards Adaptive Resource Management for
    Virtualized Real-Time Systems. In: <i>4th Workshop on Adaptive and Reconfigurable
    Embedded Systems (CPSWeek 2012)</i>. ; 2012.'
  apa: Grösbrink, S., Oberthür, S., &#38; Baldin, D. (2012). Towards Adaptive Resource
    Management for Virtualized Real-Time Systems. <i>4th Workshop on Adaptive and
    Reconfigurable Embedded Systems (CPSWeek 2012)</i>. 16. - 19. Apr. 2012.
  bibtex: '@inproceedings{Grösbrink_Oberthür_Baldin_2012, title={Towards Adaptive
    Resource Management for Virtualized Real-Time Systems}, booktitle={4th Workshop
    on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012)}, author={Grösbrink,
    Stefan and Oberthür, Simon and Baldin, Daniel}, year={2012} }'
  chicago: Grösbrink, Stefan, Simon Oberthür, and Daniel Baldin. “Towards Adaptive
    Resource Management for Virtualized Real-Time Systems.” In <i>4th Workshop on
    Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012)</i>, 2012.
  ieee: S. Grösbrink, S. Oberthür, and D. Baldin, “Towards Adaptive Resource Management
    for Virtualized Real-Time Systems,” presented at the 16. - 19. Apr. 2012, 2012.
  mla: Grösbrink, Stefan, et al. “Towards Adaptive Resource Management for Virtualized
    Real-Time Systems.” <i>4th Workshop on Adaptive and Reconfigurable Embedded Systems
    (CPSWeek 2012)</i>, 2012.
  short: 'S. Grösbrink, S. Oberthür, D. Baldin, in: 4th Workshop on Adaptive and Reconfigurable
    Embedded Systems (CPSWeek 2012), 2012.'
conference:
  name: 16. - 19. Apr. 2012
date_created: 2021-10-11T09:09:04Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
publication: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek
  2012)
status: public
title: Towards Adaptive Resource Management for Virtualized Real-Time Systems
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26027'
author:
- first_name: Yuhong
  full_name: Zhao, Yuhong
  last_name: Zhao
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
citation:
  ama: 'Zhao Y, Rammig F-J. Online Model Checking for Dependable Real-time Systems.
    In: <i>16th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing-Shenzhen, China</i>.  IEEE Computer Society; 2012:154-161.'
  apa: Zhao, Y., &#38; Rammig, F.-J. (2012). Online Model Checking for Dependable
    Real-time Systems. <i>16th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing-Shenzhen, China</i>, 154–161.
  bibtex: '@inproceedings{Zhao_Rammig_2012, title={Online Model Checking for Dependable
    Real-time Systems}, booktitle={16th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing-Shenzhen, China}, publisher={ IEEE Computer Society},
    author={Zhao, Yuhong and Rammig, Franz-Josef}, year={2012}, pages={154–161} }'
  chicago: Zhao, Yuhong, and Franz-Josef Rammig. “Online Model Checking for Dependable
    Real-Time Systems.” In <i>16th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing-Shenzhen, China</i>, 154–61.  IEEE Computer Society,
    2012.
  ieee: Y. Zhao and F.-J. Rammig, “Online Model Checking for Dependable Real-time
    Systems,” in <i>16th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing-Shenzhen, China</i>, 2012, pp. 154–161.
  mla: Zhao, Yuhong, and Franz-Josef Rammig. “Online Model Checking for Dependable
    Real-Time Systems.” <i>16th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing-Shenzhen, China</i>,  IEEE Computer Society, 2012,
    pp. 154–61.
  short: 'Y. Zhao, F.-J. Rammig, in: 16th IEEE International Symposium on Object/Component/Service-Oriented
    Real-Time Distributed Computing-Shenzhen, China,  IEEE Computer Society, 2012,
    pp. 154–161.'
conference:
  name: 11. - 13. Apr. 2012 IEEE Computer Society,
date_created: 2021-10-11T09:35:46Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
page: 154-161
publication: 16th IEEE International Symposium on Object/Component/Service-Oriented
  Real-Time Distributed Computing-Shenzhen, China
publisher: ' IEEE Computer Society'
status: public
title: Online Model Checking for Dependable Real-time Systems
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26028'
author:
- first_name: Norma
  full_name: Montealegre, Norma
  last_name: Montealegre
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
citation:
  ama: 'Montealegre N, Rammig F-J. Agent-Based Modeling and Simulation of Artificial
    Immune Systems. In: <i>Third IEEE Workshop on Self-Organizing Real-Time Systems
    (SORT 2012)</i>. ; 2012.'
  apa: Montealegre, N., &#38; Rammig, F.-J. (2012). Agent-Based Modeling and Simulation
    of Artificial Immune Systems. <i>Third IEEE Workshop on Self-Organizing Real-Time
    Systems (SORT 2012)</i>.
  bibtex: '@inproceedings{Montealegre_Rammig_2012, place={Shenzhen, China}, title={Agent-Based
    Modeling and Simulation of Artificial Immune Systems}, booktitle={Third IEEE Workshop
    on Self-Organizing Real-Time Systems (SORT 2012)}, author={Montealegre, Norma
    and Rammig, Franz-Josef}, year={2012} }'
  chicago: Montealegre, Norma, and Franz-Josef Rammig. “Agent-Based Modeling and Simulation
    of Artificial Immune Systems.” In <i>Third IEEE Workshop on Self-Organizing Real-Time
    Systems (SORT 2012)</i>. Shenzhen, China, 2012.
  ieee: N. Montealegre and F.-J. Rammig, “Agent-Based Modeling and Simulation of Artificial
    Immune Systems,” 2012.
  mla: Montealegre, Norma, and Franz-Josef Rammig. “Agent-Based Modeling and Simulation
    of Artificial Immune Systems.” <i>Third IEEE Workshop on Self-Organizing Real-Time
    Systems (SORT 2012)</i>, 2012.
  short: 'N. Montealegre, F.-J. Rammig, in: Third IEEE Workshop on Self-Organizing
    Real-Time Systems (SORT 2012), Shenzhen, China, 2012.'
date_created: 2021-10-11T09:49:33Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
place: Shenzhen, China
publication: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012)
status: public
title: Agent-Based Modeling and Simulation of Artificial Immune Systems
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26029'
author:
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
citation:
  ama: 'Rammig F-J. Self-Coordination as Fundamental Concept for Cyber Physical Systems.
    In: <i>2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012</i>. SBC;
    2012:45-48.'
  apa: Rammig, F.-J. (2012). Self-Coordination as Fundamental Concept for Cyber Physical
    Systems. <i>2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012</i>,
    45–48.
  bibtex: '@inproceedings{Rammig_2012, place={Ouro Preto, Brazil}, title={Self-Coordination
    as Fundamental Concept for Cyber Physical Systems}, booktitle={2nd SBC Workshop
    on Autonomic Distributed Systems - WoSiDA 2012}, publisher={SBC}, author={Rammig,
    Franz-Josef}, year={2012}, pages={45–48} }'
  chicago: 'Rammig, Franz-Josef. “Self-Coordination as Fundamental Concept for Cyber
    Physical Systems.” In <i>2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA
    2012</i>, 45–48. Ouro Preto, Brazil: SBC, 2012.'
  ieee: F.-J. Rammig, “Self-Coordination as Fundamental Concept for Cyber Physical
    Systems,” in <i>2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012</i>,
    2012, pp. 45–48.
  mla: Rammig, Franz-Josef. “Self-Coordination as Fundamental Concept for Cyber Physical
    Systems.” <i>2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012</i>,
    SBC, 2012, pp. 45–48.
  short: 'F.-J. Rammig, in: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA
    2012, SBC, Ouro Preto, Brazil, 2012, pp. 45–48.'
date_created: 2021-10-11T09:54:50Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
page: 45-48
place: Ouro Preto, Brazil
publication: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012
publisher: SBC
status: public
title: Self-Coordination as Fundamental Concept for Cyber Physical Systems
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26030'
author:
- first_name: Emi
  full_name: Mathews, Emi
  last_name: Mathews
citation:
  ama: 'Mathews E. Planarization of Geographic Cluster-based Overlay Graphs in Realistic
    Wireless Networks. In: <i>Ninth International Conference On Information Technology :
    New Generations (ITNG)</i>. IEEE Computer Society; 2012.'
  apa: 'Mathews, E. (2012). Planarization of Geographic Cluster-based Overlay Graphs
    in Realistic Wireless Networks. <i>Ninth International Conference On Information
    Technology : New Generations (ITNG)</i>.'
  bibtex: '@inproceedings{Mathews_2012, title={Planarization of Geographic Cluster-based
    Overlay Graphs in Realistic Wireless Networks}, booktitle={Ninth International
    Conference On Information Technology : New Generations (ITNG)}, publisher={IEEE
    Computer Society}, author={Mathews, Emi}, year={2012} }'
  chicago: 'Mathews, Emi. “Planarization of Geographic Cluster-Based Overlay Graphs
    in Realistic Wireless Networks.” In <i>Ninth International Conference On Information
    Technology : New Generations (ITNG)</i>. IEEE Computer Society, 2012.'
  ieee: E. Mathews, “Planarization of Geographic Cluster-based Overlay Graphs in Realistic
    Wireless Networks,” 2012.
  mla: 'Mathews, Emi. “Planarization of Geographic Cluster-Based Overlay Graphs in
    Realistic Wireless Networks.” <i>Ninth International Conference On Information
    Technology : New Generations (ITNG)</i>, IEEE Computer Society, 2012.'
  short: 'E. Mathews, in: Ninth International Conference On Information Technology :
    New Generations (ITNG), IEEE Computer Society, 2012.'
date_created: 2021-10-11T10:10:44Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
publication: 'Ninth International Conference On Information Technology : New Generations
  (ITNG)'
publisher: IEEE Computer Society
status: public
title: Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless
  Networks
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: '26032'
abstract:
- lang: eng
  text: 'Getting a contemporary aerial overview of a disaster area is a foremost task
    in search and rescue operations. We previously have introduced a novel method
    for registering a large amount of aerial images when camera parameters are almost
    unknown and no reference images are available. This paper provides two new methods,
    which improve our method for image registration based on virtual forces. The goal
    is to improve the performance of creating a contemporary overview map of a disaster
    area assembling several images taken by unmanned aerial vehicles (UAVs) equipped
    with cameras. In this paper, two new methods are introduced: a method for rotation
    estimation and a method for scale estimation. Both methods use fast heuristic
    approximation approaches and statistical methods to provide high robustness. We
    discuss the methods in detail and compare them to our previous approach regarding
    robustness and calculation speed. We can show that the new methods significantly
    increase the performance of the image registration process.'
author:
- first_name: Claudius
  full_name: Stern, Claudius
  last_name: Stern
- first_name: Christoph
  full_name: Rasche, Christoph
  last_name: Rasche
- first_name: Lisa
  full_name: Kleinjohann, Lisa
  id: '15588'
  last_name: Kleinjohann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Efficient Alignment of Aerial
    Images Based on Virtual Forces. In: <i>Proceedings of The Eighth International
    Conference on Autonomic and Autonomous Systems (ICAS)</i>. IEEE Xplore; 2012.'
  apa: Stern, C., Rasche, C., Kleinjohann, L., &#38; Kleinjohann, B. (2012). Efficient
    Alignment of Aerial Images Based on Virtual Forces. <i>Proceedings of The Eighth
    International Conference on Autonomic and Autonomous Systems (ICAS)</i>. 25. -
    30. Mrz. 2012 IARIA, IEEE Xplore.
  bibtex: '@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2012, place={St. Maarten,
    Netherlands Antilles}, title={Efficient Alignment of Aerial Images Based on Virtual
    Forces}, booktitle={Proceedings of The Eighth International Conference on Autonomic
    and Autonomous Systems (ICAS)}, publisher={IEEE Xplore}, author={Stern, Claudius
    and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2012}
    }'
  chicago: 'Stern, Claudius, Christoph Rasche, Lisa Kleinjohann, and Bernd Kleinjohann.
    “Efficient Alignment of Aerial Images Based on Virtual Forces.” In <i>Proceedings
    of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS)</i>.
    St. Maarten, Netherlands Antilles: IEEE Xplore, 2012.'
  ieee: C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Efficient Alignment
    of Aerial Images Based on Virtual Forces,” presented at the 25. - 30. Mrz. 2012
    IARIA, IEEE Xplore, 2012.
  mla: Stern, Claudius, et al. “Efficient Alignment of Aerial Images Based on Virtual
    Forces.” <i>Proceedings of The Eighth International Conference on Autonomic and
    Autonomous Systems (ICAS)</i>, IEEE Xplore, 2012.
  short: 'C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: Proceedings of
    The Eighth International Conference on Autonomic and Autonomous Systems (ICAS),
    IEEE Xplore, St. Maarten, Netherlands Antilles, 2012.'
conference:
  name: 25. - 30. Mrz. 2012 IARIA, IEEE Xplore
date_created: 2021-10-11T11:20:43Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
place: St. Maarten, Netherlands Antilles
publication: Proceedings of The Eighth International Conference on Autonomic and Autonomous
  Systems (ICAS)
publisher: IEEE Xplore
status: public
title: Efficient Alignment of Aerial Images Based on Virtual Forces
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26034'
abstract:
- lang: eng
  text: In this paper, a color based feature extraction and classification approach
    for image processing in embedded systems in presented. The algorithms and data
    structures developed for this approach pay particular attention to reduce memory
    consumption and computation power of the entire image processing, since embedded
    systems usually impose strong restrictions regarding those resources. The feature
    extraction is realized in terms of an image segmentation algorithm. The criteria
    of homogeneity for merging pixels and regions is provided by the color classification
    mechanism, which incorporates appropriate methods for defining, representing and
    accessing subspaces in the working color space. By doing so, pixels and regions
    with color values that belong to the same color class can be merged. Furthermore,
    pixels with redundant color values that do not belong to any pre-defined color
    class can be completely discarded in order to minimize computational effort. Subsequently,
    the extracted regions are converted to a more convenient feature representation
    in terms of statistical moments up to and including second order. For evaluation,
    the whole image processing approach is applied to a mobile representative of embedded
    systems within the scope of a simple real-world scenario.
author:
- first_name: Alexander
  full_name: Jungmann, Alexander
  last_name: Jungmann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
- first_name: Lisa
  full_name: Kleinjohann, Lisa
  id: '15588'
  last_name: Kleinjohann
- first_name: Maarten
  full_name: Bieshaar, Maarten
  last_name: Bieshaar
citation:
  ama: 'Jungmann A, Kleinjohann B, Kleinjohann L, Bieshaar M. Efficient Color-Based
    Image Segmentation and Feature Classification for Image Processing in Embedded
    Systems. In: <i>Proceedings of the 4th International Conference on Resource Intensive
    Applications and Services (INTENSIVE)</i>. Xpert Publishing Services; 2012.'
  apa: Jungmann, A., Kleinjohann, B., Kleinjohann, L., &#38; Bieshaar, M. (2012).
    Efficient Color-Based Image Segmentation and Feature Classification for Image
    Processing in Embedded Systems. <i>Proceedings of the 4th International Conference
    on Resource Intensive Applications and Services (INTENSIVE)</i>. 25. - 30. Mrz.
    2012 IARIA, Xpert Publishing Services.
  bibtex: '@inproceedings{Jungmann_Kleinjohann_Kleinjohann_Bieshaar_2012, title={Efficient
    Color-Based Image Segmentation and Feature Classification for Image Processing
    in Embedded Systems}, booktitle={Proceedings of the 4th International Conference
    on Resource Intensive Applications and Services (INTENSIVE)}, publisher={Xpert
    Publishing Services}, author={Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann,
    Lisa and Bieshaar, Maarten}, year={2012} }'
  chicago: Jungmann, Alexander, Bernd Kleinjohann, Lisa Kleinjohann, and Maarten Bieshaar.
    “Efficient Color-Based Image Segmentation and Feature Classification for Image
    Processing in Embedded Systems.” In <i>Proceedings of the 4th International Conference
    on Resource Intensive Applications and Services (INTENSIVE)</i>. Xpert Publishing
    Services, 2012.
  ieee: A. Jungmann, B. Kleinjohann, L. Kleinjohann, and M. Bieshaar, “Efficient Color-Based
    Image Segmentation and Feature Classification for Image Processing in Embedded
    Systems,” presented at the 25. - 30. Mrz. 2012 IARIA, Xpert Publishing Services,
    2012.
  mla: Jungmann, Alexander, et al. “Efficient Color-Based Image Segmentation and Feature
    Classification for Image Processing in Embedded Systems.” <i>Proceedings of the
    4th International Conference on Resource Intensive Applications and Services (INTENSIVE)</i>,
    Xpert Publishing Services, 2012.
  short: 'A. Jungmann, B. Kleinjohann, L. Kleinjohann, M. Bieshaar, in: Proceedings
    of the 4th International Conference on Resource Intensive Applications and Services
    (INTENSIVE), Xpert Publishing Services, 2012.'
conference:
  name: 25. - 30. Mrz. 2012 IARIA, Xpert Publishing Services
date_created: 2021-10-11T11:47:17Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of the 4th International Conference on Resource Intensive
  Applications and Services (INTENSIVE)
publisher: Xpert Publishing Services
status: public
title: Efficient Color-Based Image Segmentation and Feature Classification for Image
  Processing in Embedded Systems
type: conference
user_id: '21240'
year: '2012'
...
---
_id: '26035'
author:
- first_name: Stefan
  full_name: Grösbrink, Stefan
  last_name: Grösbrink
- first_name: Simon
  full_name: Oberthür, Simon
  id: '383'
  last_name: Oberthür
- first_name: Daniel
  full_name: Baldin, Daniel
  last_name: Baldin
citation:
  ama: 'Grösbrink S, Oberthür S, Baldin D. Dynamic Resource Management for Virtualized
    Mixed-Criticality Systems. In: <i>Quo Vadis, Virtual Platforms? (In Conjunction
    with Design, Automation and Test in Europe DATE 2012)</i>. ; 2012.'
  apa: Grösbrink, S., Oberthür, S., &#38; Baldin, D. (2012). Dynamic Resource Management
    for Virtualized Mixed-Criticality Systems. <i>Quo Vadis, Virtual Platforms? (In
    Conjunction with Design, Automation and Test in Europe DATE 2012)</i>.  12. -
    16. Mrz. 2012.
  bibtex: '@inproceedings{Grösbrink_Oberthür_Baldin_2012, title={Dynamic Resource
    Management for Virtualized Mixed-Criticality Systems}, booktitle={Quo Vadis, Virtual
    Platforms? (in conjunction with Design, Automation and Test in Europe DATE 2012)},
    author={Grösbrink, Stefan and Oberthür, Simon and Baldin, Daniel}, year={2012}
    }'
  chicago: Grösbrink, Stefan, Simon Oberthür, and Daniel Baldin. “Dynamic Resource
    Management for Virtualized Mixed-Criticality Systems.” In <i>Quo Vadis, Virtual
    Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012)</i>,
    2012.
  ieee: S. Grösbrink, S. Oberthür, and D. Baldin, “Dynamic Resource Management for
    Virtualized Mixed-Criticality Systems,” presented at the  12. - 16. Mrz. 2012,
    2012.
  mla: Grösbrink, Stefan, et al. “Dynamic Resource Management for Virtualized Mixed-Criticality
    Systems.” <i>Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation
    and Test in Europe DATE 2012)</i>, 2012.
  short: 'S. Grösbrink, S. Oberthür, D. Baldin, in: Quo Vadis, Virtual Platforms?
    (In Conjunction with Design, Automation and Test in Europe DATE 2012), 2012.'
conference:
  name: ' 12. - 16. Mrz. 2012'
date_created: 2021-10-11T11:53:51Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
publication: Quo Vadis, Virtual Platforms? (in conjunction with Design, Automation
  and Test in Europe DATE 2012)
status: public
title: Dynamic Resource Management for Virtualized Mixed-Criticality 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: '26037'
author:
- first_name: Francisco A. M.
  full_name: Nascimento, Francisco A. M.
  last_name: Nascimento
- first_name: Marcio F.
  full_name: Oliveira, Marcio F.
  last_name: Oliveira
- first_name: Flavio
  full_name: Wagner, Flavio
  last_name: Wagner
citation:
  ama: Nascimento FAM, Oliveira MF, Wagner F. A model-driven engineering framework
    for embedded systems design. <i>Innovations in Systems and Software Engineering
    8</i>. Published online 2012:19-33.
  apa: Nascimento, F. A. M., Oliveira, M. F., &#38; Wagner, F. (2012). A model-driven
    engineering framework for embedded systems design. <i>Innovations in Systems and
    Software Engineering 8</i>, 19–33.
  bibtex: '@article{Nascimento_Oliveira_Wagner_2012, title={A model-driven engineering
    framework for embedded systems design}, journal={Innovations in Systems and Software
    Engineering 8}, author={Nascimento, Francisco A. M. and Oliveira, Marcio F. and
    Wagner, Flavio}, year={2012}, pages={19–33} }'
  chicago: Nascimento, Francisco A. M., Marcio F. Oliveira, and Flavio Wagner. “A
    Model-Driven Engineering Framework for Embedded Systems Design.” <i>Innovations
    in Systems and Software Engineering 8</i>, 2012, 19–33.
  ieee: F. A. M. Nascimento, M. F. Oliveira, and F. Wagner, “A model-driven engineering
    framework for embedded systems design,” <i>Innovations in Systems and Software
    Engineering 8</i>, pp. 19–33, 2012.
  mla: Nascimento, Francisco A. M., et al. “A Model-Driven Engineering Framework for
    Embedded Systems Design.” <i>Innovations in Systems and Software Engineering 8</i>,
    2012, pp. 19–33.
  short: F.A.M. Nascimento, M.F. Oliveira, F. Wagner, Innovations in Systems and Software
    Engineering 8 (2012) 19–33.
date_created: 2021-10-11T12:01:25Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '672'
language:
- iso: eng
page: 19-33
publication: Innovations in Systems and Software Engineering 8
status: public
title: A model-driven engineering framework for embedded systems design
type: journal_article
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'
...
---
_id: '26080'
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
  full_name: Joy, M. tech. Mabel
  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. M, Xie T, Müller W. XEMU: A QEMU Based Binary
    Mutation Testing Framework. In: <i>Design, Automation and Test in Europe DATE</i>.
    ; 2012.'
  apa: 'Becker, M., Kuznik, C., Joy, M. tech. M., Xie, T., &#38; Müller, W. (2012).
    XEMU: A QEMU Based Binary Mutation Testing Framework. <i>Design, Automation and
    Test in Europe DATE</i>.'
  bibtex: '@inproceedings{Becker_Kuznik_Joy_Xie_Müller_2012, place={University Booth,
    Dresden}, title={XEMU: A QEMU Based Binary Mutation Testing Framework}, booktitle={Design,
    Automation and Test in Europe DATE}, author={Becker, Markus and Kuznik, Christoph
    and Joy, M. tech. Mabel and Xie, Tao and Müller, Wolfgang}, year={2012} }'
  chicago: 'Becker, Markus, Christoph Kuznik, M. tech. Mabel Joy, Tao Xie, and Wolfgang
    Müller. “XEMU: A QEMU Based Binary Mutation Testing Framework.” In <i>Design,
    Automation and Test in Europe DATE</i>. University Booth, Dresden, 2012.'
  ieee: 'M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, and W. Müller, “XEMU: A QEMU
    Based Binary Mutation Testing Framework,” 2012.'
  mla: 'Becker, Markus, et al. “XEMU: A QEMU Based Binary Mutation Testing Framework.”
    <i>Design, Automation and Test in Europe DATE</i>, 2012.'
  short: 'M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, W. Müller, in: Design, Automation
    and Test in Europe DATE, University Booth, Dresden, 2012.'
date_created: 2021-10-12T10:57:15Z
date_updated: 2022-01-06T06:57:16Z
department:
- _id: '672'
language:
- iso: eng
place: University Booth, Dresden
publication: Design, Automation and Test in Europe DATE
status: public
title: 'XEMU: A QEMU Based Binary Mutation Testing Framework'
type: conference
user_id: '21240'
year: '2012'
...