Follow
Christopher Johannsen
Christopher Johannsen
Other namesChris Johannsen
Ph.D. Student, Iowa State University
Verified email at iastate.edu - Homepage
Title
Cited by
Cited by
Year
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 …, 2024
52024
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
52022
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
32023
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
32023
Symbolic Model-Checking Intermediate-Language Tool Suite
C Johannsen, K Nukala, R Dureja, A Irfan, N Shankar, C Tinelli, MY Vardi, ...
Proceedings of 36th International Conference on Computer Aided Verification …, 2024
22024
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
12021
Dynamic set reasoning: Specifying and optimizing monitor encodings
CG Johannsen
Iowa State University, 2024
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–8