Severin Kacianka
Severin Kacianka
Verified email at in.tum.de - Homepage
Title
Cited by
Cited by
Year
Security for the robot operating system
B Dieber, B Breiling, S Taurer, S Kacianka, S Rass, P Schartner
Robotics and Autonomous Systems 98, 192-203, 2017
392017
Application-level security for ROS-based applications
B Dieber, S Kacianka, S Rass, P Schartner
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2016
342016
Adaptive video streaming for UAV networks
S Kacianka, H Hellwagner
Proceedings of 7th ACM International Workshop on Mobile Video (MoVid '15), 25-30, 2015
102015
Arguing on software-level verification techniques appropriateness
C Cârlan, B Gallina, S Kacianka, R Breu
International Conference on Computer Safety, Reliability, and Security, 39-54, 2017
72017
Understanding and formalizing accountability for cyber-physical systems
S Kacianka, A Pretschner
2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2018
42018
How Accountability is Implemented and Understood in Research Tools
S Kacianka, K Beckers, F Kelbert, P Kumari
International Conference on Product-Focused Software Process Improvement …, 2017
32017
Towards a unified model of accountability infrastructures
S Kacianka, F Kelbert, A Pretschner
arXiv preprint arXiv:1608.07882, 2016
32016
Extending Causal Models from Machines into Humans
S Kacianka, A Ibrahim, A Pretschner, A Trende, A Lüdtke
arXiv preprint arXiv:1911.04869, 2019
12019
A real-time remote IDS testbed for connected vehicles
V Zieglmeier, S Kacianka, T Hutzelmann, A Pretschner
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1898-1905, 2019
12019
Practical Causal Models for Cyber-Physical Systems
A Ibrahim, S Kacianka, A Pretschner, C Hartsell, G Karsai
NASA Formal Methods Symposium, 211-227, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–10