Cole Vick

According to our database, Cole Vick authored at least 3 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Counterexample classification.

Cole Vick, Eunsuk Kang, Stavros Tripakis

Softw. Syst. Model., April, 2024

2023

Synthesizing History and Prophecy Variables for Symbolic Model Checking.

Cole Vick, Kenneth L. McMillan

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

2020

Automated Attacker Synthesis for Distributed Protocols.

Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru

Proceedings of the Computer Safety, Reliability, and Security, 2020