dblp.uni-trier.dewww.uni-trier.de

R. E. Kurt Stirewalt

Kurt Stirewalt

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
43EEScott 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
42EEScott 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
41EEY. Huang, Laura K. Dillon, R. E. Kurt Stirewalt: On Mechanisms for Deadlock Avoidance in SIP Servlet Containers. IPTComm 2008: 196-216
40EEShaohua 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
38EEShaohua 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
37EEMassimiliano Di Penta, R. E. Kurt Stirewalt, Eileen Kraemer: Designing your Next Empirical Study on Program Comprehension. ICPC 2007: 281-285
36EEShaohua 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
35EEKurt Stirewalt, Virginie Wiels: Introduction. Autom. Softw. Eng. 14(1): 1-2 (2007)
34EEBeata 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
32EER. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends: Using Views to Specify a Synchronization Aspect for Object-Oriented Languages. SEW 2006: 272-281
2005
31EEReimer Behrends, R. E. Kurt Stirewalt, Laura K. Dillon: A Component-Oriented Model for the Design of Safe Multi-threaded Applications. CBSE 2005: 251-266
30EEKurt Stirewalt, Spencer Rugaber: Automated Invariant Maintenance Via OCL Compilation. MoDELS 2005: 616-632
29EER. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon: Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems. SEW 2005: 201-210
28EEScott 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)
27EEMin 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
26EESeyed 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
25EESeyed Masoud Sadjadi, Philip K. McKinley, R. E. Kurt Stirewalt, Betty H. C. Cheng: Generation of Self-Optimizing Wireless Network Applications. ICAC 2004: 310-311
24EEJ. H. Sowell, R. E. Kurt Stirewalt: A Feature-Oriented Alternative to Implementing Reliability Connector Wrappers. WADS 2004: 232-256
23EESpencer Rugaber, Kurt Stirewalt: Model-Driven Reverse Engineering. IEEE Software 21(4): 45-53 (2004)
2003
22EELaura 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
21EEEric 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
20EEZ. 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
19EEPhilip 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)
18EELaura 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
17EESpencer 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
14EEKurt Stirewalt, Laura K. Dillon: Generation of visitor components that implement program transformations. SSR 2001: 86-94
2000
13EEReimer 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
11EEKurt 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
9EEK. Tucker, Kurt Stirewalt: Model Based User-Interface Reengineering. WCRE 1999: 56-
1998
8EEKurt 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
5EESpencer 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
2EEWilliam F. Appelbe, Kevin Smith, Kurt Stirewalt: PATCH - a new algorithm for rapid incremental dependence analysis. ICS 1991: 424-432
1990
1EEKevin Smith, William F. Appelbe, Kurt Stirewalt: Incremental dependence analysis for interactive parallelization. ICS 1990: 330-341

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)