Follow
Chris Johannsen
Chris Johannsen
Other namesChristopher Johannsen
Ph.D. Student, Iowa State University
Verified email at iastate.edu - Homepage
Title
Cited by
Cited by
Year
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
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
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
12023
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
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
1
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 …, 0
1
Dynamic set reasoning: Specifying and optimizing monitor encodings
CG Johannsen
Iowa State University, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–7