Ian Dardik

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 8

Top Topics

Software Systems

Dynamic Reconfiguration

Coloured Petri Nets

Top Venues

Publications

Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan, Eunsuk Kang
Fortis: A Tool for Analysis and Repair of Robust Software Systems. FMCAD (2023)
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
Safe Environmental Envelopes of Discrete Systems. CAV (1) (2023)
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
Safe Environmental Envelopes of Discrete Systems. CoRR (2023)
William Schultz, Ian Dardik, Stavros Tripakis
Formal verification of a distributed dynamic reconfiguration protocol. CPP (2022)
William Schultz, Ian Dardik, Stavros Tripakis
. FMCAD (2022)
William Schultz, Ian Dardik, Stavros Tripakis
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. CoRR (2022)
William Schultz, Siyuan Zhou, Ian Dardik, Stavros Tripakis
Design and Analysis of a Logless Dynamic Reconfiguration Protocol. OPODIS (2021)
William Schultz, Ian Dardik, Stavros Tripakis
Formal Verification of a Distributed Dynamic Reconfiguration Protocol. CoRR (2021)