Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions

von Kallwies, Hannes
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)

Anticipatory Recurrent Monitoring with Uncertainty and Assumptions

von Kallwies, Hannes
Veröffentlicht in RV (22. : 2022 : Tiflis; Online) Runtime verification (2022)

Optimizing Trans-Compilers in Runtime Verification Makes Sense — Sometimes

von Kallwies, Hannes
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (16. : 2022 : Cluj-Napoca) Theoretical aspects of software engineering (2022)

TeSSLa — An Ecosystem for Runtime Verification

von Kallwies, Hannes
Veröffentlicht in RV (22. : 2022 : Tiflis; Online) Runtime verification (2022)