Ken Keefe - Concepedia

Author

Ken Keefe

Also Known As

Ken Keefe

Publications

450

Citations

H-Index

Concepts

All Affiliations

Ken Keefe is an author at University of Illinois Urbana-Champaign specializing in formal verification, computer science, and engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	395
2	Computer Science	6	6	395
3	Systems Engineering	6	6	395
4	Computer Engineering	2	2	110
5	Complex Systems	1	1	79

Ken Keefe

Publications

395

Citations

H-Index

Page 1

	Year	Citations
Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE) Elizabeth LeMay, Michael Ford, Ken Keefe, EngineeringInformation SecurityVerificationSoftware EngineeringSecurity Metrics	2011	167
M&#x00F6;bius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models Tod Courtney, Shravan Gaonkar, Ken Keefe, Event-driven ArchitectureEngineeringComplex SystemsComplex System ModelsDependable System Architecture	2009	79
Adversary-driven state-based system security evaluation Elizabeth LeMay, Willard L. Unkenholz, Donald L. Parks, EngineeringInformation SecurityVerificationSecurity AssessmentSecurity Evaluation	2010	63
Implementing the ADVISE security modeling formalism in M&#x00F6;bius Michael Ford, Ken Keefe, Elizabeth LeMay, EngineeringInformation SecurityVerificationSecurity EvaluationSoftware Analysis	2013	35
Performance and dependability modeling with Möbius Shravan Gaonkar, Ken Keefe, Ruth Lamprecht, ACM SIGMETRICS Performance Evaluation Review EngineeringComputer ArchitectureSoftware EngineeringSimulationDependable System Architecture	2009	31
Developing Models for Physical Attacks in Cyber-Physical Systems Carmen Cheh, Ken Keefe, Brett Feddersen, Advise MetaEngineeringInformation SecurityCyber Security EngineeringPhysical Attacks	2017	20

Page 1