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 | 121 | 2008 |
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 | 40 | 2008 |
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 | 27 | 2007 |
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 | 15 | 2016 |
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 | 10 | 2019 |
Characterization of Cyber Attacks Through Variable Length Markov Models DS Fava Rochester Institute of Technology, 2007 | 10 | 2007 |
Ready, set, Go!: Data-race detection and the Go language DS Fava, M Steffen Science of Computer Programming 195, 102473, 2020 | 8 | 2020 |
Gamifying Program Analysis D Fava, M Lemerre, J Signoles, S Martin, A Tiwari Logic for Programming, Artificial Intelligence, and Reasoning, 2015 | 8 | 2015 |
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 | 5 | 2016 |
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 | 1 | 2017 |
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 |