R. E. Kurt Stirewalt

Kurt Stirewalt

	2009
48		Y. Huang, Laura K. Dillon, R. E. Kurt Stirewalt: Prototyping synchronization policies for existing programs. ICPC 2009: 289-290
47		R. E. Kurt Stirewalt, Laura K. Dillon, Eileen Kraemer: The inference validity problem in legal discovery. ICSE Companion 2009: 303-306
46		R. E. Kurt Stirewalt, Spencer Rugaber, Hwa-You Hsu, David Zook: Experience report: Using tools and domain expertise to remediate architectural violations in the LogicBlox software base. ICSE Companion 2009: 61-70
45		Matthew Curland, Terry A. Halpin, Kurt Stirewalt: A Role Calculus for ORM. OTM Workshops 2009: 692-703
44		Matthew J. McGill, R. E. Kurt Stirewalt, Laura K. Dillon: Automated Test Input Generation for Software That Consumes ORM Models. OTM Workshops 2009: 704-713
	2008
43		Scott D. Fleming, Eileen Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Shaohua Xie: Refining Existing Theories of Program Comprehension During Maintenance for Concurrent Software. ICPC 2008: 23-32
42		Scott D. Fleming, Eileen Kraemer, R. E. Kurt Stirewalt, Shaohua Xie, Laura K. Dillon: A study of student strategies for the corrective maintenance of concurrent software. ICSE 2008: 759-768
41		Y. Huang, Laura K. Dillon, R. E. Kurt Stirewalt: On Mechanisms for Deadlock Avoidance in SIP Servlet Containers. IPTComm 2008: 196-216
40		Shaohua Xie, Eileen Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Scott D. Fleming: Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments. SOFTVIS 2008: 9-18
	2007
39		R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA ACM 2007
38		Shaohua Xie, Eileen Kraemer, R. E. Kurt Stirewalt: Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions. ICPC 2007: 123-134
37		Massimiliano Di Penta, R. E. Kurt Stirewalt, Eileen Kraemer: Designing your Next Empirical Study on Program Comprehension. ICPC 2007: 281-285
36		Shaohua Xie, Eileen Kraemer, R. E. Kurt Stirewalt: Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts. ICSE 2007: 727-731
35		Kurt Stirewalt, Virginie Wiels: Introduction. Autom. Softw. Eng. 14(1): 1-2 (2007)
34		Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon: A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications. International Journal of Software Engineering and Knowledge Engineering 17(2): 207-230 (2007)
	2006
33		Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon: A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications. SEKE 2006: 120-125
32		R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends: Using Views to Specify a Synchronization Aspect for Object-Oriented Languages. SEW 2006: 272-281
	2005
31		Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Dillon: A Component-Oriented Model for the Design of Safe Multi-threaded Applications. CBSE 2005: 251-266
30		Kurt Stirewalt, Spencer Rugaber: Automated Invariant Maintenance Via OCL Compilation. MoDELS 2005: 616-632
29		R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon: Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems. SEW 2005: 201-210
28		Scott D. Fleming, Betty H. C. Cheng, R. E. Kurt Stirewalt, Philip K. McKinley: An approach to implementing dynamic adaptation in C++. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
27		Min Deng, R. E. Kurt Stirewalt, Betty H. C. Cheng: Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations. International Journal of Software Engineering and Knowledge Engineering 15(5): 837-872 (2005)
	2004
26		Seyed Masoud Sadjadi, Philip K. McKinley, Betty H. C. Cheng, R. E. Kurt Stirewalt: TRAP/J: Transparent Generation of Adaptable Java Programs. CoopIS/DOA/ODBASE (2) 2004: 1243-1261
25		Seyed Masoud Sadjadi, Philip K. McKinley, R. E. Kurt Stirewalt, Betty H. C. Cheng: Generation of Self-Optimizing Wireless Network Applications. ICAC 2004: 310-311
24		J. H. Sowell, R. E. Kurt Stirewalt: A Feature-Oriented Alternative to Implementing Reliability Connector Wrappers. WADS 2004: 232-256
23		Spencer Rugaber, Kurt Stirewalt: Model-Driven Reverse Engineering. IEEE Software 21(4): 45-53 (2004)
	2003
22		Laura K. Dillon, Kurt Stirewalt: Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components. IEEE Trans. Software Eng. 29(2): 133-150 (2003)
	2002
21		Eric P. Kasten, Philip K. McKinley, Seyed Masoud Sadjadi, R. E. Kurt Stirewalt: Separating Introspection and Intercession to Support Metamorphic Distributed Systems. ICDCS Workshops 2002: 465-472
20		Z. Yang, Betty H. C. Cheng, R. E. Kurt Stirewalt, J. Sowell, Seyed Masoud Sadjadi, Philip K. McKinley: An aspect-oriented approach to dynamic adaptation. WOSS 2002: 85-92
19		Philip K. McKinley, Kurt Stirewalt, Betty H. C. Cheng, Laura K. Dillon, Sandeep S. Kulkarni: Education: Interactive Distributed Applications and the Computer Science Curriculum. IEEE Distributed Systems Online 3(10): (2002)
18		Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, Kurt Stirewalt: Automatically Detecting and Visualising Errors in UML Diagrams. Requir. Eng. 7(4): 264-287 (2002)
	2001
17		Spencer Rugaber, Terry Shikano, Kurt Stirewalt: Adequate Reverse Engineering. ASE 2001: 232-
16		Kurt Stirewalt, Laura K. Dillon: A Component-Based Approach to Building Formal Analysis Tools. ICSE 2001: 167-176
15		Laura K. Dillon, Kurt Stirewalt: Leightweight Analysis of Operational Specifications Using Inference Graphs. ICSE 2001: 57-67
14		Kurt Stirewalt, Laura K. Dillon: Generation of visitor components that implement program transformations. SSR 2001: 86-94
	2000
13		Reimer Behrends, Kurt Stirewalt: The universe model: an approach for improving the modularity and reliability of concurrent programs. SIGSOFT FSE 2000: 20-29
12		Kurt Stirewalt, Spencer Rugaber: The Model-Composition Problem in User-Interface Generation. Autom. Softw. Eng. 7(2): 101-124 (2000)
	1999
11		Kurt Stirewalt: Separating Concerns in Direct Manipulation User Interfaces. ASE 1999: 199-
10		R. E. Kurt Stirewalt: MDL: A Language for Binding User-Interface Models. CADUI 1999: 159-170
9		K. Tucker, Kurt Stirewalt: Model Based User-Interface Reengineering. WCRE 1999: 56-
	1998
8		Kurt Stirewalt, Spencer Rugaber: Automating UI Generation by Model Composition. ASE 1998: 177-
7		Kurt Stirewalt, Gregory D. Abowd: Practical Dialogue Refinement. DSV-IS 1998: 191-205
	1996
6		Spencer Rugaber, Kurt Stirewalt, Linda M. Wills: Understanding Interleaved Code. Autom. Softw. Eng. 3(1/2): 47-76 (1996)
	1995
5		Spencer Rugaber, Kurt Stirewalt, Linda M. Wills: Detecting interleaving. ICSM 1995: 265-274
4		Spencer Rugaber, Kurt Stirewalt, Linda M. Wills: The Interleaving Problem in Program Understanding. WCRE 1995: 0-
	1993
3		Helen Gill, Thomas J. Smith, Thomas E. Gerasch, John V. Warren, Carolyn McCreary, Kurt Stirewalt: Spatial-Temporal Analysis of Program Dependence Graphs for Useful Parallelism. J. Parallel Distrib. Comput. 19(2): 103-118 (1993)
	1991
2		William F. Appelbe, Kevin Smith, Kurt Stirewalt: PATCH - a new algorithm for rapid incremental dependence analysis. ICS 1991: 424-432
	1990
1		Kevin Smith, William F. Appelbe, Kurt Stirewalt: Incremental dependence analysis for interactive parallelization. ICS 1990: 330-341

Coauthor Index

1	Gregory D. Abowd	[7]
2	William F. Appelbe	[1] [2]
3	Reimer Behrends	[13] [29] [31] [32]
4	Laura A. Campbell	[18]
5	Betty H. C. Cheng	[18] [19] [20] [25] [26] [27] [28]
6	Matthew Curland	[45]
7	Min Deng	[27]
8	Laura K. Dillon	[14] [15] [16] [19] [22] [29] [31] [32] [33] [34] [40] [41] [42] [43] [44] [47] [48]
9	Alexander Egyed	[39]
10	Bernd Fischer	[39]
11	Scott D. Fleming	[28] [40] [42] [43]
12	Thomas E. Gerasch	[3]
13	Helen Gill	[3]
14	Terry A. Halpin	[45]
15	Hwa-You Hsu	[46]
16	Y. Huang	[41] [48]
17	Eric P. Kasten	[21]
18	Eileen Kraemer	[36] [37] [38] [40] [42] [43] [47]
19	Sandeep S. Kulkarni	[19]
20	Carolyn McCreary	[3]
21	Matthew J. McGill	[44]
22	Philip K. McKinley	[19] [20] [21] [25] [26] [28]
23	William E. McUmber	[18]
24	Massimiliano Di Penta	[37]
25	Spencer Rugaber	[4] [5] [6] [8] [12] [17] [23] [30] [46]
26	Seyed Masoud Sadjadi	[20] [21] [25] [26]
27	Beata Sarna-Starosta	[33] [34]
28	Terry Shikano	[17]
29	Kevin Smith	[1] [2]
30	Thomas J. Smith	[3]
31	J. Sowell	[20]
32	J. H. Sowell	[24]
33	K. Tucker	[9]
34	John V. Warren	[3]
35	Virginie Wiels	[35]
36	Linda M. Wills	[4] [5] [6]
37	Shaohua Xie	[36] [38] [40] [42] [43]
38	Z. Yang	[20]
39	David Zook	[46]

Colors in the list of coauthors