Obserwuj
Tod Courtney
Tytuł
Cytowane przez
Cytowane przez
Rok
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
3762002
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
2962001
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
1092009
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
982000
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
972003
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
842004
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
812006
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
462007
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
342006
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
292002
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
262002
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
252003
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
242004
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
222002
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
202003
The Möbius state-level abstract functional interface
S Derisavi, P Kemper, WH Sanders, T Courtney
Performance Evaluation 54 (2), 105-128, 2003
192003
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
182003
Möbius: an integrated discrete-event modeling environment
J Peccoud, T Courtney, WH Sanders
Bioinformatics 23 (24), 3412-3414, 2007
172007
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
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
102015
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20