Christopher Johannsen
Christopher Johannsen
Other namesChris Johannsen
Ph.D. Student, Iowa State University
Verified email at - Homepage
Cited by
Cited by
Improving usability and trust in real-time verification of a large-scale complex safety-critical system
B Kempa, C Johannsen, KY Rozier
Ada user journal 43 (3), 2022
R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software
C Johannsen, P Jones, B Kempa, KY Rozier, P Zhang
International Conference on Computer Aided Verification, 483-497, 2023
Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints
C Johannsen, B Kempa, PH Jones, KY Rozier, T Wongpiromsarn
International Conference on Formal Methods for Industrial Critical Systems …, 2023
OpenUAS Version 1.0
C Johannsen, M Anderson, W Burken, E Diersen, J Edgren, C Glick, ...
2021 International Conference on Unmanned Aircraft Systems (ICUAS), 1449-1458, 2021
MoXI: An Intermediate Language for Symbolic Model Checking
KY Rozier, R Dureja, A Irfan, C Johannsen, K Nukala, N Shankar, ...
Proceedings of the 30th International Symposium on Model Checking Software …, 0
Dynamic set reasoning: Specifying and optimizing monitor encodings
CG Johannsen
Iowa State University, 2024
The MoXI Model Exchange Tool Suite
C Johannsen, K Nukala, R Dureja, A Irfan, N Shankar, C Tinelli, MY Vardi, ...
The system can't perform the operation now. Try again later.
Articles 1–7