Checking consistency of robot software architectures in ROS T Witte, M Tichy Proceedings of the 1st International Workshop on Robotics Software …, 2018 | 22 | 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 | 16 | 2019 |
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 203, 111716, 2023 | 12 | 2023 |
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 | 10 | 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 hybrid editor for fast robot mission prototyping T Witte, M Tichy 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 6 | 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 | 4 | 2023 |
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 | 1 | 2023 |
Institute of Software Engineering and Programming Languages Institute FM Counting, M Tichy, T Frühwirth, T Thüm, S Winter, K Deißler, L Lewis, ... Software and Systems Modeling, 2025 | | 2025 |
What you change is what you get: using provenance tracking at run-time in component-based robotic applications T Witte Universität Ulm, 2024 | | 2024 |
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, ... | | |