The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

George S. Avrunin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. George S. Avrunin
    Symbolic Model Checking Using Algebraic Geometry. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:26-37 [Conf]
  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. Shangzhu Wang, George S. Avrunin, Lori A. Clarke
    Architectural Building Blocks for Plug-and-Play System Design. [Citation Graph (0, 0)][DBLP]
    CBSE, 2006, pp:98-113 [Conf]
  4. Gleb Naumovich, George S. Avrunin, Lori A. Clarke
    An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1999, pp:338-354 [Conf]
  5. Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
    Applying Static Analysis to Software Architectures. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:77-93 [Conf]
  6. 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]
  7. Jack C. Wileden, George S. Avrunin
    Towards Automating Analysis Support for Developers of Distributed Software. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1988, pp:350-357 [Conf]
  8. 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]
  9. 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]
  10. Gleb Naumovich, George S. Avrunin, Lori A. Clarke
    Data Flow Analysis for Checking Properties of Concurrent Java Programs. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:399-410 [Conf]
  11. Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
    PROPEL: an approach supporting property elucidation. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:11-21 [Conf]
  12. Jianbin Tan, George S. Avrunin, Lori A. Clarke
    Heuristic-Based Model Refinement for FLAVERS. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:635-644 [Conf]
  13. Jianbin Tan, George S. Avrunin, Lori A. Clarke
    Managing space for finite-state verification. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:152-161 [Conf]
  14. Lori A. Clarke, Yao Chen, George S. Avrunin, Bin Chen, Rachel L. Cobleigh, Kim Frederick, Elizabeth A. Henneman, Leon J. Osterweil
    Process Programming to Support Medical Safety: A Case Study on Blood Transfusion. [Citation Graph (0, 0)][DBLP]
    ISPW, 2005, pp:347-359 [Conf]
  15. Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
    Automatic Fault Tree Derivation from Little-JIL Process Definitions. [Citation Graph (0, 0)][DBLP]
    SPW/ProSim, 2006, pp:150-158 [Conf]
  16. 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]
  17. George S. Avrunin, Jack C. Wileden, Laura K. Dillon
    Experiments in Automated Analysis of Concurrent Software Systems. [Citation Graph (0, 0)][DBLP]
    Symposium on Testing, Analysis, and Verification, 1989, pp:124-130 [Conf]
  18. Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke
    Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:97-108 [Conf]
  19. 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]
  20. Stephen F. Siegel, George S. Avrunin
    Improving the precision of INCA by preventing spurious cycles. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2000, pp:191-200 [Conf]
  21. Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke
    Using model checking with symbolic execution to verify parallel numerical programs. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:157-168 [Conf]
  22. Stephen F. Siegel, George S. Avrunin
    Modeling wildcard-free MPI programs for verification. [Citation Graph (0, 0)][DBLP]
    PPOPP, 2005, pp:95-106 [Conf]
  23. James C. Corbett, George S. Avrunin
    Towards Scalable Compositional Analysis. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1994, pp:53-61 [Conf]
  24. Gleb Naumovich, George S. Avrunin
    A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1998, pp:24-34 [Conf]
  25. Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue
    Heuristic-guided counterexample search in FLAVERS. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:201-210 [Conf]
  26. Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke
    User guidance for creating precise and accessible property specifications. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2006, pp:208-218 [Conf]
  27. Stephen F. Siegel, George S. Avrunin
    Verification of MPI-Based Software for Scientific Computation. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:286-303 [Conf]
  28. 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]
  29. 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]
  30. George S. Avrunin, Jack C. Wileden
    Describing and Analyzing Distributed Software System Designs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1985, v:7, n:3, pp:380-403 [Journal]
  31. Laura K. Dillon, George S. Avrunin, Jack C. Wileden
    Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1988, v:10, n:3, pp:374-402 [Journal]
  32. 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]
  33. 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]
  34. 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]
  35. George S. Avrunin, Laura K. Dillon, Jack C. Wileden, William E. Riddle
    Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:2, pp:278-292 [Journal]
  36. Stephen F. Siegel, George S. Avrunin
    Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:2, pp:115-128 [Journal]
  37. Stephen F. Siegel, George S. Avrunin
    Verification of Halting Properties for MPI Programs Using Nonblocking Operations. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2007, pp:326-334 [Conf]

  38. An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report. [Citation Graph (, )][DBLP]


  39. Analyzing medical processes. [Citation Graph (, )][DBLP]


  40. Using software engineering technology to improve the quality of medical processes. [Citation Graph (, )][DBLP]


  41. Plug-and-Play Architectural Design and Verification. [Citation Graph (, )][DBLP]


  42. Engineering Medical Processes to Improve Their Safety. [Citation Graph (, )][DBLP]


  43. Verification support for plug-and-play architectural design. [Citation Graph (, )][DBLP]


  44. Rigorously Defining and Analyzing Medical Processes: An Experience Report. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
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