Daniel S. Fava

According to our database, Daniel S. Fava authored at least 10 papers between 2007 and 2021.

Collaborative distances:

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

2021

Relaxed Memory Models and Data-Race Detection tailored for Shared-Memory Message-Passing Systems.

Daniel S. Fava

PhD thesis, 2021

2020

Ready, set, Go!: Data-race detection and the Go language.

Daniel Schnetzer Fava, Martin Steffen

Sci. Comput. Program., 2020

Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector - A Story on Applied Formal Methods.

Daniel Schnetzer Fava

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

2019

Operational semantics of a weak memory model with channel synchronization.

Daniel Schnetzer Fava, Martin Steffen, Volker Stolz

J. Log. Algebraic Methods Program., 2019

2016

Crowdsourcing program preconditions via a classification game.

Daniel Fava, Daniel G. Shapiro, Joseph C. Osborn, Martin Schäf, E. James Whitehead Jr.

Proceedings of the 38th International Conference on Software Engineering, 2016

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, Jim Whitehead, Brenda Laurel

Proceedings of the First Joint International Conference of Digital Games Research Association and Foundation of Digital Games, 2016

2015

Gamifying Program Analysis.

Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2008

Projecting Cyberattacks Through Variable-Length Markov Models.

Daniel S. Fava, Stephen R. Byers, Shanchieh Jay Yang

IEEE Trans. Inf. Forensics Secur., 2008

Intrusion activity projection for cyber situational awareness.

Shanchieh Jay Yang, Stephen R. Byers, Jared Holsopple, Brian Argauer, Daniel S. Fava

Proceedings of the IEEE International Conference on Intelligence and Security Informatics, 2008

2007

Terrain and behavior modeling for projecting multistage cyber attacks.

Daniel S. Fava, Jared Holsopple, Shanchieh Jay Yang, Brian Argauer

Proceedings of the 10th International Conference on Information Fusion, 2007