Follow
Marco Stadler
Marco Stadler
LIT Secure and Correct Systems Lab, Johannes Kepler University Linz
Verified email at jku.at - Homepage
Title
Cited by
Cited by
Year
AMon: A domain-specific language and framework for adaptive monitoring of Cyber–Physical Systems
M Vierhauser, R Wohlrab, M Stadler, J Cleland-Huang
Journal of Systems and Software 195, 111507, 2023
62023
Flexible Model-Driven Runtime Monitoring Support for Cyber-Physical Systems
M Stadler, M Vierhauser, A Garmendia, M Wimmer, J Cleland-Huang
Proceedings of the ACM/IEEE 44th International Conference on Software …, 2022
32022
Towards flexible Runtime Monitoring Support for ROS-based Applications
M Stadler, M Vierhauser, J Cleland-Huang
2022 IEEE/ACM 4th International Workshop on Robotics Software Engineering …, 2022
32022
GRuM—A flexible model-driven runtime monitoring framework and its application to automated aerial and ground vehicles
M Vierhauser, A Garmendia, M Stadler, M Wimmer, J Cleland-Huang
Journal of Systems and Software 203, 111733, 2023
22023
ROMoSu: Flexible Runtime Monitoring Support for ROS-based Applications
M Stadler, M Vierhauser
2023 IEEE/ACM 5th International Workshop on Robotics Software Engineering …, 2023
12023
Towards Increasing Safety in Collaborative CPS Environments
M Stadler, M Riegler, J Sametinger
International Conference on Database and Expert Systems Applications, 79-85, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–6