The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

James C. Corbett: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David A. Mix Barrington, James C. Corbett
    On the Relative Complexity of Some Languages in NC. [Citation Graph (1, 0)][DBLP]
    Inf. Process. Lett., 1989, v:32, n:5, pp:251-256 [Journal]
  2. George S. Avrunin, Ugo A. Buy, James C. Corbett
    Integer Programming in the Analysis of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:92-102 [Conf]
  3. James C. Corbett
    Verifying General Safety and Liveness Propterties with Integer Programming. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:357-369 [Conf]
  4. Matthew B. Dwyer, George S. Avrunin, James C. Corbett
    Property specification patterns for finite-state verification. [Citation Graph (0, 0)][DBLP]
    FMSP, 1998, pp:7-15 [Conf]
  5. George S. Avrunin, James C. Corbett, Laura K. Dillon
    Analyzing Partially-Implemented Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:228-238 [Conf]
  6. James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng
    Bandera: extracting finite-state models from Java source code. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:439-448 [Conf]
  7. James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
    Bandera: a source-level interface for model checking Java programs. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:762-765 [Conf]
  8. Matthew B. Dwyer, George S. Avrunin, James C. Corbett
    Patterns in Property Specifications for Finite-State Verification. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:411-420 [Conf]
  9. George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden
    Experiments with an Improved Constrained Expression Toolset. [Citation Graph (0, 0)][DBLP]
    Symposium on Testing, Analysis, and Verification, 1991, pp:178-187 [Conf]
  10. James C. Corbett
    An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1994, pp:204-215 [Conf]
  11. James C. Corbett
    Constructing Abstract Models of Concurrent Real-Time Software. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:250-260 [Conf]
  12. James C. Corbett
    Constructing Compact Models of Concurrent Java Programs. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:1-10 [Conf]
  13. James C. Corbett, George S. Avrunin
    A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:110-116 [Conf]
  14. James C. Corbett
    Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification. [Citation Graph (0, 0)][DBLP]
    IWSSD, 1993, pp:100-109 [Conf]
  15. James C. Corbett
    Modeling and Analysis of Real-Time Ada Tasking Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1994, pp:132-141 [Conf]
  16. John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng
    A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. [Citation Graph (0, 0)][DBLP]
    SAS, 1999, pp:1-18 [Conf]
  17. James C. Corbett, George S. Avrunin
    Towards Scalable Compositional Analysis. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1994, pp:53-61 [Conf]
  18. Martin C. Herbordt, Charles C. Weems, James C. Corbett
    Message-Passing Algorithms for a SIMD Torus with Coteries. [Citation Graph (0, 0)][DBLP]
    SPAA, 1990, pp:11-20 [Conf]
  19. James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
    A Language Framework for Expressing Checkable Properties of Dynamic Software. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:205-223 [Conf]
  20. James C. Corbett, George S. Avrunin
    Using Integer Programming to Verify General Safety and Liveness Properties. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1995, v:6, n:1, pp:97-123 [Journal]
  21. Martin C. Herbordt, James C. Corbett, Charles C. Weems, John Spalding
    Practical Algorithms for Online Routing on Fixed and Reconfigurable Meshes. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1994, v:20, n:3, pp:341-356 [Journal]
  22. James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
    Expressing checkable properties of dynamic systems: the Bandera Specification Language. [Citation Graph (0, 0)][DBLP]
    STTT, 2002, v:4, n:1, pp:34-56 [Journal]
  23. George S. Avrunin, James C. Corbett, Matthew B. Dwyer
    Benchmarking Finite-State Verifiers. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:2, n:4, pp:317-320 [Journal]
  24. David A. Mix Barrington, James C. Corbett
    A Note on Some Languages in Uniform ACC0. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:78, n:2, pp:357-362 [Journal]
  25. James C. Corbett
    Using shape analysis to reduce finite-state models of concurrent Java programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2000, v:9, n:1, pp:51-93 [Journal]
  26. George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden
    Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:11, pp:1204-1222 [Journal]
  27. George S. Avrunin, James C. Corbett, Laura K. Dillon
    Analyzing Partially-Implemented Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:8, pp:602-614 [Journal]
  28. George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden
    Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:9, pp:708-719 [Journal]
  29. James C. Corbett
    Evaluating Deadlock Detection Methods for Concurrent Software. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:3, pp:161-180 [Journal]
  30. James C. Corbett
    Timing Analysis of Ada Tasking Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:7, pp:461-483 [Journal]

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002