Tod Courtney

According to our database, Tod Courtney authored at least 18 papers between 1996 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models.

Tod Courtney, Shravan Gaonkar, Ken Keefe, Eric Rozier, William H. Sanders

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2007

Möbius: an integrated discrete-event modeling environment.

Jean Peccoud, Tod Courtney, William H. Sanders

Bioinform., 2007

Design of Experiments within the Mobius Modeling Environment.

Tod Courtney, Shravan Gaonkar, Michael G. McQuinn, Eric Rozier, William H. Sanders, Patrick G. Webster

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Quantifying the Effectiveness of Mobile Phone Virus Response Mechanisms.

Elizabeth Van Ruitenbeek, Tod Courtney, William H. Sanders, Fabrice Stevens

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006

An architecture for adaptive intrusion-tolerant applications.

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

Softw. Pract. Exp., 2006

Dynamic partitioning for hybrid simulation of the bistable HIV-1 transactivation network.

Mark Griffith, Tod Courtney, Jean Peccoud, William H. Sanders

Bioinform., 2006

Data Analysis and Visualization within the Möbius Modeling Environment.

Tod Courtney, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

2005

The Mobius Modeling Environment: Recent Extensions - 2005.

Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

2004

Model-Based Validation of an Intrusion-Tolerant Information System.

Fabrice Stevens, Tod Courtney, Sankalp Singh, Adnan Agbaria, John F. Meyer, William H. Sanders, Partha P. Pal

Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

The Möbius Modeling Environment: Recent Developments.

Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, William H. Sanders

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

2003

AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects.

Jennifer Ren, David E. Bakken, Tod Courtney, Michel Cukier, David A. Karr, Paul Rubel, Chetan Sabnis, William H. Sanders, Richard E. Schantz, Mouna Seri

IEEE Trans. Computers, 2003

The Möbius state-level abstract functional interface.

Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney

Perform. Evaluation, 2003

On Integrating the MÖBIUS and MODEST Modeling Tools.

Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002

The Möbius Framework and Its Implementation.

Daniel D. Deavours, Graham Clark, Tod Courtney, David Daly, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster

IEEE Trans. Software Eng., 2002

Passive Replication Schemes in Aqua.

Jennifer Ren, Paul Rubel, Mouna Seri, Michel Cukier, William H. Sanders, Tod Courtney

Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002

Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation.

William H. Sanders, Constantine D. Polychronopoulos, Thomas S. Huang, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

2001

The Möbius Modeling Tool.

Graham Clark, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

1996

Segmentation of volume images using a multiscale transform.

Tod Courtney, Narendra Ahuja

Proceedings of the 13th International Conference on Pattern Recognition, 1996