We stand with Ukraine  

Christopher Johannsen

Affiliations:
  • Iowa State University, Ames, Iowa, USA


According to our database1, Christopher Johannsen authored at least 5 papers between 2023 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Infinite-State Liveness Checking with rlive.
[BibTeX]
[DOI]
Alessandro Cimatti
,
Alberto Griggio
,
Christopher Johannsen
,
Kristin Yvonne Rozier
,
Stefano Tonetta
Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024
MoXI: An Intermediate Language for Symbolic Model Checking.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Chris Johannsen
,
Phillip H. Jones
,
Brian Kempa
,
Kristin Yvonne Rozier
,
Pei Zhang
Proceedings of the Computer Aided Verification - 35th International Conference, 2023


  Loading...