Design and Analysis of a Logless Dynamic Reconfiguration Protocol. - William Schultz; Siyuan Zhou; Ian Dardik; Stavros Tripakis (OPODIS, 2021)

Formal verification of a distributed dynamic reconfiguration protocol. - William Schultz; Ian Dardik; Stavros Tripakis (CPP, 2022)

Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. - William Schultz; Ian Dardik; Stavros Tripakis (FMCAD, 2022)

Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. - William Schultz; Ian Dardik; Stavros Tripakis (CoRR, 2022)

Safe Environmental Envelopes of Discrete Systems. - Rômulo Meira-Góes; Ian Dardik; Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (CAV (1), 2023)

Fortis: A Tool for Analysis and Repair of Robust Software Systems. - Changjian Zhang; Ian Dardik; Rômulo Meira-Góes; David Garlan; Eunsuk Kang (FMCAD, 2023)

Recomposition: A New Technique for Efficient Compositional Verification. - Ian Dardik; April Porter; Eunsuk Kang (FMCAD, 2024)

Constrained LTL Specification Learning from Examples. - Changjian Zhang; Parv Kapoor; Ian Dardik; Leyi Cui; Rômulo Meira-Góes; David Garlan; Eunsuk Kang (ICSE, 2025)