5 Publications

Mark all

[5]
2021 | Journal Article | LibreCat-ID: 21595
L. Stockmann, S. Laux, and E. Bodden, “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.)
 
[4]
2019 | Conference Paper | LibreCat-ID: 20525
L. Stockmann, S. Laux, and E. Bodden, “Architectural Runtime Verification,” in 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.)
 
[3]
2015 | Conference Paper | LibreCat-ID: 20979
L. Stockmann, “Debugging Models in the Context of Automotive Software Development,” in Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015.
LibreCat
 
[2]
2013 | Conference Paper | LibreCat-ID: 25277
E. Farshizadeh et al., “Simulationsgestützter Entwurf für Elektrofahrzeuge,” 2013.
LibreCat
 
[1]
2013 | Conference Paper | LibreCat-ID: 20980
E. Farshizadeh et al., “Simulationsgestützter Entwurf für Elektrofahrzeuge,” 2013.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

5 Publications

Mark all

[5]
2021 | Journal Article | LibreCat-ID: 21595
L. Stockmann, S. Laux, and E. Bodden, “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.)
 
[4]
2019 | Conference Paper | LibreCat-ID: 20525
L. Stockmann, S. Laux, and E. Bodden, “Architectural Runtime Verification,” in 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.)
 
[3]
2015 | Conference Paper | LibreCat-ID: 20979
L. Stockmann, “Debugging Models in the Context of Automotive Software Development,” in Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015.
LibreCat
 
[2]
2013 | Conference Paper | LibreCat-ID: 25277
E. Farshizadeh et al., “Simulationsgestützter Entwurf für Elektrofahrzeuge,” 2013.
LibreCat
 
[1]
2013 | Conference Paper | LibreCat-ID: 20980
E. Farshizadeh et al., “Simulationsgestützter Entwurf für Elektrofahrzeuge,” 2013.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed