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

• [ALH+20] T. Auer, L. Lauss, K. M. Heissler, J. Maderspacher, D. Reiß, J. Mehnert, B. Rumpe, S. Stüber, M. Hannen, S. Plesser, C. Pinkernell, A. Kröker, and R. Gentemann. Big Data in der Gebäudeautomation Schlussbericht, Technical report Bundesministerium für Wirtschaft und Energie, Munich, June, 2020.
  
• [BKR+20] J. C. Bürger, H. Kausch, D. Raco, J. O. Ringert, B. Rumpe, S. Stüber, and M. Wiartalla. Towards an Isabelle Theory for distributed, interactive systems - the untimed case, Technical report AIB-2020-02, RWTH Aachen University, March, 2020.
  
• [KPRS19] E. Kusmenko, S. Pavlitskaya, B. Rumpe, and S. Stüber. On the Engineering of AI-Powered Systems, In: Lisa O’Conner, editor, ASE’19. Software Engineering Intelligence Workshop (SEI’19), pages 126-133, November, 2019, IEEE.
  
• [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: Stephan Krusche, Kurt Schneider, Marco Kuhrmann, Robert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders, Steffen Helke, Ina Schaefer, Andreas Vogelsang, Björn Annighöfer, Andreas Schweiger, Marina Reich, André van Hoorn, editors, 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 Workshop Proceedings.
  
• [LHA+20] L. Lauss, M. Heissler, T. Auer, J. Mehnert, D. Reiß, and S. Stüber. Forschungsprojekt "Big Data für EnBop", Chapter in , Fraunhofer IRB Verlag, Stuttgart, pages 143-150, July, 2020.