Search the dblp DataBase

Publications of Author

1. Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
   The Möbius State-Level Abstract Functional Interface. [Citation Graph (0, 0)][DBLP]
   Computer Performance Evaluation / TOOLS, 2002, pp:31-50 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   DSN, 2003, pp:671- [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   IPDPS, 2002, pp:- [Conf]
   
4. Jennifer Ren, Paul Rubel, Mouna Seri, Michel Cukier, William H. Sanders, Tod Courtney
   Passive Replication Schemes in Aqua. [Citation Graph (0, 0)][DBLP]
   PRDC, 2002, pp:125-130 [Conf]
   
5. Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, William H. Sanders
   The Möbius Modeling Environment: Recent Developments. [Citation Graph (0, 0)][DBLP]
   QEST, 2004, pp:328-329 [Conf]
   
6. 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. [Citation Graph (0, 0)][DBLP]
   QEST, 2005, pp:259-260 [Conf]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   QEST, 2006, pp:137-138 [Conf]
   
8. Fabrice Stevens, Tod Courtney, Sankalp Singh, Adnan Agbaria, John F. Meyer, William H. Sanders, Partha Pratim Pal
   Model-Based Validation of an Intrusion-Tolerant Information System. [Citation Graph (0, 0)][DBLP]
   SRDS, 2004, pp:184-194 [Conf]
   
9. Mark Griffith, Tod Courtney, Jean Peccoud, William H. Sanders
   Dynamic partitioning for hybrid simulation of the bistable HIV-1 transactivation network. [Citation Graph (0, 0)][DBLP]
   Bioinformatics, 2006, v:22, n:22, pp:2782-2789 [Journal]
   
10. Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
    The Möbius state-level abstract functional interface. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2003, v:54, n:2, pp:105-128 [Journal]
    
11. Partha Pratim 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. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2006, v:36, n:11-12, pp:1331-1354 [Journal]
    
12. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2003, v:52, n:1, pp:31-50 [Journal]
    
13. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:10, pp:956-969 [Journal]
    
14. Elizabeth Van Ruitenbeek, Tod Courtney, William H. Sanders, Fabrice Stevens
    Quantifying the Effectiveness of Mobile Phone Virus Response Mechanisms. [Citation Graph (0, 0)][DBLP]
    DSN, 2007, pp:790-800 [Conf]
    
15. 
    Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models. [Citation Graph (, )][DBLP]
    
    
16. 
    Design of Experiments within the Mobius Modeling Environment. [Citation Graph (, )][DBLP]
    
    
17. 
    Möbius: an integrated discrete-event modeling environment. [Citation Graph (, )][DBLP]