---
_id: '46383'
abstract:
- lang: eng
text: We propose an evolutionary multiobjective algorithm that approximates multiple
reference points (the aspiration set) in a single run using the concept of the
averaged Hausdorff distance.
author:
- first_name: Günter
full_name: Rudolph, Günter
last_name: Rudolph
- first_name: Christian
full_name: Grimme, Christian
last_name: Grimme
- first_name: Oliver
full_name: Schütze, Oliver
last_name: Schütze
- first_name: Heike
full_name: Trautmann, Heike
id: '100740'
last_name: Trautmann
orcid: 0000-0002-9788-8282
citation:
ama: 'Rudolph G, Grimme C, Schütze O, Trautmann H. An Aspiration Set EMOA Based
on Averaged Hausdorff Distances. In: Proceedings of the Learning and Intelligent
OptimizatioN Conference (LION 8). Vol 8426. Lecture Notes in Computer Science.
Springer; 2014:153–156.'
apa: Rudolph, G., Grimme, C., Schütze, O., & Trautmann, H. (2014). An Aspiration
Set EMOA Based on Averaged Hausdorff Distances. Proceedings of the Learning
and Intelligent OptimizatioN Conference (LION 8), 8426, 153–156.
bibtex: '@inproceedings{Rudolph_Grimme_Schütze_Trautmann_2014, place={Gainesville,
Florida, USA}, series={Lecture Notes in Computer Science}, title={An Aspiration
Set EMOA Based on Averaged Hausdorff Distances}, volume={8426}, booktitle={Proceedings
of the Learning and Intelligent OptimizatioN Conference (LION 8)}, publisher={Springer},
author={Rudolph, Günter and Grimme, Christian and Schütze, Oliver and Trautmann,
Heike}, year={2014}, pages={153–156}, collection={Lecture Notes in Computer Science}
}'
chicago: 'Rudolph, Günter, Christian Grimme, Oliver Schütze, and Heike Trautmann.
“An Aspiration Set EMOA Based on Averaged Hausdorff Distances.” In Proceedings
of the Learning and Intelligent OptimizatioN Conference (LION 8), 8426:153–156.
Lecture Notes in Computer Science. Gainesville, Florida, USA: Springer, 2014.'
ieee: G. Rudolph, C. Grimme, O. Schütze, and H. Trautmann, “An Aspiration Set EMOA
Based on Averaged Hausdorff Distances,” in Proceedings of the Learning and
Intelligent OptimizatioN Conference (LION 8), 2014, vol. 8426, pp. 153–156.
mla: Rudolph, Günter, et al. “An Aspiration Set EMOA Based on Averaged Hausdorff
Distances.” Proceedings of the Learning and Intelligent OptimizatioN Conference
(LION 8), vol. 8426, Springer, 2014, pp. 153–156.
short: 'G. Rudolph, C. Grimme, O. Schütze, H. Trautmann, in: Proceedings of the
Learning and Intelligent OptimizatioN Conference (LION 8), Springer, Gainesville,
Florida, USA, 2014, pp. 153–156.'
date_created: 2023-08-04T15:34:44Z
date_updated: 2023-10-16T13:43:59Z
department:
- _id: '34'
- _id: '819'
intvolume: ' 8426'
language:
- iso: eng
page: 153–156
place: Gainesville, Florida, USA
publication: Proceedings of the Learning and Intelligent OptimizatioN Conference (LION
8)
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: An Aspiration Set EMOA Based on Averaged Hausdorff Distances
type: conference
user_id: '15504'
volume: 8426
year: '2014'
...
---
_id: '46384'
abstract:
- lang: eng
text: Multimodal optimization requires maintenance of a good search space coverage
and approximation of several optima at the same time. We analyze two constitutive
optimization algorithms and show that in many cases, a phase transition occurs
at some point, so that either diversity collapses or optimization stagnates. But
how to derive suitable stopping criteria for multimodal optimization? Experimental
results indicate that an algorithm’s population contains sufficient information
to estimate the point in time when several performance indicators reach their
optimum. Thus, stopping criteria are formulated based on summary characteristics
employing objective values and mutation strength.
author:
- first_name: S
full_name: Wessing, S
last_name: Wessing
- first_name: M
full_name: Preuss, M
last_name: Preuss
- first_name: Heike
full_name: Trautmann, Heike
id: '100740'
last_name: Trautmann
orcid: 0000-0002-9788-8282
citation:
ama: 'Wessing S, Preuss M, Trautmann H. Stopping Criteria for Multimodal Optimization.
In: Bartz-Beielstein T, Branke J, Filipic B, Smith J, eds. Proceedings of the
Parallel Problem Solving from Nature — PPSN XIII. Vol 8672. Lecture Notes
in Computer Science. Springer; 2014:141–150. doi:10.1007/978-3-319-10762-2_14'
apa: Wessing, S., Preuss, M., & Trautmann, H. (2014). Stopping Criteria for
Multimodal Optimization. In T. Bartz-Beielstein, J. Branke, B. Filipic, &
J. Smith (Eds.), Proceedings of the Parallel Problem Solving from Nature —
PPSN XIII (Vol. 8672, pp. 141–150). Springer. https://doi.org/10.1007/978-3-319-10762-2_14
bibtex: '@inproceedings{Wessing_Preuss_Trautmann_2014, place={Ljubljana, Slovenia},
series={Lecture Notes in Computer Science}, title={Stopping Criteria for Multimodal
Optimization}, volume={8672}, DOI={10.1007/978-3-319-10762-2_14},
booktitle={Proceedings of the Parallel Problem Solving from Nature — PPSN XIII},
publisher={Springer}, author={Wessing, S and Preuss, M and Trautmann, Heike},
editor={Bartz-Beielstein, T and Branke, J and Filipic, B and Smith, J}, year={2014},
pages={141–150}, collection={Lecture Notes in Computer Science} }'
chicago: 'Wessing, S, M Preuss, and Heike Trautmann. “Stopping Criteria for Multimodal
Optimization.” In Proceedings of the Parallel Problem Solving from Nature —
PPSN XIII, edited by T Bartz-Beielstein, J Branke, B Filipic, and J Smith,
8672:141–150. Lecture Notes in Computer Science. Ljubljana, Slovenia: Springer,
2014. https://doi.org/10.1007/978-3-319-10762-2_14.'
ieee: 'S. Wessing, M. Preuss, and H. Trautmann, “Stopping Criteria for Multimodal
Optimization,” in Proceedings of the Parallel Problem Solving from Nature —
PPSN XIII, 2014, vol. 8672, pp. 141–150, doi: 10.1007/978-3-319-10762-2_14.'
mla: Wessing, S., et al. “Stopping Criteria for Multimodal Optimization.” Proceedings
of the Parallel Problem Solving from Nature — PPSN XIII, edited by T Bartz-Beielstein
et al., vol. 8672, Springer, 2014, pp. 141–150, doi:10.1007/978-3-319-10762-2_14.
short: 'S. Wessing, M. Preuss, H. Trautmann, in: T. Bartz-Beielstein, J. Branke,
B. Filipic, J. Smith (Eds.), Proceedings of the Parallel Problem Solving from
Nature — PPSN XIII, Springer, Ljubljana, Slovenia, 2014, pp. 141–150.'
date_created: 2023-08-04T15:36:01Z
date_updated: 2023-10-16T13:44:15Z
department:
- _id: '34'
- _id: '819'
doi: 10.1007/978-3-319-10762-2_14
editor:
- first_name: T
full_name: Bartz-Beielstein, T
last_name: Bartz-Beielstein
- first_name: J
full_name: Branke, J
last_name: Branke
- first_name: B
full_name: Filipic, B
last_name: Filipic
- first_name: J
full_name: Smith, J
last_name: Smith
intvolume: ' 8672'
language:
- iso: eng
page: 141–150
place: Ljubljana, Slovenia
publication: Proceedings of the Parallel Problem Solving from Nature — PPSN XIII
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Stopping Criteria for Multimodal Optimization
type: conference
user_id: '15504'
volume: 8672
year: '2014'
...
---
_id: '31369'
author:
- first_name: Anja
full_name: Panse, Anja
last_name: Panse
- first_name: Joachim
full_name: Hilgert, Joachim
id: '220'
last_name: Hilgert
- first_name: Max
full_name: Hoffmann, Max
id: '32202'
last_name: Hoffmann
orcid: 0000-0002-6964-7123
citation:
ama: 'Panse A, Hilgert J, Hoffmann M. Handlungsbedarf in fachmathematischen Veranstaltungen?
– Spezielle Maßnahmen an der Universität Paderborn. In: Roth J, Ames J, eds. Beiträge
zum Mathematikunterricht 2014. WTM-Verlag; 2014:883–886. doi:10.17877/DE290R-15591'
apa: Panse, A., Hilgert, J., & Hoffmann, M. (2014). Handlungsbedarf in fachmathematischen
Veranstaltungen? – Spezielle Maßnahmen an der Universität Paderborn. In J. Roth
& J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014 (pp. 883–886).
WTM-Verlag. https://doi.org/10.17877/DE290R-15591
bibtex: '@inproceedings{Panse_Hilgert_Hoffmann_2014, place={Münster}, title={Handlungsbedarf
in fachmathematischen Veranstaltungen? – Spezielle Maßnahmen an der Universität
Paderborn}, DOI={10.17877/DE290R-15591},
booktitle={Beiträge zum Mathematikunterricht 2014}, publisher={WTM-Verlag}, author={Panse,
Anja and Hilgert, Joachim and Hoffmann, Max}, editor={Roth, Jürgen and Ames, Judith},
year={2014}, pages={883–886} }'
chicago: 'Panse, Anja, Joachim Hilgert, and Max Hoffmann. “Handlungsbedarf in fachmathematischen
Veranstaltungen? – Spezielle Maßnahmen an der Universität Paderborn.” In Beiträge
zum Mathematikunterricht 2014, edited by Jürgen Roth and Judith Ames, 883–886.
Münster: WTM-Verlag, 2014. https://doi.org/10.17877/DE290R-15591.'
ieee: 'A. Panse, J. Hilgert, and M. Hoffmann, “Handlungsbedarf in fachmathematischen
Veranstaltungen? – Spezielle Maßnahmen an der Universität Paderborn,” in Beiträge
zum Mathematikunterricht 2014, 2014, pp. 883–886, doi: 10.17877/DE290R-15591.'
mla: Panse, Anja, et al. “Handlungsbedarf in fachmathematischen Veranstaltungen?
– Spezielle Maßnahmen an der Universität Paderborn.” Beiträge zum Mathematikunterricht
2014, edited by Jürgen Roth and Judith Ames, WTM-Verlag, 2014, pp. 883–886,
doi:10.17877/DE290R-15591.
short: 'A. Panse, J. Hilgert, M. Hoffmann, in: J. Roth, J. Ames (Eds.), Beiträge
zum Mathematikunterricht 2014, WTM-Verlag, Münster, 2014, pp. 883–886.'
date_created: 2022-05-22T14:23:39Z
date_updated: 2024-02-19T06:19:20Z
department:
- _id: '91'
- _id: '97'
doi: 10.17877/DE290R-15591
editor:
- first_name: Jürgen
full_name: Roth, Jürgen
last_name: Roth
- first_name: Judith
full_name: Ames, Judith
last_name: Ames
language:
- iso: ger
main_file_link:
- open_access: '1'
url: https://eldorado.tu-dortmund.de/handle/2003/33279
oa: '1'
page: 883–886
place: Münster
publication: Beiträge zum Mathematikunterricht 2014
publication_status: published
publisher: WTM-Verlag
status: public
title: Handlungsbedarf in fachmathematischen Veranstaltungen? – Spezielle Maßnahmen
an der Universität Paderborn
type: conference
user_id: '49063'
year: '2014'
...
---
_id: '51394'
author:
- first_name: Joachim
full_name: Hilgert, Joachim
id: '220'
last_name: Hilgert
- first_name: J.
full_name: Möllers, J.
last_name: Möllers
- first_name: T.
full_name: Kobayashi, T.
last_name: Kobayashi
citation:
ama: Hilgert J, Möllers J, Kobayashi T. Minimal representations via Bessel operators.
J Math Soc Japan. 2014;66:349-414.
apa: Hilgert, J., Möllers, J., & Kobayashi, T. (2014). Minimal representations
via Bessel operators. J. Math. Soc. Japan, 66, 349–414.
bibtex: '@article{Hilgert_Möllers_Kobayashi_2014, title={Minimal representations
via Bessel operators}, volume={66}, journal={J. Math. Soc. Japan}, author={Hilgert,
Joachim and Möllers, J. and Kobayashi, T.}, year={2014}, pages={349–414} }'
chicago: 'Hilgert, Joachim, J. Möllers, and T. Kobayashi. “Minimal Representations
via Bessel Operators.” J. Math. Soc. Japan 66 (2014): 349–414.'
ieee: J. Hilgert, J. Möllers, and T. Kobayashi, “Minimal representations via Bessel
operators,” J. Math. Soc. Japan, vol. 66, pp. 349–414, 2014.
mla: Hilgert, Joachim, et al. “Minimal Representations via Bessel Operators.” J.
Math. Soc. Japan, vol. 66, 2014, pp. 349–414.
short: J. Hilgert, J. Möllers, T. Kobayashi, J. Math. Soc. Japan 66 (2014) 349–414.
date_created: 2024-02-19T06:52:36Z
date_updated: 2024-02-19T06:54:42Z
department:
- _id: '91'
intvolume: ' 66'
language:
- iso: eng
page: 349-414
publication: J. Math. Soc. Japan
publication_status: published
status: public
title: Minimal representations via Bessel operators
type: journal_article
user_id: '49063'
volume: 66
year: '2014'
...
---
_id: '51393'
author:
- first_name: Joachim
full_name: Hilgert, Joachim
id: '220'
last_name: Hilgert
- first_name: T.
full_name: Wurzbacher, T.
last_name: Wurzbacher
- first_name: A.
full_name: Alldridge, A.
last_name: Alldridge
citation:
ama: Hilgert J, Wurzbacher T, Alldridge A. Singular superspaces. Math Z.
2014;278:441-492.
apa: Hilgert, J., Wurzbacher, T., & Alldridge, A. (2014). Singular superspaces.
Math. Z., 278, 441–492.
bibtex: '@article{Hilgert_Wurzbacher_Alldridge_2014, title={Singular superspaces},
volume={278}, journal={Math. Z.}, author={Hilgert, Joachim and Wurzbacher, T.
and Alldridge, A.}, year={2014}, pages={441–492} }'
chicago: 'Hilgert, Joachim, T. Wurzbacher, and A. Alldridge. “Singular Superspaces.”
Math. Z. 278 (2014): 441–92.'
ieee: J. Hilgert, T. Wurzbacher, and A. Alldridge, “Singular superspaces,” Math.
Z., vol. 278, pp. 441–492, 2014.
mla: Hilgert, Joachim, et al. “Singular Superspaces.” Math. Z., vol. 278,
2014, pp. 441–92.
short: J. Hilgert, T. Wurzbacher, A. Alldridge, Math. Z. 278 (2014) 441–492.
date_created: 2024-02-19T06:51:21Z
date_updated: 2024-02-19T06:54:42Z
department:
- _id: '91'
intvolume: ' 278'
language:
- iso: eng
page: 441-492
publication: Math. Z.
publication_status: published
status: public
title: Singular superspaces
type: journal_article
user_id: '49063'
volume: 278
year: '2014'
...
---
_id: '51466'
author:
- first_name: Joachim
full_name: Hilgert, Joachim
id: '220'
last_name: Hilgert
- first_name: G.
full_name: Ólafsson, G.
last_name: Ólafsson
citation:
ama: 'Hilgert J, Ólafsson G. The Radon transform and its dual for limits of symmetric
spaces. In: Mason G, Penkov I, Wolf JA, eds. Developments and Retrospectives
in Lie Theory - Geometric and Analytic Methods. Vol 37. Developments in Mathematics.
Springer; 2014.'
apa: Hilgert, J., & Ólafsson, G. (2014). The Radon transform and its dual for
limits of symmetric spaces. In G. Mason, I. Penkov, & J. A. Wolf (Eds.), Developments
and Retrospectives in Lie Theory - Geometric and Analytic Methods (Vol. 37).
Springer.
bibtex: '@inbook{Hilgert_Ólafsson_2014, series={Developments in Mathematics}, title={The
Radon transform and its dual for limits of symmetric spaces}, volume={37}, booktitle={Developments
and Retrospectives in Lie Theory - Geometric and Analytic Methods}, publisher={Springer},
author={Hilgert, Joachim and Ólafsson, G.}, editor={Mason, G. and Penkov, I. and
Wolf, J.A.}, year={2014}, collection={Developments in Mathematics} }'
chicago: Hilgert, Joachim, and G. Ólafsson. “The Radon Transform and Its Dual for
Limits of Symmetric Spaces.” In Developments and Retrospectives in Lie Theory
- Geometric and Analytic Methods, edited by G. Mason, I. Penkov, and J.A.
Wolf, Vol. 37. Developments in Mathematics. Springer, 2014.
ieee: J. Hilgert and G. Ólafsson, “The Radon transform and its dual for limits of
symmetric spaces,” in Developments and Retrospectives in Lie Theory - Geometric
and Analytic Methods, vol. 37, G. Mason, I. Penkov, and J. A. Wolf, Eds. Springer,
2014.
mla: Hilgert, Joachim, and G. Ólafsson. “The Radon Transform and Its Dual for Limits
of Symmetric Spaces.” Developments and Retrospectives in Lie Theory - Geometric
and Analytic Methods, edited by G. Mason et al., vol. 37, Springer, 2014.
short: 'J. Hilgert, G. Ólafsson, in: G. Mason, I. Penkov, J.A. Wolf (Eds.), Developments
and Retrospectives in Lie Theory - Geometric and Analytic Methods, Springer, 2014.'
date_created: 2024-02-19T08:10:54Z
date_updated: 2024-02-19T08:11:08Z
department:
- _id: '91'
editor:
- first_name: G.
full_name: Mason, G.
last_name: Mason
- first_name: I.
full_name: Penkov, I.
last_name: Penkov
- first_name: J.A.
full_name: Wolf, J.A.
last_name: Wolf
intvolume: ' 37'
language:
- iso: eng
publication: Developments and Retrospectives in Lie Theory - Geometric and Analytic
Methods
publication_status: published
publisher: Springer
series_title: Developments in Mathematics
status: public
title: The Radon transform and its dual for limits of symmetric spaces
type: book_chapter
user_id: '49063'
volume: 37
year: '2014'
...
---
_id: '51465'
author:
- first_name: Joachim
full_name: Hilgert, Joachim
id: '220'
last_name: Hilgert
- first_name: M.
full_name: Hoffmann, M.
last_name: Hoffmann
- first_name: A.
full_name: Panse, A.
last_name: Panse
citation:
ama: 'Hilgert J, Hoffmann M, Panse A. Schwierigkeiten von Studienanfängern, verschiedene
Lehrmethoden und Fragen an die Didaktik. In: Roth J, Ames J, eds. Beiträge
zum Mathematikunterricht 2014. WTM Verlag; 2014.'
apa: Hilgert, J., Hoffmann, M., & Panse, A. (2014). Schwierigkeiten von Studienanfängern,
verschiedene Lehrmethoden und Fragen an die Didaktik. In J. Roth & J. Ames
(Eds.), Beiträge zum Mathematikunterricht 2014. WTM Verlag.
bibtex: '@inbook{Hilgert_Hoffmann_Panse_2014, place={Münster}, title={Schwierigkeiten
von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik}, booktitle={Beiträge
zum Mathematikunterricht 2014}, publisher={WTM Verlag}, author={Hilgert, Joachim
and Hoffmann, M. and Panse, A.}, editor={Roth, J. and Ames, J.}, year={2014} }'
chicago: 'Hilgert, Joachim, M. Hoffmann, and A. Panse. “Schwierigkeiten von Studienanfängern,
verschiedene Lehrmethoden und Fragen an die Didaktik.” In Beiträge zum Mathematikunterricht
2014, edited by J. Roth and J. Ames. Münster: WTM Verlag, 2014.'
ieee: 'J. Hilgert, M. Hoffmann, and A. Panse, “Schwierigkeiten von Studienanfängern,
verschiedene Lehrmethoden und Fragen an die Didaktik,” in Beiträge zum Mathematikunterricht
2014, J. Roth and J. Ames, Eds. Münster: WTM Verlag, 2014.'
mla: Hilgert, Joachim, et al. “Schwierigkeiten von Studienanfängern, verschiedene
Lehrmethoden und Fragen an die Didaktik.” Beiträge zum Mathematikunterricht
2014, edited by J. Roth and J. Ames, WTM Verlag, 2014.
short: 'J. Hilgert, M. Hoffmann, A. Panse, in: J. Roth, J. Ames (Eds.), Beiträge
zum Mathematikunterricht 2014, WTM Verlag, Münster, 2014.'
date_created: 2024-02-19T08:07:51Z
date_updated: 2024-02-19T08:07:57Z
department:
- _id: '91'
editor:
- first_name: J.
full_name: Roth, J.
last_name: Roth
- first_name: J.
full_name: Ames, J.
last_name: Ames
language:
- iso: ger
place: Münster
publication: Beiträge zum Mathematikunterricht 2014
publication_status: published
publisher: WTM Verlag
status: public
title: Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen
an die Didaktik
type: book_chapter
user_id: '49063'
year: '2014'
...
---
_id: '45935'
author:
- first_name: Owe
full_name: Axelsson, Owe
last_name: Axelsson
- first_name: János
full_name: Karátson, János
last_name: Karátson
- first_name: Balázs
full_name: Kovács, Balázs
last_name: Kovács
citation:
ama: Axelsson O, Karátson J, Kovács B. Robust Preconditioning Estimates for Convection-Dominated
Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality. SIAM Journal
on Numerical Analysis. 2014;52(6):2957-2976. doi:10.1137/130940268
apa: Axelsson, O., Karátson, J., & Kovács, B. (2014). Robust Preconditioning
Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs
Inequality. SIAM Journal on Numerical Analysis, 52(6), 2957–2976.
https://doi.org/10.1137/130940268
bibtex: '@article{Axelsson_Karátson_Kovács_2014, title={Robust Preconditioning Estimates
for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs
Inequality}, volume={52}, DOI={10.1137/130940268},
number={6}, journal={SIAM Journal on Numerical Analysis}, publisher={Society for
Industrial & Applied Mathematics (SIAM)}, author={Axelsson, Owe and Karátson,
János and Kovács, Balázs}, year={2014}, pages={2957–2976} }'
chicago: 'Axelsson, Owe, János Karátson, and Balázs Kovács. “Robust Preconditioning
Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs
Inequality.” SIAM Journal on Numerical Analysis 52, no. 6 (2014): 2957–76.
https://doi.org/10.1137/130940268.'
ieee: 'O. Axelsson, J. Karátson, and B. Kovács, “Robust Preconditioning Estimates
for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs
Inequality,” SIAM Journal on Numerical Analysis, vol. 52, no. 6, pp. 2957–2976,
2014, doi: 10.1137/130940268.'
mla: Axelsson, Owe, et al. “Robust Preconditioning Estimates for Convection-Dominated
Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality.” SIAM Journal
on Numerical Analysis, vol. 52, no. 6, Society for Industrial & Applied
Mathematics (SIAM), 2014, pp. 2957–76, doi:10.1137/130940268.
short: O. Axelsson, J. Karátson, B. Kovács, SIAM Journal on Numerical Analysis 52
(2014) 2957–2976.
date_created: 2023-07-10T11:35:14Z
date_updated: 2024-04-03T09:23:35Z
department:
- _id: '841'
doi: 10.1137/130940268
intvolume: ' 52'
issue: '6'
keyword:
- Numerical Analysis
- Applied Mathematics
- Computational Mathematics
language:
- iso: eng
page: 2957-2976
publication: SIAM Journal on Numerical Analysis
publication_identifier:
issn:
- 0036-1429
- 1095-7170
publication_status: published
publisher: Society for Industrial & Applied Mathematics (SIAM)
status: public
title: Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems
via a Streamline Poincaré--Friedrichs Inequality
type: journal_article
user_id: '100441'
volume: 52
year: '2014'
...
---
_id: '45934'
author:
- first_name: Balázs
full_name: Kovács, Balázs
id: '100441'
last_name: Kovács
orcid: 0000-0001-9872-3474
citation:
ama: Kovács B. On the numerical performance of a sharp a posteriori error estimator
for some nonlinear elliptic problems. Applications of Mathematics. 2014;59(5):489-508.
doi:10.1007/s10492-014-0068-0
apa: Kovács, B. (2014). On the numerical performance of a sharp a posteriori error
estimator for some nonlinear elliptic problems. Applications of Mathematics,
59(5), 489–508. https://doi.org/10.1007/s10492-014-0068-0
bibtex: '@article{Kovács_2014, title={On the numerical performance of a sharp a
posteriori error estimator for some nonlinear elliptic problems}, volume={59},
DOI={10.1007/s10492-014-0068-0},
number={5}, journal={Applications of Mathematics}, publisher={Institute of Mathematics,
Czech Academy of Sciences}, author={Kovács, Balázs}, year={2014}, pages={489–508}
}'
chicago: 'Kovács, Balázs. “On the Numerical Performance of a Sharp a Posteriori
Error Estimator for Some Nonlinear Elliptic Problems.” Applications of Mathematics
59, no. 5 (2014): 489–508. https://doi.org/10.1007/s10492-014-0068-0.'
ieee: 'B. Kovács, “On the numerical performance of a sharp a posteriori error estimator
for some nonlinear elliptic problems,” Applications of Mathematics, vol.
59, no. 5, pp. 489–508, 2014, doi: 10.1007/s10492-014-0068-0.'
mla: Kovács, Balázs. “On the Numerical Performance of a Sharp a Posteriori Error
Estimator for Some Nonlinear Elliptic Problems.” Applications of Mathematics,
vol. 59, no. 5, Institute of Mathematics, Czech Academy of Sciences, 2014, pp.
489–508, doi:10.1007/s10492-014-0068-0.
short: B. Kovács, Applications of Mathematics 59 (2014) 489–508.
date_created: 2023-07-10T11:34:27Z
date_updated: 2024-04-03T09:23:47Z
department:
- _id: '841'
doi: 10.1007/s10492-014-0068-0
intvolume: ' 59'
issue: '5'
keyword:
- Applied Mathematics
language:
- iso: eng
page: 489-508
publication: Applications of Mathematics
publication_identifier:
issn:
- 0862-7940
- 1572-9109
publication_status: published
publisher: Institute of Mathematics, Czech Academy of Sciences
status: public
title: On the numerical performance of a sharp a posteriori error estimator for some
nonlinear elliptic problems
type: journal_article
user_id: '100441'
volume: 59
year: '2014'
...
---
_id: '51696'
author:
- first_name: Gerda
full_name: Werth, Gerda
id: '578'
last_name: Werth
citation:
ama: Werth G. Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende
die Erkenntnisse, die sie im Zugmodus gewinnen?; 2014.
apa: Werth, G. (2014). Ziehen und Beweisen mit DGS. Welche Beweiskraft haben
für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?
bibtex: '@book{Werth_2014, title={Ziehen und Beweisen mit DGS. Welche Beweiskraft
haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?}, author={Werth,
Gerda}, year={2014} }'
chicago: Werth, Gerda. Ziehen und Beweisen mit DGS. Welche Beweiskraft haben
für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?, 2014.
ieee: G. Werth, Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende
die Erkenntnisse, die sie im Zugmodus gewinnen? 2014.
mla: Werth, Gerda. Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für
Studierende die Erkenntnisse, die sie im Zugmodus gewinnen? 2014.
short: G. Werth, Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende
die Erkenntnisse, die sie im Zugmodus gewinnen?, 2014.
date_created: 2024-02-21T14:06:13Z
date_updated: 2024-04-09T11:12:19Z
department:
- _id: '34'
- _id: '10'
- _id: '98'
language:
- iso: ger
main_file_link:
- url: https://eu04.alma.exlibrisgroup.com/view/uresolver/49HBZ_PAD/openurl?u.ignore_date_coverage=true&portfolio_pid=53164187180006463&Force_direct=true
publication_status: published
status: public
title: Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse,
die sie im Zugmodus gewinnen?
type: dissertation
user_id: '578'
year: '2014'
...
---
_id: '32025'
author:
- first_name: Benjamin
full_name: Küster, Benjamin
last_name: Küster
citation:
ama: Küster B. Discontinuity of the Fuglede-Kadison determinant on a group von Neumann
algebra. Communications in Mathematics. 2014;22(2):141-149.
apa: Küster, B. (2014). Discontinuity of the Fuglede-Kadison determinant on a group
von Neumann algebra. Communications in Mathematics, 22(2), 141–149.
bibtex: '@article{Küster_2014, title={Discontinuity of the Fuglede-Kadison determinant
on a group von Neumann algebra}, volume={22}, number={2}, journal={Communications
in Mathematics}, author={Küster, Benjamin}, year={2014}, pages={141–149} }'
chicago: 'Küster, Benjamin. “Discontinuity of the Fuglede-Kadison Determinant on
a Group von Neumann Algebra.” Communications in Mathematics 22, no. 2 (2014):
141–49.'
ieee: B. Küster, “Discontinuity of the Fuglede-Kadison determinant on a group von
Neumann algebra,” Communications in Mathematics, vol. 22, no. 2, pp. 141–149,
2014.
mla: Küster, Benjamin. “Discontinuity of the Fuglede-Kadison Determinant on a Group
von Neumann Algebra.” Communications in Mathematics, vol. 22, no. 2, 2014,
pp. 141–49.
short: B. Küster, Communications in Mathematics 22 (2014) 141–149.
date_created: 2022-06-20T08:54:34Z
date_updated: 2024-04-11T12:41:29Z
department:
- _id: '548'
extern: '1'
intvolume: ' 22'
issue: '2'
language:
- iso: eng
page: 141 - 149
publication: Communications in Mathematics
publication_identifier:
unknown:
- 2336-1298
- 1804-1388
publication_status: published
status: public
title: Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra
type: journal_article
user_id: '70575'
volume: 22
year: '2014'
...
---
_id: '48384'
author:
- first_name: Lena
full_name: Wessel, Lena
id: '85190'
last_name: Wessel
citation:
ama: 'Wessel L. Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung
und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff. Vol
19. Springer-Verlag; 2014.'
apa: 'Wessel, L. (2014). Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung
und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff (Vol.
19). Springer-Verlag.'
bibtex: '@book{Wessel_2014, place={Wiesbaden}, title={Fach-und sprachintegrierte
Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt
zum Anteilbegriff}, volume={19}, publisher={Springer-Verlag}, author={Wessel,
Lena}, year={2014} }'
chicago: 'Wessel, Lena. Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung
und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff. Vol.
19. Wiesbaden: Springer-Verlag, 2014.'
ieee: 'L. Wessel, Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung
und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff, vol.
19. Wiesbaden: Springer-Verlag, 2014.'
mla: 'Wessel, Lena. Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung
und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff. Springer-Verlag,
2014.'
short: 'L. Wessel, Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung
und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff, Springer-Verlag,
Wiesbaden, 2014.'
date_created: 2023-10-23T09:35:30Z
date_updated: 2024-04-18T09:16:43Z
department:
- _id: '643'
intvolume: ' 19'
language:
- iso: ger
place: Wiesbaden
publisher: Springer-Verlag
status: public
title: 'Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding:
ein Entwicklungsforschungsprojekt zum Anteilbegriff'
type: book
user_id: '37888'
volume: 19
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. Design, Automation and Test
in Europe DATE, University Booth, Dresden. Published online 2014.
apa: Becker, M., Müller, W., Stroop, J., & Kiffmeier, U. (2014). HeroeS - A
Framework for Heterogeneous Software-Intensive System Design with SystemC. Design,
Automation and Test in Europe DATE, University Booth, Dresden.
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.” Design, Automation and Test in Europe DATE, University Booth, Dresden,
2014.
ieee: M. Becker, W. Müller, J. Stroop, and U. Kiffmeier, “HeroeS - A Framework for
Heterogeneous Software-Intensive System Design with SystemC,” Design, Automation
and Test in Europe DATE, University Booth, Dresden, 2014.
mla: Becker, Markus, et al. “HeroeS - A Framework for Heterogeneous Software-Intensive
System Design with SystemC.” Design, Automation and Test in Europe DATE, University
Booth, Dresden, 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: '47162'
alternative_title:
- a study on the root causes of SSL misconfigurations
author:
- first_name: Sascha
full_name: Fahl, Sascha
last_name: Fahl
- first_name: Yasemin
full_name: Acar, Yasemin
id: '94636'
last_name: Acar
- first_name: Henning
full_name: Perl, Henning
last_name: Perl
- first_name: Matthew
full_name: Smith, Matthew
last_name: Smith
citation:
ama: 'Fahl S, Acar Y, Perl H, Smith M. Why eve and mallory (also) love webmasters.
In: Proceedings of the 9th ACM Symposium on Information, Computer and Communications
Security. ACM; 2014. doi:10.1145/2590296.2590341'
apa: Fahl, S., Acar, Y., Perl, H., & Smith, M. (2014). Why eve and mallory (also)
love webmasters. Proceedings of the 9th ACM Symposium on Information, Computer
and Communications Security. https://doi.org/10.1145/2590296.2590341
bibtex: '@inproceedings{Fahl_Acar_Perl_Smith_2014, title={Why eve and mallory (also)
love webmasters}, DOI={10.1145/2590296.2590341},
booktitle={Proceedings of the 9th ACM symposium on Information, computer and communications
security}, publisher={ACM}, author={Fahl, Sascha and Acar, Yasemin and Perl, Henning
and Smith, Matthew}, year={2014} }'
chicago: Fahl, Sascha, Yasemin Acar, Henning Perl, and Matthew Smith. “Why Eve and
Mallory (Also) Love Webmasters.” In Proceedings of the 9th ACM Symposium on
Information, Computer and Communications Security. ACM, 2014. https://doi.org/10.1145/2590296.2590341.
ieee: 'S. Fahl, Y. Acar, H. Perl, and M. Smith, “Why eve and mallory (also) love
webmasters,” 2014, doi: 10.1145/2590296.2590341.'
mla: Fahl, Sascha, et al. “Why Eve and Mallory (Also) Love Webmasters.” Proceedings
of the 9th ACM Symposium on Information, Computer and Communications Security,
ACM, 2014, doi:10.1145/2590296.2590341.
short: 'S. Fahl, Y. Acar, H. Perl, M. Smith, in: Proceedings of the 9th ACM Symposium
on Information, Computer and Communications Security, ACM, 2014.'
date_created: 2023-09-22T11:56:00Z
date_updated: 2024-06-05T13:17:31Z
department:
- _id: '34'
- _id: '858'
doi: 10.1145/2590296.2590341
extern: '1'
language:
- iso: eng
publication: Proceedings of the 9th ACM symposium on Information, computer and communications
security
publication_status: published
publisher: ACM
status: public
title: Why eve and mallory (also) love webmasters
type: conference
user_id: '14931'
year: '2014'
...
---
_id: '25120'
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. Architectural Low-Power Design Using Transaction-Based
System Simulation. In: Embedded Computer Systems: Architectures, Modeling,
and Simulation (SAMOS XIV). IEEE; 2014.'
apa: 'Mischkalla, F., & Müller, W. (2014). Architectural Low-Power Design Using
Transaction-Based System Simulation. Embedded Computer Systems: Architectures,
Modeling, and Simulation (SAMOS XIV).'
bibtex: '@inproceedings{Mischkalla_Müller_2014, title={Architectural Low-Power Design
Using Transaction-Based System Simulation}, booktitle={Embedded Computer Systems:
Architectures, Modeling, and Simulation (SAMOS XIV)}, publisher={IEEE}, author={Mischkalla,
Fabian and Müller, Wolfgang}, year={2014} }'
chicago: 'Mischkalla, Fabian, and Wolfgang Müller. “Architectural Low-Power Design
Using Transaction-Based System Simulation.” In Embedded Computer Systems: Architectures,
Modeling, and Simulation (SAMOS XIV). IEEE, 2014.'
ieee: F. Mischkalla and W. Müller, “Architectural Low-Power Design Using Transaction-Based
System Simulation,” Greece, Sep. 2014, IEEE, 2014.
mla: 'Mischkalla, Fabian, and Wolfgang Müller. “Architectural Low-Power Design Using
Transaction-Based System Simulation.” Embedded Computer Systems: Architectures,
Modeling, and Simulation (SAMOS XIV), IEEE, 2014.'
short: 'F. Mischkalla, W. Müller, in: Embedded Computer Systems: Architectures,
Modeling, and Simulation (SAMOS XIV), IEEE, 2014.'
conference:
location: Greece, Sep. 2014, IEEE
date_created: 2021-09-29T12:06:12Z
date_updated: 2023-01-16T11:29:24Z
department:
- _id: '58'
language:
- iso: eng
publication: 'Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS
XIV)'
publisher: IEEE
status: public
title: Architectural Low-Power Design Using Transaction-Based System Simulation
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '25146'
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. Source code annotated memory leak detection
for soft real time embedded systems with resource constraints. In: 12th IEEE
International Conference on Embedded Computing. ; 2014.'
apa: Joy, M. tech. M. M., Müller, W., & Rammig, F.-J. (2014). Source code annotated
memory leak detection for soft real time embedded systems with resource constraints.
12th IEEE International Conference on Embedded Computing.
bibtex: '@inproceedings{Joy_Müller_Rammig_2014, title={Source code annotated memory
leak detection for soft real time embedded systems with resource constraints},
booktitle={12th IEEE International conference on Embedded Computing}, author={Joy,
M. tech. Mabel Mary and Müller, Wolfgang and Rammig, Franz-Josef}, year={2014}
}'
chicago: Joy, M. tech. Mabel Mary, Wolfgang Müller, and Franz-Josef Rammig. “Source
Code Annotated Memory Leak Detection for Soft Real Time Embedded Systems with
Resource Constraints.” In 12th IEEE International Conference on Embedded Computing,
2014.
ieee: M. tech. M. M. Joy, W. Müller, and F.-J. Rammig, “Source code annotated memory
leak detection for soft real time embedded systems with resource constraints,”
2014.
mla: Joy, M. tech. Mabel Mary, et al. “Source Code Annotated Memory Leak Detection
for Soft Real Time Embedded Systems with Resource Constraints.” 12th IEEE International
Conference on Embedded Computing, 2014.
short: 'M. tech. M.M. Joy, W. Müller, F.-J. Rammig, in: 12th IEEE International
Conference on Embedded Computing, 2014.'
date_created: 2021-09-30T07:18:43Z
date_updated: 2023-01-16T11:36:02Z
department:
- _id: '58'
language:
- iso: eng
publication: 12th IEEE International conference on Embedded Computing
status: public
title: Source code annotated memory leak detection for soft real time embedded systems
with resource constraints
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '25144'
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. Advanced SoC Virtual Prototyping for System-Level
Power Planning and Validation. In: PATMOS 2014. ; 2014.'
apa: Mischkalla, F., & Müller, W. (2014). Advanced SoC Virtual Prototyping for
System-Level Power Planning and Validation. PATMOS 2014.
bibtex: '@inproceedings{Mischkalla_Müller_2014, place={Palma de Mallorca, Spain},
title={Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation},
booktitle={PATMOS 2014}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2014}
}'
chicago: Mischkalla, Fabian, and Wolfgang Müller. “Advanced SoC Virtual Prototyping
for System-Level Power Planning and Validation.” In PATMOS 2014. Palma
de Mallorca, Spain, 2014.
ieee: F. Mischkalla and W. Müller, “Advanced SoC Virtual Prototyping for System-Level
Power Planning and Validation,” 2014.
mla: Mischkalla, Fabian, and Wolfgang Müller. “Advanced SoC Virtual Prototyping
for System-Level Power Planning and Validation.” PATMOS 2014, 2014.
short: 'F. Mischkalla, W. Müller, in: PATMOS 2014, Palma de Mallorca, Spain, 2014.'
date_created: 2021-09-30T07:13:17Z
date_updated: 2023-01-16T11:28:39Z
department:
- _id: '58'
language:
- iso: eng
place: Palma de Mallorca, Spain
publication: PATMOS 2014
status: public
title: Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '36918'
abstract:
- lang: eng
text: This paper presents an advanced eight levels spanning SystemC based virtual
platform methodology and framework - referred to as HeroeS 3 - providing smooth
application to platform mapping and continuous co-refinement of a virtual prototype
with its physical environment model. For heterogeneity support, various SystemC
extensions are combined covering continuous/discrete models of computation and
different communication abstractions, such as analog mixed-signal models, abstract
RTOS/HAL/middleware models, TLM bus models, and QEMU wrappers. We enable dependability
assessment by Fault Effect Modeling (FEM) at the virtual prototype in order to
avoid risking physical injury or damage. Also, simulation results are deterministic
and can be evaluated interactively or offline. We apply FEM to both the physical
environment model and the different abstractions of the virtual prototype. Currently,
we focus on sensor failures and application control flow errors.
author:
- 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: 'Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC
Based Virtual Platform Framework for Cyber Physical Systems. In: IEEE; 2014. doi:10.1109/ICCPS.2014.6843726'
apa: Becker, M., Kuznik, C., & Müller, W. (2014). Fault Effect Modeling in
a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems.
ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin. https://doi.org/10.1109/ICCPS.2014.6843726
bibtex: '@inproceedings{Becker_Kuznik_Müller_2014, place={Berlin}, title={Fault
Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for
Cyber Physical Systems}, DOI={10.1109/ICCPS.2014.6843726},
publisher={IEEE}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang},
year={2014} }'
chicago: 'Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling
in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical
Systems.” Berlin: IEEE, 2014. https://doi.org/10.1109/ICCPS.2014.6843726.'
ieee: 'M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous
SystemC Based Virtual Platform Framework for Cyber Physical Systems,” presented
at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin,
2014, doi: 10.1109/ICCPS.2014.6843726.'
mla: Becker, Markus, et al. Fault Effect Modeling in a Heterogeneous SystemC
Based Virtual Platform Framework for Cyber Physical Systems. IEEE, 2014, doi:10.1109/ICCPS.2014.6843726.
short: 'M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.'
conference:
location: Berlin
name: ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
date_created: 2023-01-16T11:57:08Z
date_updated: 2023-01-16T11:57:22Z
department:
- _id: '58'
doi: 10.1109/ICCPS.2014.6843726
keyword:
- Computational modeling
- Finite element analysis
- Prototypes
- Abstracts
- Software
- Fault tolerance
- Fault tolerant systems
language:
- iso: eng
place: Berlin
publisher: IEEE
status: public
title: Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework
for Cyber Physical Systems
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '36917'
abstract:
- lang: eng
text: The ever-increasing complexity of heterogeneous electronic systems demand
for intensified abstraction and automation efforts to improve design, verification
and validation productivity, especially in earlier phases of system engineering.
Within the verification activity various metrics can be applied to determine functional
correctness or the overall progress. Here, a supporting verification methodology
defining high-level verification planning down to the actual metric code development
is essential. Moreover, an advanced assistance for the designer, such as a tooling
infrastructure to automatize and accelerate the metric code implementation, is
needed to minimize the influence of errorprone manual coding. In this article
we present a single-source verification metric code-generation methodology for
improved coverage automation. We determine (i) a suitable metric model for model-based
capture of verification metrics as well as (ii) an assisted model-based processing
and generation flow of the verification environment and metric skeletons. We apply
our method to a SystemC case-study, in doing so, targeting metric code implementation
productivity and consistency enhancement.
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
- first_name: Gilles Bertrand
full_name: Defo, Gilles Bertrand
last_name: Defo
citation:
ama: 'Kuznik C, Müller W, Defo GB. An Assisted Single Source Verification Metric
Model Code Generation Methodology. In: ; 2014.'
apa: Kuznik, C., Müller, W., & Defo, G. B. (2014). An Assisted Single Source
Verification Metric Model Code Generation Methodology. Proceedings of the
Electronic System Level Synthesis Conference (ESLSyn).
bibtex: '@inproceedings{Kuznik_Müller_Defo_2014, place={San Francisco, USA}, title={An
Assisted Single Source Verification Metric Model Code Generation Methodology},
author={Kuznik, Christoph and Müller, Wolfgang and Defo, Gilles Bertrand}, year={2014}
}'
chicago: Kuznik, Christoph, Wolfgang Müller, and Gilles Bertrand Defo. “An Assisted
Single Source Verification Metric Model Code Generation Methodology.” San Francisco,
USA, 2014.
ieee: C. Kuznik, W. Müller, and G. B. Defo, “An Assisted Single Source Verification
Metric Model Code Generation Methodology,” presented at the Proceedings of the
Electronic System Level Synthesis Conference (ESLSyn), 2014.
mla: Kuznik, Christoph, et al. An Assisted Single Source Verification Metric
Model Code Generation Methodology. 2014.
short: 'C. Kuznik, W. Müller, G.B. Defo, in: San Francisco, USA, 2014.'
conference:
name: Proceedings of the Electronic System Level Synthesis Conference (ESLSyn)
date_created: 2023-01-16T11:43:50Z
date_updated: 2023-01-16T11:44:06Z
department:
- _id: '58'
keyword:
- System Design
- Verification
language:
- iso: eng
place: San Francisco, USA
status: public
title: An Assisted Single Source Verification Metric Model Code Generation Methodology
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '25166'
abstract:
- lang: eng
text: Zur Sicherstellung hoher Zuverlässigkeits- und Fehlertoleranzwerte von Schaltungen
und ganzen Systemen finden vermehrt Test- und Verifikationsmethoden Anwendung
die einen virtuellen Prototypen (VP) des Systems bereits frühzeitig im Entwurfsablauf
einem Stresstest unterziehen. Hierbei werden speziell für die Domäne relevante
Fehlerinjektoren verwendet (Digital, Mixed-Signal, Mechanik) die anhand von Fehlermodellen
geeignete Testfälle erzeugen und in das System über Stimuli bzw. direkt injizieren.
Jede effektive Anwendung einer Methode bedingt jedoch auch das Vorhandensein einer
zugrundeliegenden Methodik. In diesem Beitrag wird die System Verification Methodology
(SVM) vorgestellt werden, eine universell einsetzbare und erweiterbare Infrastruktur
zur Beschreibung von Testumgebungen auf Basis der SystemC Sprache und Simulationskernels.
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. Modellierung effizienter Stresstest-Umgebungen für virtuelle
Prototypen mit SVM. In: 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit
von Schaltungen und Systemen. ; 2014.'
apa: Kuznik, C., & Müller, W. (2014). Modellierung effizienter Stresstest-Umgebungen
für virtuelle Prototypen mit SVM. 26. ITG / GI / GMM Workshop Testmethoden
und Zuverlässigkeit von Schaltungen und Systemen.
bibtex: '@inproceedings{Kuznik_Müller_2014, title={Modellierung effizienter Stresstest-Umgebungen
für virtuelle Prototypen mit SVM}, booktitle={26. ITG / GI / GMM Workshop Testmethoden
und Zuverlässigkeit von Schaltungen und Systemen}, author={Kuznik, Christoph and
Müller, Wolfgang}, year={2014} }'
chicago: Kuznik, Christoph, and Wolfgang Müller. “Modellierung effizienter Stresstest-Umgebungen
für virtuelle Prototypen mit SVM.” In 26. ITG / GI / GMM Workshop Testmethoden
und Zuverlässigkeit von Schaltungen und Systemen, 2014.
ieee: C. Kuznik and W. Müller, “Modellierung effizienter Stresstest-Umgebungen für
virtuelle Prototypen mit SVM,” 2014.
mla: Kuznik, Christoph, and Wolfgang Müller. “Modellierung effizienter Stresstest-Umgebungen
für virtuelle Prototypen mit SVM.” 26. ITG / GI / GMM Workshop Testmethoden
und Zuverlässigkeit von Schaltungen und Systemen, 2014.
short: 'C. Kuznik, W. Müller, in: 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit
von Schaltungen und Systemen, 2014.'
date_created: 2021-09-30T10:26:58Z
date_updated: 2023-01-16T11:46:54Z
department:
- _id: '58'
language:
- iso: ger
publication: 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen
und Systemen
status: public
title: Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit
SVM
type: conference
user_id: '5786'
year: '2014'
...