Sebastian Schlesinger

According to our database, Sebastian Schlesinger authored at least 6 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Formal verification of model refactorings for hybrid control systems.

Sebastian Schlesinger

PhD thesis, 2018

Equivalence Checking for Hybrid Control Systems Modelled in Simulink.

Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner

Proceedings of the 2018 IEEE International Conference on Software Quality, 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

Proceedings of the Software Technologies - 13th International Conference, 2018

Automated Selection of Software Refactorings that Improve Performance.

Nikolai Moesus, Matthias Scholze, Sebastian Schlesinger, Paula Herber

Proceedings of the 13th International Conference on Software Technologies, 2018

2016

Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow.

Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

2015

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

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), 2015