Stefan Oswald

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 2

Top Topics

Functional Requirements

Specification Language

Delay Insensitive

Top Venues

Publications

Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger
Verified Rust Monitors for Lola Specifications. CoRR (2020)
Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger
Verified Rust Monitors for Lola Specifications. RV (2020)