Tod Courtney
Title
Cited by
Cited by
Year
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
3592002
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
2762001
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
952009
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
922003
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
912000
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
832004
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
752006
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
442007
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
302006
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
292003
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
282002
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
252002
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
232004
The Möbius state-level abstract functional interface
S Derisavi, P Kemper, WH Sanders, T Courtney
International Conference on Modelling Techniques and Tools for Computer …, 2002
212002
On Integrating the MÖBIUS and MODEST Modeling Tools.
HC Bohnenkamp, T Courtney, D Daly, S Derisavi, H Hermanns, ...
DSN, 671, 2003
192003
The Möbius state-level abstract functional interface
S Derisavi, P Kemper, WH Sanders, T Courtney
Performance Evaluation 54 (2), 105-128, 2003
182003
Möbius: an integrated discrete-event modeling environment
J Peccoud, T Courtney, WH Sanders
Bioinformatics 23 (24), 3412-3414, 2007
172007
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
172003
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
132006
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
92005
The system can't perform the operation now. Try again later.
Articles 1–20