Follow
Daniel Fava
Title
Cited by
Cited by
Year
Projecting cyberattacks through variable-length markov models
DS Fava, SR Byers, SJ Yang
IEEE Transactions on Information Forensics and Security 3 (3), 359-369, 2008
1212008
Intrusion activity projection for cyber situational awareness
SJ Yang, S Byers, J Holsopple, B Argauer, D Fava
2008 IEEE international conference on intelligence and security informatics …, 2008
402008
Terrain and behavior modeling for projecting multistage cyber attacks
D Fava, J Holsopple, SJ Yang, B Argauer
2007 10th International Conference on Information Fusion, 1-7, 2007
272007
Crowd-Sourcing Program Preconditions via a Classification Game
D Fava, D Shapiro, J Osborn, M Schäf, EJ Whitehead
38th International Conference on Software Engineering (ICSE), 2016
152016
Operational semantics of a weak memory model with channel synchronization
DS Fava, M Steffen, V Stolz
Journal of logical and algebraic methods in programming 103, 1-30, 2019
102019
Characterization of Cyber Attacks Through Variable Length Markov Models
DS Fava
Rochester Institute of Technology, 2007
102007
Ready, set, Go!: Data-race detection and the Go language
DS Fava, M Steffen
Science of Computer Programming 195, 102473, 2020
82020
Gamifying Program Analysis
D Fava, M Lemerre, J Signoles, S Martin, A Tiwari
Logic for Programming, Artificial Intelligence, and Reasoning, 2015
82015
Design Lessons From Binary Fission: A Crowd Sourced Game for Precondition Discovery
K Compton, H Logas, J Osborn, C Chakrabortti, K Coffman, D Fava, ...
Proceedings of 1st International Joint Conference of DiGRA and FDG, 2016
52016
Finding and fixing a mismatch between the Go memory model and data-race detector.
DS Fava
International Conference on Software Engineering and Formal Methods, 2020
3*2020
Operational Semantics of a Weak Memory Model inspired by Go
DS Fava, M Steffen, V Stolz, S Valle
29th Nordic Workshop on Programming Theory, 50-52, 2017
12017
Relaxed Memory Models and Data-Race Detection tailored for Shared-Memory Message-Passing Systems
DS Fava
University of Oslo, Norway, 2021
2021
Anything goes, unless forbidden
D Fava, M Steffen, V Stolz
Department of Informatics, University of Oslo, 2018
2018
Operational Semantics of a Weak Memory Model with Channel Communication
D Fava, M Steffen, V Stolz
2018
An operational semantics for a weak memory model with buffered writes, message passing, and goroutines
D Fava, M Steffen, V Stolz, S Valle
Department of Informatics, University of Oslo, 2017
2017
Ranking Político
R Compton, B Dettmer, D Fava, A Misra, D Rhodes
2014
The system can't perform the operation now. Try again later.
Articles 1–16