Terrain and behavior modeling for projecting multistage cyber attacks. - Daniel S. Fava; Jared Holsopple; Shanchieh Jay Yang; Brian Argauer (FUSION, 2007)

Intrusion activity projection for cyber situational awareness. - Shanchieh Jay Yang; Stephen R. Byers; Jared Holsopple; Brian Argauer; Daniel S. Fava (ISI, 2008)

Projecting Cyberattacks Through Variable-Length Markov Models. - Daniel S. Fava; Stephen R. Byers; Shanchieh Jay Yang (IEEE Trans. Inf. Forensics Secur., 2008)

Gamifying Program Analysis. - Daniel Fava; Julien Signoles; Matthieu Lemerre; Martin Schäf; Ashish Tiwari 001 (LPAR, 2015)

Design Lessons From Binary Fission: A Crowd Sourced Game for Precondition Discovery. - Kate Compton; Heather Logas; Joseph C. Osborn; Chandranil Chakraborttii; Kelsey Coffman; Daniel Fava; Dylan Lederle-Ensign; Zhongpeng Lin; Jo Mazeika; Afshin Mobramaein; Johnathan Pagnutti; Huascar Sanchez; et al. (DiGRA/FDG, 2016)

Crowdsourcing program preconditions via a classification game. - Daniel Fava; Daniel G. Shapiro; Joseph C. Osborn; Martin Schäf; E. James Whitehead Jr. (ICSE, 2016)

Operational semantics of a weak memory model with channel synchronization. - Daniel Schnetzer Fava; Martin Steffen; Volker Stolz (J. Log. Algebraic Methods Program., 2019)

Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector - A Story on Applied Formal Methods. - Daniel Schnetzer Fava (SEFM, 2020)

Ready, set, Go!: Data-race detection and the Go language. - Daniel Schnetzer Fava; Martin Steffen (Sci. Comput. Program., 2020)

Relaxed Memory Models and Data-Race Detection tailored for Shared-Memory Message-Passing Systems. - Daniel S. Fava (2021)