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 | 382 | 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 | 300 | 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 | 110 | 2009 |
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 | 100 | 2000 |
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 | 97 | 2003 |
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 | 30 | 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 | 26 | 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 | 23 | 2002 |
The Möbius state-level abstract functional interface S Derisavi, P Kemper, WH Sanders, T Courtney Performance Evaluation 54 (2), 105-128, 2003 | 20 | 2003 |
On integrating the Möbius and MoDeST modeling tools H Bohnenkamp, T Courtney, D Daly, S Derisavi, H Hermanns, JP Katoen, ... International Conference on Dependable Systems and Networks, DSN 2003, 671-671, 2003 | 20 | 2003 |
Möbius: an integrated discrete-event modeling environment J Peccoud, T Courtney, WH Sanders Bioinformatics 23 (24), 3412-3414, 2007 | 18 | 2007 |
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 |
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 |
Extending shooting-and-bouncing rays method with creeping waves for radar signature prediction RA Kipp, SM Canta, TA Courtney, DL Setterdahl 2015 IEEE Radar Conference (RadarCon), 0704-0707, 2015 | 10 | 2015 |