Follow
Stefan Oswald
Stefan Oswald
CISPA Helmholtz Center for Information Security
Verified email at cispa.saarland - Homepage
Title
Cited by
Cited by
Year
Verified rust monitors for lola specifications
B Finkbeiner, S Oswald, N Passing, M Schwenger
International Conference on Runtime Verification, 431-450, 2020
202020
Verifiable Runtime Monitor Generation for Lola Specifications
S Oswald
SAARLAND UNIVERSITY, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–2