---
_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'
...