Sebastian Stüber

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

Collaborative distances:

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

2026

Formal Software Engineering of Distributed Systems using Focus-Streams and Automata.

Sebastian Stüber

Aachener Informatik-Berichte, Software Engineering 63, Shaker, ISBN: 978-3-8191-0472-5, 2026

Modeling the composition of analysis components and automatic constraint checking for semantic soundness.

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

J. Syst. Softw., 2026

Dynamic Symbolic Execution of Component-and-Connector Models for Semantic Differencing.

Johanna Grahl, Bernhard Rumpe, Max Stachon, Sebastian Stüber

Proceedings of the Modellierung 2026, Bayreuth, Germany, 2026

Automated Conformance Checking Between Process Models and Their Generalized Reference Process Models.

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

Proceedings of the Mining a Scientist's Process, 2026

2025

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures.

Johanna Grahl, Bernhard Rumpe, Max Stachon, Sebastian Stüber

CoRR, August, 2025

Tool-Assisted Conformance Checking to Reference Process Models.

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

CoRR, August, 2025

Semantic Validation for Slingshot Simulator Using MontiArc.

Bahareh Taghavi, Robert Heinrich, Adrian Marin, Bernhard Rumpe, Sebastian Stüber, Sebastian Weber

Softwaretechnik-Trends, February, 2025

Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems, Volume 2.

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe, Sebastian Stüber, Lucas Wollenhaupt

Aachener Informatik-Berichte, Software Engineering 58, Shaker, ISBN: 978-3-8191-0062-8, 2025

Formal software engineering of distributed systems using focus-streams and automata.

Sebastian Stüber

PhD thesis, 2025

Methodical and Formally Verified Model-Driven Architecture Refactoring.

Lars Fischer, Hendrik Kausch, Bernhard Rumpe, Max Stachon, Sebastian Stüber, Lucas Wollenhaupt

J. Object Technol., 2025

Semantic Analysis of Domain Model Evolution in Model-Driven Software Development.

Constantin Buschhaus, Lukas Netz, Bernhard Rumpe, Max Stachon, Sebastian Stüber

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

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