TU Berlin

Software and Embedded Systems EngineeringVeröffentlichungen

SESE-Logo in blau

Inhalt des Dokuments

zur Navigation

Dr.-Ing. Sebastian Schlesinger

Veröffentlichungen

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 zur Originalpublikation

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 zur Originalpublikation

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 zur Originalpublikation

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 zur Originalpublikation

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe