| Sift: Using refinement-guided automation to verify complex distributed systems H Ma, H Ahmad, A Goel, E Goldweber, JB Jeannin, M Kapritsos, B Kasikci 2022 USENIX Annual Technical Conference (USENIX ATC 22), 151-166, 2022 | 10 | 2022 |
| Teammate-pattern-aware autonomy based on organizational self-design principles EH Durfee, A Thakur, E Goldweber Autonomous Agents and Multi-Agent Systems 34 (2), 39, 2020 | 2 | 2020 |
| On the Significance of Consecutive Ballots in Paxos E Goldweber, N Zhang, M Kapritsos arXiv preprint arXiv:2006.01885, 2020 | 2 | 2020 |
| Brief Announcement: On the Significance of Consecutive Ballots in Paxos E Goldweber, N Zhang, M Kapritsos Proceedings of the 39th Symposium on Principles of Distributed Computing …, 2020 | 1 | 2020 |
| {IronSpec}: Increasing the Reliability of Formal Specifications E Goldweber, W Yu, SAV Ghahani, M Kapritsos 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2024 | | 2024 |
| On Teammate-Pattern-Aware Autonomy EH Durfee, A Thakur, E Goldweber Proceedings of the 20th International Conference on Autonomous Agents and …, 2021 | | 2021 |
| On Teammate-Pattern-Aware Autonomy EH Dufee, A Thakur, E Goldweber | | 2021 |
