Sebastian Stüber, M.Sc. RWTH Software Engineering Department of Computer Science 3 RWTH Aachen University Ahornstraße 55 52074 Aachen, Germany Raum 4221, Erweiterungsbau 1 Phone +49 (241) 80-21352 stueberse-rwth.de

Publications

• [KRRS19] S. Kriebel, D. Raco, B. Rumpe, and S. Stüber. Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy’s Streams Become Feasible?, In: Proceedings of the Workshops of the Software Engineering Conference. Workshop on Avionics Systems and Software Engineering (AvioSE'19), CEUR Workshop Proceedings 2308, pages 87-94, February, 2019, CEUR-WS.org.