Ian Dardik

13 papers A* 1B 5Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning.
CoRR
Ian Dardik, Eunsuk Kang
2025 A* conf
Constrained LTL Specification Learning from Examples.
ICSE
Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Rômulo Meira-Góes, David Garlan, Eunsuk Kang
2024 J jnl
Constrained LTL Specification Learning from Examples.
CoRR
Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Romulo Meira Goes, David Garlan, Eunsuk Kang
2024 B conf
Recomposition: A New Technique for Efficient Compositional Verification.
FMCAD
Ian Dardik, April Porter, Eunsuk Kang
2024 J jnl
Recomposition: A New Technique for Efficient Compositional Verification.
CoRR
Ian Dardik, April Porter, Eunsuk Kang
2023 B conf
Fortis: A Tool for Analysis and Repair of Robust Software Systems.
FMCAD
Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan, Eunsuk Kang
2023 — conf
Safe Environmental Envelopes of Discrete Systems.
CAV (1)
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2023 J jnl
Safe Environmental Envelopes of Discrete Systems.
CoRR
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2022 B conf
Formal verification of a distributed dynamic reconfiguration protocol.
CPP
William Schultz, Ian Dardik, Stavros Tripakis
2022 B conf
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA
FMCAD
William Schultz, Ian Dardik, Stavros Tripakis
2022 J jnl
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+.
CoRR
William Schultz, Ian Dardik, Stavros Tripakis
2021 B conf
Design and Analysis of a Logless Dynamic Reconfiguration Protocol.
OPODIS
William Schultz, Siyuan Zhou, Ian Dardik, Stavros Tripakis
2021 J jnl
Formal Verification of a Distributed Dynamic Reconfiguration Protocol.
CoRR
William Schultz, Ian Dardik, Stavros Tripakis