Search the dblp DataBase
George S. Avrunin :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
George S. Avrunin Symbolic Model Checking Using Algebraic Geometry. [Citation Graph (0, 0)][DBLP ] CAV, 1996, pp:26-37 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Stephen F. Siegel , George S. Avrunin Modeling wildcard-free MPI programs for verification. [Citation Graph (0, 0)][DBLP ] PPOPP, 2005, pp:95-106 [Conf ] James C. Corbett , George S. Avrunin Towards Scalable Compositional Analysis. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1994, pp:53-61 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report. [Citation Graph (, )][DBLP ] Analyzing medical processes. [Citation Graph (, )][DBLP ] Using software engineering technology to improve the quality of medical processes. [Citation Graph (, )][DBLP ] Plug-and-Play Architectural Design and Verification. [Citation Graph (, )][DBLP ] Engineering Medical Processes to Improve Their Safety. [Citation Graph (, )][DBLP ] Verification support for plug-and-play architectural design. [Citation Graph (, )][DBLP ] Rigorously Defining and Analyzing Medical Processes: An Experience Report. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.305secs