Sign in
Cole Vick
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 5
Top Topics
Preprocessing
Support Vector Machine Svm
Classification Systems
Commit Protocols
Top Venues
CoRR
VMCAI
SEFM
SAFECOMP
</>
Publications
</>
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)