Sebastian Stüber

According to our database, Sebastian Stüber authored at least 10 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

Towards a Semantically Useful Definition of Conformance with a Reference Model.

Marco Konersmann, Bernhard Rumpe, Max Stachon, Sebastian Stüber, Valdes Voufo

J. Object Technol., 2024

Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCL.

Bernhard Rumpe, Max Stachon, Sebastian Stüber, Valdes Voufo

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Semantics Enhancing Model Transformation for Automated Constraint Validation of Palladio Software Architecture to MontiArc Models.

Sebastian Weber, Jörg Henß, Bahareh Taghavi, Thomas Weber, Sebastian Stüber, Adrian Marin, Bernhard Rumpe, Robert Heinrich

Proceedings of the Software Architecture. ECSA 2024 Tracks and Workshops, 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