5 Publications

Mark all

[5]
2021 | Journal Article | LibreCat-ID: 21595
Stockmann, Lars, Sven Laux, and Eric Bodden. “Using Architectural Runtime Verification for Offline Data Analysis.” Journal of Automotive Software Engineering, 2021. https://doi.org/10.2991/jase.d.210205.001.
LibreCat | DOI | Download (ext.)
 
[4]
2019 | Conference Paper | LibreCat-ID: 20525
Stockmann, Lars, Sven Laux, and Eric Bodden. “Architectural Runtime Verification.” In 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), 77–84, 2019. https://doi.org/10.1109/ICSA-C.2019.00021.
LibreCat | DOI | Download (ext.)
 
[3]
2015 | Conference Paper | LibreCat-ID: 20979
Stockmann, Lars. “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, edited by Marsha Chechik and Dimitris Kolovos, 2015.
LibreCat
 
[2]
2013 | Conference Paper | LibreCat-ID: 25277
Farshizadeh, Emad, Herrmann Briese, David Steinmann, Lars Stockmann, Steffen Beringer, Dominik Holler, Kay Klobedanz, Christian Heinzemann, Klaus Peter, and Michael Leuer. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” In 8. Dortmunder Autotag, Sep. 2013, 2013.
LibreCat
 
[1]
2013 | Conference Paper | LibreCat-ID: 20980
Farshizadeh, Emad, Hermann Briese, David Steinmann, Lars Stockmann, Steffen Beringer, Dominik Holler, Kay Klobedanz, Christian Heinzemann, Klaus Peter, and Michael Leuer. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” In 8. Dortmunder Autotag, 2013.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed

5 Publications

Mark all

[5]
2021 | Journal Article | LibreCat-ID: 21595
Stockmann, Lars, Sven Laux, and Eric Bodden. “Using Architectural Runtime Verification for Offline Data Analysis.” Journal of Automotive Software Engineering, 2021. https://doi.org/10.2991/jase.d.210205.001.
LibreCat | DOI | Download (ext.)
 
[4]
2019 | Conference Paper | LibreCat-ID: 20525
Stockmann, Lars, Sven Laux, and Eric Bodden. “Architectural Runtime Verification.” In 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), 77–84, 2019. https://doi.org/10.1109/ICSA-C.2019.00021.
LibreCat | DOI | Download (ext.)
 
[3]
2015 | Conference Paper | LibreCat-ID: 20979
Stockmann, Lars. “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, edited by Marsha Chechik and Dimitris Kolovos, 2015.
LibreCat
 
[2]
2013 | Conference Paper | LibreCat-ID: 25277
Farshizadeh, Emad, Herrmann Briese, David Steinmann, Lars Stockmann, Steffen Beringer, Dominik Holler, Kay Klobedanz, Christian Heinzemann, Klaus Peter, and Michael Leuer. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” In 8. Dortmunder Autotag, Sep. 2013, 2013.
LibreCat
 
[1]
2013 | Conference Paper | LibreCat-ID: 20980
Farshizadeh, Emad, Hermann Briese, David Steinmann, Lars Stockmann, Steffen Beringer, Dominik Holler, Kay Klobedanz, Christian Heinzemann, Klaus Peter, and Michael Leuer. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” In 8. Dortmunder Autotag, 2013.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed