Sebastian Schlesinger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2015–2018
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ICSoft | Automated Selection of Software Refactorings that Improve Performance. | Nikolai Moesus, Matthias Scholze, Sebastian Schlesinger, Paula Herber |
| 2018 | ICSoft | 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 |
| 2018 | QRS | Equivalence Checking for Hybrid Control Systems Modelled in Simulink. | Sebastian Schlesinger, Paula Herber, Thomas Gthel, Sabine Glesner |
| 2015 | MODELS | 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 |