article published Lars Stockmann author 48144 Sven Laux author Eric Bodden author 592560000-0003-3470-3647 76 department 2021 eng 2589-225810.2991/jase.d.210205.001 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> @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} } 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>. 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>. L. Stockmann, S. Laux, E. Bodden, Journal of Automotive Software Engineering (2021). 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> 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>. 215952021-04-08T11:21:32Z2022-01-06T06:55:06Z