 | 2008 |
|---|
| 46 |       | Bin Chen,
George S. Avrunin,
Elizabeth A. Henneman,
Lori A. Clarke,
Leon J. Osterweil,
Philip L. Henneman:
Analyzing medical processes.
ICSE 2008: 623-632 |
| 45 | | Lori A. Clarke,
George S. Avrunin,
Leon J. Osterweil:
Using software engineering technology to improve the quality of medical processes.
ICSE Companion 2008: 889-898 |
| 44 | | Jamieson M. Cobleigh,
George S. Avrunin,
Lori A. Clarke:
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.
ACM Trans. Softw. Eng. Methodol. 17(2): (2008) |
| 43 | | Stephen F. Siegel,
Anastasia Mironova,
George S. Avrunin,
Lori A. Clarke:
Combining symbolic execution with model checking to verify parallel numerical programs.
ACM Trans. Softw. Eng. Methodol. 17(2): (2008) |
| 2007 |
|---|
| 42 | | Stefan Christov,
Bin Chen,
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil,
David Brown,
Lucinda Cassells,
Wilson Mertens:
Rigorously Defining and Analyzing Medical Processes: An Experience Report.
MoDELS Workshops 2007: 118-131 |
| 41 | | Stephen F. Siegel,
George S. Avrunin:
Verification of Halting Properties for MPI Programs Using Nonblocking Operations.
PVM/MPI 2007: 326-334 |
| 40 | | Leon J. Osterweil,
George S. Avrunin,
Bin Chen,
Lori A. Clarke,
Rachel L. Cobleigh,
Elizabeth A. Henneman,
Philip L. Henneman:
Engineering Medical Processes to Improve Their Safety.
Situational Method Engineering 2007: 267-282 |
| 39 | | Shangzhu Wang,
George S. Avrunin,
Lori A. Clarke:
Plug-and-Play Architectural Design and Verification.
WADS 2007: 273-297 |
| 2006 |
|---|
| 38 | | Shangzhu Wang,
George S. Avrunin,
Lori A. Clarke:
Architectural Building Blocks for Plug-and-Play System Design.
CBSE 2006: 98-113 |
| 37 | | Jianbin Tan,
George S. Avrunin,
Lori A. Clarke:
Managing space for finite-state verification.
ICSE 2006: 152-161 |
| 36 | | Stephen F. Siegel,
Anastasia Mironova,
George S. Avrunin,
Lori A. Clarke:
Using model checking with symbolic execution to verify parallel numerical programs.
ISSTA 2006: 157-168 |
| 35 | | Jamieson M. Cobleigh,
George S. Avrunin,
Lori A. Clarke:
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning.
ISSTA 2006: 97-108 |
| 34 | | Shangzhu Wang,
George S. Avrunin,
Lori A. Clarke:
Verification support for plug-and-play architectural design.
ROSATEA 2006: 49-50 |
| 33 | | Rachel L. Cobleigh,
George S. Avrunin,
Lori A. Clarke:
User guidance for creating precise and accessible property specifications.
SIGSOFT FSE 2006: 208-218 |
| 32 | | Bin Chen,
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil:
Automatic Fault Tree Derivation from Little-JIL Process Definitions.
SPW/ProSim 2006: 150-158 |
| 2005 |
|---|
| 31 | | 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.
ISPW 2005: 347-359 |
| 30 | | Stephen F. Siegel,
George S. Avrunin:
Modeling wildcard-free MPI programs for verification.
PPOPP 2005: 95-106 |
| 2004 |
|---|
| 29 |  | George S. Avrunin,
Gregg Rothermel:
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004
ACM 2004 |
| 28 | | Jianbin Tan,
George S. Avrunin,
Lori A. Clarke:
Heuristic-Based Model Refinement for FLAVERS.
ICSE 2004: 635-644 |
| 27 | | Jianbin Tan,
George S. Avrunin,
Lori A. Clarke,
Shlomo Zilberstein,
Stefan Leue:
Heuristic-guided counterexample search in FLAVERS.
SIGSOFT FSE 2004: 201-210 |
| 26 | | Stephen F. Siegel,
George S. Avrunin:
Verification of MPI-Based Software for Scientific Computation.
SPIN 2004: 286-303 |
| 2002 |
|---|
| 25 | | Rachel L. Smith,
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil:
PROPEL: an approach supporting property elucidation.
ICSE 2002: 11-21 |
| 24 | | Stephen F. Siegel,
George S. Avrunin:
Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles.
IEEE Trans. Software Eng. 28(2): 115-128 (2002) |
| 2000 |
|---|
| 23 | | Stephen F. Siegel,
George S. Avrunin:
Improving the precision of INCA by preventing spurious cycles.
ISSTA 2000: 191-200 |
| 22 | | George S. Avrunin,
James C. Corbett,
Matthew B. Dwyer:
Benchmarking Finite-State Verifiers.
STTT 2(4): 317-320 (2000) |
| 1999 |
|---|
| 21 | | Gleb Naumovich,
George S. Avrunin,
Lori A. Clarke:
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs.
ESEC / SIGSOFT FSE 1999: 338-354 |
| 20 | | Gleb Naumovich,
George S. Avrunin,
Lori A. Clarke:
Data Flow Analysis for Checking Properties of Concurrent Java Programs.
ICSE 1999: 399-410 |
| 19 | | Matthew B. Dwyer,
George S. Avrunin,
James C. Corbett:
Patterns in Property Specifications for Finite-State Verification.
ICSE 1999: 411-420 |
| 1998 |
|---|
| 18 | | Matthew B. Dwyer,
George S. Avrunin,
James C. Corbett:
Property specification patterns for finite-state verification.
FMSP 1998: 7-15 |
| 17 | | Gleb Naumovich,
George S. Avrunin:
A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel.
SIGSOFT FSE 1998: 24-34 |
| 16 | | George S. Avrunin,
James C. Corbett,
Laura K. Dillon:
Analyzing Partially-Implemented Real-Time Systems.
IEEE Trans. Software Eng. 24(8): 602-614 (1998) |
| 1997 |
|---|
| 15 | | Gleb Naumovich,
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil:
Applying Static Analysis to Software Architectures.
ESEC / SIGSOFT FSE 1997: 77-93 |
| 14 | | George S. Avrunin,
James C. Corbett,
Laura K. Dillon:
Analyzing Partially-Implemented Real-Time Systems.
ICSE 1997: 228-238 |
| 1996 |
|---|
| 13 | | George S. Avrunin:
Symbolic Model Checking Using Algebraic Geometry.
CAV 1996: 26-37 |
| 1995 |
|---|
| 12 | | James C. Corbett,
George S. Avrunin:
Using Integer Programming to Verify General Safety and Liveness Properties.
Formal Methods in System Design 6(1): 97-123 (1995) |
| 1994 |
|---|
| 11 | | James C. Corbett,
George S. Avrunin:
Towards Scalable Compositional Analysis.
SIGSOFT FSE 1994: 53-61 |
| 10 | | George S. Avrunin,
James C. Corbett,
Laura K. Dillon,
Jack C. Wileden:
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems.
IEEE Trans. Software Eng. 20(9): 708-719 (1994) |
| 1993 |
|---|
| 9 | | James C. Corbett,
George S. Avrunin:
A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems.
ISSTA 1993: 110-116 |
| 1991 |
|---|
| 8 | | George S. Avrunin,
Ugo A. Buy,
James C. Corbett:
Integer Programming in the Analysis of Concurrent Systems.
CAV 1991: 92-102 |
| 7 | | George S. Avrunin,
Ugo A. Buy,
James C. Corbett,
Laura K. Dillon,
Jack C. Wileden:
Experiments with an Improved Constrained Expression Toolset.
Symposium on Testing, Analysis, and Verification 1991: 178-187 |
| 6 | | 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.
IEEE Trans. Software Eng. 17(11): 1204-1222 (1991) |
| 1989 |
|---|
| 5 | | George S. Avrunin,
Jack C. Wileden,
Laura K. Dillon:
Experiments in Automated Analysis of Concurrent Software Systems.
Symposium on Testing, Analysis, and Verification 1989: 124-130 |
| 1988 |
|---|
| 4 | | Jack C. Wileden,
George S. Avrunin:
Towards Automating Analysis Support for Developers of Distributed Software.
ICDCS 1988: 350-357 |
| 3 | | Laura K. Dillon,
George S. Avrunin,
Jack C. Wileden:
Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems.
ACM Trans. Program. Lang. Syst. 10(3): 374-402 (1988) |
| 1986 |
|---|
| 2 | | George S. Avrunin,
Laura K. Dillon,
Jack C. Wileden,
William E. Riddle:
Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems.
IEEE Trans. Software Eng. 12(2): 278-292 (1986) |
| 1985 |
|---|
| 1 | | George S. Avrunin,
Jack C. Wileden:
Describing and Analyzing Distributed Software System Designs.
ACM Trans. Program. Lang. Syst. 7(3): 380-403 (1985) |
