Cole Vick
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2020–2023
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | VMCAI | Synthesizing History and Prophecy Variables for Symbolic Model Checking. | Cole Vick, Kenneth L. McMillan |
| 2021 | SEFM | Counterexample Classification. | Cole Vick, Eunsuk Kang, Stavros Tripakis |
| 2020 | SAFECOMP | Automated Attacker Synthesis for Distributed Protocols. | Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru |