Dipl.-Ing. Severin Kacianka

Postal Address

  • Severin Kacianka
  • Chair I4
  • Boltzmannstr. 3
  • 85748 Garching bei München
  • Germany

About me

Since July 2015 I am a PhD student at the Chair of Software Engineering headed by Professor Pretschner. My work focuses on Accountability for Cyber-Physical Systems (CPS). CPS are software controlled systems that (physically) interact with their environment and ultimately also humans. An accountability mechanism helps us to understand why such a CPS caused an unwanted event or (re-)acted in a "wrong" way.

Before joining the chair I studied at the Alpen-Adria-University Klagenfurt in Austria where I received my Master's degree with distinction. In my master's thesis I worked on video streaming for Unmanned Aerial Vehicle (UAV) networks.

Research Interests

  • Accountability
  • Causality
  • Cyber-Physical Systems
  • Machine Learning
  • Security
  • Social Engineering

Thesis Topics

Open Topics

If you want to write a thesis in one of my areas of research, please just send me an e-mail!

Ongoing Topics
Completed Topics
  • Severin Schmid: "Accountability for Industrial Manufacturing Robots" (Bachelor Thesis)
  • Andreas Zimmerer: "Accountability for an Autonomous Car Prototype" (Bachelor Thesis)
  • Valentin Zieglmeier: "Real-Time Remote Intrusion Detection" (Master Thesis)
  • Lukas Welte: "Accountability Infrastructure for Unmanned Aerial Vehicles" (Master Thesis)
  • Christoph Caprano: "Accountability for Cloud Controlled Robots" (Bachelor Thesis)
  • Christina Miller: "Causal Models for Cyber Physical Systems" (Research Praktikum)
  • Christian Wörle: "Accountability for a Smart Parking Lot" (Guided Research)


  • A. Ibrahim, S. Kacianka, A. Pretschner, C. Hartsell, and G. Karsai. Practical causal models for cyber-physical systems. In 11th Annual NASA Formal Methods Symposium, 2019. Accepted for publication.
  • S. Kacianka, A. Ibrahim, A. Pretschner, A. Trende, and A. Lüdtke. Extending causal models from machines into humans. In 4th Workshop on Formal Reasoning about Causation, Respon- sibility, & Explanations in Science & Technology, 2019. Accepted for publication.
  • V. Zieglmeier, S. Kacianka, T. Hutzelmann and A. Pretschner (in-press) A Real-Time Remote IDS Testbed for Connected Vehicles In: 34th ACM Symposium on Applied Computing, Limassol, Cyprus https://arxiv.org/abs/1811.10945
  • S. Kacianka and A. Pretschner (2018) Understanding and Formalizing Accountability for Cyber-Physical Systems In: 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC), Myiazaki, Japan https://arxiv.org/abs/1810.09704
  • S. Kacianka, K. Beckers, F. Kelbert, P. Kumari (2017) How Accountability is Implemented and Understood in Research Tools. In: Felderer M., Méndez Fernández D., Turhan B., Kalinowski M., Sarro F., Winkler D. (eds) Product-Focused Software Process Improvement. PROFES 2017. Lecture Notes in Computer Science, vol 10611. Springer, Cham https://doi.org/10.1007/978-3-319-69926-4_15
  • B. Dieber, B. Breiling, S. Taurer, S. Kacianka, S. Rass, P. Schartner, Security for the Robot Operating System, Robotics and Autonomous Systems(2017), https://doi.org/10.1016/j.robot.2017.09.017
  • C. Cârlan, B. Gallina, S. Kacianka, and R. Breu, "Arguing on Software-Level Verification Techniques Appropriateness," International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Trento, Italy, 2017, pp. 39-54. doi: 10.1007/978-3-319-66266-4_3
  • B. Dieber, S. Kacianka, S. Rass and P. Schartner, "Application-level security for ROS-based applications," 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Daejeon, South Korea, 2016, pp. 4477-4482. doi: 10.1109/IROS.2016.7759659
  • S. Kacianka, F. Kelbert, and A. Pretschner, (2016). "Towards a unified model of accountability infrastructures." In Gössler, G. and Sokolsky, O., editors, Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, Eindhoven, The Netherlands, 8th April 2016, volume 224 of Electronic Proceedings in Theoretical Computer Science, pages 40–54. Open Publishing Association. doi:http://dx.doi.org/10.4204/EPTCS.224.5
  • S. Kacianka and H. Hellwagner, (2015) "Adaptive Video Streaming for UAV Networks." In Proceedings of the 7th ACM International Workshop on Mobile Video (MoVid '15). ACM, New York, NY, USA, 25-30. DOI=http://dx.doi.org/10.1145/2727040.2727043