---
_id: '46406'
abstract:
- lang: eng
  text: 'We present methods to answer two basic questions that arise when benchmarking
    optimization algorithms. The first one is: which algorithm is the ''best'' one?
    and the second one: which algorithm should I use for my real world problem? Both
    are connected and neither is easy to answer. We present methods which can be used
    to analyse the raw data of a benchmark experiment and derive some insight regarding
    the answers to these questions. We employ the presented methods to analyse the
    BBOB''09 benchmark results and present some initial findings.'
author:
- first_name: O
  full_name: Mersmann, O
  last_name: Mersmann
- first_name: Heike
  full_name: Trautmann, Heike
  id: '100740'
  last_name: Trautmann
  orcid: 0000-0002-9788-8282
- first_name: B
  full_name: Naujoks, B
  last_name: Naujoks
- first_name: C
  full_name: Weihs, C
  last_name: Weihs
citation:
  ama: 'Mersmann O, Trautmann H, Naujoks B, Weihs C. On the Distribution of EMOA Hypervolumes.
    In: Blum C, Battiti R, eds. <i>Learning and Intelligent Optimization, 4$^th$ International
    Conference, LION 4, Venice, Italy</i>. Vol 6073. Lecture Notes in Computer Science.
    Springer; 2010:333–337.'
  apa: Mersmann, O., Trautmann, H., Naujoks, B., &#38; Weihs, C. (2010). On the Distribution
    of EMOA Hypervolumes. In C. Blum &#38; R. Battiti (Eds.), <i>Learning and Intelligent
    Optimization, 4$^th$ International Conference, LION 4, Venice, Italy</i> (Vol.
    6073, pp. 333–337). Springer.
  bibtex: '@inproceedings{Mersmann_Trautmann_Naujoks_Weihs_2010, series={Lecture Notes
    in Computer Science}, title={On the Distribution of EMOA Hypervolumes}, volume={6073},
    booktitle={Learning and Intelligent Optimization, 4$^th$ International Conference,
    LION 4, Venice, Italy}, publisher={Springer}, author={Mersmann, O and Trautmann,
    Heike and Naujoks, B and Weihs, C}, editor={Blum, C and Battiti, R}, year={2010},
    pages={333–337}, collection={Lecture Notes in Computer Science} }'
  chicago: Mersmann, O, Heike Trautmann, B Naujoks, and C Weihs. “On the Distribution
    of EMOA Hypervolumes.” In <i>Learning and Intelligent Optimization, 4$^th$ International
    Conference, LION 4, Venice, Italy</i>, edited by C Blum and R Battiti, 6073:333–337.
    Lecture Notes in Computer Science. Springer, 2010.
  ieee: O. Mersmann, H. Trautmann, B. Naujoks, and C. Weihs, “On the Distribution
    of EMOA Hypervolumes,” in <i>Learning and Intelligent Optimization, 4$^th$ International
    Conference, LION 4, Venice, Italy</i>, 2010, vol. 6073, pp. 333–337.
  mla: Mersmann, O., et al. “On the Distribution of EMOA Hypervolumes.” <i>Learning
    and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice,
    Italy</i>, edited by C Blum and R Battiti, vol. 6073, Springer, 2010, pp. 333–337.
  short: 'O. Mersmann, H. Trautmann, B. Naujoks, C. Weihs, in: C. Blum, R. Battiti
    (Eds.), Learning and Intelligent Optimization, 4$^th$ International Conference,
    LION 4, Venice, Italy, Springer, 2010, pp. 333–337.'
date_created: 2023-08-04T16:03:45Z
date_updated: 2023-10-16T13:55:59Z
department:
- _id: '34'
- _id: '819'
editor:
- first_name: C
  full_name: Blum, C
  last_name: Blum
- first_name: R
  full_name: Battiti, R
  last_name: Battiti
intvolume: '      6073'
language:
- iso: eng
page: 333–337
publication: Learning and Intelligent Optimization, 4$^th$ International Conference,
  LION 4, Venice, Italy
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: On the Distribution of EMOA Hypervolumes
type: conference
user_id: '15504'
volume: 6073
year: '2010'
...
---
_id: '46407'
abstract:
- lang: eng
  text: Choosing and tuning an optimization procedure for a given class of nonlinear
    optimization problems is not an easy task. One way to proceed is to consider this
    as a tournament, where each procedure will compete in different ‘disciplines’.
    Here, disciplines could either be different functions, which we want to optimize,
    or specific performance measures of the optimization procedure. We would then
    be interested in the algorithm that performs best in a majority of cases or whose
    average performance is maximal. We will focus on evolutionary multiobjective optimization
    algorithms (EMOA), and will present a novel approach to the design and analysis
    of evolutionary multiobjective benchmark experiments based on similar work from
    the context of machine learning. We focus on deriving a consensus among several
    benchmarks over different test problems and illustrate the methodology by reanalyzing
    the results of the CEC 2007 EMOA competition.
author:
- first_name: Olaf
  full_name: Mersmann, Olaf
  last_name: Mersmann
- first_name: Heike
  full_name: Trautmann, Heike
  id: '100740'
  last_name: Trautmann
  orcid: 0000-0002-9788-8282
- first_name: Boris
  full_name: Naujoks, Boris
  last_name: Naujoks
- first_name: Claus
  full_name: Weihs, Claus
  last_name: Weihs
citation:
  ama: 'Mersmann O, Trautmann H, Naujoks B, Weihs C. Benchmarking evolutionary multiobjective
    optimization algorithms. In: <i>IEEE Congress on Evolutionary Computation</i>.
    ; 2010:1-8. doi:<a href="https://doi.org/10.1109/CEC.2010.5586241">10.1109/CEC.2010.5586241</a>'
  apa: Mersmann, O., Trautmann, H., Naujoks, B., &#38; Weihs, C. (2010). Benchmarking
    evolutionary multiobjective optimization algorithms. <i>IEEE Congress on Evolutionary
    Computation</i>, 1–8. <a href="https://doi.org/10.1109/CEC.2010.5586241">https://doi.org/10.1109/CEC.2010.5586241</a>
  bibtex: '@inproceedings{Mersmann_Trautmann_Naujoks_Weihs_2010, title={Benchmarking
    evolutionary multiobjective optimization algorithms}, DOI={<a href="https://doi.org/10.1109/CEC.2010.5586241">10.1109/CEC.2010.5586241</a>},
    booktitle={IEEE Congress on Evolutionary Computation}, author={Mersmann, Olaf
    and Trautmann, Heike and Naujoks, Boris and Weihs, Claus}, year={2010}, pages={1–8}
    }'
  chicago: Mersmann, Olaf, Heike Trautmann, Boris Naujoks, and Claus Weihs. “Benchmarking
    Evolutionary Multiobjective Optimization Algorithms.” In <i>IEEE Congress on Evolutionary
    Computation</i>, 1–8, 2010. <a href="https://doi.org/10.1109/CEC.2010.5586241">https://doi.org/10.1109/CEC.2010.5586241</a>.
  ieee: 'O. Mersmann, H. Trautmann, B. Naujoks, and C. Weihs, “Benchmarking evolutionary
    multiobjective optimization algorithms,” in <i>IEEE Congress on Evolutionary Computation</i>,
    2010, pp. 1–8, doi: <a href="https://doi.org/10.1109/CEC.2010.5586241">10.1109/CEC.2010.5586241</a>.'
  mla: Mersmann, Olaf, et al. “Benchmarking Evolutionary Multiobjective Optimization
    Algorithms.” <i>IEEE Congress on Evolutionary Computation</i>, 2010, pp. 1–8,
    doi:<a href="https://doi.org/10.1109/CEC.2010.5586241">10.1109/CEC.2010.5586241</a>.
  short: 'O. Mersmann, H. Trautmann, B. Naujoks, C. Weihs, in: IEEE Congress on Evolutionary
    Computation, 2010, pp. 1–8.'
date_created: 2023-08-04T16:05:53Z
date_updated: 2023-10-16T13:56:15Z
department:
- _id: '34'
- _id: '819'
doi: 10.1109/CEC.2010.5586241
language:
- iso: eng
page: 1-8
publication: IEEE Congress on Evolutionary Computation
publication_identifier:
  issn:
  - 1941-0026
status: public
title: Benchmarking evolutionary multiobjective optimization algorithms
type: conference
user_id: '15504'
year: '2010'
...
---
_id: '46404'
author:
- first_name: J
  full_name: Ding, J
  last_name: Ding
- first_name: S
  full_name: Wessing, S
  last_name: Wessing
- first_name: Heike
  full_name: Trautmann, Heike
  id: '100740'
  last_name: Trautmann
  orcid: 0000-0002-9788-8282
- first_name: J
  full_name: Mehnen, J
  last_name: Mehnen
- first_name: B
  full_name: Naujoks, B
  last_name: Naujoks
citation:
  ama: 'Ding J, Wessing S, Trautmann H, Mehnen J, Naujoks B. Sequential Parameter
    Optimisation for Multi-Objective Evolutionary Optimisation of Additive Layer Manufacturing.
    In: Teti R, ed. <i>Proceedings of the 7$^th$ CIRP International Seminar on Intelligent
    Computation in Manufacturing Engineering (CIRP ICME ’10)</i>. Copyright C.O.C.
    Com. org. Conv.; 2010.'
  apa: Ding, J., Wessing, S., Trautmann, H., Mehnen, J., &#38; Naujoks, B. (2010).
    Sequential Parameter Optimisation for Multi-Objective Evolutionary Optimisation
    of Additive Layer Manufacturing. In R. Teti (Ed.), <i>Proceedings of the 7$^th$
    CIRP International Seminar on Intelligent Computation in Manufacturing Engineering
    (CIRP ICME ’10)</i>. Copyright C.O.C. Com. org. Conv.
  bibtex: '@inproceedings{Ding_Wessing_Trautmann_Mehnen_Naujoks_2010, place={Capri,
    Italy}, title={Sequential Parameter Optimisation for Multi-Objective Evolutionary
    Optimisation of Additive Layer Manufacturing}, booktitle={Proceedings of the 7$^th$
    CIRP International Seminar on Intelligent Computation in Manufacturing Engineering
    (CIRP ICME ’10)}, publisher={Copyright C.O.C. Com. org. Conv.}, author={Ding,
    J and Wessing, S and Trautmann, Heike and Mehnen, J and Naujoks, B}, editor={Teti,
    R}, year={2010} }'
  chicago: 'Ding, J, S Wessing, Heike Trautmann, J Mehnen, and B Naujoks. “Sequential
    Parameter Optimisation for Multi-Objective Evolutionary Optimisation of Additive
    Layer Manufacturing.” In <i>Proceedings of the 7$^th$ CIRP International Seminar
    on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10)</i>, edited
    by R Teti. Capri, Italy: Copyright C.O.C. Com. org. Conv., 2010.'
  ieee: J. Ding, S. Wessing, H. Trautmann, J. Mehnen, and B. Naujoks, “Sequential
    Parameter Optimisation for Multi-Objective Evolutionary Optimisation of Additive
    Layer Manufacturing,” in <i>Proceedings of the 7$^th$ CIRP International Seminar
    on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10)</i>, 2010.
  mla: Ding, J., et al. “Sequential Parameter Optimisation for Multi-Objective Evolutionary
    Optimisation of Additive Layer Manufacturing.” <i>Proceedings of the 7$^th$ CIRP
    International Seminar on Intelligent Computation in Manufacturing Engineering
    (CIRP ICME ’10)</i>, edited by R Teti, Copyright C.O.C. Com. org. Conv., 2010.
  short: 'J. Ding, S. Wessing, H. Trautmann, J. Mehnen, B. Naujoks, in: R. Teti (Ed.),
    Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation
    in Manufacturing Engineering (CIRP ICME ’10), Copyright C.O.C. Com. org. Conv.,
    Capri, Italy, 2010.'
date_created: 2023-08-04T16:01:38Z
date_updated: 2023-10-16T13:55:25Z
department:
- _id: '34'
- _id: '819'
editor:
- first_name: R
  full_name: Teti, R
  last_name: Teti
language:
- iso: eng
place: Capri, Italy
publication: Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation
  in Manufacturing Engineering (CIRP ICME ’10)
publisher: Copyright C.O.C. Com. org. Conv.
status: public
title: Sequential Parameter Optimisation for Multi-Objective Evolutionary Optimisation
  of Additive Layer Manufacturing
type: conference
user_id: '15504'
year: '2010'
...
---
_id: '46409'
abstract:
- lang: eng
  text: Since many real-world optimization problems are noisy, vector optimization
    algorithms that can cope with noise and uncertainty are required. We propose new,
    robust selection strategies for evolutionary multi-objective optimization in the
    presence of noise. We apply new measures of uncertainty for estimating the recently
    introduced Pareto-dominance for uncertain and noisy environments (PDU). The first
    measure is the inter-quartile range of the outcomes of repeated function evaluations.
    The second is based on axis-aligned bounding boxes around the upper and lower
    quantiles of the sampled fitness values in objective space. Experiments on real
    and artificial problems show promising results.
author:
- first_name: Thomas
  full_name: Voß, Thomas
  last_name: Voß
- first_name: Heike
  full_name: Trautmann, Heike
  id: '100740'
  last_name: Trautmann
  orcid: 0000-0002-9788-8282
- first_name: Christian
  full_name: Igel, Christian
  last_name: Igel
citation:
  ama: 'Voß T, Trautmann H, Igel C. New Uncertainty Handling Strategies in Multi-objective
    Evolutionary Optimization. In: Schaefer R, Cotta C, Kołodziej J, Rudolph G, eds.
    <i>Parallel Problem Solving from Nature, PPSN XI</i>. Springer Berlin Heidelberg;
    2010:260–269. doi:<a href="https://doi.org/10.1007/978-3-642-15871-1_27">https://doi.org/10.1007/978-3-642-15871-1_27</a>'
  apa: Voß, T., Trautmann, H., &#38; Igel, C. (2010). New Uncertainty Handling Strategies
    in Multi-objective Evolutionary Optimization. In R. Schaefer, C. Cotta, J. Kołodziej,
    &#38; G. Rudolph (Eds.), <i>Parallel Problem Solving from Nature, PPSN XI</i>
    (pp. 260–269). Springer Berlin Heidelberg. <a href="https://doi.org/10.1007/978-3-642-15871-1_27">https://doi.org/10.1007/978-3-642-15871-1_27</a>
  bibtex: '@inproceedings{Voß_Trautmann_Igel_2010, place={Berlin, Heidelberg}, title={New
    Uncertainty Handling Strategies in Multi-objective Evolutionary Optimization},
    DOI={<a href="https://doi.org/10.1007/978-3-642-15871-1_27">https://doi.org/10.1007/978-3-642-15871-1_27</a>},
    booktitle={Parallel Problem Solving from Nature, PPSN XI}, publisher={Springer
    Berlin Heidelberg}, author={Voß, Thomas and Trautmann, Heike and Igel, Christian},
    editor={Schaefer, Robert and Cotta, Carlos and Kołodziej, Joanna and Rudolph,
    Günter}, year={2010}, pages={260–269} }'
  chicago: 'Voß, Thomas, Heike Trautmann, and Christian Igel. “New Uncertainty Handling
    Strategies in Multi-Objective Evolutionary Optimization.” In <i>Parallel Problem
    Solving from Nature, PPSN XI</i>, edited by Robert Schaefer, Carlos Cotta, Joanna
    Kołodziej, and Günter Rudolph, 260–269. Berlin, Heidelberg: Springer Berlin Heidelberg,
    2010. <a href="https://doi.org/10.1007/978-3-642-15871-1_27">https://doi.org/10.1007/978-3-642-15871-1_27</a>.'
  ieee: 'T. Voß, H. Trautmann, and C. Igel, “New Uncertainty Handling Strategies in
    Multi-objective Evolutionary Optimization,” in <i>Parallel Problem Solving from
    Nature, PPSN XI</i>, 2010, pp. 260–269, doi: <a href="https://doi.org/10.1007/978-3-642-15871-1_27">https://doi.org/10.1007/978-3-642-15871-1_27</a>.'
  mla: Voß, Thomas, et al. “New Uncertainty Handling Strategies in Multi-Objective
    Evolutionary Optimization.” <i>Parallel Problem Solving from Nature, PPSN XI</i>,
    edited by Robert Schaefer et al., Springer Berlin Heidelberg, 2010, pp. 260–269,
    doi:<a href="https://doi.org/10.1007/978-3-642-15871-1_27">https://doi.org/10.1007/978-3-642-15871-1_27</a>.
  short: 'T. Voß, H. Trautmann, C. Igel, in: R. Schaefer, C. Cotta, J. Kołodziej,
    G. Rudolph (Eds.), Parallel Problem Solving from Nature, PPSN XI, Springer Berlin
    Heidelberg, Berlin, Heidelberg, 2010, pp. 260–269.'
date_created: 2023-08-04T16:07:48Z
date_updated: 2023-10-16T13:56:48Z
department:
- _id: '34'
- _id: '819'
doi: https://doi.org/10.1007/978-3-642-15871-1_27
editor:
- first_name: Robert
  full_name: Schaefer, Robert
  last_name: Schaefer
- first_name: Carlos
  full_name: Cotta, Carlos
  last_name: Cotta
- first_name: Joanna
  full_name: Kołodziej, Joanna
  last_name: Kołodziej
- first_name: Günter
  full_name: Rudolph, Günter
  last_name: Rudolph
language:
- iso: eng
page: 260–269
place: Berlin, Heidelberg
publication: Parallel Problem Solving from Nature, PPSN XI
publication_identifier:
  isbn:
  - 978-3-642-15871-1
publisher: Springer Berlin Heidelberg
status: public
title: New Uncertainty Handling Strategies in Multi-objective Evolutionary Optimization
type: conference
user_id: '15504'
year: '2010'
...
---
_id: '46412'
abstract:
- lang: eng
  text: In this paper, a concept for efficiently approximating the practically relevant
    regions of the Pareto front (PF) is introduced. Instead of the original objectives,
    desirability functions (DFs) of the objectives are optimized, which express the
    preferences of the decision maker. The original problem formulation and the optimization
    algorithm do not have to be modified. DFs map an objective to the domain [0, 1]
    and nonlinearly increase with better objective quality. By means of this mapping,
    values of different objectives and units become comparable. A biased distribution
    of the solutions in the PF approximation based on different scalings of the objectives
    is prevented. Thus, we propose the integration of DFs into the S-metric selection
    evolutionary multiobjective algorithm. The transformation ensures the meaning
    of the hypervolumes internally computed. Furthermore, it is shown that the reference
    point for the hypervolume calculation can be set intuitively. The approach is
    analyzed using standard test problems. Moreover, a practical validation by means
    of the optimization of a turning process is performed.
author:
- first_name: Tobias
  full_name: Wagner, Tobias
  last_name: Wagner
- first_name: Heike
  full_name: Trautmann, Heike
  id: '100740'
  last_name: Trautmann
  orcid: 0000-0002-9788-8282
citation:
  ama: Wagner T, Trautmann H. Integration of Preferences in Hypervolume-Based Multiobjective
    Evolutionary Algorithms by Means of Desirability Functions. <i>IEEE Transactions
    on Evolutionary Computation</i>. 2010;14(5):688-701. doi:<a href="https://doi.org/10.1109/TEVC.2010.2058119">10.1109/TEVC.2010.2058119</a>
  apa: Wagner, T., &#38; Trautmann, H. (2010). Integration of Preferences in Hypervolume-Based
    Multiobjective Evolutionary Algorithms by Means of Desirability Functions. <i>IEEE
    Transactions on Evolutionary Computation</i>, <i>14</i>(5), 688–701. <a href="https://doi.org/10.1109/TEVC.2010.2058119">https://doi.org/10.1109/TEVC.2010.2058119</a>
  bibtex: '@article{Wagner_Trautmann_2010, title={Integration of Preferences in Hypervolume-Based
    Multiobjective Evolutionary Algorithms by Means of Desirability Functions}, volume={14},
    DOI={<a href="https://doi.org/10.1109/TEVC.2010.2058119">10.1109/TEVC.2010.2058119</a>},
    number={5}, journal={IEEE Transactions on Evolutionary Computation}, author={Wagner,
    Tobias and Trautmann, Heike}, year={2010}, pages={688–701} }'
  chicago: 'Wagner, Tobias, and Heike Trautmann. “Integration of Preferences in Hypervolume-Based
    Multiobjective Evolutionary Algorithms by Means of Desirability Functions.” <i>IEEE
    Transactions on Evolutionary Computation</i> 14, no. 5 (2010): 688–701. <a href="https://doi.org/10.1109/TEVC.2010.2058119">https://doi.org/10.1109/TEVC.2010.2058119</a>.'
  ieee: 'T. Wagner and H. Trautmann, “Integration of Preferences in Hypervolume-Based
    Multiobjective Evolutionary Algorithms by Means of Desirability Functions,” <i>IEEE
    Transactions on Evolutionary Computation</i>, vol. 14, no. 5, pp. 688–701, 2010,
    doi: <a href="https://doi.org/10.1109/TEVC.2010.2058119">10.1109/TEVC.2010.2058119</a>.'
  mla: Wagner, Tobias, and Heike Trautmann. “Integration of Preferences in Hypervolume-Based
    Multiobjective Evolutionary Algorithms by Means of Desirability Functions.” <i>IEEE
    Transactions on Evolutionary Computation</i>, vol. 14, no. 5, 2010, pp. 688–701,
    doi:<a href="https://doi.org/10.1109/TEVC.2010.2058119">10.1109/TEVC.2010.2058119</a>.
  short: T. Wagner, H. Trautmann, IEEE Transactions on Evolutionary Computation 14
    (2010) 688–701.
date_created: 2023-08-04T16:10:02Z
date_updated: 2023-10-16T13:57:41Z
department:
- _id: '34'
- _id: '819'
doi: 10.1109/TEVC.2010.2058119
intvolume: '        14'
issue: '5'
language:
- iso: eng
page: 688-701
publication: IEEE Transactions on Evolutionary Computation
publication_identifier:
  issn:
  - 1941-0026
status: public
title: Integration of Preferences in Hypervolume-Based Multiobjective Evolutionary
  Algorithms by Means of Desirability Functions
type: journal_article
user_id: '15504'
volume: 14
year: '2010'
...
---
_id: '46411'
abstract:
- lang: eng
  text: The paper presents a framework to optimise the design of work roll based on
    the cooling performance. The framework develops meta-models from a set of finite
    element analyses (FEA) of the roll cooling. A design of experiment technique is
    used to identify the FEA runs. The research also identifies sources of uncertainties
    in the design process. A robust evolutionary multi-objective evaluation technique
    is applied to the design optimisation in constrained problems with real life uncertainty.
    The approach handles uncertainties associated both with design variables and fitness
    functions. Constraints violation within the neighbourhood of a design is considered
    as part of a measurement for degree of feasibility and robustness of a solution.
author:
- first_name: Y.T.
  full_name: Azene, Y.T.
  last_name: Azene
- first_name: R.
  full_name: Roy, R.
  last_name: Roy
- first_name: D.
  full_name: Farrugia, D.
  last_name: Farrugia
- first_name: C.
  full_name: Onisa, C.
  last_name: Onisa
- first_name: J.
  full_name: Mehnen, J.
  last_name: Mehnen
- first_name: Heike
  full_name: Trautmann, Heike
  id: '100740'
  last_name: Trautmann
  orcid: 0000-0002-9788-8282
citation:
  ama: Azene YT, Roy R, Farrugia D, Onisa C, Mehnen J, Trautmann H. Work roll cooling
    system design optimisation in presence of uncertainty and constrains. <i>CIRP
    Journal of Manufacturing Science and Technology</i>. 2010;2(4):290-298. doi:<a
    href="https://doi.org/10.1016/j.cirpj.2010.06.001">https://doi.org/10.1016/j.cirpj.2010.06.001</a>
  apa: Azene, Y. T., Roy, R., Farrugia, D., Onisa, C., Mehnen, J., &#38; Trautmann,
    H. (2010). Work roll cooling system design optimisation in presence of uncertainty
    and constrains. <i>CIRP Journal of Manufacturing Science and Technology</i>, <i>2</i>(4),
    290–298. <a href="https://doi.org/10.1016/j.cirpj.2010.06.001">https://doi.org/10.1016/j.cirpj.2010.06.001</a>
  bibtex: '@article{Azene_Roy_Farrugia_Onisa_Mehnen_Trautmann_2010, title={Work roll
    cooling system design optimisation in presence of uncertainty and constrains},
    volume={2}, DOI={<a href="https://doi.org/10.1016/j.cirpj.2010.06.001">https://doi.org/10.1016/j.cirpj.2010.06.001</a>},
    number={4}, journal={CIRP Journal of Manufacturing Science and Technology}, author={Azene,
    Y.T. and Roy, R. and Farrugia, D. and Onisa, C. and Mehnen, J. and Trautmann,
    Heike}, year={2010}, pages={290–298} }'
  chicago: 'Azene, Y.T., R. Roy, D. Farrugia, C. Onisa, J. Mehnen, and Heike Trautmann.
    “Work Roll Cooling System Design Optimisation in Presence of Uncertainty and Constrains.”
    <i>CIRP Journal of Manufacturing Science and Technology</i> 2, no. 4 (2010): 290–98.
    <a href="https://doi.org/10.1016/j.cirpj.2010.06.001">https://doi.org/10.1016/j.cirpj.2010.06.001</a>.'
  ieee: 'Y. T. Azene, R. Roy, D. Farrugia, C. Onisa, J. Mehnen, and H. Trautmann,
    “Work roll cooling system design optimisation in presence of uncertainty and constrains,”
    <i>CIRP Journal of Manufacturing Science and Technology</i>, vol. 2, no. 4, pp.
    290–298, 2010, doi: <a href="https://doi.org/10.1016/j.cirpj.2010.06.001">https://doi.org/10.1016/j.cirpj.2010.06.001</a>.'
  mla: Azene, Y. T., et al. “Work Roll Cooling System Design Optimisation in Presence
    of Uncertainty and Constrains.” <i>CIRP Journal of Manufacturing Science and Technology</i>,
    vol. 2, no. 4, 2010, pp. 290–98, doi:<a href="https://doi.org/10.1016/j.cirpj.2010.06.001">https://doi.org/10.1016/j.cirpj.2010.06.001</a>.
  short: Y.T. Azene, R. Roy, D. Farrugia, C. Onisa, J. Mehnen, H. Trautmann, CIRP
    Journal of Manufacturing Science and Technology 2 (2010) 290–298.
date_created: 2023-08-04T16:09:19Z
date_updated: 2023-10-16T13:57:23Z
department:
- _id: '34'
- _id: '819'
doi: https://doi.org/10.1016/j.cirpj.2010.06.001
intvolume: '         2'
issue: '4'
keyword:
- Roll cooling design
- Uncertainty
- Design optimisation
- Multi-objective optimisation
- Constraint in design
language:
- iso: eng
page: 290-298
publication: CIRP Journal of Manufacturing Science and Technology
publication_identifier:
  issn:
  - 1755-5817
status: public
title: Work roll cooling system design optimisation in presence of uncertainty and
  constrains
type: journal_article
user_id: '15504'
volume: 2
year: '2010'
...
---
_id: '46410'
abstract:
- lang: eng
  text: The design and application of termination criteria has become an important
    aspect in evolutionary multi-objective optimization. Online convergence detection
    (OCD) determines when further generations are no longer promising based on statistical
    tests on a set of performance indicators. The behavior of OCD mainly depends on
    two parameters, the number of preceding generations considered in the statistical
    tests and the desired variance limit. In this paper, guidelines for selecting
    appropriate combinations of these parameters are empirically derived based on
    design-of-experiment methods. Furthermore, a variant of OCD is introduced which
    directly operates on the hypervolume indicator - the internal measure of the SMS-EMOA.
    This allows a separated analysis of the variance criterion and reduces the complexity
    of OCD. Based on the experimental design, a systematic comparison with the classical
    OCD approach is performed and differences between the appropriate parameterizations
    of both variants are highlighted.
author:
- first_name: Tobias
  full_name: Wagner, Tobias
  last_name: Wagner
- first_name: Heike
  full_name: Trautmann, Heike
  id: '100740'
  last_name: Trautmann
  orcid: 0000-0002-9788-8282
citation:
  ama: 'Wagner T, Trautmann H. Online convergence detection for evolutionary multi-objective
    algorithms revisited. In: <i>IEEE Congress on Evolutionary Computation</i>. ;
    2010:1-8. doi:<a href="https://doi.org/10.1109/CEC.2010.5586474">10.1109/CEC.2010.5586474</a>'
  apa: Wagner, T., &#38; Trautmann, H. (2010). Online convergence detection for evolutionary
    multi-objective algorithms revisited. <i>IEEE Congress on Evolutionary Computation</i>,
    1–8. <a href="https://doi.org/10.1109/CEC.2010.5586474">https://doi.org/10.1109/CEC.2010.5586474</a>
  bibtex: '@inproceedings{Wagner_Trautmann_2010, title={Online convergence detection
    for evolutionary multi-objective algorithms revisited}, DOI={<a href="https://doi.org/10.1109/CEC.2010.5586474">10.1109/CEC.2010.5586474</a>},
    booktitle={IEEE Congress on Evolutionary Computation}, author={Wagner, Tobias
    and Trautmann, Heike}, year={2010}, pages={1–8} }'
  chicago: Wagner, Tobias, and Heike Trautmann. “Online Convergence Detection for
    Evolutionary Multi-Objective Algorithms Revisited.” In <i>IEEE Congress on Evolutionary
    Computation</i>, 1–8, 2010. <a href="https://doi.org/10.1109/CEC.2010.5586474">https://doi.org/10.1109/CEC.2010.5586474</a>.
  ieee: 'T. Wagner and H. Trautmann, “Online convergence detection for evolutionary
    multi-objective algorithms revisited,” in <i>IEEE Congress on Evolutionary Computation</i>,
    2010, pp. 1–8, doi: <a href="https://doi.org/10.1109/CEC.2010.5586474">10.1109/CEC.2010.5586474</a>.'
  mla: Wagner, Tobias, and Heike Trautmann. “Online Convergence Detection for Evolutionary
    Multi-Objective Algorithms Revisited.” <i>IEEE Congress on Evolutionary Computation</i>,
    2010, pp. 1–8, doi:<a href="https://doi.org/10.1109/CEC.2010.5586474">10.1109/CEC.2010.5586474</a>.
  short: 'T. Wagner, H. Trautmann, in: IEEE Congress on Evolutionary Computation,
    2010, pp. 1–8.'
date_created: 2023-08-04T16:08:41Z
date_updated: 2023-10-16T13:57:05Z
department:
- _id: '34'
- _id: '819'
doi: 10.1109/CEC.2010.5586474
language:
- iso: eng
page: 1-8
publication: IEEE Congress on Evolutionary Computation
publication_identifier:
  issn:
  - 1941-0026
status: public
title: Online convergence detection for evolutionary multi-objective algorithms revisited
type: conference
user_id: '15504'
year: '2010'
...
---
_id: '37007'
abstract:
- lang: eng
  text: UML is widely applied for the specification and modeling of software and some
    studies have demonstrated that it is applicable for HW/SW codesign. However, in
    this area there is still a big gap from UML modeling to SystemC-based verification
    and synthesis environments. This paper presents an efficient approach to bridge
    this gap in the context of Systems-on-a-Chip (SoC) design. We propose a framework
    for the seamless integration of a customized SysML entry with code generation
    for HW/SW cosimulation and high-level FPGA synthesis. For this, we extended the
    SysML UML profile by SystemC and synthesis capabilities. Two case studies demonstrate
    the applicability of our approach.
author:
- first_name: Fabian
  full_name: Mischkalla, Fabian
  last_name: Mischkalla
- first_name: Da
  full_name: He, Da
  last_name: He
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Mischkalla F, He D, Müller W. Closing the Gap between UML-based Modeling and
    Simulation of Combined HW/SW Systems. In: <i>Proceedings of DATE’10</i>. IEEE;
    2010. doi:<a href="https://doi.org/10.1109/DATE.2010.5456990">10.1109/DATE.2010.5456990</a>'
  apa: Mischkalla, F., He, D., &#38; Müller, W. (2010). Closing the Gap between UML-based
    Modeling and Simulation of Combined HW/SW Systems. <i>Proceedings of DATE’10</i>.
    2010 Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE
    2010), Dresden. <a href="https://doi.org/10.1109/DATE.2010.5456990">https://doi.org/10.1109/DATE.2010.5456990</a>
  bibtex: '@inproceedings{Mischkalla_He_Müller_2010, place={Dresden}, title={Closing
    the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems},
    DOI={<a href="https://doi.org/10.1109/DATE.2010.5456990">10.1109/DATE.2010.5456990</a>},
    booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Mischkalla, Fabian
    and He, Da and Müller, Wolfgang}, year={2010} }'
  chicago: 'Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between
    UML-Based Modeling and Simulation of Combined HW/SW Systems.” In <i>Proceedings
    of DATE’10</i>. Dresden: IEEE, 2010. <a href="https://doi.org/10.1109/DATE.2010.5456990">https://doi.org/10.1109/DATE.2010.5456990</a>.'
  ieee: 'F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling
    and Simulation of Combined HW/SW Systems,” presented at the 2010 Design, Automation
    &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi:
    <a href="https://doi.org/10.1109/DATE.2010.5456990">10.1109/DATE.2010.5456990</a>.'
  mla: Mischkalla, Fabian, et al. “Closing the Gap between UML-Based Modeling and
    Simulation of Combined HW/SW Systems.” <i>Proceedings of DATE’10</i>, IEEE, 2010,
    doi:<a href="https://doi.org/10.1109/DATE.2010.5456990">10.1109/DATE.2010.5456990</a>.
  short: 'F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden,
    2010.'
conference:
  location: Dresden
  name: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T09:12:35Z
date_updated: 2023-01-17T09:12:44Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5456990
keyword:
- Unified modeling language
- Field programmable gate arrays
- Bridges
- Helium
- Real time systems
- Operating systems
- Documentation
- Application software
- XML
- Space exploration
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publication_identifier:
  eisbn:
  - 978-3-9810801-6-2
publisher: IEEE
status: public
title: Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW
  Systems
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37009'
abstract:
- lang: eng
  text: Today, mobile and embedded real time systems have to cope with the migration
    and allocation of multiple software tasks running on top of a real time operating
    system (RTOS) residing on one or several processors. For scaling of each task
    set and processor configuration, instruction set simulation and worst case timing
    analysis are typically applied. This paper presents a complementary approach for
    the verification of RTOS properties based on an abstract RTOS-Model in SystemC.
    We apply IEEE P1850 PSL for which we present an approach and first experiences
    for the assertion-based verification of RTOS properties.
author:
- first_name: Marcio F. S.
  full_name: Oliveira, Marcio F. S.
  last_name: Oliveira
- first_name: Henning
  full_name: Zabel, Henning
  last_name: Zabel
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties.
    In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href="https://doi.org/10.1109/DATE.2010.5457130">10.1109/DATE.2010.5457130</a>'
  apa: Oliveira, M. F. S., Zabel, H., &#38; Müller, W. (2010). Assertion-Based Verification
    of RTOS Properties. <i>Proceedings of DATE’10</i>. 2010 Design, Automation &#38;
    Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href="https://doi.org/10.1109/DATE.2010.5457130">https://doi.org/10.1109/DATE.2010.5457130</a>
  bibtex: '@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based
    Verification of RTOS Properties}, DOI={<a href="https://doi.org/10.1109/DATE.2010.5457130">10.1109/DATE.2010.5457130</a>},
    booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio
    F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }'
  chicago: 'Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based
    Verification of RTOS Properties.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE,
    2010. <a href="https://doi.org/10.1109/DATE.2010.5457130">https://doi.org/10.1109/DATE.2010.5457130</a>.'
  ieee: 'M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification
    of RTOS Properties,” presented at the 2010 Design, Automation &#38; Test in Europe
    Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href="https://doi.org/10.1109/DATE.2010.5457130">10.1109/DATE.2010.5457130</a>.'
  mla: Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.”
    <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href="https://doi.org/10.1109/DATE.2010.5457130">10.1109/DATE.2010.5457130</a>.
  short: 'M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE,
    Dresden, 2010.'
conference:
  location: Dresden
  name: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T09:15:10Z
date_updated: 2023-01-17T09:15:18Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5457130
keyword:
- Operating systems
- Real time systems
- Timing
- Hardware
- Analytical models
- Embedded software
- Software systems
- Processor scheduling
- Software performance
- Performance analysis
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publisher: IEEE
status: public
title: Assertion-Based Verification of RTOS Properties
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37011'
abstract:
- lang: eng
  text: Safety-critical automotive systems must fulfill hard real-time constraints
    for reliability and safety. This paper presents a case study for the application
    of an AUTOSAR-based language for timing modeling and analysis. We present and
    apply the Timing Augmented Description Language (TADL) and demonstrate a methodology
    for the development of a speed-adaptive steer-by-wire system. We examine the impact
    of TADL and the methodology on the development process and the suitability and
    interoperability of the applied tools with respect to the AUTOSAR-based tool chain
    in the context of our case study.
author:
- first_name: Kay
  full_name: Klobedanz, Kay
  last_name: Klobedanz
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Andre
  full_name: Thuy, Andre
  last_name: Thuy
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Klobedanz K, Kuznik C, Thuy A, Müller W. Timing Modeling and Analysis for
    AUTOSAR-Based Software Development - A Case Study. In: <i>Proceedings of DATE’10,
    Dresden</i>. IEEE; 2010. doi:<a href="https://doi.org/10.1109/DATE.2010.5457125">10.1109/DATE.2010.5457125</a>'
  apa: Klobedanz, K., Kuznik, C., Thuy, A., &#38; Müller, W. (2010). Timing Modeling
    and Analysis for AUTOSAR-Based Software Development - A Case Study. <i>Proceedings
    of DATE’10, Dresden</i>. 2010 Design, Automation &#38; Test in Europe Conference
    &#38; Exhibition (DATE 2010), Dresden. <a href="https://doi.org/10.1109/DATE.2010.5457125">https://doi.org/10.1109/DATE.2010.5457125</a>
  bibtex: '@inproceedings{Klobedanz_Kuznik_Thuy_Müller_2010, place={Dresden}, title={Timing
    Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study},
    DOI={<a href="https://doi.org/10.1109/DATE.2010.5457125">10.1109/DATE.2010.5457125</a>},
    booktitle={Proceedings of DATE’10, Dresden}, publisher={IEEE}, author={Klobedanz,
    Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}, year={2010} }'
  chicago: 'Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing
    Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.”
    In <i>Proceedings of DATE’10, Dresden</i>. Dresden: IEEE, 2010. <a href="https://doi.org/10.1109/DATE.2010.5457125">https://doi.org/10.1109/DATE.2010.5457125</a>.'
  ieee: 'K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis
    for AUTOSAR-Based Software Development - A Case Study,” presented at the 2010
    Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010),
    Dresden, 2010, doi: <a href="https://doi.org/10.1109/DATE.2010.5457125">10.1109/DATE.2010.5457125</a>.'
  mla: Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software
    Development - A Case Study.” <i>Proceedings of DATE’10, Dresden</i>, IEEE, 2010,
    doi:<a href="https://doi.org/10.1109/DATE.2010.5457125">10.1109/DATE.2010.5457125</a>.
  short: 'K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10,
    Dresden, IEEE, Dresden, 2010.'
conference:
  location: Dresden
  name: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T09:19:36Z
date_updated: 2023-01-17T09:19:46Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5457125
keyword:
- Timing
- Programming
- Automotive engineering
- Application software
- Hardware
- Computer architecture
- Communication system software
- Software architecture
- Delay
- Software standards
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10, Dresden
publisher: IEEE
status: public
title: Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case
  Study
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37037'
abstract:
- lang: eng
  text: Today we can identify a big gap between requirement specification and the
    generation of test environments. This article extends the Classification Tree
    Method for Embedded Systems (CTM/ES) to fill this gap by new concepts for the
    precise specification of stimuli for operational ranges of continuous control
    systems. It introduces novel means for continuous acceptance criteria definition
    and for functional coverage definition.
author:
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In:
    <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href="https://doi.org/10.1109/DATE.2010.5457186">10.1109/DATE.2010.5457186</a>'
  apa: Krupp, A., &#38; Müller, W. (2010). A Systematic Approach to Combined HW/SW
    System Test. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe
    Conference &#38; Exhibition (DATE 2010), Dresden. <a href="https://doi.org/10.1109/DATE.2010.5457186">https://doi.org/10.1109/DATE.2010.5457186</a>
  bibtex: '@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic
    Approach to Combined HW/SW System Test}, DOI={<a href="https://doi.org/10.1109/DATE.2010.5457186">10.1109/DATE.2010.5457186</a>},
    booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander
    and Müller, Wolfgang}, year={2010} }'
  chicago: 'Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined
    HW/SW System Test.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a
    href="https://doi.org/10.1109/DATE.2010.5457186">https://doi.org/10.1109/DATE.2010.5457186</a>.'
  ieee: 'A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,”
    presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition
    (DATE 2010), Dresden, 2010, doi: <a href="https://doi.org/10.1109/DATE.2010.5457186">10.1109/DATE.2010.5457186</a>.'
  mla: Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW
    System Test.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href="https://doi.org/10.1109/DATE.2010.5457186">10.1109/DATE.2010.5457186</a>.
  short: 'A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.'
conference:
  location: Dresden
  name: Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T10:41:15Z
date_updated: 2023-01-17T10:41:25Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5457186
keyword:
- System testing
- Automatic testing
- Object oriented modeling
- Classification tree analysis
- Automotive engineering
- Mathematical model
- Embedded system
- Control systems
- Electronic equipment testing
- Software testing
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publisher: IEEE
status: public
title: A Systematic Approach to Combined HW/SW System Test
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37040'
abstract:
- lang: eng
  text: Refinement of untimed TLM models into a timed HW/SW platform is a step by
    step design process which is a trade-off between timing accuracy of the used models
    and correct estimation of the final timing performance. The use of an RTOS on
    the target platform is mandatory in the case real-time properties must be guaranteed.
    Thus, the question is when the RTOS must be introduced in this step by step refinement
    process. This paper proposes a four-level RTOS-aware refinement methodology that,
    starting from an untimed TLM SystemC description of the whole system, progressively
    introduce HW/SW partitioning, timing, device driver and RTOS functionalities,
    till to obtain an accurate model of the final platform, where SW tasks run upon
    an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions.
    Each refinement level allows the designer to estimate more and more accurate timing
    properties, thus anticipating design decisions without being constrained to leave
    timing analysis to the final step of the refinement. The effectiveness of the
    methodology has been evaluated in the design of two complex platforms.
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Giuseppe
  full_name: Di Guglielmo, Giuseppe
  last_name: Di Guglielmo
- first_name: Franco
  full_name: Fummi, Franco
  last_name: Fummi
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Graziano
  full_name: Pravadelli, Graziano
  last_name: Pravadelli
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
citation:
  ama: 'Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware
    Refinement for TLM2.0-based HW/SW Design. In: <i>Proceedings of DATE’10</i>. IEEE;
    2010. doi:<a href="https://doi.org/10.1109/DATE.2010.5456965">10.1109/DATE.2010.5456965</a>'
  apa: Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &#38;
    Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. <i>Proceedings
    of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition
    (DATE 2010), Dresden. <a href="https://doi.org/10.1109/DATE.2010.5456965">https://doi.org/10.1109/DATE.2010.5456965</a>
  bibtex: '@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden},
    title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={<a href="https://doi.org/10.1109/DATE.2010.5456965">10.1109/DATE.2010.5456965</a>},
    booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and
    Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli,
    Graziano and Xie, Tao}, year={2010} }'
  chicago: 'Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller,
    Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW
    Design.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href="https://doi.org/10.1109/DATE.2010.5456965">https://doi.org/10.1109/DATE.2010.5456965</a>.'
  ieee: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie,
    “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design,
    Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden,
    2010, doi: <a href="https://doi.org/10.1109/DATE.2010.5456965">10.1109/DATE.2010.5456965</a>.'
  mla: Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.”
    <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href="https://doi.org/10.1109/DATE.2010.5456965">10.1109/DATE.2010.5456965</a>.
  short: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie,
    in: Proceedings of DATE’10, IEEE, Dresden, 2010.'
conference:
  location: Dresden
  name: Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T10:47:29Z
date_updated: 2023-01-17T10:47:37Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5456965
keyword:
- Timing
- Hardware
- Operating systems
- Process design
- Accuracy
- Standards development
- Context modeling
- Real time systems
- Communication channels
- Microprogramming
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publication_identifier:
  eisbn:
  - 978-3-9810801-6-2
publisher: IEEE
status: public
title: RTOS-Aware Refinement for TLM2.0-based HW/SW Design
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37046'
abstract:
- lang: eng
  text: In this article, we present a flexible simulation environment for embedded
    real-time software refinement by a mixed level cosimulation. For this, we combine
    the native speed of an abstract real-time operating system (RTOS) model in SystemC
    with dynamic binary translation for fast Instruction Set Simulation (ISS) by QEMU.
    In order to support stepwise RTOS software refinement from system level to the
    target software, each task can be separately migrated between the native execution
    and the ISS. By adapting the dynamic binary translation approach to an efficient
    but yet very accurate synchronization scheme the overhead of QEMU user mode execution
    is only factor two compared to native SystemC. Furthermore, the simulation speed
    increases almost linearly according to the utilization of the task set abstracted
    by the native execution. Hereby, the simulation time can be considerably reduced
    by cosimulating just a subset of tasks on QEMU.
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Henning
  full_name: Zabel, Henning
  last_name: Zabel
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Becker M, Zabel H, Müller W. A Mixed Level Simulation Environment for Stepwise
    RTOS Software Refinement. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag;
    2010. doi:<a href="https://doi.org/10.1007/978-3-642-15234-4_15">10.1007/978-3-642-15234-4_15</a>'
  apa: Becker, M., Zabel, H., &#38; Müller, W. (2010). <i>A Mixed Level Simulation
    Environment for Stepwise RTOS Software Refinement</i> (L. Kleinjohann &#38; B.
    Kleinjohann, Eds.). Springer Verlag. <a href="https://doi.org/10.1007/978-3-642-15234-4_15">https://doi.org/10.1007/978-3-642-15234-4_15</a>
  bibtex: '@inproceedings{Becker_Zabel_Müller_2010, place={Dordrecht}, title={A Mixed
    Level Simulation Environment for Stepwise RTOS Software Refinement}, DOI={<a href="https://doi.org/10.1007/978-3-642-15234-4_15">10.1007/978-3-642-15234-4_15</a>},
    publisher={Springer Verlag}, author={Becker, Markus and Zabel, Henning and Müller,
    Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }'
  chicago: 'Becker, Markus, Henning Zabel, and Wolfgang Müller. “A Mixed Level Simulation
    Environment for Stepwise RTOS Software Refinement.” edited by L. Kleinjohann and
    B. Kleinjohann. Dordrecht: Springer Verlag, 2010. <a href="https://doi.org/10.1007/978-3-642-15234-4_15">https://doi.org/10.1007/978-3-642-15234-4_15</a>.'
  ieee: 'M. Becker, H. Zabel, and W. Müller, “A Mixed Level Simulation Environment
    for Stepwise RTOS Software Refinement,” 2010, doi: <a href="https://doi.org/10.1007/978-3-642-15234-4_15">10.1007/978-3-642-15234-4_15</a>.'
  mla: Becker, Markus, et al. <i>A Mixed Level Simulation Environment for Stepwise
    RTOS Software Refinement</i>. Edited by L. Kleinjohann and B. Kleinjohann, Springer
    Verlag, 2010, doi:<a href="https://doi.org/10.1007/978-3-642-15234-4_15">10.1007/978-3-642-15234-4_15</a>.
  short: 'M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.),
    Springer Verlag, Dordrecht, 2010.'
conference:
  name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
    2010)
date_created: 2023-01-17T11:01:30Z
date_updated: 2023-01-17T11:03:00Z
department:
- _id: '672'
doi: 10.1007/978-3-642-15234-4_15
editor:
- first_name: L.
  full_name: Kleinjohann, L.
  last_name: Kleinjohann
- first_name: B.
  full_name: Kleinjohann, B.
  last_name: Kleinjohann
keyword:
- Application Programming Interface     User Mode     Kernel Space     System Level
  Design     Mixed Level
language:
- iso: eng
place: Dordrecht
publication_identifier:
  isbn:
  - 978-3-642-15233-7
publisher: Springer Verlag
status: public
title: A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37044'
abstract:
- lang: eng
  text: In this paper we present new concepts to resolve ECU (Electronic Control Unit)
    failures in FlexRay networks. Our approach extends the FlexRay bus schedule by
    redundant slots with modifications in the communication and slot assignment. We
    introduce additional backup nodes to replace faulty nodes. To reduce the required
    memory resources of the backup nodes, we distribute redundant tasks over different
    nodes and propose the migration of tasks to the backup node at runtime. We investigate
    different solutions to migrate the redundant tasks to the backup node by time-triggered
    and event-triggered transmissions.
author:
- first_name: Kay
  full_name: Klobedanz, Kay
  last_name: Klobedanz
- first_name: Gilles B.
  full_name: Defo, Gilles B.
  last_name: Defo
- first_name: Henning
  full_name: Zabel, Henning
  last_name: Zabel
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Yuan
  full_name: Zhi, Yuan
  last_name: Zhi
citation:
  ama: 'Klobedanz K, Defo GB, Zabel H, Müller W, Zhi Y. Task Migration for Fault-Tolerant
    FlexRay Networks. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010.
    doi:<a href="https://doi.org/10.1007/978-3-642-15234-4_7">10.1007/978-3-642-15234-4_7</a>'
  apa: Klobedanz, K., Defo, G. B., Zabel, H., Müller, W., &#38; Zhi, Y. (2010). <i>Task
    Migration for Fault-Tolerant FlexRay Networks</i> (L. Kleinjohann &#38; B. Kleinjohann,
    Eds.). Springer Verlag. <a href="https://doi.org/10.1007/978-3-642-15234-4_7">https://doi.org/10.1007/978-3-642-15234-4_7</a>
  bibtex: '@inproceedings{Klobedanz_Defo_Zabel_Müller_Zhi_2010, place={Dordrecht},
    title={Task Migration for Fault-Tolerant FlexRay Networks}, DOI={<a href="https://doi.org/10.1007/978-3-642-15234-4_7">10.1007/978-3-642-15234-4_7</a>},
    publisher={Springer Verlag}, author={Klobedanz, Kay and Defo, Gilles B. and Zabel,
    Henning and Müller, Wolfgang and Zhi, Yuan}, editor={Kleinjohann, L. and Kleinjohann,
    B.}, year={2010} }'
  chicago: 'Klobedanz, Kay, Gilles B. Defo, Henning Zabel, Wolfgang Müller, and Yuan
    Zhi. “Task Migration for Fault-Tolerant FlexRay Networks.” edited by L. Kleinjohann
    and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. <a href="https://doi.org/10.1007/978-3-642-15234-4_7">https://doi.org/10.1007/978-3-642-15234-4_7</a>.'
  ieee: 'K. Klobedanz, G. B. Defo, H. Zabel, W. Müller, and Y. Zhi, “Task Migration
    for Fault-Tolerant FlexRay Networks,” 2010, doi: <a href="https://doi.org/10.1007/978-3-642-15234-4_7">10.1007/978-3-642-15234-4_7</a>.'
  mla: Klobedanz, Kay, et al. <i>Task Migration for Fault-Tolerant FlexRay Networks</i>.
    Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:<a href="https://doi.org/10.1007/978-3-642-15234-4_7">10.1007/978-3-642-15234-4_7</a>.
  short: 'K. Klobedanz, G.B. Defo, H. Zabel, W. Müller, Y. Zhi, in: L. Kleinjohann,
    B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.'
conference:
  name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
    2010)
date_created: 2023-01-17T10:59:52Z
date_updated: 2023-01-17T11:00:00Z
department:
- _id: '672'
doi: 10.1007/978-3-642-15234-4_7
editor:
- first_name: L.
  full_name: Kleinjohann, L.
  last_name: Kleinjohann
- first_name: B.
  full_name: Kleinjohann, B.
  last_name: Kleinjohann
keyword:
- Faulty Node     Static Segment     Slot Assignment     Task Migration     Communication
  Controller
language:
- iso: eng
place: Dordrecht
publication_identifier:
  isbn:
  - 978-3-642-15233-7
publisher: Springer Verlag
status: public
title: Task Migration for Fault-Tolerant FlexRay Networks
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37042'
abstract:
- lang: eng
  text: It's wide application in the area of software engineering, UML is still not
    fully accepted for other engineering domains like for electronic systems design.
    The main obstacle is due to a major gap in the design flow between UML-based modeling
    and verification. To overcome this gap, we introduce a UML profile for synthesizable
    SystemC and C and present its implementation in the context of the advanced SysML
    modeling environment of ARTiSAN Studio. We demonstrate how to customize Studio
    for SystemC/C comodeling so that it can serve as a verification and synthesis
    front-end.
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
- first_name: Da
  full_name: He, Da
  last_name: He
citation:
  ama: 'Mischkalla F, Müller W, He D. A UML Profile for SysML-Based Comodeling for
    Embedded Systems Simulation and Synthesis. In: <i>Proceedings of the M-BED Workshop</i>.
    ; 2010.'
  apa: Mischkalla, F., Müller, W., &#38; He, D. (2010). A UML Profile for SysML-Based
    Comodeling for Embedded Systems Simulation and Synthesis. <i>Proceedings of the
    M-BED Workshop</i>.
  bibtex: '@inproceedings{Mischkalla_Müller_He_2010, place={Dresden}, title={A UML
    Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis},
    booktitle={Proceedings of the M-BED Workshop}, author={Mischkalla, Fabian and
    Müller, Wolfgang and He, Da}, year={2010} }'
  chicago: Mischkalla, Fabian, Wolfgang Müller, and Da He. “A UML Profile for SysML-Based
    Comodeling for Embedded Systems Simulation and Synthesis.” In <i>Proceedings of
    the M-BED Workshop</i>. Dresden, 2010.
  ieee: F. Mischkalla, W. Müller, and D. He, “A UML Profile for SysML-Based Comodeling
    for Embedded Systems Simulation and Synthesis,” 2010.
  mla: Mischkalla, Fabian, et al. “A UML Profile for SysML-Based Comodeling for Embedded
    Systems Simulation and Synthesis.” <i>Proceedings of the M-BED Workshop</i>, 2010.
  short: 'F. Mischkalla, W. Müller, D. He, in: Proceedings of the M-BED Workshop,
    Dresden, 2010.'
date_created: 2023-01-17T10:50:01Z
date_updated: 2023-01-17T10:50:10Z
department:
- _id: '672'
language:
- iso: eng
place: Dresden
publication: Proceedings of the M-BED Workshop
status: public
title: A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and
  Synthesis
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37043'
author:
- first_name: Alexander
  full_name: Bol, Alexander
  last_name: Bol
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
citation:
  ama: 'Bol A, Müller W, Krupp A. Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen
    aus textuellen Anforderungsbeschreibungen. In: <i>Methoden Und Beschreibungssprachen
    Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV)</i>. ; 2010.'
  apa: Bol, A., Müller, W., &#38; Krupp, A. (2010). Eine strukturierte Methode zur
    Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen.
    <i>Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen
    Und Systemen (MBMV)</i>.
  bibtex: '@inproceedings{Bol_Müller_Krupp_2010, place={Dresden}, title={Eine strukturierte
    Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen},
    booktitle={Methoden und Beschreibungssprachen zur Modellierung und Verifikation
    von Schaltungen und Systemen (MBMV)}, author={Bol, Alexander and Müller, Wolfgang
    and Krupp, Alexander}, year={2010} }'
  chicago: Bol, Alexander, Wolfgang Müller, and Alexander Krupp. “Eine Strukturierte
    Methode Zur Generierung von SystemVerilog-Testumgebungen Aus Textuellen Anforderungsbeschreibungen.”
    In <i>Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von
    Schaltungen Und Systemen (MBMV)</i>. Dresden, 2010.
  ieee: A. Bol, W. Müller, and A. Krupp, “Eine strukturierte Methode zur Generierung
    von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen,” 2010.
  mla: Bol, Alexander, et al. “Eine Strukturierte Methode Zur Generierung von SystemVerilog-Testumgebungen
    Aus Textuellen Anforderungsbeschreibungen.” <i>Methoden Und Beschreibungssprachen
    Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV)</i>, 2010.
  short: 'A. Bol, W. Müller, A. Krupp, in: Methoden Und Beschreibungssprachen Zur
    Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), Dresden, 2010.'
date_created: 2023-01-17T10:55:18Z
date_updated: 2023-01-17T10:55:24Z
department:
- _id: '672'
language:
- iso: eng
place: Dresden
publication: Methoden und Beschreibungssprachen zur Modellierung und Verifikation
  von Schaltungen und Systemen (MBMV)
status: public
title: Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen
  aus textuellen Anforderungsbeschreibungen
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37050'
abstract:
- lang: eng
  text: The main obstacle for the wide acceptance of UML and SysML in the design of
    electronic systems is due to a major gap in the design flow between UML-based
    modeling and SystemC-based verification. To overcome this gap, we present an approach
    developed in the SATURN project which introduces UML profiles for the co-modeling
    of SystemC and C with code generation support in the context of the SysML tool
    suite ARTiSAN Studio®. We finally discuss the evaluation of the approach by two
    case studies.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Da
  full_name: He, Da
  last_name: He
- first_name: Fabian
  full_name: Mischkalla, Fabian
  last_name: Mischkalla
- first_name: Arthur
  full_name: Wegele, Arthur
  last_name: Wegele
- first_name: Adrian
  full_name: Larkham, Adrian
  last_name: Larkham
- first_name: Paul
  full_name: Whiston, Paul
  last_name: Whiston
- first_name: Pablo
  full_name: Penil, Pablo
  last_name: Penil
- first_name: Eugenio
  full_name: Villar, Eugenio
  last_name: Villar
- first_name: Nikolaos
  full_name: Mitas, Nikolaos
  last_name: Mitas
- first_name: Dimitros
  full_name: Kritharidis, Dimitros
  last_name: Kritharidis
- first_name: Florent
  full_name: Azcarate, Florent
  last_name: Azcarate
- first_name: Manuel
  full_name: Carballeda, Manuel
  last_name: Carballeda
citation:
  ama: 'Müller W, He D, Mischkalla F, et al. The SATURN Approach to SysML-based HW/SW
    Codesign. In: <i>Proceedings of the IEEE Computer Society Annual Symposium on
    VLSI</i>. Lecture Notes in Electrical Engineering. ; 2010. doi:<a href="https://doi.org/10.1007/978-94-007-1488-5_9">10.1007/978-94-007-1488-5_9</a>'
  apa: Müller, W., He, D., Mischkalla, F., Wegele, A., Larkham, A., Whiston, P., Penil,
    P., Villar, E., Mitas, N., Kritharidis, D., Azcarate, F., &#38; Carballeda, M.
    (2010). The SATURN Approach to SysML-based HW/SW Codesign. <i>Proceedings of the
    IEEE Computer Society Annual Symposium on VLSI</i>. <a href="https://doi.org/10.1007/978-94-007-1488-5_9">https://doi.org/10.1007/978-94-007-1488-5_9</a>
  bibtex: '@inproceedings{Müller_He_Mischkalla_Wegele_Larkham_Whiston_Penil_Villar_Mitas_Kritharidis_et
    al._2010, series={Lecture Notes in Electrical Engineering}, title={The SATURN
    Approach to SysML-based HW/SW Codesign}, DOI={<a href="https://doi.org/10.1007/978-94-007-1488-5_9">10.1007/978-94-007-1488-5_9</a>},
    booktitle={Proceedings of the IEEE Computer Society Annual Symposium on VLSI},
    author={Müller, Wolfgang and He, Da and Mischkalla, Fabian and Wegele, Arthur
    and Larkham, Adrian and Whiston, Paul and Penil, Pablo and Villar, Eugenio and
    Mitas, Nikolaos and Kritharidis, Dimitros and et al.}, year={2010}, collection={Lecture
    Notes in Electrical Engineering} }'
  chicago: Müller, Wolfgang, Da He, Fabian Mischkalla, Arthur Wegele, Adrian Larkham,
    Paul Whiston, Pablo Penil, et al. “The SATURN Approach to SysML-Based HW/SW Codesign.”
    In <i>Proceedings of the IEEE Computer Society Annual Symposium on VLSI</i>. Lecture
    Notes in Electrical Engineering, 2010. <a href="https://doi.org/10.1007/978-94-007-1488-5_9">https://doi.org/10.1007/978-94-007-1488-5_9</a>.
  ieee: 'W. Müller <i>et al.</i>, “The SATURN Approach to SysML-based HW/SW Codesign,”
    2010, doi: <a href="https://doi.org/10.1007/978-94-007-1488-5_9">10.1007/978-94-007-1488-5_9</a>.'
  mla: Müller, Wolfgang, et al. “The SATURN Approach to SysML-Based HW/SW Codesign.”
    <i>Proceedings of the IEEE Computer Society Annual Symposium on VLSI</i>, 2010,
    doi:<a href="https://doi.org/10.1007/978-94-007-1488-5_9">10.1007/978-94-007-1488-5_9</a>.
  short: 'W. Müller, D. He, F. Mischkalla, A. Wegele, A. Larkham, P. Whiston, P. Penil,
    E. Villar, N. Mitas, D. Kritharidis, F. Azcarate, M. Carballeda, in: Proceedings
    of the IEEE Computer Society Annual Symposium on VLSI, 2010.'
date_created: 2023-01-17T11:19:45Z
date_updated: 2023-01-17T11:19:53Z
department:
- _id: '672'
doi: 10.1007/978-94-007-1488-5_9
keyword:
- Communicate Sequential Process     Virtual Platform     Smart Camera     Synchronous
  Data Flow     Artisan Studio
language:
- iso: eng
publication: Proceedings of the IEEE Computer Society Annual Symposium on VLSI
publication_identifier:
  eisbn:
  - 978-94-007-1488-5
series_title: Lecture Notes in Electrical Engineering
status: public
title: The SATURN Approach to SysML-based HW/SW Codesign
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37048'
abstract:
- lang: eng
  text: We introduce a structured methodology for the generation of executable test
    environments from textual requirement specifications via UML class diagrams and
    the application of the classification tree methodology for embedded systems. The
    first phase is a stepwise transformation from unstructured English text into a
    textual normal form (TNF), which is automatically translated into UML class diagrams.
    After annotations of the class diagrams and the definition of test cases by sequence
    diagrams, both are converted into classification trees. From the classification
    trees we can finally generate SystemVerilog code. The methodology is introduced
    and evaluated by the example of an Adaptive Cruise Controller.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Alexander
  full_name: Bol, Alexander
  last_name: Bol
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Ola
  full_name: Lundkvist, Ola
  last_name: Lundkvist
citation:
  ama: 'Müller W, Bol A, Krupp A, Lundkvist O. Generation of Executable Testbenches
    from Natural Language Requirement Specifications for Embedded Real-Time Systems.
    In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:<a href="https://doi.org/10.1007/978-3-642-15234-4_9">10.1007/978-3-642-15234-4_9</a>'
  apa: Müller, W., Bol, A., Krupp, A., &#38; Lundkvist, O. (2010). <i>Generation of
    Executable Testbenches from Natural Language Requirement Specifications for Embedded
    Real-Time Systems</i> (L. Kleinjohann &#38; B. Kleinjohann, Eds.). Springer Verlag.
    <a href="https://doi.org/10.1007/978-3-642-15234-4_9">https://doi.org/10.1007/978-3-642-15234-4_9</a>
  bibtex: '@inproceedings{Müller_Bol_Krupp_Lundkvist_2010, place={Dordrecht}, title={Generation
    of Executable Testbenches from Natural Language Requirement Specifications for
    Embedded Real-Time Systems}, DOI={<a href="https://doi.org/10.1007/978-3-642-15234-4_9">10.1007/978-3-642-15234-4_9</a>},
    publisher={Springer Verlag}, author={Müller, Wolfgang and Bol, Alexander and Krupp,
    Alexander and Lundkvist, Ola}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010}
    }'
  chicago: 'Müller, Wolfgang, Alexander Bol, Alexander Krupp, and Ola Lundkvist. “Generation
    of Executable Testbenches from Natural Language Requirement Specifications for
    Embedded Real-Time Systems.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht:
    Springer Verlag, 2010. <a href="https://doi.org/10.1007/978-3-642-15234-4_9">https://doi.org/10.1007/978-3-642-15234-4_9</a>.'
  ieee: 'W. Müller, A. Bol, A. Krupp, and O. Lundkvist, “Generation of Executable
    Testbenches from Natural Language Requirement Specifications for Embedded Real-Time
    Systems,” 2010, doi: <a href="https://doi.org/10.1007/978-3-642-15234-4_9">10.1007/978-3-642-15234-4_9</a>.'
  mla: Müller, Wolfgang, et al. <i>Generation of Executable Testbenches from Natural
    Language Requirement Specifications for Embedded Real-Time Systems</i>. Edited
    by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:<a href="https://doi.org/10.1007/978-3-642-15234-4_9">10.1007/978-3-642-15234-4_9</a>.
  short: 'W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann
    (Eds.), Springer Verlag, Dordrecht, 2010.'
conference:
  name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
    2010)
date_created: 2023-01-17T11:09:48Z
date_updated: 2023-01-17T11:09:54Z
department:
- _id: '672'
doi: 10.1007/978-3-642-15234-4_9
editor:
- first_name: L.
  full_name: Kleinjohann, L.
  last_name: Kleinjohann
- first_name: B.
  full_name: Kleinjohann, B.
  last_name: Kleinjohann
keyword:
- Natural Language     UML     SystemVerilog     Testbenches
language:
- iso: eng
place: Dordrecht
publication_identifier:
  isbn:
  - 978-3-642-15233-7
publisher: Springer Verlag
status: public
title: Generation of Executable Testbenches from Natural Language Requirement Specifications
  for Embedded Real-Time Systems
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37049'
author:
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
- first_name: Florian
  full_name: Letombe, Florian
  last_name: Letombe
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Xie T, Letombe F, Müller W. Mutation-Analysis Directed Constrained Random
    Verification. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010.'
  apa: Xie, T., Letombe, F., &#38; Müller, W. (2010). <i>Mutation-Analysis Directed
    Constrained Random Verification</i> (L. Kleinjohann &#38; B. Kleinjohann, Eds.).
    Springer Verlag.
  bibtex: '@inproceedings{Xie_Letombe_Müller_2010, place={Dordrecht}, title={Mutation-Analysis
    Directed Constrained Random Verification}, publisher={Springer Verlag}, author={Xie,
    Tao and Letombe, Florian and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann,
    B.}, year={2010} }'
  chicago: 'Xie, Tao, Florian Letombe, and Wolfgang Müller. “Mutation-Analysis Directed
    Constrained Random Verification.” edited by L. Kleinjohann and B. Kleinjohann.
    Dordrecht: Springer Verlag, 2010.'
  ieee: T. Xie, F. Letombe, and W. Müller, “Mutation-Analysis Directed Constrained
    Random Verification,” 2010.
  mla: Xie, Tao, et al. <i>Mutation-Analysis Directed Constrained Random Verification</i>.
    Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010.
  short: 'T. Xie, F. Letombe, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.),
    Springer Verlag, Dordrecht, 2010.'
conference:
  name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
    2010)
date_created: 2023-01-17T11:11:51Z
date_updated: 2023-01-17T11:12:52Z
department:
- _id: '672'
editor:
- first_name: L.
  full_name: Kleinjohann, L.
  last_name: Kleinjohann
- first_name: B.
  full_name: Kleinjohann, B.
  last_name: Kleinjohann
language:
- iso: eng
place: Dordrecht
publisher: Springer Verlag
status: public
title: Mutation-Analysis Directed Constrained Random Verification
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37051'
author:
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
- first_name: Gilles B.
  full_name: Defo, Gilles B.
  last_name: Defo
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Xie T, Defo GB, Müller W. An Eclipse-based Framework for the IP-XACT-enabled
    Assembly of Mixed-Level IPs. In: ; 2010.'
  apa: Xie, T., Defo, G. B., &#38; Müller, W. (2010). <i>An Eclipse-based Framework
    for the IP-XACT-enabled Assembly of Mixed-Level IPs</i>. First Workshop on Hands-on
    Platforms and tools for model-based engineering of Embedded Systems (HoPES 2010),
    Paris.
  bibtex: '@inproceedings{Xie_Defo_Müller_2010, place={Paris}, title={An Eclipse-based
    Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs}, author={Xie, Tao
    and Defo, Gilles B. and Müller, Wolfgang}, year={2010} }'
  chicago: Xie, Tao, Gilles B. Defo, and Wolfgang Müller. “An Eclipse-Based Framework
    for the IP-XACT-Enabled Assembly of Mixed-Level IPs.” Paris, 2010.
  ieee: T. Xie, G. B. Defo, and W. Müller, “An Eclipse-based Framework for the IP-XACT-enabled
    Assembly of Mixed-Level IPs,” presented at the First Workshop on Hands-on Platforms
    and tools for model-based engineering of Embedded Systems (HoPES 2010), Paris,
    2010.
  mla: Xie, Tao, et al. <i>An Eclipse-Based Framework for the IP-XACT-Enabled Assembly
    of Mixed-Level IPs</i>. 2010.
  short: 'T. Xie, G.B. Defo, W. Müller, in: Paris, 2010.'
conference:
  location: Paris
  name: First Workshop on Hands-on Platforms and tools for model-based engineering
    of Embedded Systems (HoPES 2010)
date_created: 2023-01-17T11:22:10Z
date_updated: 2023-01-17T11:22:16Z
department:
- _id: '672'
language:
- iso: eng
place: Paris
status: public
title: An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level
  IPs
type: conference
user_id: '5786'
year: '2010'
...