Concepedia

Tod Courtney

TC

14

Publications

885

Citations

11

H-Index

2002

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

University of Maryland, College Park

Tod Courtney is an author at University of Illinois Urbana-Champaign specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationModeling And SimulationComputer EngineeringSystem SoftwareSoftware EngineeringSoftware Design

Publications per year

2002–2015

14

Publications

14

The Mobius framework and its implementation

Daniel D. Deavours, G.M.G. Clark, Tod Courtney et al. · IEEE Transactions on Software Engineering · 2002 · 273 citations

Cluster Computing, Engineering, Algorithmic Library +20

The Mobius modeling tool

G.M.G. Clark, Tod Courtney, David Daly et al. · 2002 · 199 citations

Engineering, Modeling Method, Software Engineering +25

AQuA: an adaptive architecture that provides dependable distributed objects

Yansong Ren, D.E. Bakken, Tod Courtney et al. · IEEE Transactions on Computers · 2003 · 85 citations

Software Maintenance, Cluster Computing, Engineering +21

M&#x00F6;bius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models

Tod Courtney, Shravan Gaonkar, Ken Keefe et al. · 2009 · 79 citations

Event-driven Architecture, Engineering, Complex Systems +22

Model-based validation of an intrusion-tolerant information system

Fabrice Stevens, Tod Courtney, Sankalp Singh et al. · 2004 · 65 citations

Engineering, Survivable System, Information Security +17

Rows per page

1–5 of 14