Jeffrey Gennari

Most-cited papers

Architecture-based self-protecting software systems
Eric Yuan, Sam Malek, B. Schmerl, D. Garlan +1 more
2013International ACM SIGSOFT Conference on Quality of Software Architectures85 citations
Semantic Scholar
Architecture-based self-protection: composing and reasoning about denial-of-service mitigations
B. Schmerl, J. Cámara, Jeffrey Gennari, D. Garlan +4 more
2014Symposium and Bootcamp on the Science of Security58 citations
Semantic Scholar
Using Logic Programming to Recover C++ Classes and Methods from Compiled Executables
Edward J. Schwartz, Cory F. Cohen, M. Duggan, Jeffrey Gennari +2 more
2018Conference on Computer and Communications Security56 citations Open access
Semantic Scholar
Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis
Wesley Jin, Cory F. Cohen, Jeffrey Gennari, C. Hines +4 more
2014PPREW'1442 citations
Semantic Scholar
Architecture Modeling and Analysis of Security in Android Systems
B. Schmerl, Jeffrey Gennari, Alireza Sadeghi, H. Bagheri +3 more
2016European Conference on Software Architecture19 citations
Semantic Scholar
A Generic Technique for Automatically Finding Defense-Aware Code Reuse Attacks
Edward J. Schwartz, Cory F. Cohen, Jeffrey Gennari, S. M. Schwartz
2020Conference on Computer and Communications Security14 citations
Semantic Scholar
Measuring Attack Surface in Software Architecture
Jeffrey Gennari, D. Garlan
201213 citations
Semantic Scholar
Agent-based trace learning in a recommendation-verification system for cybersecurity
W. Casey, Evan Wright, J. A. Morales, Michael Appel +2 more
20142014 9th International Conference on Malicious and Unwanted Software: The Americas (MALWARE)12 citations
Semantic Scholar
Executable Counterexamples in Software Model Checking
Jeffrey Gennari, A. Gurfinkel, Temesghen Kahsai, J. Navas +1 more
2018Verified Software: Theories, Tools, Experiments9 citations
Semantic Scholar
Ranged Integers for the C Programming Language
Jeffrey Gennari, S. Hedrick, F. Long, Justin Pincar +1 more
20079 citations
Semantic Scholar
Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster]
B. Schmerl, Jeffrey Gennari, J. Cámara, D. Garlan
2016Symposium and Bootcamp on the Science of Security6 citations
Semantic Scholar
Defining malware families based on analyst insights
Jeffrey Gennari, David French
2011IEEE International Conference on Technologies for Homeland Security6 citations
Semantic Scholar
Measuring Attack Surface in Software Architecture (CMU-ISR-11-121)
Jeffrey Gennari, D. Garlan
20125 citations
Semantic Scholar
An architecture style for Android security analysis: poster
B. Schmerl, Jeffrey Gennari, D. Garlan
2015Symposium and Bootcamp on the Science of Security2 citations
Semantic Scholar
ORBIT: Optimal Recommendation Framework for Boarding with Interpretable Timelines
Joonseong Kang, S. Hwang, Jaehun Bang, Jiyoung Ko +2 more
2026Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence0 citations
Semantic Scholar
System Layer Architecture Layer Target System Translation Infrastructure Adaptation Manager Model Manager Strategy Executor System API ProbesEffectors Gauges Architecture Evaluator
B. Schmerl, Javier Cámara, Jeffrey Gennari, D. Garlan +4 more
20140 citations
Semantic Scholar