Chris Johannsen

According to our database, Chris Johannsen authored at least 4 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

MoXI: An Intermediate Language for Symbolic Model Checking.

Kristin Yvonne Rozier, Rohit Dureja, Ahmed Irfan, Chris Johannsen, Karthik Nukala, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi

Proceedings of the Model Checking Software - 30th International Symposium, 2024

The MoXI Model Exchange Tool Suite.

Chris Johannsen, Karthik Nukala, Rohit Dureja, Ahmed Irfan, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi, Kristin Yvonne Rozier

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints.

Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software.

Chris Johannsen, Phillip H. Jones, Brian Kempa, Kristin Yvonne Rozier, Pei Zhang

Proceedings of the Computer Aided Verification - 35th International Conference, 2023