| Model-based evaluation: from dependability to security DM Nicol, WH Sanders, KS Trivedi IEEE Transactions on dependable and secure computing 1 (1), 48-65, 2004 | 656 | 2004 |
| Stochastic activity networks: formal definitions and concepts⋆ WH Sanders, JF Meyer Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer …, 2001 | 500 | 2001 |
| The Mobius framework and its implementation DD Deavours, G Clark, T Courtney, D Daly, S Derisavi, JM Doyle, ... IEEE Transactions on Software Engineering 28 (10), 956-969, 2002 | 366 | 2002 |
| Stochastic Activity Networks: Structure, Behavior, and Application. JF Meyer, A Movaghar, WH Sanders Unknown Host Publication Title, 106-115, 1985 | 361 | 1985 |
| Analysis of distributed policy rule-sets for compliance with global policy DM Nicol, WH Sanders, S Singh, M Seri US Patent 8,209,738, 2012 | 341 | 2012 |
| Reduced base model construction methods for stochastic activity networks WH Sanders, JF Meyer IEEE Journal on Selected Areas in Communications 9 (1), 25-36, 1991 | 315 | 1991 |
| Intrusion detection for advanced metering infrastructures: Requirements and architectural directions R Berthier, WH Sanders, H Khurana 2010 First IEEE international conference on smart grid communications, 350-355, 2010 | 308 | 2010 |
| AQuA: An adaptive architecture that provides dependable distributed objects M Cukier, J Ren, C Sabnis, D Henke, J Pistole, WH Sanders, DE Bakken, ... Proceedings Seventeenth IEEE Symposium on Reliable Distributed Systems (Cat …, 1998 | 291 | 1998 |
| The Mobius modeling tool G Clark, T Courtney, D Daly, D Deavours, S Derisavi, JM Doyle, ... Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001 | 285 | 2001 |
| RRE: A game-theoretic intrusion response and recovery engine SA Zonouz, H Khurana, WH Sanders, TM Yardley IEEE Transactions on Parallel and Distributed Systems 25 (2), 395-406, 2013 | 280 | 2013 |
| Optimal state-space lumping in Markov chains S Derisavi, H Hermanns, WH Sanders Information processing letters 87 (6), 309-315, 2003 | 270 | 2003 |
| The UltraSAN modeling environment WH Sanders, WD Obal II, MA Qureshi, FK Widjanarko Performance Evaluation 24 (1-2), 89-115, 1995 | 266 | 1995 |
| A unified approach for specifying measures of performance, dependability and performability WH Sanders, JF Meyer Dependable computing for critical applications, 215-237, 1991 | 257 | 1991 |
| Specification-based intrusion detection for advanced metering infrastructures R Berthier, WH Sanders 2011 IEEE 17th Pacific rim international symposium on dependable computing …, 2011 | 240 | 2011 |
| Model-based security metrics using adversary view security evaluation (advise) E LeMay, MD Ford, K Keefe, WH Sanders, C Muehrcke 2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011 | 221 | 2011 |
| SCPSE: Security-oriented cyber-physical state estimation for power grid critical infrastructures S Zonouz, KM Rogers, R Berthier, RB Bobba, WH Sanders, TJ Overbye IEEE Transactions on Smart Grid 3 (4), 1790-1799, 2012 | 201 | 2012 |
| Performability modeling with UltraSAN JA Couvillion, R Freire, R Johnson, WD Obal, MA Qureshi, M Rai, ... IEEE software 8 (5), 69-80, 1991 | 178 | 1991 |
| Möbius: An extensible tool for performance and dependability modeling D Daly, DD Deavours, JM Doyle, PG Webster, WH Sanders Computer Performance Evaluation. Modelling Techniques and Tools: 11th …, 2000 | 150 | 2000 |
| AMI threats, intrusion detection requirements and deployment recommendations D Grochocki, JH Huh, R Berthier, R Bobba, WH Sanders, AA Cárdenas, ... 2012 IEEE Third International Conference on Smart Grid Communications …, 2012 | 127 | 2012 |
| Secloud: A cloud-based comprehensive and lightweight security solution for smartphones S Zonouz, A Houmansadr, R Berthier, N Borisov, W Sanders Computers & Security 37, 215-227, 2013 | 125 | 2013 |
Michel CukierAssociate Professor, University of Maryland在 umd.edu 的电子邮件经过验证
