| 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 | 364 | 2002 |
| 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 | 283 | 2001 |
| Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models T Courtney, S Gaonkar, K Keefe, EWD Rozier, WH Sanders 2009 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2009 | 101 | 2009 |
| AQuA: An adaptive architecture that provides dependable distributed objects Y Ren, DE Bakken, T Courtney, M Cukier, DA Karr, P Rubel, C Sabnis, ... IEEE Transactions on Computers 52 (1), 31-50, 2003 | 94 | 2003 |
| Xpatch 4: The next generation in high frequency electromagnetic modeling and simulation software D Andersh, J Moore, S Kosanovich, D Kapp, R Bhalla, R Kipp, T Courtney, ... Record of the IEEE 2000 International Radar Conference [Cat. No. 00CH37037 …, 2000 | 93 | 2000 |
| Model-based validation of an intrusion-tolerant information system F Stevens, T Courtney, S Singh, A Agbaria, JR Meyer, WH Sanders, P Pal Proceedings of the 23rd IEEE International Symposium on Reliable Distributed …, 2004 | 85 | 2004 |
| Dynamic partitioning for hybrid simulation of the bistable HIV-1 transactivation network M Griffith, T Courtney, J Peccoud, WH Sanders Bioinformatics 22 (22), 2782-2789, 2006 | 80 | 2006 |
| Quantifying the effectiveness of mobile phone virus response mechanisms E Van Ruitenbeek, T Courtney, WH Sanders, F Stevens 37th Annual IEEE/IFIP International Conference on Dependable Systems and …, 2007 | 46 | 2007 |
| An architecture for adaptive intrusion‐tolerant applications P Pal, P Rubel, M Atighetchi, F Webber, WH Sanders, M Seri, ... Software: Practice and Experience 36 (11‐12), 1331-1354, 2006 | 32 | 2006 |
| Providing intrusion tolerance with itua M Cukier, T Courtney, J Lyons, HV Ramasamy, WH Sanders, M Seri, ... Supplement of the 2002 International Conference on Dependable Systems and …, 2002 | 29 | 2002 |
| Multi-formalism and multi-solution-method modeling frameworks: The Möbius approach WH Sanders, T Courtney, D Deavours, D Daly, S Derisavi, V Lam na, 2003 | 25 | 2003 |
| Providing intrusion tolerance with ITUA T Courtney, J Lyons, HGV Ramasamy, WH Sanders, M Seri, M Atighetchi, ... Supplemental Volume Int. Conf. on Dependable Systems & Networks (DSN-2002 …, 2002 | 25 | 2002 |
| The Mobius modeling environment: recent developments T Courtney, D Daly, S Derisavi, S Gaonkar, M Griffith, V Lam, WH Sanders First International Conference on the Quantitative Evaluation of Systems …, 2004 | 24 | 2004 |
| The Möbius state-level abstract functional interface S Derisavi, P Kemper, WH Sanders, T Courtney Computer Performance Evaluation: Modelling Techniques and Tools: 12th …, 2002 | 21 | 2002 |
| On Integrating the MÖBIUS and MODEST Modeling Tools. HC Bohnenkamp, T Courtney, D Daly, S Derisavi, H Hermanns, ... DSN, 671, 2003 | 20 | 2003 |
| The Möbius state-level abstract functional interface S Derisavi, P Kemper, WH Sanders, T Courtney Performance Evaluation 54 (2), 105-128, 2003 | 19 | 2003 |
| The Möbius modeling environment T Courtney, D Daly, S Derisavi, V Lam, WH Sanders Tools of the 2003 Illinois International Multiconference on Measurement …, 2003 | 18 | 2003 |
| Möbius: an integrated discrete-event modeling environment J Peccoud, T Courtney, WH Sanders Bioinformatics 23 (24), 3412-3414, 2007 | 17 | 2007 |
| A behavior-based process for evaluating availability achievement risk using stochastic activity networks ST Beaudet, T Courtney, WH Sanders RAMS'06. Annual Reliability and Maintainability Symposium, 2006., 21-28, 2006 | 13 | 2006 |
| The mobius modeling environment: Recent extensions-2005 T Courtney, S Derisavi, S Gaonkar, M Griffith, V Lam, M McQuinn, ... Second International Conference on the Quantitative Evaluation of Systems …, 2005 | 10 | 2005 |
