---
_id: '25175'
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: Katharina
  full_name: Stahl, Katharina
  last_name: Stahl
citation:
  ama: 'Grösbrink S, Oberthür S, Stahl K. System Software. In: <i>Design Methodology
    for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems
    of the Future, Kapitel: Methods for the Design and Development</i>. Springer-Verlag;
    2014:298-317.'
  apa: 'Grösbrink, S., Oberthür, S., &#38; Stahl, K. (2014). System Software. In <i>Design
    Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical
    Systems of the Future, Kapitel: Methods for the Design and Development</i> (pp.
    298–317). Springer-Verlag.'
  bibtex: '@inbook{Grösbrink_Oberthür_Stahl_2014, place={Heidelberg, Germany}, title={System
    Software}, booktitle={Design Methodology for Intelligent Technical Systems Systems
    – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the
    Design and Development}, publisher={Springer-Verlag}, author={Grösbrink, Stefan
    and Oberthür, Simon and Stahl, Katharina}, year={2014}, pages={298–317} }'
  chicago: 'Grösbrink, Stefan, Simon Oberthür, and Katharina Stahl. “System Software.”
    In <i>Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent
    Technical Systems of the Future, Kapitel: Methods for the Design and Development</i>,
    298–317. Heidelberg, Germany: Springer-Verlag, 2014.'
  ieee: 'S. Grösbrink, S. Oberthür, and K. Stahl, “System Software,” in <i>Design
    Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical
    Systems of the Future, Kapitel: Methods for the Design and Development</i>, Heidelberg,
    Germany: Springer-Verlag, 2014, pp. 298–317.'
  mla: 'Grösbrink, Stefan, et al. “System Software.” <i>Design Methodology for Intelligent
    Technical Systems Systems – Develop Intelligent Technical Systems of the Future,
    Kapitel: Methods for the Design and Development</i>, Springer-Verlag, 2014, pp.
    298–317.'
  short: 'S. Grösbrink, S. Oberthür, K. Stahl, in: Design Methodology for Intelligent
    Technical Systems Systems – Develop Intelligent Technical Systems of the Future,
    Kapitel: Methods for the Design and Development, Springer-Verlag, Heidelberg,
    Germany, 2014, pp. 298–317.'
date_created: 2021-09-30T12:30:46Z
date_updated: 2022-01-06T06:56:54Z
department:
- _id: '672'
language:
- iso: eng
page: 298-317
place: Heidelberg, Germany
publication: 'Design Methodology for Intelligent Technical Systems Systems – Develop
  Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and
  Development'
publisher: Springer-Verlag
status: public
title: System Software
type: book_chapter
user_id: '21240'
year: '2014'
...
---
_id: '25176'
author:
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
- first_name: Sebastian
  full_name: Korf, Sebastian
  last_name: Korf
- first_name: Mario
  full_name: Porrmann, Mario
  last_name: Porrmann
- first_name: Katharina
  full_name: Stahl, Katharina
  last_name: Stahl
- first_name: Oliver
  full_name: Sudmann, Oliver
  last_name: Sudmann
- first_name: Mareen
  full_name: Vaßholz, Mareen
  last_name: Vaßholz
citation:
  ama: 'Gausemeier J, Korf S, Porrmann M, Stahl K, Sudmann O, Vaßholz M. Development
    of Self-Optimizing Systems. In: <i>Design Methodology for Intelligent Technical
    Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel:
    3</i>. Springer-Verlag ; 2014:65-117.'
  apa: 'Gausemeier, J., Korf, S., Porrmann, M., Stahl, K., Sudmann, O., &#38; Vaßholz,
    M. (2014). Development of Self-Optimizing Systems. In <i>Design Methodology for
    Intelligent Technical Systems Systems – Develop Intelligent Technical Systems
    of the Future, Kapitel: 3</i> (pp. 65–117). Springer-Verlag .'
  bibtex: '@inbook{Gausemeier_Korf_Porrmann_Stahl_Sudmann_Vaßholz_2014, place={Heidelberg,
    Germany}, title={Development of Self-Optimizing Systems}, booktitle={Design Methodology
    for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems
    of the Future, Kapitel: 3}, publisher={Springer-Verlag }, author={Gausemeier,
    Jürgen and Korf, Sebastian and Porrmann, Mario and Stahl, Katharina and Sudmann,
    Oliver and Vaßholz, Mareen}, year={2014}, pages={65–117} }'
  chicago: 'Gausemeier, Jürgen, Sebastian Korf, Mario Porrmann, Katharina Stahl, Oliver
    Sudmann, and Mareen Vaßholz. “Development of Self-Optimizing Systems.” In <i>Design
    Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical
    Systems of the Future, Kapitel: 3</i>, 65–117. Heidelberg, Germany: Springer-Verlag
    , 2014.'
  ieee: 'J. Gausemeier, S. Korf, M. Porrmann, K. Stahl, O. Sudmann, and M. Vaßholz,
    “Development of Self-Optimizing Systems,” in <i>Design Methodology for Intelligent
    Technical Systems Systems – Develop Intelligent Technical Systems of the Future,
    Kapitel: 3</i>, Heidelberg, Germany: Springer-Verlag , 2014, pp. 65–117.'
  mla: 'Gausemeier, Jürgen, et al. “Development of Self-Optimizing Systems.” <i>Design
    Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical
    Systems of the Future, Kapitel: 3</i>, Springer-Verlag , 2014, pp. 65–117.'
  short: 'J. Gausemeier, S. Korf, M. Porrmann, K. Stahl, O. Sudmann, M. Vaßholz, in:
    Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent
    Technical Systems of the Future, Kapitel: 3, Springer-Verlag , Heidelberg, Germany,
    2014, pp. 65–117.'
date_created: 2021-09-30T12:37:51Z
date_updated: 2022-01-06T06:56:54Z
department:
- _id: '672'
language:
- iso: eng
page: 65-117
place: Heidelberg, Germany
publication: 'Design Methodology for Intelligent Technical Systems Systems – Develop
  Intelligent Technical Systems of the Future, Kapitel: 3'
publisher: 'Springer-Verlag '
status: public
title: Development of Self-Optimizing Systems
type: book_chapter
user_id: '21240'
year: '2014'
...
---
_id: '25177'
author:
- 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: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
- first_name: Lisa
  full_name: Kleinjohann, Lisa
  id: '15588'
  last_name: Kleinjohann
- first_name: Martin
  full_name: Krüger, Martin
  last_name: Krüger
- first_name: Sina
  full_name: Ober-Blöbaum, Sina
  id: '16494'
  last_name: Ober-Blöbaum
- first_name: Claudia
  full_name: Priesterjahn, Claudia
  last_name: Priesterjahn
- first_name: Christoph
  full_name: Rasche, Christoph
  last_name: Rasche
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
- first_name: Dominik
  full_name: Steenken, Dominik
  last_name: Steenken
- first_name: Ansgar
  full_name: Trächtler, Ansgar
  id: '552'
  last_name: Trächtler
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
- first_name: Steffen
  full_name: Ziegert, Steffen
  last_name: Ziegert
citation:
  ama: 'Flaßkamp K, Grösbrink S, Hartmann P, et al. Development of the RailCab Vehicle.
    In: <i>Dependability of Self-Optimizing Mechatronic Systems</i>. Springer-Verlag
    ; 2014:184-190.'
  apa: Flaßkamp, K., Grösbrink, S., Hartmann, P., Heinzemann, C., Kleinjohann, B.,
    Kleinjohann, L., Krüger, M., Ober-Blöbaum, S., Priesterjahn, C., Rasche, C., Schäfer,
    W., Steenken, D., Trächtler, A., Wehrheim, H., &#38; Ziegert, S. (2014). Development
    of the RailCab Vehicle. In <i>Dependability of Self-Optimizing Mechatronic Systems</i>
    (pp. 184–190). Springer-Verlag .
  bibtex: '@inbook{Flaßkamp_Grösbrink_Hartmann_Heinzemann_Kleinjohann_Kleinjohann_Krüger_Ober-Blöbaum_Priesterjahn_Rasche_et
    al._2014, place={Heidelberg, Germany}, title={Development of the RailCab Vehicle},
    booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer-Verlag
    }, author={Flaßkamp, Kathrin and Grösbrink, Stefan and Hartmann, Philip and Heinzemann,
    Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Krüger, Martin and
    Ober-Blöbaum, Sina and Priesterjahn, Claudia and Rasche, Christoph and et al.},
    year={2014}, pages={184–190} }'
  chicago: 'Flaßkamp, Kathrin, Stefan Grösbrink, Philip Hartmann, Christian Heinzemann,
    Bernd Kleinjohann, Lisa Kleinjohann, Martin Krüger, et al. “Development of the
    RailCab Vehicle.” In <i>Dependability of Self-Optimizing Mechatronic Systems</i>,
    184–90. Heidelberg, Germany: Springer-Verlag , 2014.'
  ieee: 'K. Flaßkamp <i>et al.</i>, “Development of the RailCab Vehicle,” in <i>Dependability
    of Self-Optimizing Mechatronic Systems</i>, Heidelberg, Germany: Springer-Verlag
    , 2014, pp. 184–190.'
  mla: Flaßkamp, Kathrin, et al. “Development of the RailCab Vehicle.” <i>Dependability
    of Self-Optimizing Mechatronic Systems</i>, Springer-Verlag , 2014, pp. 184–90.
  short: 'K. Flaßkamp, S. Grösbrink, P. Hartmann, C. Heinzemann, B. Kleinjohann, L.
    Kleinjohann, M. Krüger, S. Ober-Blöbaum, C. Priesterjahn, C. Rasche, W. Schäfer,
    D. Steenken, A. Trächtler, H. Wehrheim, S. Ziegert, in: Dependability of Self-Optimizing
    Mechatronic Systems, Springer-Verlag , Heidelberg, Germany, 2014, pp. 184–190.'
date_created: 2021-09-30T12:44:57Z
date_updated: 2022-01-06T06:56:54Z
department:
- _id: '672'
language:
- iso: eng
page: 184-190
place: Heidelberg, Germany
publication: Dependability of Self-Optimizing Mechatronic Systems
publisher: 'Springer-Verlag '
status: public
title: Development of the RailCab Vehicle
type: book_chapter
user_id: '21240'
year: '2014'
...
---
_id: '25179'
author:
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
- first_name: Yuhong
  full_name: Zhao, Yuhong
  last_name: Zhao
citation:
  ama: 'Rammig F-J, Zhao Y. Online Model Checking. In: <i>Dependability of Self-Optimizing
    Mechatronic Systems</i>. Springer-Verlag; 2014:147-152.'
  apa: Rammig, F.-J., &#38; Zhao, Y. (2014). Online Model Checking. In <i>Dependability
    of Self-Optimizing Mechatronic Systems</i> (pp. 147–152). Springer-Verlag.
  bibtex: '@inbook{Rammig_Zhao_2014, place={ Heidelberg, Germany}, title={Online Model
    Checking}, booktitle={Dependability of Self-Optimizing Mechatronic Systems}, publisher={Springer-Verlag},
    author={Rammig, Franz-Josef and Zhao, Yuhong}, year={2014}, pages={147–152} }'
  chicago: 'Rammig, Franz-Josef, and Yuhong Zhao. “Online Model Checking.” In <i>Dependability
    of Self-Optimizing Mechatronic Systems</i>, 147–52.  Heidelberg, Germany: Springer-Verlag,
    2014.'
  ieee: 'F.-J. Rammig and Y. Zhao, “Online Model Checking,” in <i>Dependability of
    Self-Optimizing Mechatronic Systems</i>,  Heidelberg, Germany: Springer-Verlag,
    2014, pp. 147–152.'
  mla: Rammig, Franz-Josef, and Yuhong Zhao. “Online Model Checking.” <i>Dependability
    of Self-Optimizing Mechatronic Systems</i>, Springer-Verlag, 2014, pp. 147–52.
  short: 'F.-J. Rammig, Y. Zhao, in: Dependability of Self-Optimizing Mechatronic
    Systems, Springer-Verlag,  Heidelberg, Germany, 2014, pp. 147–152.'
date_created: 2021-09-30T13:07:12Z
date_updated: 2022-01-06T06:56:54Z
department:
- _id: '672'
language:
- iso: eng
page: 147-152
place: ' Heidelberg, Germany'
publication: Dependability of Self-Optimizing Mechatronic Systems
publisher: Springer-Verlag
status: public
title: Online Model Checking
type: book_chapter
user_id: '21240'
year: '2014'
...
---
_id: '25180'
author:
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
citation:
  ama: Gausemeier J, Rammig F-J, Schäfer W. <i>Design Methodology for Intelligent
    Technical Systems - Develop Intelligent Technical Systems of the Future</i>. Springer-Verlag;
    2014.
  apa: Gausemeier, J., Rammig, F.-J., &#38; Schäfer, W. (2014). <i>Design Methodology
    for Intelligent Technical Systems - Develop Intelligent Technical Systems of the
    Future</i>. Springer-Verlag.
  bibtex: '@book{Gausemeier_Rammig_Schäfer_2014, place={Heidelberg, Germany}, title={Design
    Methodology for Intelligent Technical Systems - Develop Intelligent Technical
    Systems of the Future}, publisher={Springer-Verlag}, author={Gausemeier, Jürgen
    and Rammig, Franz-Josef and Schäfer, Wilhelm}, year={2014} }'
  chicago: 'Gausemeier, Jürgen, Franz-Josef Rammig, and Wilhelm Schäfer. <i>Design
    Methodology for Intelligent Technical Systems - Develop Intelligent Technical
    Systems of the Future</i>. Heidelberg, Germany: Springer-Verlag, 2014.'
  ieee: 'J. Gausemeier, F.-J. Rammig, and W. Schäfer, <i>Design Methodology for Intelligent
    Technical Systems - Develop Intelligent Technical Systems of the Future</i>. Heidelberg,
    Germany: Springer-Verlag, 2014.'
  mla: Gausemeier, Jürgen, et al. <i>Design Methodology for Intelligent Technical
    Systems - Develop Intelligent Technical Systems of the Future</i>. Springer-Verlag,
    2014.
  short: J. Gausemeier, F.-J. Rammig, W. Schäfer, Design Methodology for Intelligent
    Technical Systems - Develop Intelligent Technical Systems of the Future, Springer-Verlag,
    Heidelberg, Germany, 2014.
date_created: 2021-09-30T13:09:30Z
date_updated: 2022-01-06T06:56:54Z
department:
- _id: '672'
language:
- iso: eng
place: Heidelberg, Germany
publisher: Springer-Verlag
status: public
title: Design Methodology for Intelligent Technical Systems - Develop Intelligent
  Technical Systems of the Future
type: book
user_id: '21240'
year: '2014'
...
---
_id: '25164'
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Joachim
  full_name: Stroop, Joachim
  last_name: Stroop
- first_name: Ulrich
  full_name: Kiffmeier, Ulrich
  last_name: Kiffmeier
citation:
  ama: Becker M, Müller W, Stroop J, Kiffmeier U. HeroeS - A Framework for Heterogeneous
    Software-Intensive System Design with SystemC. <i>Design, Automation and Test
    in Europe DATE, University Booth, Dresden</i>. Published online 2014.
  apa: Becker, M., Müller, W., Stroop, J., &#38; Kiffmeier, U. (2014). HeroeS - A
    Framework for Heterogeneous Software-Intensive System Design with SystemC. <i>Design,
    Automation and Test in Europe DATE, University Booth, Dresden</i>.
  bibtex: '@article{Becker_Müller_Stroop_Kiffmeier_2014, title={HeroeS - A Framework
    for Heterogeneous Software-Intensive System Design with SystemC}, journal={Design,
    Automation and Test in Europe DATE, University Booth, Dresden}, author={Becker,
    Markus and Müller, Wolfgang and Stroop, Joachim and Kiffmeier, Ulrich}, year={2014}
    }'
  chicago: Becker, Markus, Wolfgang Müller, Joachim Stroop, and Ulrich Kiffmeier.
    “HeroeS - A Framework for Heterogeneous Software-Intensive System Design with
    SystemC.” <i>Design, Automation and Test in Europe DATE, University Booth, Dresden</i>,
    2014.
  ieee: M. Becker, W. Müller, J. Stroop, and U. Kiffmeier, “HeroeS - A Framework for
    Heterogeneous Software-Intensive System Design with SystemC,” <i>Design, Automation
    and Test in Europe DATE, University Booth, Dresden</i>, 2014.
  mla: Becker, Markus, et al. “HeroeS - A Framework for Heterogeneous Software-Intensive
    System Design with SystemC.” <i>Design, Automation and Test in Europe DATE, University
    Booth, Dresden</i>, 2014.
  short: M. Becker, W. Müller, J. Stroop, U. Kiffmeier, Design, Automation and Test
    in Europe DATE, University Booth, Dresden (2014).
date_created: 2021-09-30T10:17:43Z
date_updated: 2024-04-18T21:06:21Z
department:
- _id: '672'
language:
- iso: eng
publication: Design, Automation and Test in Europe DATE, University Booth, Dresden
status: public
title: HeroeS - A Framework for Heterogeneous Software-Intensive System Design with
  SystemC
type: journal_article
user_id: '16243'
year: '2014'
...
---
_id: '25117'
author:
- first_name: Bastian
  full_name: Koppelmann, Bastian
  id: '25260'
  last_name: Koppelmann
- first_name: Bernd
  full_name: Messidat, Bernd
  last_name: Messidat
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- 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: J. Christoph
  full_name: Scheytt, J. Christoph
  id: '37144'
  last_name: Scheytt
  orcid: https://orcid.org/0000-0002-5950-6618
citation:
  ama: Koppelmann B, Messidat B, Becker M, Kuznik C, Müller W, Scheytt JC. Fast and
    Open Virtual Platforms for TriCore-based SoCs Using QEMU. <i>Design and Verification
    Conference (DVCON EUROPE)</i>. Published online 2014.
  apa: Koppelmann, B., Messidat, B., Becker, M., Kuznik, C., Müller, W., &#38; Scheytt,
    J. C. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU.
    <i>Design and Verification Conference (DVCON EUROPE)</i>.
  bibtex: '@article{Koppelmann_Messidat_Becker_Kuznik_Müller_Scheytt_2014, title={Fast
    and Open Virtual Platforms for TriCore-based SoCs Using QEMU}, journal={Design
    and Verification Conference (DVCON EUROPE)}, author={Koppelmann, Bastian and Messidat,
    Bernd and Becker, Markus and Kuznik, Christoph and Müller, Wolfgang and Scheytt,
    J. Christoph}, year={2014} }'
  chicago: Koppelmann, Bastian, Bernd Messidat, Markus Becker, Christoph Kuznik, Wolfgang
    Müller, and J. Christoph Scheytt. “Fast and Open Virtual Platforms for TriCore-Based
    SoCs Using QEMU.” <i>Design and Verification Conference (DVCON EUROPE)</i>, 2014.
  ieee: B. Koppelmann, B. Messidat, M. Becker, C. Kuznik, W. Müller, and J. C. Scheytt,
    “Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU,” <i>Design
    and Verification Conference (DVCON EUROPE)</i>, 2014.
  mla: Koppelmann, Bastian, et al. “Fast and Open Virtual Platforms for TriCore-Based
    SoCs Using QEMU.” <i>Design and Verification Conference (DVCON EUROPE)</i>, 2014.
  short: B. Koppelmann, B. Messidat, M. Becker, C. Kuznik, W. Müller, J.C. Scheytt,
    Design and Verification Conference (DVCON EUROPE) (2014).
date_created: 2021-09-29T10:47:35Z
date_updated: 2025-02-26T14:44:48Z
department:
- _id: '672'
language:
- iso: eng
publication: Design and Verification Conference (DVCON EUROPE)
status: public
title: Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU
type: journal_article
user_id: '5786'
year: '2014'
...
---
_id: '25162'
author:
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Kuznik C, Müller W. Verific-MM: Systematized Verification Metrics Generation
    with UCIS for Improved Automation on Verification Closure. <i>Design, Automation
    and Test in Europe DATE, University Booth, Dresden </i>. Published online 2014.'
  apa: 'Kuznik, C., &#38; Müller, W. (2014). Verific-MM: Systematized Verification
    Metrics Generation with UCIS for Improved Automation on Verification Closure.
    <i>Design, Automation and Test in Europe DATE, University Booth, Dresden </i>.'
  bibtex: '@article{Kuznik_Müller_2014, title={Verific-MM: Systematized Verification
    Metrics Generation with UCIS for Improved Automation on Verification Closure},
    journal={Design, Automation and Test in Europe DATE, University Booth, Dresden
    }, author={Kuznik, Christoph and Müller, Wolfgang}, year={2014} }'
  chicago: 'Kuznik, Christoph, and Wolfgang Müller. “Verific-MM: Systematized Verification
    Metrics Generation with UCIS for Improved Automation on Verification Closure.”
    <i>Design, Automation and Test in Europe DATE, University Booth, Dresden </i>,
    2014.'
  ieee: 'C. Kuznik and W. Müller, “Verific-MM: Systematized Verification Metrics Generation
    with UCIS for Improved Automation on Verification Closure,” <i>Design, Automation
    and Test in Europe DATE, University Booth, Dresden </i>, 2014.'
  mla: 'Kuznik, Christoph, and Wolfgang Müller. “Verific-MM: Systematized Verification
    Metrics Generation with UCIS for Improved Automation on Verification Closure.”
    <i>Design, Automation and Test in Europe DATE, University Booth, Dresden </i>,
    2014.'
  short: C. Kuznik, W. Müller, Design, Automation and Test in Europe DATE, University
    Booth, Dresden  (2014).
date_created: 2021-09-30T10:05:28Z
date_updated: 2025-02-26T14:45:04Z
department:
- _id: '672'
language:
- iso: eng
publication: 'Design, Automation and Test in Europe DATE, University Booth, Dresden '
status: public
title: 'Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved
  Automation on Verification Closure'
type: journal_article
user_id: '5786'
year: '2014'
...
---
_id: '25169'
author:
- first_name: Jan-Hendrik
  full_name: Oetjens, Jan-Hendrik
  last_name: Oetjens
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Oetjens J-H, Becker M, Kuznik C, Müller W. Safety Evaluation of Automotive
    Electronics Using Virtual Prototypes: State of the Art and Research Challenges.
    In: <i>Design Automation Conference (DAC)</i>. ; 2014.'
  apa: 'Oetjens, J.-H., Becker, M., Kuznik, C., &#38; Müller, W. (2014). Safety Evaluation
    of Automotive Electronics Using Virtual Prototypes: State of the Art and Research
    Challenges. <i>Design Automation Conference (DAC)</i>.'
  bibtex: '@inproceedings{Oetjens_Becker_Kuznik_Müller_2014, title={Safety Evaluation
    of Automotive Electronics Using Virtual Prototypes: State of the Art and Research
    Challenges}, booktitle={Design Automation Conference (DAC)}, author={Oetjens,
    Jan-Hendrik and Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014}
    }'
  chicago: 'Oetjens, Jan-Hendrik, Markus Becker, Christoph Kuznik, and Wolfgang Müller.
    “Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of
    the Art and Research Challenges.” In <i>Design Automation Conference (DAC)</i>,
    2014.'
  ieee: 'J.-H. Oetjens, M. Becker, C. Kuznik, and W. Müller, “Safety Evaluation of
    Automotive Electronics Using Virtual Prototypes: State of the Art and Research
    Challenges,” 2014.'
  mla: 'Oetjens, Jan-Hendrik, et al. “Safety Evaluation of Automotive Electronics
    Using Virtual Prototypes: State of the Art and Research Challenges.” <i>Design
    Automation Conference (DAC)</i>, 2014.'
  short: 'J.-H. Oetjens, M. Becker, C. Kuznik, W. Müller, in: Design Automation Conference
    (DAC), 2014.'
date_created: 2021-09-30T11:01:14Z
date_updated: 2025-02-26T14:45:29Z
department:
- _id: '672'
language:
- iso: eng
publication: Design Automation Conference (DAC)
status: public
title: 'Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State
  of the Art and Research Challenges'
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '25269'
author:
- first_name: Yara
  full_name: Khaluf, Yara
  last_name: Khaluf
- first_name: Mauro
  full_name: Birattari, Mauro
  last_name: Birattari
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
citation:
  ama: 'Khaluf Y, Birattari M, Rammig F-J. Probabilistic Analysis of Long-term Swarm
    Performance under Spatial Interferences. In: <i>Theory and Practice of Natural
    Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of
    Natural Computing, TPNC 2013</i>. Vol 8273. Theory and Practice of Natural Computing,
    Nr. 8273. Springer; 2013.'
  apa: Khaluf, Y., Birattari, M., &#38; Rammig, F.-J. (2013). Probabilistic Analysis
    of Long-term Swarm Performance under Spatial Interferences. <i>Theory and Practice
    of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and
    Practice of Natural Computing, TPNC 2013</i>, <i>8273</i>.
  bibtex: '@inproceedings{Khaluf_Birattari_Rammig_2013, series={Theory and Practice
    of Natural Computing, Nr. 8273}, title={Probabilistic Analysis of Long-term Swarm
    Performance under Spatial Interferences}, volume={8273}, booktitle={Theory and
    Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory
    and Practice of Natural Computing, TPNC 2013}, publisher={Springer}, author={Khaluf,
    Yara and Birattari, Mauro and Rammig, Franz-Josef}, year={2013}, collection={Theory
    and Practice of Natural Computing, Nr. 8273} }'
  chicago: Khaluf, Yara, Mauro Birattari, and Franz-Josef Rammig. “Probabilistic Analysis
    of Long-Term Swarm Performance under Spatial Interferences.” In <i>Theory and
    Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory
    and Practice of Natural Computing, TPNC 2013</i>, Vol. 8273. Theory and Practice
    of Natural Computing, Nr. 8273. Springer, 2013.
  ieee: Y. Khaluf, M. Birattari, and F.-J. Rammig, “Probabilistic Analysis of Long-term
    Swarm Performance under Spatial Interferences,” in <i>Theory and Practice of Natural
    Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of
    Natural Computing, TPNC 2013</i>, Cáceres, Spain, 3. - 5. Dez. 2013, 2013, vol.
    8273.
  mla: Khaluf, Yara, et al. “Probabilistic Analysis of Long-Term Swarm Performance
    under Spatial Interferences.” <i>Theory and Practice of Natural Computing, Nr.
    8273, 2nd International Conference on the Theory and Practice of Natural Computing,
    TPNC 2013</i>, vol. 8273, Springer, 2013.
  short: 'Y. Khaluf, M. Birattari, F.-J. Rammig, in: Theory and Practice of Natural
    Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of
    Natural Computing, TPNC 2013, Springer, 2013.'
conference:
  location: Cáceres, Spain, 3. - 5. Dez. 2013
date_created: 2021-10-04T08:13:03Z
date_updated: 2022-01-06T06:56:57Z
department:
- _id: '672'
intvolume: '      8273'
language:
- iso: eng
publication: Theory and Practice of Natural Computing, Nr. 8273, 2nd International
  Conference on the Theory and Practice of Natural Computing, TPNC 2013
publisher: Springer
series_title: Theory and Practice of Natural Computing, Nr. 8273
status: public
title: Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences
type: conference
user_id: '21240'
volume: 8273
year: '2013'
...
---
_id: '25270'
author:
- first_name: M. tech. Mabel Mary
  full_name: Joy, M. tech. Mabel Mary
  last_name: Joy
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
citation:
  ama: 'Joy M tech. MM, Müller W, Rammig F-J. Early Phase Memory Leak Detection in
    Embedded Software Designs with Virtual Memory Management Model. In: <i>Proceedings
    of AVICPS 2013, Dez. 2013 IEEE Computer Society,</i>. Linköping University Electronic
    Press; 2013.'
  apa: Joy, M. tech. M. M., Müller, W., &#38; Rammig, F.-J. (2013). Early Phase Memory
    Leak Detection in Embedded Software Designs with Virtual Memory Management Model.
    <i>Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,</i>.
  bibtex: '@inproceedings{Joy_Müller_Rammig_2013, title={Early Phase Memory Leak Detection
    in Embedded Software Designs with Virtual Memory Management Model}, booktitle={Proceedings
    of AVICPS 2013, Dez. 2013 IEEE Computer Society,}, publisher={Linköping University
    Electronic Press}, author={Joy, M. tech. Mabel Mary and Müller, Wolfgang and Rammig,
    Franz-Josef}, year={2013} }'
  chicago: Joy, M. tech. Mabel Mary, Wolfgang Müller, and Franz-Josef Rammig. “Early
    Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management
    Model.” In <i>Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,</i>.
    Linköping University Electronic Press, 2013.
  ieee: M. tech. M. M. Joy, W. Müller, and F.-J. Rammig, “Early Phase Memory Leak
    Detection in Embedded Software Designs with Virtual Memory Management Model,”
    2013.
  mla: Joy, M. tech. Mabel Mary, et al. “Early Phase Memory Leak Detection in Embedded
    Software Designs with Virtual Memory Management Model.” <i>Proceedings of AVICPS
    2013, Dez. 2013 IEEE Computer Society,</i> Linköping University Electronic Press,
    2013.
  short: 'M. tech. M.M. Joy, W. Müller, F.-J. Rammig, in: Proceedings of AVICPS 2013,
    Dez. 2013 IEEE Computer Society, Linköping University Electronic Press, 2013.'
date_created: 2021-10-04T08:25:24Z
date_updated: 2022-01-06T06:56:58Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,
publisher: Linköping University Electronic Press
status: public
title: Early Phase Memory Leak Detection in Embedded Software Designs with Virtual
  Memory Management Model
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25271'
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: <i>Proceedings of 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. <i>Proceedings of International Conference
    on Applied Computing (AC)</i>.
  bibtex: '@inproceedings{He_Müller_2013, title={AN ENERGY-EFFICIENT HEURISTIC FOR
    HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS}, booktitle={Proceedings of International
    Conference on Applied Computing (AC)}, author={He, Da and Müller, Wolfgang}, 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 International Conference
    on Applied Computing (AC)</i>, 2013.
  ieee: D. He and W. Müller, “AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM
    ON MULTI-CORE PROCESSORS,” 2013.
  mla: He, Da, and Wolfgang Müller. “AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL-
    TIME SYSTEM ON MULTI-CORE PROCESSORS.” <i>Proceedings of International Conference
    on Applied Computing (AC)</i>, 2013.
  short: 'D. He, W. Müller, in: Proceedings of International Conference on Applied
    Computing (AC), 2013.'
date_created: 2021-10-04T08:30:39Z
date_updated: 2022-01-06T06:56:58Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of International Conference on Applied Computing (AC)
status: public
title: AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25273'
abstract:
- lang: eng
  text: Automation and control systems include many “intelligent” automation devices,
    which are usually implemented as complex embedded systems. New methods and tools
    are demanded to cope with the increasing design complexity, while keeping the
    project on schedule. Proper handling of nonfunctional system requirements is a
    key factor during the design of industrial automation systems, since in some application
    domains they are as important as (sometimes, more important than) functional requirements.
    This paper presents a model-driven engineering approach, which combines Unified
    Modeling Language (UML) and aspect-oriented software development (AOSD) to design
    real-time and embedded automation systems. The proposed approach allows a smooth
    transition from the initial phases to implementation by using software tools,
    comprising the system specification and the automatic generation of source code.
    By combining UML with model-level aspects and a script-base code generation tool,
    it enables the use of AOSD during system design and implementation, even though
    the target platform does not natively support such concepts. Experimental results
    on using this approach to design real-world examples of automation systems are
    presented. The results indicate a positive impact on the design of automation
    systems. The encapsulation of nonfunctional requirements was improved, increasing
    the reuse of developed artifacts. Generated source code statistics indicate that
    the proposed approach can generated a fair amount of code per model element.
author:
- first_name: Marco A.
  full_name: Wehrmeister, Marco A.
  last_name: Wehrmeister
- first_name: Carlos E.
  full_name: Pereira, Carlos E.
  last_name: Pereira
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
citation:
  ama: 'Wehrmeister MA, Pereira CE, Rammig F-J. Aspect-Oriented Model-Driven Engineering
    for Embedded Systems Applied to Automation Systems. In: <i> IEEE Trans. on Industrial
    Informatics Vol. 9 (No. 4)</i>. ; 2013:2373-2386.'
  apa: Wehrmeister, M. A., Pereira, C. E., &#38; Rammig, F.-J. (2013). Aspect-Oriented
    Model-Driven Engineering for Embedded Systems Applied to Automation Systems. <i>
    IEEE Trans. on Industrial Informatics Vol. 9 (No. 4)</i>, 2373–2386.
  bibtex: '@inproceedings{Wehrmeister_Pereira_Rammig_2013, title={Aspect-Oriented
    Model-Driven Engineering for Embedded Systems Applied to Automation Systems},
    booktitle={ IEEE Trans. on Industrial Informatics vol. 9 (no. 4)}, author={Wehrmeister,
    Marco A. and Pereira, Carlos E. and Rammig, Franz-Josef}, year={2013}, pages={2373–2386}
    }'
  chicago: Wehrmeister, Marco A., Carlos E. Pereira, and Franz-Josef Rammig. “Aspect-Oriented
    Model-Driven Engineering for Embedded Systems Applied to Automation Systems.”
    In <i> IEEE Trans. on Industrial Informatics Vol. 9 (No. 4)</i>, 2373–86, 2013.
  ieee: M. A. Wehrmeister, C. E. Pereira, and F.-J. Rammig, “Aspect-Oriented Model-Driven
    Engineering for Embedded Systems Applied to Automation Systems,” in <i> IEEE Trans.
    on Industrial Informatics vol. 9 (no. 4)</i>, 2013, pp. 2373–2386.
  mla: Wehrmeister, Marco A., et al. “Aspect-Oriented Model-Driven Engineering for
    Embedded Systems Applied to Automation Systems.” <i> IEEE Trans. on Industrial
    Informatics Vol. 9 (No. 4)</i>, 2013, pp. 2373–86.
  short: 'M.A. Wehrmeister, C.E. Pereira, F.-J. Rammig, in:  IEEE Trans. on Industrial
    Informatics Vol. 9 (No. 4), 2013, pp. 2373–2386.'
date_created: 2021-10-04T08:40:10Z
date_updated: 2022-01-06T06:56:58Z
department:
- _id: '672'
language:
- iso: eng
page: 2373-2386
publication: ' IEEE Trans. on Industrial Informatics vol. 9 (no. 4)'
status: public
title: Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation
  Systems
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25274'
author:
- first_name: Yara
  full_name: Khaluf, Yara
  last_name: Khaluf
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
citation:
  ama: 'Khaluf Y, Rammig F-J. Task Allocation Strategy for Time-Constrained Tasks
    in Robots Swarms. In: <i>ECAL 2013, 12th European Conference on Artificial Life</i>.
    ; 2013.'
  apa: Khaluf, Y., &#38; Rammig, F.-J. (2013). Task Allocation Strategy for Time-Constrained
    Tasks in Robots Swarms. <i>ECAL 2013, 12th European Conference on Artificial Life</i>.
  bibtex: '@inproceedings{Khaluf_Rammig_2013, title={Task Allocation Strategy for
    Time-Constrained Tasks in Robots Swarms}, booktitle={ECAL 2013, 12th European
    Conference on Artificial Life}, author={Khaluf, Yara and Rammig, Franz-Josef},
    year={2013} }'
  chicago: Khaluf, Yara, and Franz-Josef Rammig. “Task Allocation Strategy for Time-Constrained
    Tasks in Robots Swarms.” In <i>ECAL 2013, 12th European Conference on Artificial
    Life</i>, 2013.
  ieee: Y. Khaluf and F.-J. Rammig, “Task Allocation Strategy for Time-Constrained
    Tasks in Robots Swarms,”  2. - 6. Sep. 2013, 2013.
  mla: Khaluf, Yara, and Franz-Josef Rammig. “Task Allocation Strategy for Time-Constrained
    Tasks in Robots Swarms.” <i>ECAL 2013, 12th European Conference on Artificial
    Life</i>, 2013.
  short: 'Y. Khaluf, F.-J. Rammig, in: ECAL 2013, 12th European Conference on Artificial
    Life, 2013.'
conference:
  location: ' 2. - 6. Sep. 2013'
date_created: 2021-10-04T08:44:58Z
date_updated: 2022-01-06T06:56:58Z
department:
- _id: '672'
language:
- iso: eng
publication: ECAL 2013, 12th European Conference on Artificial Life
status: public
title: Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25277'
abstract:
- lang: eng
  text: Das Thema Elektromobilität hat in der Fahrzeugindustrie in den letzten Jahren
    viel Aufmerksamkeit erhalten. Gerade im Bereich der Entwicklung von Steuergeräte-Software
    ist der Bedarf an frühzeitiger Absicherung hoch. Nur so können Produkteinführungszeiten
    minimiert und effektiv Entwicklungskosten eingespart werden. Komplexe Werkzeugketten
    und die verteilte Entwicklung erschweren den Prozess und verlängern die Entwicklungszeit.
    Das Förderprojekt „Simulationsgestützter Entwurf für Elektrofahrzeuge“, kurz „E-Mobil“,
    nimmt sich der Herausforderungen einer verteilten Entwicklung von Steuergeräte-Software
    an. Vier Projektpartner aus Industrie und Forschung untersuchen die Besonderheiten
    sowohl bzgl. des Entwurfsprozesses, als auch der beteiligten Entwurfswerkzeuge
    im Vergleich zur konventionellen Fahrzeugentwicklung. Im Fokus stehen die Modellierung
    und die simulationsgestützte Absicherung in frühen Entwurfsstadien. Die Modellierung
    umfasst Regelungssoftware sowie die für die Simulation nötigen elektrischen und
    mechatronischen Komponenten. Die vorliegende Arbeit stellt die Kernthemen sowie
    aktuelle Ergebnisse aus dem Projekt vor.
author:
- first_name: Emad
  full_name: Farshizadeh, Emad
  last_name: Farshizadeh
- first_name: Herrmann
  full_name: Briese, Herrmann
  last_name: Briese
- first_name: David
  full_name: Steinmann, David
  last_name: Steinmann
- first_name: Lars
  full_name: Stockmann, Lars
  id: '48144'
  last_name: Stockmann
- first_name: Steffen
  full_name: Beringer, Steffen
  last_name: Beringer
- first_name: Dominik
  full_name: Holler, Dominik
  last_name: Holler
- first_name: Kay
  full_name: Klobedanz, Kay
  last_name: Klobedanz
- first_name: Christian
  full_name: Heinzemann, Christian
  last_name: Heinzemann
- first_name: Klaus
  full_name: Peter, Klaus
  last_name: Peter
- first_name: Michael
  full_name: Leuer, Michael
  last_name: Leuer
citation:
  ama: 'Farshizadeh E, Briese H, Steinmann D, et al. Simulationsgestützter Entwurf
    für Elektrofahrzeuge. In: <i>8. Dortmunder Autotag, Sep. 2013</i>. ; 2013.'
  apa: Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler,
    D., Klobedanz, K., Heinzemann, C., Peter, K., &#38; Leuer, M. (2013). Simulationsgestützter
    Entwurf für Elektrofahrzeuge. <i>8. Dortmunder Autotag, Sep. 2013</i>.
  bibtex: '@inproceedings{Farshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013,
    title={Simulationsgestützter Entwurf für Elektrofahrzeuge}, booktitle={8. Dortmunder
    Autotag, Sep. 2013}, author={Farshizadeh, Emad and Briese, Herrmann and Steinmann,
    David and Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz,
    Kay and Heinzemann, Christian and Peter, Klaus and Leuer, Michael}, year={2013}
    }'
  chicago: Farshizadeh, Emad, Herrmann Briese, David Steinmann, Lars Stockmann, Steffen
    Beringer, Dominik Holler, Kay Klobedanz, Christian Heinzemann, Klaus Peter, and
    Michael Leuer. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” In <i>8.
    Dortmunder Autotag, Sep. 2013</i>, 2013.
  ieee: E. Farshizadeh <i>et al.</i>, “Simulationsgestützter Entwurf für Elektrofahrzeuge,”
    2013.
  mla: Farshizadeh, Emad, et al. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.”
    <i>8. Dortmunder Autotag, Sep. 2013</i>, 2013.
  short: 'E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler,
    K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, Sep.
    2013, 2013.'
date_created: 2021-10-04T10:40:28Z
date_updated: 2022-01-06T06:56:58Z
department:
- _id: '672'
language:
- iso: eng
publication: 8. Dortmunder Autotag, Sep. 2013
status: public
title: Simulationsgestützter Entwurf für Elektrofahrzeuge
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25284'
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. In: <i> 23rd International Workshop on Power And Timing Modeling,
    Optimization and Simulation, Sep. 2013</i>. ; 2013.'
  apa: Mischkalla, F., &#38; Müller, W. (2013).  Efficient Power Intent Validation
    Using Loosely-Timed Simulation Models. <i> 23rd International Workshop on Power
    And Timing Modeling, Optimization and Simulation, Sep. 2013</i>.
  bibtex: '@inproceedings{Mischkalla_Müller_2013, title={ Efficient Power Intent Validation
    Using Loosely-Timed Simulation Models}, booktitle={ 23rd International Workshop
    on Power And Timing Modeling, Optimization and Simulation, Sep. 2013}, 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.” In <i> 23rd International Workshop on
    Power And Timing Modeling, Optimization and Simulation, Sep. 2013</i>, 2013.
  ieee: F. Mischkalla and W. Müller, “ Efficient Power Intent Validation Using Loosely-Timed
    Simulation Models,” 2013.
  mla: Mischkalla, Fabian, and Wolfgang Müller. “ Efficient Power Intent Validation
    Using Loosely-Timed Simulation Models.” <i> 23rd International Workshop on Power
    And Timing Modeling, Optimization and Simulation, Sep. 2013</i>, 2013.
  short: 'F. Mischkalla, W. Müller, in:  23rd International Workshop on Power And
    Timing Modeling, Optimization and Simulation, Sep. 2013, 2013.'
date_created: 2021-10-04T11:15:10Z
date_updated: 2022-01-06T06:56:59Z
department:
- _id: '672'
language:
- iso: eng
publication: ' 23rd International Workshop on Power And Timing Modeling, Optimization
  and Simulation, Sep. 2013'
status: public
title: ' Efficient Power Intent Validation Using Loosely-Timed Simulation Models'
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25286'
abstract:
- lang: eng
  text: The as a Service paradigm reflects the fundamental idea of providing basic
    coherent functionality in terms of components that can be utilized on demand.
    These so-called services may also be interconnected in order to provide more complex
    functionality. Automation of this service composition process is indeed a formidable
    challenge. In our work, we are addressing this challenge by decomposing service
    composition into sequential decision making steps. Each step is supported by a
    recommendation mechanism. If composition requests recur over time and if evaluations
    of composition results are fed back, a proper recommendation strategy can evolve
    over time through learning from experience. In this paper, we describe our general
    idea of modeling this service composition and recommendation process as Markov
    Decision Process and of solving it by means of Reinforcement Learning. A case
    study serves as proof of concept.
author:
- first_name: Alexander
  full_name: Jungmann, Alexander
  last_name: Jungmann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Jungmann A, Kleinjohann B. Learning Recommendation System for Automated Service
    Composition. In: <i>Proceedings of the 10th IEEE International Conference on Services
    Computing (SCC)</i>.  IEEE Computer Society; 2013:97-104.'
  apa: Jungmann, A., &#38; Kleinjohann, B. (2013). Learning Recommendation System
    for Automated Service Composition. <i>Proceedings of the 10th IEEE International
    Conference on Services Computing (SCC)</i>, 97–104.
  bibtex: '@inproceedings{Jungmann_Kleinjohann_2013, title={Learning Recommendation
    System for Automated Service Composition}, booktitle={Proceedings of the 10th
    IEEE International Conference on Services Computing (SCC)}, publisher={ IEEE Computer
    Society}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2013}, pages={97–104}
    }'
  chicago: Jungmann, Alexander, and Bernd Kleinjohann. “Learning Recommendation System
    for Automated Service Composition.” In <i>Proceedings of the 10th IEEE International
    Conference on Services Computing (SCC)</i>, 97–104.  IEEE Computer Society, 2013.
  ieee: A. Jungmann and B. Kleinjohann, “Learning Recommendation System for Automated
    Service Composition,” in <i>Proceedings of the 10th IEEE International Conference
    on Services Computing (SCC)</i>, 27. Jun. - 2. Jul. 2013 IEEE Computer Society,
    , 2013, pp. 97–104.
  mla: Jungmann, Alexander, and Bernd Kleinjohann. “Learning Recommendation System
    for Automated Service Composition.” <i>Proceedings of the 10th IEEE International
    Conference on Services Computing (SCC)</i>,  IEEE Computer Society, 2013, pp.
    97–104.
  short: 'A. Jungmann, B. Kleinjohann, in: Proceedings of the 10th IEEE International
    Conference on Services Computing (SCC),  IEEE Computer Society, 2013, pp. 97–104.'
conference:
  location: '27. Jun. - 2. Jul. 2013 IEEE Computer Society, '
date_created: 2021-10-04T11:34:09Z
date_updated: 2022-01-06T06:56:59Z
department:
- _id: '672'
language:
- iso: eng
page: 97-104
publication: Proceedings of the 10th IEEE International Conference on Services Computing
  (SCC)
publisher: ' IEEE Computer Society'
status: public
title: Learning Recommendation System for Automated Service Composition
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25287'
author:
- first_name: Katharina
  full_name: Gilles, Katharina
  last_name: Gilles
- first_name: Stefan
  full_name: Grösbrink, Stefan
  last_name: Grösbrink
- first_name: Daniel
  full_name: Baldin, Daniel
  last_name: Baldin
- first_name: Timo
  full_name: Kerstan, Timo
  last_name: Kerstan
citation:
  ama: 'Gilles K, Grösbrink S, Baldin D, Kerstan T. Proteus Hypervisor: Full Virtualization
    and Paravirtualization for Multi-Core Embedded Systems. In: <i>International Embedded
    Systems Symposium, 17. - 19. Jun. 2013</i>. ; 2013.'
  apa: 'Gilles, K., Grösbrink, S., Baldin, D., &#38; Kerstan, T. (2013). Proteus Hypervisor:
    Full Virtualization and Paravirtualization for Multi-Core Embedded Systems. <i>International
    Embedded Systems Symposium, 17. - 19. Jun. 2013</i>.'
  bibtex: '@inproceedings{Gilles_Grösbrink_Baldin_Kerstan_2013, title={Proteus Hypervisor:
    Full Virtualization and Paravirtualization for Multi-Core Embedded Systems}, booktitle={International
    Embedded Systems Symposium, 17. - 19. Jun. 2013}, author={Gilles, Katharina and
    Grösbrink, Stefan and Baldin, Daniel and Kerstan, Timo}, year={2013} }'
  chicago: 'Gilles, Katharina, Stefan Grösbrink, Daniel Baldin, and Timo Kerstan.
    “Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core
    Embedded Systems.” In <i>International Embedded Systems Symposium, 17. - 19. Jun.
    2013</i>, 2013.'
  ieee: 'K. Gilles, S. Grösbrink, D. Baldin, and T. Kerstan, “Proteus Hypervisor:
    Full Virtualization and Paravirtualization for Multi-Core Embedded Systems,” 2013.'
  mla: 'Gilles, Katharina, et al. “Proteus Hypervisor: Full Virtualization and Paravirtualization
    for Multi-Core Embedded Systems.” <i>International Embedded Systems Symposium,
    17. - 19. Jun. 2013</i>, 2013.'
  short: 'K. Gilles, S. Grösbrink, D. Baldin, T. Kerstan, in: International Embedded
    Systems Symposium, 17. - 19. Jun. 2013, 2013.'
date_created: 2021-10-04T11:51:22Z
date_updated: 2022-01-06T06:56:59Z
department:
- _id: '672'
language:
- iso: eng
publication: International Embedded Systems Symposium, 17. - 19. Jun. 2013
status: public
title: 'Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core
  Embedded Systems'
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25289'
author:
- first_name: Stefan
  full_name: Grösbrink, Stefan
  last_name: Grösbrink
citation:
  ama: 'Grösbrink S. On the Homogeneous Multiprocessor Virtual Machine Partitioning
    Problem. In: <i> International Embedded Systems Symposium, 17. - 19. Jun. 2013</i>.
    ; 2013.'
  apa: Grösbrink, S. (2013). On the Homogeneous Multiprocessor Virtual Machine Partitioning
    Problem. <i> International Embedded Systems Symposium, 17. - 19. Jun. 2013</i>.
  bibtex: '@inproceedings{Grösbrink_2013, title={On the Homogeneous Multiprocessor
    Virtual Machine Partitioning Problem}, booktitle={ International Embedded Systems
    Symposium, 17. - 19. Jun. 2013}, author={Grösbrink, Stefan}, year={2013} }'
  chicago: Grösbrink, Stefan. “On the Homogeneous Multiprocessor Virtual Machine Partitioning
    Problem.” In <i> International Embedded Systems Symposium, 17. - 19. Jun. 2013</i>,
    2013.
  ieee: S. Grösbrink, “On the Homogeneous Multiprocessor Virtual Machine Partitioning
    Problem,” 2013.
  mla: Grösbrink, Stefan. “On the Homogeneous Multiprocessor Virtual Machine Partitioning
    Problem.” <i> International Embedded Systems Symposium, 17. - 19. Jun. 2013</i>,
    2013.
  short: 'S. Grösbrink, in:  International Embedded Systems Symposium, 17. - 19. Jun.
    2013, 2013.'
date_created: 2021-10-04T12:05:58Z
date_updated: 2022-01-06T06:56:59Z
department:
- _id: '672'
language:
- iso: eng
publication: ' International Embedded Systems Symposium, 17. - 19. Jun. 2013'
status: public
title: On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25290'
author:
- first_name: Franz-Josef
  full_name: Rammig, Franz-Josef
  last_name: Rammig
- first_name: Lial
  full_name: Khaluf, Lial
  last_name: Khaluf
- first_name: Norma
  full_name: Montealegre, Norma
  last_name: Montealegre
- first_name: Katharina
  full_name: Stahl, Katharina
  last_name: Stahl
- first_name: Yuhong
  full_name: Zhao, Yuhong
  last_name: Zhao
citation:
  ama: 'Rammig F-J, Khaluf L, Montealegre N, Stahl K, Zhao Y. Organic Real-time Programming
    – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software.
    In: <i>Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous
    Systems (SEUS) 2013</i>. IEEE; 2013.'
  apa: Rammig, F.-J., Khaluf, L., Montealegre, N., Stahl, K., &#38; Zhao, Y. (2013).
    Organic Real-time Programming – Vision and Approaches towards Self-Evolving and
    Adaptive Real-time Software. <i>Proc. 9th Workshop on Software Technologies for
    Future Embedded and Ubiquitous Systems (SEUS) 2013</i>. 17. - 18. Jun. 2013 IEEE.
  bibtex: '@inproceedings{Rammig_Khaluf_Montealegre_Stahl_Zhao_2013, title={Organic
    Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive
    Real-time Software}, booktitle={Proc. 9th Workshop on Software Technologies for
    Future Embedded and Ubiquitous Systems (SEUS) 2013}, publisher={IEEE}, author={Rammig,
    Franz-Josef and Khaluf, Lial and Montealegre, Norma and Stahl, Katharina and Zhao,
    Yuhong}, year={2013} }'
  chicago: Rammig, Franz-Josef, Lial Khaluf, Norma Montealegre, Katharina Stahl, and
    Yuhong Zhao. “Organic Real-Time Programming – Vision and Approaches towards Self-Evolving
    and Adaptive Real-Time Software.” In <i>Proc. 9th Workshop on Software Technologies
    for Future Embedded and Ubiquitous Systems (SEUS) 2013</i>. IEEE, 2013.
  ieee: F.-J. Rammig, L. Khaluf, N. Montealegre, K. Stahl, and Y. Zhao, “Organic Real-time
    Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time
    Software,” presented at the 17. - 18. Jun. 2013 IEEE, 2013.
  mla: Rammig, Franz-Josef, et al. “Organic Real-Time Programming – Vision and Approaches
    towards Self-Evolving and Adaptive Real-Time Software.” <i>Proc. 9th Workshop
    on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013</i>,
    IEEE, 2013.
  short: 'F.-J. Rammig, L. Khaluf, N. Montealegre, K. Stahl, Y. Zhao, in: Proc. 9th
    Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS)
    2013, IEEE, 2013.'
conference:
  name: 17. - 18. Jun. 2013 IEEE
date_created: 2021-10-04T12:14:32Z
date_updated: 2022-01-06T06:56:59Z
department:
- _id: '672'
language:
- iso: eng
publication: Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous
  Systems (SEUS) 2013
publisher: IEEE
status: public
title: Organic Real-time Programming – Vision and Approaches towards Self-Evolving
  and Adaptive Real-time Software
type: conference
user_id: '21240'
year: '2013'
...