Seguir
Chris Johannsen
Chris Johannsen
Otros nombresChristopher Johannsen
Ph.D. Student, Iowa State University
Dirección de correo verificada de iastate.edu - Página principal
Título
Citado por
Citado por
Año
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
42022
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
22023
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
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
2023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–5