---
_id: '57415'
author:
- first_name: Ana
full_name: Kuzle, Ana
last_name: Kuzle
- first_name: Rolf
full_name: Biehler, Rolf
id: '16274'
last_name: Biehler
citation:
ama: 'Kuzle A, Biehler R. Wie „multiplizieren“ Mathematikmultiplikatoren in ihren
selbst gestalteten Lehrerfortbildungsmaßnahmen? In: Roth J, Ames J, eds. Beiträge
zum Mathematikunterricht 2014, Band 1. WTM-Verlag; 2014:687-690.'
apa: Kuzle, A., & Biehler, R. (2014). Wie „multiplizieren“ Mathematikmultiplikatoren
in ihren selbst gestalteten Lehrerfortbildungsmaßnahmen? In J. Roth & J. Ames
(Eds.), Beiträge zum Mathematikunterricht 2014, Band 1 (pp. 687–690). WTM-Verlag.
bibtex: '@inbook{Kuzle_Biehler_2014, place={Münster}, title={Wie „multiplizieren“
Mathematikmultiplikatoren in ihren selbst gestalteten Lehrerfortbildungsmaßnahmen?},
booktitle={Beiträge zum Mathematikunterricht 2014, Band 1}, publisher={WTM-Verlag},
author={Kuzle, Ana and Biehler, Rolf}, editor={Roth, J. and Ames, J.}, year={2014},
pages={687–690} }'
chicago: 'Kuzle, Ana, and Rolf Biehler. “Wie „multiplizieren“ Mathematikmultiplikatoren
in ihren selbst gestalteten Lehrerfortbildungsmaßnahmen?” In Beiträge zum Mathematikunterricht
2014, Band 1, edited by J. Roth and J. Ames, 687–90. Münster: WTM-Verlag,
2014.'
ieee: 'A. Kuzle and R. Biehler, “Wie „multiplizieren“ Mathematikmultiplikatoren
in ihren selbst gestalteten Lehrerfortbildungsmaßnahmen?,” in Beiträge zum
Mathematikunterricht 2014, Band 1, J. Roth and J. Ames, Eds. Münster: WTM-Verlag,
2014, pp. 687–690.'
mla: Kuzle, Ana, and Rolf Biehler. “Wie „multiplizieren“ Mathematikmultiplikatoren
in ihren selbst gestalteten Lehrerfortbildungsmaßnahmen?” Beiträge zum Mathematikunterricht
2014, Band 1, edited by J. Roth and J. Ames, WTM-Verlag, 2014, pp. 687–90.
short: 'A. Kuzle, R. Biehler, in: J. Roth, J. Ames (Eds.), Beiträge zum Mathematikunterricht
2014, Band 1, WTM-Verlag, Münster, 2014, pp. 687–690.'
date_created: 2024-11-26T08:22:13Z
date_updated: 2024-11-26T08:24:18Z
department:
- _id: '363'
editor:
- first_name: J.
full_name: Roth, J.
last_name: Roth
- first_name: J.
full_name: Ames, J.
last_name: Ames
language:
- iso: ger
main_file_link:
- url: http://www.dms.uni-landau.de/roth/veroeffentlichungen/2014/roth_ames_beitraege_zum_mathematikunterricht_2014_band_1.pdf
page: 687-690
place: Münster
publication: Beiträge zum Mathematikunterricht 2014, Band 1
publisher: WTM-Verlag
status: public
title: Wie „multiplizieren“ Mathematikmultiplikatoren in ihren selbst gestalteten
Lehrerfortbildungsmaßnahmen?
type: book_chapter
user_id: '37888'
year: '2014'
...
---
_id: '57275'
author:
- first_name: Rolf
full_name: Biehler, Rolf
id: '16274'
last_name: Biehler
- first_name: Ana
full_name: Kuzle, Ana
last_name: Kuzle
- first_name: Wilfried
full_name: Dutkowski, Wilfried
last_name: Dutkowski
- first_name: Hans-Jürgen
full_name: Elschenbroich, Hans-Jürgen
last_name: Elschenbroich
- first_name: Gaby
full_name: Heintz, Gaby
last_name: Heintz
citation:
ama: 'Biehler R, Kuzle A, Dutkowski W, Elschenbroich H-J, Heintz G. GeKoDyn: Eine
Fortbildungsreihe zur dynamischen und kompetenzorientierten Sicht auf die euklidische
Geometrie. In: Roth J, Ames J, eds. Beiträge zum Mathematikunterricht 2014,
Band 1. WTM-Verlag; 2014:181-184.'
apa: 'Biehler, R., Kuzle, A., Dutkowski, W., Elschenbroich, H.-J., & Heintz,
G. (2014). GeKoDyn: Eine Fortbildungsreihe zur dynamischen und kompetenzorientierten
Sicht auf die euklidische Geometrie. In J. Roth & J. Ames (Eds.), Beiträge
zum Mathematikunterricht 2014, Band 1 (pp. 181–184). WTM-Verlag.'
bibtex: '@inbook{Biehler_Kuzle_Dutkowski_Elschenbroich_Heintz_2014, place={Münster},
title={GeKoDyn: Eine Fortbildungsreihe zur dynamischen und kompetenzorientierten
Sicht auf die euklidische Geometrie}, booktitle={Beiträge zum Mathematikunterricht
2014, Band 1}, publisher={WTM-Verlag}, author={Biehler, Rolf and Kuzle, Ana and
Dutkowski, Wilfried and Elschenbroich, Hans-Jürgen and Heintz, Gaby}, editor={Roth,
J. and Ames, J.}, year={2014}, pages={181–184} }'
chicago: 'Biehler, Rolf, Ana Kuzle, Wilfried Dutkowski, Hans-Jürgen Elschenbroich,
and Gaby Heintz. “GeKoDyn: Eine Fortbildungsreihe zur dynamischen und kompetenzorientierten
Sicht auf die euklidische Geometrie.” In Beiträge zum Mathematikunterricht
2014, Band 1, edited by J. Roth and J. Ames, 181–84. Münster: WTM-Verlag,
2014.'
ieee: 'R. Biehler, A. Kuzle, W. Dutkowski, H.-J. Elschenbroich, and G. Heintz, “GeKoDyn:
Eine Fortbildungsreihe zur dynamischen und kompetenzorientierten Sicht auf die
euklidische Geometrie,” in Beiträge zum Mathematikunterricht 2014, Band 1,
J. Roth and J. Ames, Eds. Münster: WTM-Verlag, 2014, pp. 181–184.'
mla: 'Biehler, Rolf, et al. “GeKoDyn: Eine Fortbildungsreihe zur dynamischen und
kompetenzorientierten Sicht auf die euklidische Geometrie.” Beiträge zum Mathematikunterricht
2014, Band 1, edited by J. Roth and J. Ames, WTM-Verlag, 2014, pp. 181–84.'
short: 'R. Biehler, A. Kuzle, W. Dutkowski, H.-J. Elschenbroich, G. Heintz, in:
J. Roth, J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014, Band 1, WTM-Verlag,
Münster, 2014, pp. 181–184.'
date_created: 2024-11-20T10:40:37Z
date_updated: 2024-11-26T08:25:12Z
department:
- _id: '363'
editor:
- first_name: J.
full_name: Roth, J.
last_name: Roth
- first_name: J.
full_name: Ames, J.
last_name: Ames
language:
- iso: ger
page: 181-184
place: Münster
publication: Beiträge zum Mathematikunterricht 2014, Band 1
publisher: WTM-Verlag
status: public
title: 'GeKoDyn: Eine Fortbildungsreihe zur dynamischen und kompetenzorientierten
Sicht auf die euklidische Geometrie'
type: book_chapter
user_id: '37888'
year: '2014'
...
---
_id: '57421'
author:
- first_name: Thomas
full_name: Wassong, Thomas
last_name: Wassong
- first_name: Rolf
full_name: Biehler, Rolf
id: '16274'
last_name: Biehler
citation:
ama: 'Wassong T, Biehler R. The use of technology in a mentor teacher course in
statistics education. In: Makar K, d. Sousa B, Gould R, eds. Sustainability
in Statistics Education. Proceedings of the Ninth International Conference on
Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA. ISA; 2014.'
apa: Wassong, T., & Biehler, R. (2014). The use of technology in a mentor teacher
course in statistics education. In K. Makar, B. d. Sousa, & R. Gould (Eds.),
Sustainability in statistics education. Proceedings of the Ninth International
Conference on Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA.
ISA.
bibtex: '@inbook{Wassong_Biehler_2014, place={Voorburg: The Netherlands}, title={The
use of technology in a mentor teacher course in statistics education}, booktitle={Sustainability
in statistics education. Proceedings of the Ninth International Conference on
Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA}, publisher={ISA},
author={Wassong, Thomas and Biehler, Rolf}, editor={Makar, K. and d. Sousa, B.
and Gould, R.}, year={2014} }'
chicago: 'Wassong, Thomas, and Rolf Biehler. “The Use of Technology in a Mentor
Teacher Course in Statistics Education.” In Sustainability in Statistics Education.
Proceedings of the Ninth International Conference on Teaching Statistics (ICOTS9,
July, 2014), Flagstaff, Arizona, USA, edited by K. Makar, B. d. Sousa, and
R. Gould. Voorburg: The Netherlands: ISA, 2014.'
ieee: 'T. Wassong and R. Biehler, “The use of technology in a mentor teacher course
in statistics education,” in Sustainability in statistics education. Proceedings
of the Ninth International Conference on Teaching Statistics (ICOTS9, July, 2014),
Flagstaff, Arizona, USA, K. Makar, B. d. Sousa, and R. Gould, Eds. Voorburg:
The Netherlands: ISA, 2014.'
mla: Wassong, Thomas, and Rolf Biehler. “The Use of Technology in a Mentor Teacher
Course in Statistics Education.” Sustainability in Statistics Education. Proceedings
of the Ninth International Conference on Teaching Statistics (ICOTS9, July, 2014),
Flagstaff, Arizona, USA, edited by K. Makar et al., ISA, 2014.
short: 'T. Wassong, R. Biehler, in: K. Makar, B. d. Sousa, R. Gould (Eds.), Sustainability
in Statistics Education. Proceedings of the Ninth International Conference on
Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA, ISA, Voorburg:
The Netherlands, 2014.'
date_created: 2024-11-26T09:22:28Z
date_updated: 2024-11-26T09:23:52Z
department:
- _id: '363'
editor:
- first_name: K.
full_name: Makar, K.
last_name: Makar
- first_name: B.
full_name: d. Sousa, B.
last_name: d. Sousa
- first_name: R.
full_name: Gould, R.
last_name: Gould
language:
- iso: eng
main_file_link:
- url: http://icots.info/9/proceedings/home.html
place: 'Voorburg: The Netherlands'
publication: Sustainability in statistics education. Proceedings of the Ninth International
Conference on Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA
publisher: ISA
status: public
title: The use of technology in a mentor teacher course in statistics education
type: book_chapter
user_id: '37888'
year: '2014'
...
---
_id: '57423'
author:
- first_name: Paul
full_name: Wolf, Paul
last_name: Wolf
- first_name: Rolf
full_name: Biehler, Rolf
id: '16274'
last_name: Biehler
citation:
ama: Wolf P, Biehler R. Entwicklung und Erprobung anwendungsorientierter Aufgaben
für Ingenieurstudienanfänger/innen. Zeitschrift für Hochschulentwicklung.
2014;9(4):169-190.
apa: Wolf, P., & Biehler, R. (2014). Entwicklung und Erprobung anwendungsorientierter
Aufgaben für Ingenieurstudienanfänger/innen. Zeitschrift für Hochschulentwicklung,
9(4), 169–190.
bibtex: '@article{Wolf_Biehler_2014, title={Entwicklung und Erprobung anwendungsorientierter
Aufgaben für Ingenieurstudienanfänger/innen}, volume={9}, number={4}, journal={Zeitschrift
für Hochschulentwicklung}, author={Wolf, Paul and Biehler, Rolf}, year={2014},
pages={169–190} }'
chicago: 'Wolf, Paul, and Rolf Biehler. “Entwicklung und Erprobung anwendungsorientierter
Aufgaben für Ingenieurstudienanfänger/innen.” Zeitschrift für Hochschulentwicklung
9, no. 4 (2014): 169–90.'
ieee: P. Wolf and R. Biehler, “Entwicklung und Erprobung anwendungsorientierter
Aufgaben für Ingenieurstudienanfänger/innen,” Zeitschrift für Hochschulentwicklung,
vol. 9, no. 4, pp. 169–190, 2014.
mla: Wolf, Paul, and Rolf Biehler. “Entwicklung und Erprobung anwendungsorientierter
Aufgaben für Ingenieurstudienanfänger/innen.” Zeitschrift für Hochschulentwicklung,
vol. 9, no. 4, 2014, pp. 169–90.
short: P. Wolf, R. Biehler, Zeitschrift für Hochschulentwicklung 9 (2014) 169–190.
date_created: 2024-11-26T09:27:25Z
date_updated: 2024-11-26T09:28:23Z
department:
- _id: '363'
intvolume: ' 9'
issue: '4'
language:
- iso: ger
main_file_link:
- url: http://www.zfhe.at/index.php/zfhe
page: 169-190
publication: Zeitschrift für Hochschulentwicklung
status: public
title: Entwicklung und Erprobung anwendungsorientierter Aufgaben für Ingenieurstudienanfänger/innen
type: journal_article
user_id: '37888'
volume: 9
year: '2014'
...
---
_id: '57422'
author:
- first_name: Paul
full_name: Wolf, Paul
last_name: Wolf
- first_name: Rolf
full_name: Biehler, Rolf
id: '16274'
last_name: Biehler
citation:
ama: 'Wolf P, Biehler R. Anwendungsorientierte Aufgaben Für Die Erstsemester-Mathematik-Veranstaltungen
Im Maschinenbaustudium, Khdm-Report: Nr. 03-14. Universität Kassel; 2014.'
apa: 'Wolf, P., & Biehler, R. (2014). Anwendungsorientierte Aufgaben für
die Erstsemester-Mathematik-Veranstaltungen im Maschinenbaustudium, khdm-Report:
Nr. 03-14. Universität Kassel.'
bibtex: '@book{Wolf_Biehler_2014, place={Kassel}, title={Anwendungsorientierte Aufgaben
für die Erstsemester-Mathematik-Veranstaltungen im Maschinenbaustudium, khdm-Report:
Nr. 03-14}, publisher={Universität Kassel}, author={Wolf, Paul and Biehler, Rolf},
year={2014} }'
chicago: 'Wolf, Paul, and Rolf Biehler. Anwendungsorientierte Aufgaben Für Die
Erstsemester-Mathematik-Veranstaltungen Im Maschinenbaustudium, Khdm-Report: Nr.
03-14. Kassel: Universität Kassel, 2014.'
ieee: 'P. Wolf and R. Biehler, Anwendungsorientierte Aufgaben für die Erstsemester-Mathematik-Veranstaltungen
im Maschinenbaustudium, khdm-Report: Nr. 03-14. Kassel: Universität Kassel,
2014.'
mla: 'Wolf, Paul, and Rolf Biehler. Anwendungsorientierte Aufgaben Für Die Erstsemester-Mathematik-Veranstaltungen
Im Maschinenbaustudium, Khdm-Report: Nr. 03-14. Universität Kassel, 2014.'
short: 'P. Wolf, R. Biehler, Anwendungsorientierte Aufgaben Für Die Erstsemester-Mathematik-Veranstaltungen
Im Maschinenbaustudium, Khdm-Report: Nr. 03-14, Universität Kassel, Kassel, 2014.'
date_created: 2024-11-26T09:24:44Z
date_updated: 2024-11-26T11:37:56Z
department:
- _id: '363'
language:
- iso: eng
main_file_link:
- url: https://kobra.uni-kassel.de/items/5c34a728-95f5-4350-b9a9-258f75b4b4a1
place: Kassel
publisher: Universität Kassel
status: public
title: 'Anwendungsorientierte Aufgaben für die Erstsemester-Mathematik-Veranstaltungen
im Maschinenbaustudium, khdm-Report: Nr. 03-14'
type: book
user_id: '37888'
year: '2014'
...
---
_id: '34583'
abstract:
- lang: eng
text: In this paper, we present an efficient approach to virtual platform modeling
for TriCore-based SoCs by combining fast and open software emulation with IEEE-1666
Standard SystemC simulation. For evaluation we consider Infineon's recently introduced
AURIX processor family as a target platform, which utilizes multiple CPU cores
operating in lockstep mode, memories, hierarchical buses, and a rich set of peripherals.
For SoC prototyping, we integrate the fast and open instruction accurate QEMU
software emulator with the TLMu library for SystemC co-verification. This article
reports our most recent efforts of the implementation of the TriCore instruction
set for QEMU. The experimental results demonstrate the functional correctness
and performance of our TriCore implementation.
author:
- first_name: Bastian
full_name: Koppelmann, Bastian
id: '25260'
last_name: Koppelmann
- first_name: Bernd
full_name: Messidat, Bernd
last_name: Messidat
- first_name: Christoph
full_name: Kuznik, Christoph
last_name: Kuznik
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Markus
full_name: Becker, Markus
last_name: Becker
- first_name: J. Christoph
full_name: Scheytt, J. Christoph
id: '37144'
last_name: Scheytt
orcid: https://orcid.org/0000-0002-5950-6618
citation:
ama: 'Koppelmann B, Messidat B, Kuznik C, Müller W, Becker M, Scheytt JC. Fast and
Open Virtual Platforms for TriCore-based SoCs Using QEMU. In: Proceedings of
the Design and Verification Conference Europe (DVCON Europe). ; 2014.'
apa: Koppelmann, B., Messidat, B., Kuznik, C., Müller, W., Becker, M., & Scheytt,
J. C. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU.
Proceedings of the Design and Verification Conference Europe (DVCON Europe).
bibtex: '@inproceedings{Koppelmann_Messidat_Kuznik_Müller_Becker_Scheytt_2014, place={München},
title={Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU}, booktitle={Proceedings
of the Design and Verification Conference Europe (DVCON Europe)}, author={Koppelmann,
Bastian and Messidat, Bernd and Kuznik, Christoph and Müller, Wolfgang and Becker,
Markus and Scheytt, J. Christoph}, year={2014} }'
chicago: Koppelmann, Bastian, Bernd Messidat, Christoph Kuznik, Wolfgang Müller,
Markus Becker, and J. Christoph Scheytt. “Fast and Open Virtual Platforms for
TriCore-Based SoCs Using QEMU.” In Proceedings of the Design and Verification
Conference Europe (DVCON Europe). München, 2014.
ieee: B. Koppelmann, B. Messidat, C. Kuznik, W. Müller, M. Becker, and J. C. Scheytt,
“Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU,” 2014.
mla: Koppelmann, Bastian, et al. “Fast and Open Virtual Platforms for TriCore-Based
SoCs Using QEMU.” Proceedings of the Design and Verification Conference Europe
(DVCON Europe), 2014.
short: 'B. Koppelmann, B. Messidat, C. Kuznik, W. Müller, M. Becker, J.C. Scheytt,
in: Proceedings of the Design and Verification Conference Europe (DVCON Europe),
München, 2014.'
date_created: 2022-12-20T10:45:38Z
date_updated: 2025-02-26T14:42:18Z
department:
- _id: '58'
keyword:
- System Design
- Verification
language:
- iso: eng
place: München
publication: Proceedings of the Design and Verification Conference Europe (DVCON Europe)
status: public
title: Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU
type: conference
user_id: '16243'
year: '2014'
...
---
_id: '25117'
author:
- first_name: Bastian
full_name: Koppelmann, Bastian
id: '25260'
last_name: Koppelmann
- first_name: Bernd
full_name: Messidat, Bernd
last_name: Messidat
- first_name: Markus
full_name: Becker, Markus
last_name: Becker
- first_name: Christoph
full_name: Kuznik, Christoph
last_name: Kuznik
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: J. Christoph
full_name: Scheytt, J. Christoph
id: '37144'
last_name: Scheytt
orcid: https://orcid.org/0000-0002-5950-6618
citation:
ama: Koppelmann B, Messidat B, Becker M, Kuznik C, Müller W, Scheytt JC. Fast and
Open Virtual Platforms for TriCore-based SoCs Using QEMU. Design and Verification
Conference (DVCON EUROPE). Published online 2014.
apa: Koppelmann, B., Messidat, B., Becker, M., Kuznik, C., Müller, W., & Scheytt,
J. C. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU.
Design and Verification Conference (DVCON EUROPE).
bibtex: '@article{Koppelmann_Messidat_Becker_Kuznik_Müller_Scheytt_2014, title={Fast
and Open Virtual Platforms for TriCore-based SoCs Using QEMU}, journal={Design
and Verification Conference (DVCON EUROPE)}, author={Koppelmann, Bastian and Messidat,
Bernd and Becker, Markus and Kuznik, Christoph and Müller, Wolfgang and Scheytt,
J. Christoph}, year={2014} }'
chicago: Koppelmann, Bastian, Bernd Messidat, Markus Becker, Christoph Kuznik, Wolfgang
Müller, and J. Christoph Scheytt. “Fast and Open Virtual Platforms for TriCore-Based
SoCs Using QEMU.” Design and Verification Conference (DVCON EUROPE), 2014.
ieee: B. Koppelmann, B. Messidat, M. Becker, C. Kuznik, W. Müller, and J. C. Scheytt,
“Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU,” Design
and Verification Conference (DVCON EUROPE), 2014.
mla: Koppelmann, Bastian, et al. “Fast and Open Virtual Platforms for TriCore-Based
SoCs Using QEMU.” Design and Verification Conference (DVCON EUROPE), 2014.
short: B. Koppelmann, B. Messidat, M. Becker, C. Kuznik, W. Müller, J.C. Scheytt,
Design and Verification Conference (DVCON EUROPE) (2014).
date_created: 2021-09-29T10:47:35Z
date_updated: 2025-02-26T14:44:48Z
department:
- _id: '672'
language:
- iso: eng
publication: Design and Verification Conference (DVCON EUROPE)
status: public
title: Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU
type: journal_article
user_id: '5786'
year: '2014'
...
---
_id: '25162'
author:
- first_name: Christoph
full_name: Kuznik, Christoph
last_name: Kuznik
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Kuznik C, Müller W. Verific-MM: Systematized Verification Metrics Generation
with UCIS for Improved Automation on Verification Closure. Design, Automation
and Test in Europe DATE, University Booth, Dresden . Published online 2014.'
apa: 'Kuznik, C., & Müller, W. (2014). Verific-MM: Systematized Verification
Metrics Generation with UCIS for Improved Automation on Verification Closure.
Design, Automation and Test in Europe DATE, University Booth, Dresden .'
bibtex: '@article{Kuznik_Müller_2014, title={Verific-MM: Systematized Verification
Metrics Generation with UCIS for Improved Automation on Verification Closure},
journal={Design, Automation and Test in Europe DATE, University Booth, Dresden
}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2014} }'
chicago: 'Kuznik, Christoph, and Wolfgang Müller. “Verific-MM: Systematized Verification
Metrics Generation with UCIS for Improved Automation on Verification Closure.”
Design, Automation and Test in Europe DATE, University Booth, Dresden ,
2014.'
ieee: 'C. Kuznik and W. Müller, “Verific-MM: Systematized Verification Metrics Generation
with UCIS for Improved Automation on Verification Closure,” Design, Automation
and Test in Europe DATE, University Booth, Dresden , 2014.'
mla: 'Kuznik, Christoph, and Wolfgang Müller. “Verific-MM: Systematized Verification
Metrics Generation with UCIS for Improved Automation on Verification Closure.”
Design, Automation and Test in Europe DATE, University Booth, Dresden ,
2014.'
short: C. Kuznik, W. Müller, Design, Automation and Test in Europe DATE, University
Booth, Dresden (2014).
date_created: 2021-09-30T10:05:28Z
date_updated: 2025-02-26T14:45:04Z
department:
- _id: '672'
language:
- iso: eng
publication: 'Design, Automation and Test in Europe DATE, University Booth, Dresden '
status: public
title: 'Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved
Automation on Verification Closure'
type: journal_article
user_id: '5786'
year: '2014'
...
---
_id: '25169'
author:
- first_name: Jan-Hendrik
full_name: Oetjens, Jan-Hendrik
last_name: Oetjens
- first_name: Markus
full_name: Becker, Markus
last_name: Becker
- first_name: Christoph
full_name: Kuznik, Christoph
last_name: Kuznik
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Oetjens J-H, Becker M, Kuznik C, Müller W. Safety Evaluation of Automotive
Electronics Using Virtual Prototypes: State of the Art and Research Challenges.
In: Design Automation Conference (DAC). ; 2014.'
apa: 'Oetjens, J.-H., Becker, M., Kuznik, C., & Müller, W. (2014). Safety Evaluation
of Automotive Electronics Using Virtual Prototypes: State of the Art and Research
Challenges. Design Automation Conference (DAC).'
bibtex: '@inproceedings{Oetjens_Becker_Kuznik_Müller_2014, title={Safety Evaluation
of Automotive Electronics Using Virtual Prototypes: State of the Art and Research
Challenges}, booktitle={Design Automation Conference (DAC)}, author={Oetjens,
Jan-Hendrik and Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014}
}'
chicago: 'Oetjens, Jan-Hendrik, Markus Becker, Christoph Kuznik, and Wolfgang Müller.
“Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of
the Art and Research Challenges.” In Design Automation Conference (DAC),
2014.'
ieee: 'J.-H. Oetjens, M. Becker, C. Kuznik, and W. Müller, “Safety Evaluation of
Automotive Electronics Using Virtual Prototypes: State of the Art and Research
Challenges,” 2014.'
mla: 'Oetjens, Jan-Hendrik, et al. “Safety Evaluation of Automotive Electronics
Using Virtual Prototypes: State of the Art and Research Challenges.” Design
Automation Conference (DAC), 2014.'
short: 'J.-H. Oetjens, M. Becker, C. Kuznik, W. Müller, in: Design Automation Conference
(DAC), 2014.'
date_created: 2021-09-30T11:01:14Z
date_updated: 2025-02-26T14:45:29Z
department:
- _id: '672'
language:
- iso: eng
publication: Design Automation Conference (DAC)
status: public
title: 'Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State
of the Art and Research Challenges'
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '60444'
abstract:
- lang: eng
text: "\r\n We introduce\r\n Dual Strip
Weaving\r\n , a novel concept for the interactive design
of quad layouts, i.e. partitionings of freeform surfaces into quadrilateral patch
networks. In contrast to established tools for the design of quad layouts or subdivision
base meshes, which are often based on creating individual vertices, edges, and
quads, our method takes a more global perspective, operating on a higher level
of abstraction: the atomic operation of our method is the creation of an entire
cyclic strip, delineating a large number of quad patches at once. The global consistency-preserving
nature of this approach reduces demands on the user's expertise by requiring less
advance planning. Efficiency is achieved using a novel method at the heart of
our system, which automatically proposes geometrically and topologically suitable
strips to the user. Based on this we provide interaction tools to influence the
design process to any desired degree and visual guides to support the user in
this task.\r\n "
alternative_title:
- interactive design of quad layouts using elastica strips
author:
- first_name: Marcel
full_name: Campen, Marcel
id: '114904'
last_name: Campen
orcid: 0000-0003-2340-3462
- first_name: Leif
full_name: Kobbelt, Leif
last_name: Kobbelt
citation:
ama: Campen M, Kobbelt L. Dual strip weaving. ACM Transactions on Graphics.
2014;33(6):1-10. doi:10.1145/2661229.2661236
apa: Campen, M., & Kobbelt, L. (2014). Dual strip weaving. ACM Transactions
on Graphics, 33(6), 1–10. https://doi.org/10.1145/2661229.2661236
bibtex: '@article{Campen_Kobbelt_2014, title={Dual strip weaving}, volume={33},
DOI={10.1145/2661229.2661236},
number={6}, journal={ACM Transactions on Graphics}, publisher={Association for
Computing Machinery (ACM)}, author={Campen, Marcel and Kobbelt, Leif}, year={2014},
pages={1–10} }'
chicago: 'Campen, Marcel, and Leif Kobbelt. “Dual Strip Weaving.” ACM Transactions
on Graphics 33, no. 6 (2014): 1–10. https://doi.org/10.1145/2661229.2661236.'
ieee: 'M. Campen and L. Kobbelt, “Dual strip weaving,” ACM Transactions on Graphics,
vol. 33, no. 6, pp. 1–10, 2014, doi: 10.1145/2661229.2661236.'
mla: Campen, Marcel, and Leif Kobbelt. “Dual Strip Weaving.” ACM Transactions
on Graphics, vol. 33, no. 6, Association for Computing Machinery (ACM), 2014,
pp. 1–10, doi:10.1145/2661229.2661236.
short: M. Campen, L. Kobbelt, ACM Transactions on Graphics 33 (2014) 1–10.
date_created: 2025-06-27T10:22:29Z
date_updated: 2025-07-14T12:41:30Z
department:
- _id: '969'
doi: 10.1145/2661229.2661236
extern: '1'
intvolume: ' 33'
issue: '6'
language:
- iso: eng
page: 1-10
publication: ACM Transactions on Graphics
publication_identifier:
issn:
- 0730-0301
- 1557-7368
publication_status: published
publisher: Association for Computing Machinery (ACM)
status: public
title: Dual strip weaving
type: journal_article
user_id: '117512'
volume: 33
year: '2014'
...
---
_id: '60445'
abstract:
- lang: eng
text: 'The most effective and popular tools for obtaining feature aligned
quad meshes from triangular input meshes are based on cross field guided parametrization.
These methods are incarnations of a conceptual three-step pipeline: (1) cross
field computation, (2) field-guided surface parametrization, (3) quad mesh extraction.
While in most meshing scenarios the user prescribes a desired target quad size
or edge length, this information is typically taken into account from step 2 onwards
only, but not in the cross field computation step. This turns into a problem in
the presence of small scale geometric or topological features or noise in the
input mesh: closely placed singularities are induced in the cross field, which
are not properly reproducible by vertices in a quad mesh with the prescribed edge
length, causing severe distortions or even failure of the meshing algorithm. We
reformulate the construction of cross fields as well as field-guided parametrizations
in a scale-aware manner which effectively suppresses densely spaced features and
noise of geometric as well as topological kind. Dominant large-scale features
are adequately preserved in the output by relying on the unaltered input mesh
as the computational domain.'
author:
- first_name: Hans-Christian
full_name: Ebke, Hans-Christian
last_name: Ebke
- first_name: Marcel
full_name: Campen, Marcel
id: '114904'
last_name: Campen
orcid: 0000-0003-2340-3462
- first_name: David
full_name: Bommes, David
last_name: Bommes
- first_name: Leif
full_name: Kobbelt, Leif
last_name: Kobbelt
citation:
ama: Ebke H-C, Campen M, Bommes D, Kobbelt L. Level-of-detail quad meshing. ACM
Transactions on Graphics. 2014;33(6):1-11. doi:10.1145/2661229.2661240
apa: Ebke, H.-C., Campen, M., Bommes, D., & Kobbelt, L. (2014). Level-of-detail
quad meshing. ACM Transactions on Graphics, 33(6), 1–11. https://doi.org/10.1145/2661229.2661240
bibtex: '@article{Ebke_Campen_Bommes_Kobbelt_2014, title={Level-of-detail quad meshing},
volume={33}, DOI={10.1145/2661229.2661240},
number={6}, journal={ACM Transactions on Graphics}, publisher={Association for
Computing Machinery (ACM)}, author={Ebke, Hans-Christian and Campen, Marcel and
Bommes, David and Kobbelt, Leif}, year={2014}, pages={1–11} }'
chicago: 'Ebke, Hans-Christian, Marcel Campen, David Bommes, and Leif Kobbelt. “Level-of-Detail
Quad Meshing.” ACM Transactions on Graphics 33, no. 6 (2014): 1–11. https://doi.org/10.1145/2661229.2661240.'
ieee: 'H.-C. Ebke, M. Campen, D. Bommes, and L. Kobbelt, “Level-of-detail quad meshing,”
ACM Transactions on Graphics, vol. 33, no. 6, pp. 1–11, 2014, doi: 10.1145/2661229.2661240.'
mla: Ebke, Hans-Christian, et al. “Level-of-Detail Quad Meshing.” ACM Transactions
on Graphics, vol. 33, no. 6, Association for Computing Machinery (ACM), 2014,
pp. 1–11, doi:10.1145/2661229.2661240.
short: H.-C. Ebke, M. Campen, D. Bommes, L. Kobbelt, ACM Transactions on Graphics
33 (2014) 1–11.
date_created: 2025-06-27T10:23:37Z
date_updated: 2025-07-14T12:41:24Z
department:
- _id: '969'
doi: 10.1145/2661229.2661240
extern: '1'
intvolume: ' 33'
issue: '6'
language:
- iso: eng
page: 1-11
publication: ACM Transactions on Graphics
publication_identifier:
issn:
- 0730-0301
- 1557-7368
publication_status: published
publisher: Association for Computing Machinery (ACM)
status: public
title: Level-of-detail quad meshing
type: journal_article
user_id: '117512'
volume: 33
year: '2014'
...
---
_id: '60443'
abstract:
- lang: eng
text: AbstractQuad layouting, i.e.
the partitioning of a surface into a coarse network of quadrilateral patches,
is a fundamental step in application scenarios ranging from animation and simulation
to reverse engineering and meshing. This process involves determining the layout's
combinatorial structure as well as its geometric embedding in the surface. We
present a novel quad layout algorithm that focuses on the embedding optimization,
thereby complementing recent methods focusing on the structure optimization aspect.
It takes as input a description of the target layout structure and computes a
complete embedding in form of a parameterization globally optimized for isometry
and, in particular, principal direction alignment. Besides being suited for fully
automatic workflows, our method can also incorporate user constraints and support
the tedious but common procedure of manual layouting.
author:
- first_name: Marcel
full_name: Campen, Marcel
id: '114904'
last_name: Campen
orcid: 0000-0003-2340-3462
- first_name: Leif
full_name: Kobbelt, Leif
last_name: Kobbelt
citation:
ama: Campen M, Kobbelt L. Quad Layout Embedding via Aligned Parameterization. Computer
Graphics Forum. 2014;33(8):69-81. doi:10.1111/cgf.12401
apa: Campen, M., & Kobbelt, L. (2014). Quad Layout Embedding via Aligned Parameterization.
Computer Graphics Forum, 33(8), 69–81. https://doi.org/10.1111/cgf.12401
bibtex: '@article{Campen_Kobbelt_2014, title={Quad Layout Embedding via Aligned
Parameterization}, volume={33}, DOI={10.1111/cgf.12401},
number={8}, journal={Computer Graphics Forum}, publisher={Wiley}, author={Campen,
Marcel and Kobbelt, Leif}, year={2014}, pages={69–81} }'
chicago: 'Campen, Marcel, and Leif Kobbelt. “Quad Layout Embedding via Aligned Parameterization.”
Computer Graphics Forum 33, no. 8 (2014): 69–81. https://doi.org/10.1111/cgf.12401.'
ieee: 'M. Campen and L. Kobbelt, “Quad Layout Embedding via Aligned Parameterization,”
Computer Graphics Forum, vol. 33, no. 8, pp. 69–81, 2014, doi: 10.1111/cgf.12401.'
mla: Campen, Marcel, and Leif Kobbelt. “Quad Layout Embedding via Aligned Parameterization.”
Computer Graphics Forum, vol. 33, no. 8, Wiley, 2014, pp. 69–81, doi:10.1111/cgf.12401.
short: M. Campen, L. Kobbelt, Computer Graphics Forum 33 (2014) 69–81.
date_created: 2025-06-27T10:20:46Z
date_updated: 2025-07-14T12:41:33Z
department:
- _id: '969'
doi: 10.1111/cgf.12401
extern: '1'
intvolume: ' 33'
issue: '8'
language:
- iso: eng
page: 69-81
publication: Computer Graphics Forum
publication_identifier:
issn:
- 0167-7055
- 1467-8659
publication_status: published
publisher: Wiley
status: public
title: Quad Layout Embedding via Aligned Parameterization
type: journal_article
user_id: '117512'
volume: 33
year: '2014'
...
---
_id: '10309'
author:
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: 'Hüllermeier E. Rejoinder on “Learning from imprecise and fuzzy observations:
Data disambiguation through generalized loss minimization.” Int J Approx Reasoning.
2014;55(7):1609-1613.'
apa: 'Hüllermeier, E. (2014). Rejoinder on “Learning from imprecise and fuzzy observations:
Data disambiguation through generalized loss minimization.” Int. J. Approx.
Reasoning, 55(7), 1609–1613.'
bibtex: '@article{Hüllermeier_2014, title={Rejoinder on “Learning from imprecise
and fuzzy observations: Data disambiguation through generalized loss minimization”},
volume={55}, number={7}, journal={Int. J. Approx. Reasoning}, author={Hüllermeier,
Eyke}, year={2014}, pages={1609–1613} }'
chicago: 'Hüllermeier, Eyke. “Rejoinder on ‘Learning from Imprecise and Fuzzy Observations:
Data Disambiguation through Generalized Loss Minimization.’” Int. J. Approx.
Reasoning 55, no. 7 (2014): 1609–13.'
ieee: 'E. Hüllermeier, “Rejoinder on ‘Learning from imprecise and fuzzy observations:
Data disambiguation through generalized loss minimization,’” Int. J. Approx.
Reasoning, vol. 55, no. 7, pp. 1609–1613, 2014.'
mla: 'Hüllermeier, Eyke. “Rejoinder on ‘Learning from Imprecise and Fuzzy Observations:
Data Disambiguation through Generalized Loss Minimization.’” Int. J. Approx.
Reasoning, vol. 55, no. 7, 2014, pp. 1609–13.'
short: E. Hüllermeier, Int. J. Approx. Reasoning 55 (2014) 1609–1613.
date_created: 2019-06-26T11:12:38Z
date_updated: 2026-03-10T10:58:24Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
intvolume: ' 55'
issue: '7'
language:
- iso: eng
page: 1609-1613
publication: Int. J. Approx. Reasoning
status: public
title: 'Rejoinder on "Learning from imprecise and fuzzy observations: Data disambiguation
through generalized loss minimization"'
type: journal_article
user_id: '14972'
volume: 55
year: '2014'
...
---
_id: '25269'
author:
- first_name: Yara
full_name: Khaluf, Yara
last_name: Khaluf
- first_name: Mauro
full_name: Birattari, Mauro
last_name: Birattari
- first_name: Franz-Josef
full_name: Rammig, Franz-Josef
last_name: Rammig
citation:
ama: 'Khaluf Y, Birattari M, Rammig F-J. Probabilistic Analysis of Long-term Swarm
Performance under Spatial Interferences. In: Theory and Practice of Natural
Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of
Natural Computing, TPNC 2013. Vol 8273. Theory and Practice of Natural Computing,
Nr. 8273. Springer; 2013.'
apa: Khaluf, Y., Birattari, M., & Rammig, F.-J. (2013). Probabilistic Analysis
of Long-term Swarm Performance under Spatial Interferences. Theory and Practice
of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and
Practice of Natural Computing, TPNC 2013, 8273.
bibtex: '@inproceedings{Khaluf_Birattari_Rammig_2013, series={Theory and Practice
of Natural Computing, Nr. 8273}, title={Probabilistic Analysis of Long-term Swarm
Performance under Spatial Interferences}, volume={8273}, booktitle={Theory and
Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory
and Practice of Natural Computing, TPNC 2013}, publisher={Springer}, author={Khaluf,
Yara and Birattari, Mauro and Rammig, Franz-Josef}, year={2013}, collection={Theory
and Practice of Natural Computing, Nr. 8273} }'
chicago: Khaluf, Yara, Mauro Birattari, and Franz-Josef Rammig. “Probabilistic Analysis
of Long-Term Swarm Performance under Spatial Interferences.” In Theory and
Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory
and Practice of Natural Computing, TPNC 2013, Vol. 8273. Theory and Practice
of Natural Computing, Nr. 8273. Springer, 2013.
ieee: Y. Khaluf, M. Birattari, and F.-J. Rammig, “Probabilistic Analysis of Long-term
Swarm Performance under Spatial Interferences,” in Theory and Practice of Natural
Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of
Natural Computing, TPNC 2013, Cáceres, Spain, 3. - 5. Dez. 2013, 2013, vol.
8273.
mla: Khaluf, Yara, et al. “Probabilistic Analysis of Long-Term Swarm Performance
under Spatial Interferences.” Theory and Practice of Natural Computing, Nr.
8273, 2nd International Conference on the Theory and Practice of Natural Computing,
TPNC 2013, vol. 8273, Springer, 2013.
short: 'Y. Khaluf, M. Birattari, F.-J. Rammig, in: Theory and Practice of Natural
Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of
Natural Computing, TPNC 2013, Springer, 2013.'
conference:
location: Cáceres, Spain, 3. - 5. Dez. 2013
date_created: 2021-10-04T08:13:03Z
date_updated: 2022-01-06T06:56:57Z
department:
- _id: '672'
intvolume: ' 8273'
language:
- iso: eng
publication: Theory and Practice of Natural Computing, Nr. 8273, 2nd International
Conference on the Theory and Practice of Natural Computing, TPNC 2013
publisher: Springer
series_title: Theory and Practice of Natural Computing, Nr. 8273
status: public
title: Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences
type: conference
user_id: '21240'
volume: 8273
year: '2013'
...
---
_id: '25270'
author:
- first_name: M. tech. Mabel Mary
full_name: Joy, M. tech. Mabel Mary
last_name: Joy
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Franz-Josef
full_name: Rammig, Franz-Josef
last_name: Rammig
citation:
ama: 'Joy M tech. MM, Müller W, Rammig F-J. Early Phase Memory Leak Detection in
Embedded Software Designs with Virtual Memory Management Model. In: Proceedings
of AVICPS 2013, Dez. 2013 IEEE Computer Society,. Linköping University Electronic
Press; 2013.'
apa: Joy, M. tech. M. M., Müller, W., & Rammig, F.-J. (2013). Early Phase Memory
Leak Detection in Embedded Software Designs with Virtual Memory Management Model.
Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,.
bibtex: '@inproceedings{Joy_Müller_Rammig_2013, title={Early Phase Memory Leak Detection
in Embedded Software Designs with Virtual Memory Management Model}, booktitle={Proceedings
of AVICPS 2013, Dez. 2013 IEEE Computer Society,}, publisher={Linköping University
Electronic Press}, author={Joy, M. tech. Mabel Mary and Müller, Wolfgang and Rammig,
Franz-Josef}, year={2013} }'
chicago: Joy, M. tech. Mabel Mary, Wolfgang Müller, and Franz-Josef Rammig. “Early
Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management
Model.” In Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,.
Linköping University Electronic Press, 2013.
ieee: M. tech. M. M. Joy, W. Müller, and F.-J. Rammig, “Early Phase Memory Leak
Detection in Embedded Software Designs with Virtual Memory Management Model,”
2013.
mla: Joy, M. tech. Mabel Mary, et al. “Early Phase Memory Leak Detection in Embedded
Software Designs with Virtual Memory Management Model.” Proceedings of AVICPS
2013, Dez. 2013 IEEE Computer Society, Linköping University Electronic Press,
2013.
short: 'M. tech. M.M. Joy, W. Müller, F.-J. Rammig, in: Proceedings of AVICPS 2013,
Dez. 2013 IEEE Computer Society, Linköping University Electronic Press, 2013.'
date_created: 2021-10-04T08:25:24Z
date_updated: 2022-01-06T06:56:58Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,
publisher: Linköping University Electronic Press
status: public
title: Early Phase Memory Leak Detection in Embedded Software Designs with Virtual
Memory Management Model
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25271'
author:
- first_name: Da
full_name: He, Da
last_name: He
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'He D, Müller W. AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON
MULTI-CORE PROCESSORS. In: Proceedings of International Conference on Applied
Computing (AC). ; 2013.'
apa: He, D., & Müller, W. (2013). AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL-
TIME SYSTEM ON MULTI-CORE PROCESSORS. Proceedings of International Conference
on Applied Computing (AC).
bibtex: '@inproceedings{He_Müller_2013, title={AN ENERGY-EFFICIENT HEURISTIC FOR
HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS}, booktitle={Proceedings of International
Conference on Applied Computing (AC)}, author={He, Da and Müller, Wolfgang}, year={2013}
}'
chicago: He, Da, and Wolfgang Müller. “AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL-
TIME SYSTEM ON MULTI-CORE PROCESSORS.” In Proceedings of International Conference
on Applied Computing (AC), 2013.
ieee: D. He and W. Müller, “AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM
ON MULTI-CORE PROCESSORS,” 2013.
mla: He, Da, and Wolfgang Müller. “AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL-
TIME SYSTEM ON MULTI-CORE PROCESSORS.” Proceedings of International Conference
on Applied Computing (AC), 2013.
short: 'D. He, W. Müller, in: Proceedings of International Conference on Applied
Computing (AC), 2013.'
date_created: 2021-10-04T08:30:39Z
date_updated: 2022-01-06T06:56:58Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of International Conference on Applied Computing (AC)
status: public
title: AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25273'
abstract:
- lang: eng
text: Automation and control systems include many “intelligent” automation devices,
which are usually implemented as complex embedded systems. New methods and tools
are demanded to cope with the increasing design complexity, while keeping the
project on schedule. Proper handling of nonfunctional system requirements is a
key factor during the design of industrial automation systems, since in some application
domains they are as important as (sometimes, more important than) functional requirements.
This paper presents a model-driven engineering approach, which combines Unified
Modeling Language (UML) and aspect-oriented software development (AOSD) to design
real-time and embedded automation systems. The proposed approach allows a smooth
transition from the initial phases to implementation by using software tools,
comprising the system specification and the automatic generation of source code.
By combining UML with model-level aspects and a script-base code generation tool,
it enables the use of AOSD during system design and implementation, even though
the target platform does not natively support such concepts. Experimental results
on using this approach to design real-world examples of automation systems are
presented. The results indicate a positive impact on the design of automation
systems. The encapsulation of nonfunctional requirements was improved, increasing
the reuse of developed artifacts. Generated source code statistics indicate that
the proposed approach can generated a fair amount of code per model element.
author:
- first_name: Marco A.
full_name: Wehrmeister, Marco A.
last_name: Wehrmeister
- first_name: Carlos E.
full_name: Pereira, Carlos E.
last_name: Pereira
- first_name: Franz-Josef
full_name: Rammig, Franz-Josef
last_name: Rammig
citation:
ama: 'Wehrmeister MA, Pereira CE, Rammig F-J. Aspect-Oriented Model-Driven Engineering
for Embedded Systems Applied to Automation Systems. In: IEEE Trans. on Industrial
Informatics Vol. 9 (No. 4). ; 2013:2373-2386.'
apa: Wehrmeister, M. A., Pereira, C. E., & Rammig, F.-J. (2013). Aspect-Oriented
Model-Driven Engineering for Embedded Systems Applied to Automation Systems.
IEEE Trans. on Industrial Informatics Vol. 9 (No. 4), 2373–2386.
bibtex: '@inproceedings{Wehrmeister_Pereira_Rammig_2013, title={Aspect-Oriented
Model-Driven Engineering for Embedded Systems Applied to Automation Systems},
booktitle={ IEEE Trans. on Industrial Informatics vol. 9 (no. 4)}, author={Wehrmeister,
Marco A. and Pereira, Carlos E. and Rammig, Franz-Josef}, year={2013}, pages={2373–2386}
}'
chicago: Wehrmeister, Marco A., Carlos E. Pereira, and Franz-Josef Rammig. “Aspect-Oriented
Model-Driven Engineering for Embedded Systems Applied to Automation Systems.”
In IEEE Trans. on Industrial Informatics Vol. 9 (No. 4), 2373–86, 2013.
ieee: M. A. Wehrmeister, C. E. Pereira, and F.-J. Rammig, “Aspect-Oriented Model-Driven
Engineering for Embedded Systems Applied to Automation Systems,” in IEEE Trans.
on Industrial Informatics vol. 9 (no. 4), 2013, pp. 2373–2386.
mla: Wehrmeister, Marco A., et al. “Aspect-Oriented Model-Driven Engineering for
Embedded Systems Applied to Automation Systems.” IEEE Trans. on Industrial
Informatics Vol. 9 (No. 4), 2013, pp. 2373–86.
short: 'M.A. Wehrmeister, C.E. Pereira, F.-J. Rammig, in: IEEE Trans. on Industrial
Informatics Vol. 9 (No. 4), 2013, pp. 2373–2386.'
date_created: 2021-10-04T08:40:10Z
date_updated: 2022-01-06T06:56:58Z
department:
- _id: '672'
language:
- iso: eng
page: 2373-2386
publication: ' IEEE Trans. on Industrial Informatics vol. 9 (no. 4)'
status: public
title: Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation
Systems
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25274'
author:
- first_name: Yara
full_name: Khaluf, Yara
last_name: Khaluf
- first_name: Franz-Josef
full_name: Rammig, Franz-Josef
last_name: Rammig
citation:
ama: 'Khaluf Y, Rammig F-J. Task Allocation Strategy for Time-Constrained Tasks
in Robots Swarms. In: ECAL 2013, 12th European Conference on Artificial Life.
; 2013.'
apa: Khaluf, Y., & Rammig, F.-J. (2013). Task Allocation Strategy for Time-Constrained
Tasks in Robots Swarms. ECAL 2013, 12th European Conference on Artificial Life.
bibtex: '@inproceedings{Khaluf_Rammig_2013, title={Task Allocation Strategy for
Time-Constrained Tasks in Robots Swarms}, booktitle={ECAL 2013, 12th European
Conference on Artificial Life}, author={Khaluf, Yara and Rammig, Franz-Josef},
year={2013} }'
chicago: Khaluf, Yara, and Franz-Josef Rammig. “Task Allocation Strategy for Time-Constrained
Tasks in Robots Swarms.” In ECAL 2013, 12th European Conference on Artificial
Life, 2013.
ieee: Y. Khaluf and F.-J. Rammig, “Task Allocation Strategy for Time-Constrained
Tasks in Robots Swarms,” 2. - 6. Sep. 2013, 2013.
mla: Khaluf, Yara, and Franz-Josef Rammig. “Task Allocation Strategy for Time-Constrained
Tasks in Robots Swarms.” ECAL 2013, 12th European Conference on Artificial
Life, 2013.
short: 'Y. Khaluf, F.-J. Rammig, in: ECAL 2013, 12th European Conference on Artificial
Life, 2013.'
conference:
location: ' 2. - 6. Sep. 2013'
date_created: 2021-10-04T08:44:58Z
date_updated: 2022-01-06T06:56:58Z
department:
- _id: '672'
language:
- iso: eng
publication: ECAL 2013, 12th European Conference on Artificial Life
status: public
title: Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25277'
abstract:
- lang: eng
text: Das Thema Elektromobilität hat in der Fahrzeugindustrie in den letzten Jahren
viel Aufmerksamkeit erhalten. Gerade im Bereich der Entwicklung von Steuergeräte-Software
ist der Bedarf an frühzeitiger Absicherung hoch. Nur so können Produkteinführungszeiten
minimiert und effektiv Entwicklungskosten eingespart werden. Komplexe Werkzeugketten
und die verteilte Entwicklung erschweren den Prozess und verlängern die Entwicklungszeit.
Das Förderprojekt „Simulationsgestützter Entwurf für Elektrofahrzeuge“, kurz „E-Mobil“,
nimmt sich der Herausforderungen einer verteilten Entwicklung von Steuergeräte-Software
an. Vier Projektpartner aus Industrie und Forschung untersuchen die Besonderheiten
sowohl bzgl. des Entwurfsprozesses, als auch der beteiligten Entwurfswerkzeuge
im Vergleich zur konventionellen Fahrzeugentwicklung. Im Fokus stehen die Modellierung
und die simulationsgestützte Absicherung in frühen Entwurfsstadien. Die Modellierung
umfasst Regelungssoftware sowie die für die Simulation nötigen elektrischen und
mechatronischen Komponenten. Die vorliegende Arbeit stellt die Kernthemen sowie
aktuelle Ergebnisse aus dem Projekt vor.
author:
- first_name: Emad
full_name: Farshizadeh, Emad
last_name: Farshizadeh
- first_name: Herrmann
full_name: Briese, Herrmann
last_name: Briese
- first_name: David
full_name: Steinmann, David
last_name: Steinmann
- first_name: Lars
full_name: Stockmann, Lars
id: '48144'
last_name: Stockmann
- first_name: Steffen
full_name: Beringer, Steffen
last_name: Beringer
- first_name: Dominik
full_name: Holler, Dominik
last_name: Holler
- first_name: Kay
full_name: Klobedanz, Kay
last_name: Klobedanz
- first_name: Christian
full_name: Heinzemann, Christian
last_name: Heinzemann
- first_name: Klaus
full_name: Peter, Klaus
last_name: Peter
- first_name: Michael
full_name: Leuer, Michael
last_name: Leuer
citation:
ama: 'Farshizadeh E, Briese H, Steinmann D, et al. Simulationsgestützter Entwurf
für Elektrofahrzeuge. In: 8. Dortmunder Autotag, Sep. 2013. ; 2013.'
apa: Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler,
D., Klobedanz, K., Heinzemann, C., Peter, K., & Leuer, M. (2013). Simulationsgestützter
Entwurf für Elektrofahrzeuge. 8. Dortmunder Autotag, Sep. 2013.
bibtex: '@inproceedings{Farshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013,
title={Simulationsgestützter Entwurf für Elektrofahrzeuge}, booktitle={8. Dortmunder
Autotag, Sep. 2013}, author={Farshizadeh, Emad and Briese, Herrmann and Steinmann,
David and Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz,
Kay and Heinzemann, Christian and Peter, Klaus and Leuer, Michael}, year={2013}
}'
chicago: Farshizadeh, Emad, Herrmann Briese, David Steinmann, Lars Stockmann, Steffen
Beringer, Dominik Holler, Kay Klobedanz, Christian Heinzemann, Klaus Peter, and
Michael Leuer. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” In 8.
Dortmunder Autotag, Sep. 2013, 2013.
ieee: E. Farshizadeh et al., “Simulationsgestützter Entwurf für Elektrofahrzeuge,”
2013.
mla: Farshizadeh, Emad, et al. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.”
8. Dortmunder Autotag, Sep. 2013, 2013.
short: 'E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler,
K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, Sep.
2013, 2013.'
date_created: 2021-10-04T10:40:28Z
date_updated: 2022-01-06T06:56:58Z
department:
- _id: '672'
language:
- iso: eng
publication: 8. Dortmunder Autotag, Sep. 2013
status: public
title: Simulationsgestützter Entwurf für Elektrofahrzeuge
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '25284'
author:
- first_name: Fabian
full_name: Mischkalla, Fabian
last_name: Mischkalla
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Mischkalla F, Müller W. Efficient Power Intent Validation Using Loosely-Timed
Simulation Models. In: 23rd International Workshop on Power And Timing Modeling,
Optimization and Simulation, Sep. 2013. ; 2013.'
apa: Mischkalla, F., & Müller, W. (2013). Efficient Power Intent Validation
Using Loosely-Timed Simulation Models. 23rd International Workshop on Power
And Timing Modeling, Optimization and Simulation, Sep. 2013.
bibtex: '@inproceedings{Mischkalla_Müller_2013, title={ Efficient Power Intent Validation
Using Loosely-Timed Simulation Models}, booktitle={ 23rd International Workshop
on Power And Timing Modeling, Optimization and Simulation, Sep. 2013}, author={Mischkalla,
Fabian and Müller, Wolfgang}, year={2013} }'
chicago: Mischkalla, Fabian, and Wolfgang Müller. “ Efficient Power Intent Validation
Using Loosely-Timed Simulation Models.” In 23rd International Workshop on
Power And Timing Modeling, Optimization and Simulation, Sep. 2013, 2013.
ieee: F. Mischkalla and W. Müller, “ Efficient Power Intent Validation Using Loosely-Timed
Simulation Models,” 2013.
mla: Mischkalla, Fabian, and Wolfgang Müller. “ Efficient Power Intent Validation
Using Loosely-Timed Simulation Models.” 23rd International Workshop on Power
And Timing Modeling, Optimization and Simulation, Sep. 2013, 2013.
short: 'F. Mischkalla, W. Müller, in: 23rd International Workshop on Power And
Timing Modeling, Optimization and Simulation, Sep. 2013, 2013.'
date_created: 2021-10-04T11:15:10Z
date_updated: 2022-01-06T06:56:59Z
department:
- _id: '672'
language:
- iso: eng
publication: ' 23rd International Workshop on Power And Timing Modeling, Optimization
and Simulation, Sep. 2013'
status: public
title: ' Efficient Power Intent Validation Using Loosely-Timed Simulation Models'
type: conference
user_id: '21240'
year: '2013'
...