4 Publications

Mark all

[4]
2021 | Journal Article | LibreCat-ID: 21595
Stockmann, L., Laux, S., & Bodden, E. (2021). Using Architectural Runtime Verification for Offline Data Analysis. Journal of Automotive Software Engineering. https://doi.org/10.2991/jase.d.210205.001
LibreCat | DOI | Download (ext.)
 
[3]
2019 | Conference Paper | LibreCat-ID: 20525
Stockmann, L., Laux, S., & Bodden, E. (2019). Architectural Runtime Verification. In 2019 IEEE International Conference on Software Architecture Companion (ICSA-C) (pp. 77–84). https://doi.org/10.1109/ICSA-C.2019.00021
LibreCat | DOI | Download (ext.)
 
[2]
2015 | Conference Paper | LibreCat-ID: 20979
Stockmann, L. (2015). Debugging Models in the Context of Automotive Software Development. 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.
LibreCat
 
[1]
2013 | Conference Paper | LibreCat-ID: 20980
Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler, D., … Leuer, M. (2013). Simulationsgestützter Entwurf für Elektrofahrzeuge. In 8. Dortmunder Autotag.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed

4 Publications

Mark all

[4]
2021 | Journal Article | LibreCat-ID: 21595
Stockmann, L., Laux, S., & Bodden, E. (2021). Using Architectural Runtime Verification for Offline Data Analysis. Journal of Automotive Software Engineering. https://doi.org/10.2991/jase.d.210205.001
LibreCat | DOI | Download (ext.)
 
[3]
2019 | Conference Paper | LibreCat-ID: 20525
Stockmann, L., Laux, S., & Bodden, E. (2019). Architectural Runtime Verification. In 2019 IEEE International Conference on Software Architecture Companion (ICSA-C) (pp. 77–84). https://doi.org/10.1109/ICSA-C.2019.00021
LibreCat | DOI | Download (ext.)
 
[2]
2015 | Conference Paper | LibreCat-ID: 20979
Stockmann, L. (2015). Debugging Models in the Context of Automotive Software Development. 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.
LibreCat
 
[1]
2013 | Conference Paper | LibreCat-ID: 20980
Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler, D., … Leuer, M. (2013). Simulationsgestützter Entwurf für Elektrofahrzeuge. In 8. Dortmunder Autotag.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed