Articles with public access mandates - Sebastian SchirmerLearn more
Available somewhere: 6
A stream-based specification language for network monitoring
P Faymonville, B Finkbeiner, S Schirmer, H Torfah
International Conference on Runtime Verification, 152-168, 2016
Mandates: German Research Foundation
Stream runtime monitoring on UAS
FM Adolf, P Faymonville, B Finkbeiner, S Schirmer, C Torens
International Conference on Runtime Verification, 33-49, 2017
Mandates: German Research Foundation, European Commission
RTLola cleared for take-off: monitoring autonomous aircraft
J Baumeister, B Finkbeiner, S Schirmer, M Schwenger, C Torens
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
Mandates: German Research Foundation, European Commission
Monitoring with verified guarantees
JC Dauer, B Finkbeiner, S Schirmer
International Conference on Runtime Verification, 62-80, 2021
Mandates: German Research Foundation, European Commission
A hierarchy of monitoring properties for autonomous systems
S Schirmer, C Torens, JC Dauer, J Baumeister, B Finkbeiner, KY Rozier
AIAA SCITECH 2023 Forum, 2588, 2023
Mandates: US National Science Foundation, US National Aeronautics and Space Administration
Monitoring with verified guarantees
J Baumeister, JC Dauer, B Finkbeiner, S Schirmer
International Journal on Software Tools for Technology Transfer 25 (4), 593-616, 2023
Mandates: German Research Foundation, European Commission
Publication and funding information is determined automatically by a computer program