direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Dr.-Ing. Sebastian Schlesinger

Publications

2018

Moesus, N., Scholze, M., Schlesinger, S. and Herber, P. (2018). Automated Selection of Software Refactorings that Improve Performance. 13th International Conference on Software Technologies (ICSOFT'18, to appear). SCITEPRESS.


Schlesinger, S., Herber, P., Göthel, T. and Glesner, S. (2018). Equivalence Checking for Hybrid Control Systems modelled in Simulink. IEEE International Workshop on Model-based Verification and validation (MVV 2018). IEEE, 572–579.



2016

Schlesinger, S., Herber, P., Göthel, T. and Glesner, S. (2016). Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. Cyber Physical Systems. Design, Modeling, and Evaluation. Springer, 71-86.

Link to original publication

Schlesinger, S., Herber, P., Göthel, T. and Glesner, S. (2016). Proving Transformation Correctness of Refactorings for Discrete and Continuous Simulink Models. ICONS 2016, The Eleventh International Conference on Systems, EMBEDDED 2016, International Symposium on Advances in Embedded Systems and Applications. IARIA XPS Press, 45-50.

Link to original publication

2015

Dyck, J., Giese, H., Lambers, L., Schlesinger, S. and Glesner, S. (2015). Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 36-45.

Link to original publication

Schlesinger, S., Herber, P., Göthel, T. and Glesner, S. (2015). Towards the Verification of Refactorings of Hybrid Simulink Models. Proceedings of the Third International Workshop on Verification and Program Transformation (VPT 2015), 69.

Link to original publication

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe