Brief Announcement: On the Significance of Consecutive Ballots in Paxos. - Eli Goldweber; Nuda Zhang; Manos Kapritsos (PODC, 2020)

Teammate-pattern-aware autonomy based on organizational self-design principles. - Edmund H. Durfee; Abhishek Thakur; Eli Goldweber (Auton. Agents Multi Agent Syst., 2020)

On the Significance of Consecutive Ballots in Paxos. - Eli Goldweber; Nuda Zhang; Manos Kapritsos (CoRR, 2020)

On Teammate-Pattern-Aware Autonomy. - Edmund H. Durfee; Abhishek Thakur; Eli Goldweber (AAMAS, 2021)

Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. - Haojun Ma; Hammad Ahmad; Aman Goel; Eli Goldweber; Jean-Baptiste Jeannin; Manos Kapritsos; Baris Kasikci (USENIX ATC, 2022)

IronSpec: Increasing the Reliability of Formal Specifications. - Eli Goldweber; Weixin Yu; Seyed Armin Vakil-Ghahani; Manos Kapritsos (OSDI, 2024)