Tod Courtney

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