Chris Johannsen

Department of Computer Science

Education

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

Data verified 9/6/2026Source

No reviews yet. Be the first to share your experience.