Ian Dardik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Constrained LTL Specification Learning from Examples. | Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Rmulo Meira-Ges, David Garlan, Eunsuk Kang |
| 2024 | FMCAD | Recomposition: A New Technique for Efficient Compositional Verification. | Ian Dardik, April Porter, Eunsuk Kang |
| 2023 | CAV | Safe Environmental Envelopes of Discrete Systems. | Rmulo Meira-Ges, Ian Dardik, Eunsuk Kang, Stphane Lafortune, Stavros Tripakis |
| 2023 | FMCAD | Fortis: A Tool for Analysis and Repair of Robust Software Systems. | Changjian Zhang, Ian Dardik, Rmulo Meira-Ges, David Garlan, Eunsuk Kang |
| 2022 | CPP | Formal verification of a distributed dynamic reconfiguration protocol. | William Schultz, Ian Dardik, Stavros Tripakis |
| 2022 | FMCAD | Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA | William Schultz, Ian Dardik, Stavros Tripakis |
| 2021 | OPODIS | Design and Analysis of a Logless Dynamic Reconfiguration Protocol. | William Schultz, Siyuan Zhou, Ian Dardik, Stavros Tripakis |