William Schultz

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 10

Top Topics

Coloured Petri Nets

Dynamic Reconfiguration

Top Venues

Proc. VLDB Endow.

Publications

William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis
Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing. CoRR (2024)
Derek Egolf, William Schultz, Stavros Tripakis
Efficient Synthesis of Symbolic Distributed Protocols by Sketching. CoRR (2024)
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)
William Schultz, Siyuan Zhou, Stavros Tripakis
Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication. CoRR (2021)
William Schultz, Siyuan Zhou, Stavros Tripakis
Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication. DISC (2021)
William Schultz, Tess Avitabile, Alyson Cabral
Tunable Consistency in MongoDB. Proc. VLDB Endow. 12 (12) (2019)
Yufeng Yao, Özlem Ergun, Ellis L. Johnson, William Schultz, J. M. Singleton
Strategic planning in fractional aircraft ownership programs. Eur. J. Oper. Res. 189 (2) (2008)