Chris Johannsen

Chris Johannsen

Position
  • PhD Student
Christopher Johannsen is a Computer Science PhD student at Iowa State University working in the Laboratory for Temporal Logic under Kristin Yvonne Rozier. His research interests primarily focus on formal methods, particularly runtime verification of real-time embedded systems and model checking. He has experience as a formal verification intern at Fondazione Bruno Kessler, Siemens EDA (formerly Mentor Graphics) and the SRI International Computer Science Laboratory.

Contact

Area of Expertise

  • Formal Methods
  • Runtime Verification
  • Model Checking

Education

  • B.S., Computer Engineering, Iowa State University, 2021

Publications

  1. 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
  2. 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
  3. 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