Publications

  1. Symbolic Model-Checking Intermediate-Language Tool Suite (Accepted)

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

    International Conference on Computer Aided Verification (CAV), 2024

    PDF
  2. MoXI: An Intermediate Language for Symbolic Model Checking

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

    30th International Symposium on Model Checking Software (SPIN), 2024

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

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

    International Conference on Formal Methods for Industrial Critical Systems (FMICS), 2023

  4. 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, Brian Kempa, Phillip Jones, Kristin Yvonne Rozier, Pei Zhang

    International Conference on Computer Aided Verification (CAV), 2023

  5. Improving Usability and Trust in Real-Time Verification of a Large-Scale Complex Safety-Critical System

    Brian Kempa, Chris Johannsen, Kristin Yvonne Rozier

    Ada User Journal, Volume 43, Issue 3

  6. OpenUAS Version 1.0

    Chris Johannsen, Marcella Anderson, William Burken, Ellie Diersen, John Edgren, Colton Glick, Stephanie Jou, Adhyaksh Kumar, John Levandowski, Evelyn Moyer, Taylor Roquet, Alexander VandeLoo, Kristin Yvonne Rozier

    2021 International Conference on Unmanned Aircraft Systems (ICUAS)

Theses

  1. Dynamic Set Reasoning: Specifying and Optimizing Monitor Encodings

    Chris Johannsen

    Masters Thesis, Iowa State University, 2024

    PDF