Automated Attacker Synthesis for Distributed Protocols. - Max von Hippel; Cole Vick; Stavros Tripakis; Cristina Nita-Rotaru (SAFECOMP, 2020)

Synthesizing History and Prophecy Variables for Symbolic Model Checking. - Cole Vick; Kenneth L. McMillan (VMCAI, 2023)

Counterexample classification. - Cole Vick; Eunsuk Kang; Stavros Tripakis (Softw. Syst. Model., 2024)