Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. - Johannes Dyck; Holger Giese; Leen Lambers; Sebastian Schlesinger; Sabine Glesner (AMT@MoDELS, 2015)

Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. - Sebastian Schlesinger; Paula Herber; Thomas Göthel; Sabine Glesner (CyPhy, 2016)

Automated Selection of Software Refactorings that Improve Performance. - Nikolai Moesus; Matthias Scholze; Sebastian Schlesinger; Paula Herber (ICSOFT, 2018)

A Rating Tool for the Automated Selection of Software Refactorings that Remove Antipatterns to Improve Performance and Stability. - Nikolai Moesus; Matthias Scholze; Sebastian Schlesinger; Paula Herber (ICSOFT (Selected Papers), 2018)

Equivalence Checking for Hybrid Control Systems Modelled in Simulink. - Sebastian Schlesinger; Paula Herber; Thomas Göthel; Sabine Glesner (QRS Companion, 2018)

Formal verification of model refactorings for hybrid control systems. - Sebastian Schlesinger (2018)