Cole Vick

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

Collaborative distances:

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

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

2021

Counterexample Classification.

Cole Vick, Eunsuk Kang, Stavros Tripakis

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

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