---
_id: '21595'
author:
- first_name: Lars
  full_name: Stockmann, Lars
  id: '48144'
  last_name: Stockmann
- first_name: Sven
  full_name: Laux, Sven
  last_name: Laux
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: Stockmann L, Laux S, Bodden E. Using Architectural Runtime Verification for
    Offline Data Analysis. <i>Journal of Automotive Software Engineering</i>. Published
    online 2021. doi:<a href="https://doi.org/10.2991/jase.d.210205.001">10.2991/jase.d.210205.001</a>
  apa: Stockmann, L., Laux, S., &#38; Bodden, E. (2021). Using Architectural Runtime
    Verification for Offline Data Analysis. <i>Journal of Automotive Software Engineering</i>.
    <a href="https://doi.org/10.2991/jase.d.210205.001">https://doi.org/10.2991/jase.d.210205.001</a>
  bibtex: '@article{Stockmann_Laux_Bodden_2021, title={Using Architectural Runtime
    Verification for Offline Data Analysis}, DOI={<a href="https://doi.org/10.2991/jase.d.210205.001">10.2991/jase.d.210205.001</a>},
    journal={Journal of Automotive Software Engineering}, author={Stockmann, Lars
    and Laux, Sven and Bodden, Eric}, year={2021} }'
  chicago: Stockmann, Lars, Sven Laux, and Eric Bodden. “Using Architectural Runtime
    Verification for Offline Data Analysis.” <i>Journal of Automotive Software Engineering</i>,
    2021. <a href="https://doi.org/10.2991/jase.d.210205.001">https://doi.org/10.2991/jase.d.210205.001</a>.
  ieee: 'L. Stockmann, S. Laux, and E. Bodden, “Using Architectural Runtime Verification
    for Offline Data Analysis,” <i>Journal of Automotive Software Engineering</i>,
    2021, doi: <a href="https://doi.org/10.2991/jase.d.210205.001">10.2991/jase.d.210205.001</a>.'
  mla: Stockmann, Lars, et al. “Using Architectural Runtime Verification for Offline
    Data Analysis.” <i>Journal of Automotive Software Engineering</i>, 2021, doi:<a
    href="https://doi.org/10.2991/jase.d.210205.001">10.2991/jase.d.210205.001</a>.
  short: L. Stockmann, S. Laux, E. Bodden, Journal of Automotive Software Engineering
    (2021).
date_created: 2021-04-08T11:21:32Z
date_updated: 2022-01-06T06:55:06Z
department:
- _id: '76'
doi: 10.2991/jase.d.210205.001
language:
- iso: eng
main_file_link:
- url: https://www.bodden.de/pubs/sb21architectural.pdf
publication: Journal of Automotive Software Engineering
publication_identifier:
  issn:
  - 2589-2258
publication_status: published
status: public
title: Using Architectural Runtime Verification for Offline Data Analysis
type: journal_article
user_id: '5786'
year: '2021'
...
---
_id: '20525'
author:
- first_name: Lars
  full_name: Stockmann, Lars
  id: '48144'
  last_name: Stockmann
- first_name: Sven
  full_name: Laux, Sven
  last_name: Laux
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Stockmann L, Laux S, Bodden E. Architectural Runtime Verification. In: <i>2019
    IEEE International Conference on Software Architecture Companion (ICSA-C)</i>.
    ; 2019:77-84. doi:<a href="https://doi.org/10.1109/ICSA-C.2019.00021">10.1109/ICSA-C.2019.00021</a>'
  apa: Stockmann, L., Laux, S., &#38; Bodden, E. (2019). Architectural Runtime Verification.
    <i>2019 IEEE International Conference on Software Architecture Companion (ICSA-C)</i>,
    77–84. <a href="https://doi.org/10.1109/ICSA-C.2019.00021">https://doi.org/10.1109/ICSA-C.2019.00021</a>
  bibtex: '@inproceedings{Stockmann_Laux_Bodden_2019, title={Architectural Runtime
    Verification}, DOI={<a href="https://doi.org/10.1109/ICSA-C.2019.00021">10.1109/ICSA-C.2019.00021</a>},
    booktitle={2019 IEEE International Conference on Software Architecture Companion
    (ICSA-C)}, author={Stockmann, Lars and Laux, Sven and Bodden, Eric}, year={2019},
    pages={77–84} }'
  chicago: Stockmann, Lars, Sven Laux, and Eric Bodden. “Architectural Runtime Verification.”
    In <i>2019 IEEE International Conference on Software Architecture Companion (ICSA-C)</i>,
    77–84, 2019. <a href="https://doi.org/10.1109/ICSA-C.2019.00021">https://doi.org/10.1109/ICSA-C.2019.00021</a>.
  ieee: 'L. Stockmann, S. Laux, and E. Bodden, “Architectural Runtime Verification,”
    in <i>2019 IEEE International Conference on Software Architecture Companion (ICSA-C)</i>,
    2019, pp. 77–84, doi: <a href="https://doi.org/10.1109/ICSA-C.2019.00021">10.1109/ICSA-C.2019.00021</a>.'
  mla: Stockmann, Lars, et al. “Architectural Runtime Verification.” <i>2019 IEEE
    International Conference on Software Architecture Companion (ICSA-C)</i>, 2019,
    pp. 77–84, doi:<a href="https://doi.org/10.1109/ICSA-C.2019.00021">10.1109/ICSA-C.2019.00021</a>.
  short: 'L. Stockmann, S. Laux, E. Bodden, in: 2019 IEEE International Conference
    on Software Architecture Companion (ICSA-C), 2019, pp. 77–84.'
date_created: 2020-11-27T10:16:59Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.1109/ICSA-C.2019.00021
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/stockmann19architectural.pdf
page: 77-84
publication: 2019 IEEE International Conference on Software Architecture Companion
  (ICSA-C)
status: public
title: Architectural Runtime Verification
type: conference
user_id: '5786'
year: '2019'
...
---
_id: '20979'
author:
- first_name: Lars
  full_name: Stockmann, Lars
  id: '48144'
  last_name: Stockmann
citation:
  ama: 'Stockmann L. Debugging Models in the Context of Automotive Software Development.
    In: Chechik M, Kolovos D, eds. <i>Proceedings of the Doctoral Symposium of the
    ACM/IEEE 18th International Conference on Model Driven Engineering Languages and
    Systems</i>. ; 2015.'
  apa: Stockmann, L. (2015). Debugging Models in the Context of Automotive Software
    Development. In M. Chechik &#38; D. Kolovos (Eds.), <i>Proceedings of the Doctoral
    Symposium of the ACM/IEEE 18th International Conference on Model Driven Engineering
    Languages and Systems</i>.
  bibtex: '@inproceedings{Stockmann_2015, title={Debugging Models in the Context of
    Automotive Software Development}, booktitle={Proceedings of the Doctoral Symposium
    of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages
    and Systems}, author={Stockmann, Lars}, editor={Chechik, Marsha and Kolovos, Dimitris},
    year={2015} }'
  chicago: Stockmann, Lars. “Debugging Models in the Context of Automotive Software
    Development.” In <i>Proceedings of the Doctoral Symposium of the ACM/IEEE 18th
    International Conference on Model Driven Engineering Languages and Systems</i>,
    edited by Marsha Chechik and Dimitris Kolovos, 2015.
  ieee: L. Stockmann, “Debugging Models in the Context of Automotive Software Development,”
    in <i>Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International
    Conference on Model Driven Engineering Languages and Systems</i>, 2015.
  mla: Stockmann, Lars. “Debugging Models in the Context of Automotive Software Development.”
    <i>Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International Conference
    on Model Driven Engineering Languages and Systems</i>, edited by Marsha Chechik
    and Dimitris Kolovos, 2015.
  short: 'L. Stockmann, in: M. Chechik, D. Kolovos (Eds.), Proceedings of the Doctoral
    Symposium of the ACM/IEEE 18th International Conference on Model Driven Engineering
    Languages and Systems, 2015.'
date_created: 2021-01-13T13:27:27Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
editor:
- first_name: Marsha
  full_name: Chechik, Marsha
  last_name: Chechik
- first_name: Dimitris
  full_name: Kolovos, Dimitris
  last_name: Kolovos
language:
- iso: eng
publication: Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International
  Conference on Model Driven Engineering Languages and Systems
status: public
title: Debugging Models in the Context of Automotive Software Development
type: conference
user_id: '5786'
year: '2015'
...
---
_id: '25277'
abstract:
- lang: eng
  text: Das Thema Elektromobilität hat in der Fahrzeugindustrie in den letzten Jahren
    viel Aufmerksamkeit erhalten. Gerade im Bereich der Entwicklung von Steuergeräte-Software
    ist der Bedarf an frühzeitiger Absicherung hoch. Nur so können Produkteinführungszeiten
    minimiert und effektiv Entwicklungskosten eingespart werden. Komplexe Werkzeugketten
    und die verteilte Entwicklung erschweren den Prozess und verlängern die Entwicklungszeit.
    Das Förderprojekt „Simulationsgestützter Entwurf für Elektrofahrzeuge“, kurz „E-Mobil“,
    nimmt sich der Herausforderungen einer verteilten Entwicklung von Steuergeräte-Software
    an. Vier Projektpartner aus Industrie und Forschung untersuchen die Besonderheiten
    sowohl bzgl. des Entwurfsprozesses, als auch der beteiligten Entwurfswerkzeuge
    im Vergleich zur konventionellen Fahrzeugentwicklung. Im Fokus stehen die Modellierung
    und die simulationsgestützte Absicherung in frühen Entwurfsstadien. Die Modellierung
    umfasst Regelungssoftware sowie die für die Simulation nötigen elektrischen und
    mechatronischen Komponenten. Die vorliegende Arbeit stellt die Kernthemen sowie
    aktuelle Ergebnisse aus dem Projekt vor.
author:
- first_name: Emad
  full_name: Farshizadeh, Emad
  last_name: Farshizadeh
- first_name: Herrmann
  full_name: Briese, Herrmann
  last_name: Briese
- first_name: David
  full_name: Steinmann, David
  last_name: Steinmann
- first_name: Lars
  full_name: Stockmann, Lars
  id: '48144'
  last_name: Stockmann
- first_name: Steffen
  full_name: Beringer, Steffen
  last_name: Beringer
- first_name: Dominik
  full_name: Holler, Dominik
  last_name: Holler
- first_name: Kay
  full_name: Klobedanz, Kay
  last_name: Klobedanz
- first_name: Christian
  full_name: Heinzemann, Christian
  last_name: Heinzemann
- first_name: Klaus
  full_name: Peter, Klaus
  last_name: Peter
- first_name: Michael
  full_name: Leuer, Michael
  last_name: Leuer
citation:
  ama: 'Farshizadeh E, Briese H, Steinmann D, et al. Simulationsgestützter Entwurf
    für Elektrofahrzeuge. In: <i>8. Dortmunder Autotag, Sep. 2013</i>. ; 2013.'
  apa: Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler,
    D., Klobedanz, K., Heinzemann, C., Peter, K., &#38; Leuer, M. (2013). Simulationsgestützter
    Entwurf für Elektrofahrzeuge. <i>8. Dortmunder Autotag, Sep. 2013</i>.
  bibtex: '@inproceedings{Farshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013,
    title={Simulationsgestützter Entwurf für Elektrofahrzeuge}, booktitle={8. Dortmunder
    Autotag, Sep. 2013}, author={Farshizadeh, Emad and Briese, Herrmann and Steinmann,
    David and Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz,
    Kay and Heinzemann, Christian and Peter, Klaus and Leuer, Michael}, year={2013}
    }'
  chicago: Farshizadeh, Emad, Herrmann Briese, David Steinmann, Lars Stockmann, Steffen
    Beringer, Dominik Holler, Kay Klobedanz, Christian Heinzemann, Klaus Peter, and
    Michael Leuer. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” In <i>8.
    Dortmunder Autotag, Sep. 2013</i>, 2013.
  ieee: E. Farshizadeh <i>et al.</i>, “Simulationsgestützter Entwurf für Elektrofahrzeuge,”
    2013.
  mla: Farshizadeh, Emad, et al. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.”
    <i>8. Dortmunder Autotag, Sep. 2013</i>, 2013.
  short: 'E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler,
    K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, Sep.
    2013, 2013.'
date_created: 2021-10-04T10:40:28Z
date_updated: 2022-01-06T06:56:58Z
department:
- _id: '672'
language:
- iso: eng
publication: 8. Dortmunder Autotag, Sep. 2013
status: public
title: Simulationsgestützter Entwurf für Elektrofahrzeuge
type: conference
user_id: '21240'
year: '2013'
...
---
_id: '20980'
abstract:
- lang: ger
  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: Hermann
  full_name: Briese, Hermann
  last_name: Briese
- first_name: David
  full_name: Steinmann, David
  last_name: Steinmann
- first_name: Lars
  full_name: Stockmann, Lars
  id: '48144'
  last_name: Stockmann
- first_name: Steffen
  full_name: Beringer, Steffen
  last_name: Beringer
- first_name: Dominik
  full_name: Holler, Dominik
  last_name: Holler
- first_name: Kay
  full_name: Klobedanz, Kay
  last_name: Klobedanz
- first_name: Christian
  full_name: Heinzemann, Christian
  last_name: Heinzemann
- first_name: Klaus
  full_name: Peter, Klaus
  last_name: Peter
- first_name: Michael
  full_name: Leuer, Michael
  last_name: Leuer
citation:
  ama: 'Farshizadeh E, Briese H, Steinmann D, et al. Simulationsgestützter Entwurf
    für Elektrofahrzeuge. In: <i>8. Dortmunder Autotag</i>. ; 2013.'
  apa: Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler,
    D., Klobedanz, K., Heinzemann, C., Peter, K., &#38; Leuer, M. (2013). Simulationsgestützter
    Entwurf für Elektrofahrzeuge. <i>8. Dortmunder Autotag</i>.
  bibtex: '@inproceedings{Farshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013,
    title={Simulationsgestützter Entwurf für Elektrofahrzeuge}, booktitle={8. Dortmunder
    Autotag}, author={Farshizadeh, Emad and Briese, Hermann 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, Hermann Briese, David Steinmann, Lars Stockmann, Steffen
    Beringer, Dominik Holler, Kay Klobedanz, Christian Heinzemann, Klaus Peter, and
    Michael Leuer. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” In <i>8.
    Dortmunder Autotag</i>, 2013.
  ieee: E. Farshizadeh <i>et al.</i>, “Simulationsgestützter Entwurf für Elektrofahrzeuge,”
    2013.
  mla: Farshizadeh, Emad, et al. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.”
    <i>8. Dortmunder Autotag</i>, 2013.
  short: 'E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler,
    K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, 2013.'
date_created: 2021-01-13T13:28:47Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
publication: 8. Dortmunder Autotag
status: public
title: Simulationsgestützter Entwurf für Elektrofahrzeuge
type: conference
user_id: '5786'
year: '2013'
...