Cole Vick

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Classification Systems

Commit Protocols

Top Venues

Publications

Cole Vick, Eunsuk Kang, Stavros Tripakis
Counterexample classification. Softw. Syst. Model. 23 (2) (2024)
Cole Vick, Kenneth L. McMillan
Synthesizing History and Prophecy Variables for Symbolic Model Checking. VMCAI (2023)
Cole Vick, Eunsuk Kang, Stavros Tripakis
Counterexample Classification. SEFM (2021)
Cole Vick, Eunsuk Kang, Stavros Tripakis
Counterexample Classification. CoRR (2021)
Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru
Automated Attacker Synthesis for Distributed Protocols. SAFECOMP (2020)
Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru
Automated Attacker Synthesis for Distributed Protocols. CoRR (2020)