Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5 Publications
2021 | Journal Article | LibreCat-ID: 21595
Stockmann, Lars, et al. “Using Architectural Runtime Verification for Offline Data Analysis.” Journal of Automotive Software Engineering, 2021, doi:10.2991/jase.d.210205.001.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20525
Stockmann, Lars, et al. “Architectural Runtime Verification.” 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), 2019, pp. 77–84, doi:10.1109/ICSA-C.2019.00021.
LibreCat
| DOI
| Download (ext.)
2015 | Conference Paper | LibreCat-ID: 20979
Stockmann, Lars. “Debugging Models in the Context of Automotive Software Development.” Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, edited by Marsha Chechik and Dimitris Kolovos, 2015.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25277
Farshizadeh, Emad, et al. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” 8. Dortmunder Autotag, Sep. 2013, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20980
Farshizadeh, Emad, et al. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” 8. Dortmunder Autotag, 2013.
LibreCat