Sebastian Schlesinger

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 4

Top Topics

Linear Transformations

Behavioral Model

Automated Tools

Top Venues

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner
Equivalence Checking for Hybrid Control Systems Modelled in Simulink. QRS Companion (2018)
Nikolai Moesus, Matthias Scholze, Sebastian Schlesinger, Paula Herber
Automated Selection of Software Refactorings that Improve Performance. ICSOFT (2018)
Nikolai Moesus, Matthias Scholze, Sebastian Schlesinger, Paula Herber
A Rating Tool for the Automated Selection of Software Refactorings that Remove Antipatterns to Improve Performance and Stability. ICSOFT (Selected Papers) (2018)
Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner
Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. CyPhy (2016)
Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner
Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. AMT@MoDELS (2015)