Tod Courtney
Tod Courtney
Jump Trading
Verified email at jumptrading.com
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
3412002
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
2612001
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
902003
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
882000
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
792009
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
792004
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
732006
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
412007
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
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
262006
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
262003
Providing intrusion tolerance with ITUA
T Courtney, J Lyons, HGV Ramasamy, WH Sanders, M Seri, M Atighetchi, ...
Proceedings of the 1st Workshop on Intrusion Tolerant Systems, 2002
242002
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
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
International Conference on Modelling Techniques and Tools for Computer …, 2002
192002
The Möbius state-level abstract functional interface
S Derisavi, P Kemper, WH Sanders, T Courtney
Performance Evaluation 54 (2), 105-128, 2003
172003
Möbius: an integrated discrete-event modeling environment
J Peccoud, T Courtney, WH Sanders
Bioinformatics 23 (24), 3412-3414, 2007
162007
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
152003
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
82005
The system can't perform the operation now. Try again later.
Articles 1–20