Tod Courtney

Publication Activity (10 Years)

Years Active: 1996-2009
Publications (10 Years): 0

Publications

Tod Courtney, Shravan Gaonkar, Ken Keefe, Eric Rozier, William H. Sanders
Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models. DSN (2009)
Elizabeth Van Ruitenbeek, Tod Courtney, William H. Sanders, Fabrice Stevens
Quantifying the Effectiveness of Mobile Phone Virus Response Mechanisms. DSN (2007)
Tod Courtney, Shravan Gaonkar, Michael G. McQuinn, Eric Rozier, William H. Sanders, Patrick G. Webster
Design of Experiments within the Mobius Modeling Environment. QEST (2007)
Jean Peccoud, Tod Courtney, William H. Sanders
Möbius: an integrated discrete-event modeling environment. Bioinform. 23 (24) (2007)
Partha P. Pal, Paul Rubel, Michael Atighetchi, Franklin Webber, William H. Sanders, Mouna Seri, HariGovind V. Ramasamy, James Lyons, Tod Courtney, Adnan Agbaria, Michel Cukier, Jeanna M. Gossett, Idit Keidar
An architecture for adaptive intrusion-tolerant applications. Softw. Pract. Exp. 36 (11-12) (2006)
Mark Griffith, Tod Courtney, Jean Peccoud, William H. Sanders
Dynamic partitioning for hybrid simulation of the bistable HIV-1 transactivation network. Bioinform. 22 (22) (2006)
Tod Courtney, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders
Data Analysis and Visualization within the Möbius Modeling Environment. QEST (2006)
Sankalp Singh, Adnan Agbaria, Fabrice Stevens, Tod Courtney, John F. Meyer, William H. Sanders, Partha P. Pal
Validation of a survivable Publish-Subscribe System. Int. J. Comput. 4 (2) (2005)
Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders
The Mobius Modeling Environment: Recent Extensions - 2005. QEST (2005)
Fabrice Stevens, Tod Courtney, Sankalp Singh, Adnan Agbaria, John F. Meyer, William H. Sanders, Partha P. Pal
Model-Based Validation of an Intrusion-Tolerant Information System. SRDS (2004)
Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, William H. Sanders
The Möbius Modeling Environment: Recent Developments. QEST (2004)
Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
The Möbius state-level abstract functional interface. Perform. Evaluation 54 (2) (2003)
Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders
On Integrating the MÖBIUS and MODEST Modeling Tools. DSN (2003)
Jennifer Ren, David E. Bakken, Tod Courtney, Michel Cukier, David A. Karr, Paul Rubel, Chetan Sabnis, William H. Sanders, Richard E. Schantz, Mouna Seri
AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects. IEEE Trans. Computers 52 (1) (2003)
Jennifer Ren, Paul Rubel, Mouna Seri, Michel Cukier, William H. Sanders, Tod Courtney
Passive Replication Schemes in Aqua. PRDC (2002)
Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
The Möbius State-Level Abstract Functional Interface. Computer Performance Evaluation / TOOLS (2002)
Daniel D. Deavours, Graham Clark, Tod Courtney, David Daly, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster
The Möbius Framework and Its Implementation. IEEE Trans. Software Eng. 28 (10) (2002)
William H. Sanders, Constantine D. Polychronopoulos, Thomas S. Huang, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi
Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation. IPDPS (2002)
Graham Clark, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster
The Möbius Modeling Tool. PNPM (2001)
Tod Courtney, Narendra Ahuja
Segmentation of volume images using a multiscale transform. ICPR (1996)