William H. Sanders

Model-based evaluation: from dependability to security

David M. Nicol, William H. Sanders, Kishor S. Trivedi · IEEE Transactions on Dependable and Secure Computing · 2004 · 508 citations

Engineering, Computer Science, Computer Systems +17

The Mobius framework and its implementation

Daniel D. Deavours, G.M.G. Clark, Tod Courtney et al. · IEEE Transactions on Software Engineering · 2002 · 275 citations

Engineering, Computer Science, Formal Methods +16

Stochastic Activity Networks: Structure, Behavior, and Application

John F. Meyer, Ali Movaghar, William H. Sanders · 1985 · 223 citations

Engineering, Industrial Engineering, Computer Networks +11

Intrusion Detection for Advanced Metering Infrastructures: Requirements and Architectural Directions

Robin Berthier, William H. Sanders, Himanshu Khurana · 2010 · 213 citations

Computing, Cybersecurity, Information Technology +17

Optimal state-space lumping in Markov chains

Salem Derisavi, Holger Hermanns, William H. Sanders · Information Processing Letters · 2003 · 204 citations

Engineering, Computer Science, Mathematics +13