Checking consistency of robot software architectures in ROS T Witte, M Tichy Proceedings of the 1st International Workshop on Robotics Software …, 2018 | 18 | 2018 |
Debugging quadrocopter trajectories in mixed reality B Hoppenstedt, T Witte, J Ruof, K Kammerer, M Tichy, M Reichert, R Pryss Augmented Reality, Virtual Reality, and Computer Graphics: 6th International …, 2019 | 13 | 2019 |
Towards model co-evolution across self-adaptation steps for combined safety and security analysis T Witte, R Groner, A Raschke, M Tichy, I Pekaric, M Felderer Proceedings of the 17th Symposium on Software Engineering for Adaptive and …, 2022 | 6 | 2022 |
Inferred interactive controls through provenance tracking of ros message data T Witte, M Tichy 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering …, 2021 | 6 | 2021 |
A systematic review on security and safety of self-adaptive systems I Pekaric, R Groner, T Witte, JG Adigun, A Raschke, M Felderer, M Tichy Journal of Systems and Software, 111716, 2023 | 4 | 2023 |
A Hybrid Editor for Fast Robot Mission Prototyping T Witte, M Tichy 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 4 | 2019 |
Model-based generation of attack-fault trees R Groner, T Witte, A Raschke, S Hirn, I Pekaric, M Frick, M Tichy, ... International Conference on Computer Safety, Reliability, and Security, 107-120, 2023 | 2 | 2023 |
Institute of Software Engineering and Programming Languages Institute M Tichy, T Frühwirth, T Thüm, S Winter, K Deißler, L Lewis, S Hutter Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR)(To …, 2024 | | 2024 |
Streamlining Attack Tree Generation: A Fragment-Based Approach I Pekaric, M Frick, JG Adigun, R Groner, T Witte, A Raschke, M Felderer, ... arXiv preprint arXiv:2310.00654, 2023 | | 2023 |
Mapping aids using source location tracking increase novices' performance in programming cyber-physical systems T Witte, A Vogt, T Seufert, M Tichy arXiv preprint arXiv:2208.14679, 2022 | | 2022 |
The CoreASM Project FM Counting, PM Bittner, S Böhm, R Groner, T Heß, D Neumüller, ... | | |
RoSE 2018 T Witte, M Tichy, G Bardaro, A Semprebon, A Vallecillo, D Sykes, ... | | |