Sebastian Stüber

19 papers C 1Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2026 — conf
Dynamic Symbolic Execution of Component-and-Connector Models for Semantic Differencing.
Modellierung
Johanna Grahl, Bernhard Rumpe, Max Stachon, Sebastian Stüber
2026 — book
Formal Software Engineering of Distributed Systems using Focus-Streams and Automata.
Sebastian Stüber
2026 J jnl
Modeling the composition of analysis components and automatic constraint checking for semantic soundness.
J. Syst. Softw.
Bahareh Taghavi, Sebastian Weber, Adrian Marin, Bernhard Rumpe, Sebastian Stüber, Jörg Henß, Thomas Weber, Robert Heinrich
2025 J jnl
Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures.
CoRR
Johanna Grahl, Bernhard Rumpe, Max Stachon, Sebastian Stüber
2025 J jnl
Methodical and Formally Verified Model-Driven Architecture Refactoring.
J. Object Technol.
Lars Fischer, Hendrik Kausch, Bernhard Rumpe, Max Stachon, Sebastian Stüber, Lucas Wollenhaupt
2025 — conf
Semantic Analysis of Domain Model Evolution in Model-Driven Software Development.
MODELS-C
Constantin Buschhaus, Lukas Netz, Bernhard Rumpe, Max Stachon, Sebastian Stüber
2025 J jnl
Semantic Validation for Slingshot Simulator Using MontiArc.
Softwaretechnik-Trends
Bahareh Taghavi, Robert Heinrich, Adrian Marin, Bernhard Rumpe, Sebastian Stüber, Sebastian Weber
2025 J jnl
Tool-Assisted Conformance Checking to Reference Process Models.
CoRR
Bernhard Rumpe, Max Stachon, Sebastian Stüber, Valdes Voufo
2025 — book
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
2024 J jnl
Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework.
Sci. Comput. Program.
Constantin Buschhaus, Arkadii Gerasimov, Jörg Christian Kirchhof, Judith Michael, Lukas Netz, Bernhard Rumpe, Sebastian Stüber
2024 — conf
Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCL.
MoDELS (Companion)
Bernhard Rumpe, Max Stachon, Sebastian Stüber, Valdes Voufo
2024 — conf
Semantics Enhancing Model Transformation for Automated Constraint Validation of Palladio Software Architecture to MontiArc Models.
ECSA (Tracks and Workshops)
Sebastian Weber, Jörg Henß, Bahareh Taghavi, Thomas Weber, Sebastian Stüber, Adrian Marin, Bernhard Rumpe, Robert Heinrich
2024 J jnl
Towards a Semantically Useful Definition of Conformance with a Reference Model.
J. Object Technol.
Marco Konersmann, Bernhard Rumpe, Max Stachon, Sebastian Stüber, Valdes Voufo
2023 J jnl
CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration.
J. Object Technol.
Achim Lindt, Bernhard Rumpe, Max Stachon, Sebastian Stüber
2022 — conf
Generating Digital Twin Cockpits for Parameter Management in the Engineering of Wind Turbines.
Modellierung
Judith Michael, Imke Nachmann, Lukas Netz, Bernhard Rumpe, Sebastian Stüber
2022 — conf
Open-World Loose Semantics of Class Diagrams as Basis for Semantic Differences.
Modellierung
Imke Nachmann, Bernhard Rumpe, Max Stachon, Sebastian Stüber
2020 — book
Towards an Isabelle Theory for distributed, interactive systems: The untimed case.
Towards an Isabelle Theory for distributed, interactive systems
Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe, Sebastian Stüber, Marc Wiartalla
2019 C conf
Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy's Streams Become Feasible?
Software Engineering (Workshops)
Stefan Kriebel, Deni Raco, Bernhard Rumpe, Sebastian Stüber
2019 — conf
On the Engineering of AI-Powered Systems.
ASE Workshops
Evgeny Kusmenko, Svetlana Pavlitskaya, Bernhard Rumpe, Sebastian Stüber