Sebastian Stüber

According to our database, Sebastian Stüber authored at least 7 papers between 2019 and 2024.

Collaborative distances:

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

2024

Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework.

Constantin Buschhaus, Arkadii Gerasimov, Jörg Christian Kirchhof, Judith Michael, Lukas Netz, Bernhard Rumpe, Sebastian Stüber

Sci. Comput. Program., January, 2024

2023

CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration.

Achim Lindt, Bernhard Rumpe, Max Stachon, Sebastian Stüber

J. Object Technol., 2023

2022

Open-World Loose Semantics of Class Diagrams as Basis for Semantic Differences.

Imke Nachmann, Bernhard Rumpe, Max Stachon, Sebastian Stüber

Proceedings of the Modellierung 2022, 27. Juni - 01. Juli 2022, Hamburg, Deutschland., 2022

Generating Digital Twin Cockpits for Parameter Management in the Engineering of Wind Turbines.

Judith Michael, Imke Nachmann, Lukas Netz, Bernhard Rumpe, Sebastian Stüber

Proceedings of the Modellierung 2022, 27. Juni - 01. Juli 2022, Hamburg, Deutschland., 2022

2020

Towards an Isabelle Theory for distributed, interactive systems: The untimed case.

Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe, Sebastian Stüber, Marc Wiartalla

Aachener Informatik-Berichte, Software Engineering 45, Shaker, ISBN: 978-3-8440-7265-5, 2020

2019

Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy's Streams Become Feasible?

Stefan Kriebel, Deni Raco, Bernhard Rumpe, Sebastian Stüber

Proceedings of the Workshops of the Software Engineering Conference 2019, 2019

On the Engineering of AI-Powered Systems.

Evgeny Kusmenko, Svetlana Pavlitskaya, Bernhard Rumpe, Sebastian Stüber

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019