Lars Stockmann

Secure Software Engineering / Heinz Nixdorf Institut

Member - Research Student

External PhD candidate

Office Address:
Fürstenallee 11
33102 Paderborn
Room:
F1.116

Publications

Latest Publications

Using Architectural Runtime Verification for Offline Data Analysis
L. Stockmann, S. Laux, E. Bodden, Journal of Automotive Software Engineering (2021).
Architectural Runtime Verification
L. Stockmann, S. Laux, E. Bodden, in: 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), 2019, pp. 77–84.
Debugging Models in the Context of Automotive Software Development
L. Stockmann, 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, 2015.
Simulationsgestützter Entwurf für Elektrofahrzeuge
E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler, K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, Sep. 2013, 2013.
Simulationsgestützter Entwurf für Elektrofahrzeuge
E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler, K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, 2013.
Show all publications