4 Publications

Mark all

[4]
2021 | Journal Article | LibreCat-ID: 21595
@article{Stockmann_Laux_Bodden_2021, title={Using Architectural Runtime Verification for Offline Data Analysis}, DOI={10.2991/jase.d.210205.001}, journal={Journal of Automotive Software Engineering}, author={Stockmann, Lars and Laux, Sven and Bodden, Eric}, year={2021} }
LibreCat | DOI | Download (ext.)
 
[3]
2019 | Conference Paper | LibreCat-ID: 20525
@inproceedings{Stockmann_Laux_Bodden_2019, title={Architectural Runtime Verification}, DOI={10.1109/ICSA-C.2019.00021}, booktitle={2019 IEEE International Conference on Software Architecture Companion (ICSA-C)}, author={Stockmann, Lars and Laux, Sven and Bodden, Eric}, year={2019}, pages={77–84} }
LibreCat | DOI | Download (ext.)
 
[2]
2015 | Conference Paper | LibreCat-ID: 20979
@inproceedings{Stockmann_2015, title={Debugging Models in the Context of Automotive Software Development}, booktitle={Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems}, author={Stockmann, Lars}, editor={Chechik, Marsha and Kolovos, DimitrisEditors}, year={2015} }
LibreCat
 
[1]
2013 | Conference Paper | LibreCat-ID: 20980
@inproceedings{Farshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013, title={Simulationsgestützter Entwurf für Elektrofahrzeuge}, booktitle={8. Dortmunder Autotag}, author={Farshizadeh, Emad and Briese, Hermann and Steinmann, David and Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz, Kay and Heinzemann, Christian and Peter, Klaus and Leuer, Michael}, year={2013} }
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed

4 Publications

Mark all

[4]
2021 | Journal Article | LibreCat-ID: 21595
@article{Stockmann_Laux_Bodden_2021, title={Using Architectural Runtime Verification for Offline Data Analysis}, DOI={10.2991/jase.d.210205.001}, journal={Journal of Automotive Software Engineering}, author={Stockmann, Lars and Laux, Sven and Bodden, Eric}, year={2021} }
LibreCat | DOI | Download (ext.)
 
[3]
2019 | Conference Paper | LibreCat-ID: 20525
@inproceedings{Stockmann_Laux_Bodden_2019, title={Architectural Runtime Verification}, DOI={10.1109/ICSA-C.2019.00021}, booktitle={2019 IEEE International Conference on Software Architecture Companion (ICSA-C)}, author={Stockmann, Lars and Laux, Sven and Bodden, Eric}, year={2019}, pages={77–84} }
LibreCat | DOI | Download (ext.)
 
[2]
2015 | Conference Paper | LibreCat-ID: 20979
@inproceedings{Stockmann_2015, title={Debugging Models in the Context of Automotive Software Development}, booktitle={Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems}, author={Stockmann, Lars}, editor={Chechik, Marsha and Kolovos, DimitrisEditors}, year={2015} }
LibreCat
 
[1]
2013 | Conference Paper | LibreCat-ID: 20980
@inproceedings{Farshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013, title={Simulationsgestützter Entwurf für Elektrofahrzeuge}, booktitle={8. Dortmunder Autotag}, author={Farshizadeh, Emad and Briese, Hermann and Steinmann, David and Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz, Kay and Heinzemann, Christian and Peter, Klaus and Leuer, Michael}, year={2013} }
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed