George S. Avrunin

	2010
51		Lori A. Clarke, Leon J. Osterweil, George S. Avrunin: Supporting human-intensive systems. FoSER 2010: 87-92
50		George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Stefan Christov, Bin Chen, Elizabeth A. Henneman, Philip L. Henneman, Lucinda Cassells, Wilson Mertens: Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview. IHI 2010: 316-325
49		Heather M. Conboy, George S. Avrunin, Lori A. Clarke: Process-based derivation of requirements for medical devices. IHI 2010: 656-665
48		Danhua Wang, Jingui Pan, George S. Avrunin, Lori A. Clarke, Bin Chen: An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language. SEKE 2010: 765-770
	2009
47		Leon J. Osterweil, Lori A. Clarke, George S. Avrunin: An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report. Business Process Management Workshops 2009: 647-653
	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)

Coauthor Index

1	David Brown	[42]
2	Ugo A. Buy	[6] [7] [8]
3	Lucinda Cassells	[42] [50]
4	Bin Chen	[31] [32] [40] [42] [46] [48] [50]
5	Yao Chen	[31]
6	Stefan Christov	[42] [50]
7	Lori A. Clarke	[15] [20] [21] [25] [27] [28] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51]
8	Jamieson M. Cobleigh	[35] [44]
9	Rachel L. Cobleigh	[31] [33] [40]
10	Heather M. Conboy	[49]
11	James C. Corbett	[6] [7] [8] [9] [10] [11] [12] [14] [16] [18] [19] [22]
12	Laura K. Dillon	[2] [3] [5] [6] [7] [10] [14] [16]
13	Matthew B. Dwyer	[18] [19] [22]
14	Kim Frederick	[31]
15	Elizabeth A. Henneman	[31] [40] [46] [50]
16	Philip L. Henneman	[40] [46] [50]
17	Stefan Leue	[27]
18	Wilson Mertens	[42] [50]
19	Anastasia Mironova	[36] [43]
20	Gleb Naumovich	[15] [17] [20] [21]
21	Leon J. Osterweil	[15] [25] [31] [32] [40] [42] [45] [46] [47] [50] [51]
22	Jingui Pan	[48]
23	William E. Riddle	[2]
24	Gregg Rothermel	[29]
25	Stephen F. Siegel	[23] [24] [26] [30] [36] [41] [43]
26	Rachel L. Smith	[25]
27	Jianbin Tan	[27] [28] [37]
28	Danhua Wang	[48]
29	Shangzhu Wang	[34] [38] [39]
30	Jack C. Wileden	[1] [2] [3] [4] [5] [6] [7] [10]
31	Shlomo Zilberstein	[27]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page