[{"publication_status":"published","date_updated":"2022-01-06T06:55:06Z","author":[{"id":"48144","first_name":"Lars","last_name":"Stockmann","full_name":"Stockmann, Lars"},{"full_name":"Laux, Sven","last_name":"Laux","first_name":"Sven"},{"full_name":"Bodden, Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","first_name":"Eric","id":"59256"}],"publication_identifier":{"issn":["2589-2258"]},"title":"Using Architectural Runtime Verification for Offline Data Analysis","year":"2021","status":"public","user_id":"5786","doi":"10.2991/jase.d.210205.001","_id":"21595","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://www.bodden.de/pubs/sb21architectural.pdf"}],"citation":{"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>.","short":"L. Stockmann, S. Laux, E. Bodden, Journal of Automotive Software Engineering (2021).","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>.","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} }","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>","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>."},"publication":"Journal of Automotive Software Engineering","department":[{"_id":"76"}],"type":"journal_article","date_created":"2021-04-08T11:21:32Z"}]