返回导师列表
CJ
教育经历
- B.S., Computer Engineering, Iowa State University, 2021
代表成果
- Chris Johannsen, Karthik Nukala, Rohit Dureja, Ahmed Irfan, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi, and Kristin Yvonne Rozier. The MoXI Model Exchange Tool Suite. In Arie Gurfinkel and Vijay Ganesh, editors, Computer Aided Verification, pages 203–218, Cham, 2024. Springer Nature Switzerland
- Chris Johannsen, Brian Kempa, Phillip H Jones, Kristin Y Rozier, and Tichakorn Wongpiromsarn. Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints. In International Conference on Formal Methods for Industrial Critical Systems, pages 151–169. Springer, 2023
- Chris Johannsen, Phillip Jones, Brian Kempa, Krisitin Yvonne Rozier, and Pei Zhang. R2U2 Version 3.0: Re-imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software. In International Conference on Computer Aided Verification(CAV), Paris, France, July 17-22, 2023, 2023
数据校验于 9/6/2026数据来源