Ian Dardik

According to our database, Ian Dardik authored at least 7 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Recomposition: A New Technique for Efficient Compositional Verification.

Ian Dardik, April Porter, Eunsuk Kang

CoRR, 2024

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

Proceedings of the Formal Methods in Computer-Aided Design, 2023

Safe Environmental Envelopes of Discrete Systems.

Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+.

William Schultz, Ian Dardik, Stavros Tripakis

CoRR, 2022

Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA⁺.

William Schultz, Ian Dardik, Stavros Tripakis

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Formal verification of a distributed dynamic reconfiguration protocol.

William Schultz, Ian Dardik, Stavros Tripakis

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

Design and Analysis of a Logless Dynamic Reconfiguration Protocol.

William Schultz, Siyuan Zhou, Ian Dardik, Stavros Tripakis

Proceedings of the 25th International Conference on Principles of Distributed Systems, 2021