![]() | ![]() |
Kurt Stirewalt
List of publications from the DBLP Bibliography Server - FAQ
2008 | ||
---|---|---|
43 | EE | 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 | EE | 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 | EE | Y. Huang, Laura K. Dillon, R. E. Kurt Stirewalt: On Mechanisms for Deadlock Avoidance in SIP Servlet Containers. IPTComm 2008: 196-216 |
40 | EE | 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 | EE | 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 | EE | Massimiliano Di Penta, R. E. Kurt Stirewalt, Eileen Kraemer: Designing your Next Empirical Study on Program Comprehension. ICPC 2007: 281-285 |
36 | EE | 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 | EE | Kurt Stirewalt, Virginie Wiels: Introduction. Autom. Softw. Eng. 14(1): 1-2 (2007) |
34 | EE | 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 | EE | 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 | EE | 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 | EE | Kurt Stirewalt, Spencer Rugaber: Automated Invariant Maintenance Via OCL Compilation. MoDELS 2005: 616-632 |
29 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | J. H. Sowell, R. E. Kurt Stirewalt: A Feature-Oriented Alternative to Implementing Reliability Connector Wrappers. WADS 2004: 232-256 |
23 | EE | Spencer Rugaber, Kurt Stirewalt: Model-Driven Reverse Engineering. IEEE Software 21(4): 45-53 (2004) |
2003 | ||
22 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Kurt Stirewalt, Laura K. Dillon: Generation of visitor components that implement program transformations. SSR 2001: 86-94 |
2000 | ||
13 | EE | 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 | EE | 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 | EE | K. Tucker, Kurt Stirewalt: Model Based User-Interface Reengineering. WCRE 1999: 56- |
1998 | ||
8 | EE | 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 | EE | 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 | EE | William F. Appelbe, Kevin Smith, Kurt Stirewalt: PATCH - a new algorithm for rapid incremental dependence analysis. ICS 1991: 424-432 |
1990 | ||
1 | EE | Kevin Smith, William F. Appelbe, Kurt Stirewalt: Incremental dependence analysis for interactive parallelization. ICS 1990: 330-341 |