R. E. Kurt Stirewalt

Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt: Contract-based synchronization of IP telecommunication services: a case study. COMSWARE 2011: 5

Matthew J. McGill, Laura K. Dillon, R. E. Kurt Stirewalt: Scalable analysis of conceptual data models. ISSTA 2011: 56-66

Terry A. Halpin, Matthew Curland, Kurt Stirewalt, Navin Viswanath, Matthew J. McGill, Steven Beck: Mapping ORM to Datalog: An Overview. OTM Workshops 2010: 504-513

Scott D. Fleming, Eileen Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon: Debugging Concurrent Software: A Study Using Multithreaded Sequence Diagrams. VL/HCC 2010: 33-40

Shaohua Xie, Eileen Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Scott D. Fleming: Design and evaluation of extensions to UML sequence diagrams for modeling multithreaded interactions. Information Visualization 8(2): 120-136 (2009)

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

R. E. Kurt Stirewalt, Laura K. Dillon, Eileen Kraemer: The inference validity problem in legal discovery. ICSE Companion 2009: 303-306

Yi Huang, Eric Cheung, Laura K. Dillon, R. E. Kurt Stirewalt: A thread synchronization model for SIP servlet containers. IPTComm 2009: 7

Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt: Prototyping synchronization policies for existing programs. ICPC 2009: 289-290

Matthew Curland, Terry A. Halpin, Kurt Stirewalt: A Role Calculus for ORM. OTM Workshops 2009: 692-703

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

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

Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt: On Mechanisms for Deadlock Avoidance in SIP Servlet Containers. IPTComm 2008: 196-216

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

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

Kurt Stirewalt, Virginie Wiels: Introduction. Autom. Softw. Eng. 14(1): 1-2 (2007)

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)

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

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

Massimiliano Di Penta, R. E. Kurt Stirewalt, Eileen Kraemer: Designing your Next Empirical Study on Program Comprehension. ICPC 2007: 281-285

R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer (Eds.): 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA. ACM 2007, isbn 978-1-59593-882-4

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

R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends: Using Views to Specify a Synchronization Aspect for Object-Oriented Languages. SEW 2006: 272-281

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)

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)

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

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

Kurt Stirewalt, Spencer Rugaber: Automated Invariant Maintenance Via OCL Compilation. MoDELS 2005: 616-632

Spencer Rugaber, Kurt Stirewalt: Model-Driven Reverse Engineering. IEEE Software 21(4): 45-53 (2004)

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

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

J. H. Sowell, R. E. Kurt Stirewalt: A Feature-Oriented Alternative to Implementing Reliability Connector Wrappers. WADS 2004: 232-256

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)

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)

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)

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

Zhenxiao 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

Laura K. Dillon, Kurt Stirewalt: Leightweight Analysis of Operational Specifications Using Inference Graphs. ICSE 2001: 57-67

Kurt Stirewalt, Laura K. Dillon: A Component-Based Approach to Building Formal Analysis Tools. ICSE 2001: 167-176

Spencer Rugaber, Terry Shikano, Kurt Stirewalt: Adequate Reverse Engineering. ASE 2001: 232-

Kurt Stirewalt, Laura K. Dillon: Generation of visitor components that implement program transformations. SSR 2001: 86-94

Kurt Stirewalt, Spencer Rugaber: The Model-Composition Problem in User-Interface Generation. Autom. Softw. Eng. 7(2): 101-124 (2000)

Reimer Behrends, Kurt Stirewalt: The universe model: an approach for improving the modularity and reliability of concurrent programs. SIGSOFT FSE 2000: 20-29

R. E. Kurt Stirewalt: MDL: A Language for Binding User-Interface Models. CADUI 1999: 159-170

Kurt Stirewalt: Separating Concerns in Direct Manipulation User Interfaces. ASE 1999: 199-

K. Tucker, Kurt Stirewalt: Model Based User-Interface Reengineering. WCRE 1999: 56-

Kurt Stirewalt, Gregory D. Abowd: Practical Dialogue Refinement. DSV-IS 1998: 191-205

Kurt Stirewalt, Spencer Rugaber: Automating UI Generation by Model Composition. ASE 1998: 177-

Spencer Rugaber, Kurt Stirewalt, Linda M. Wills: Understanding Interleaved Code. Autom. Softw. Eng. 3(1/2): 47-76 (1996)

Spencer Rugaber, Kurt Stirewalt, Linda M. Wills: Detecting interleaving. ICSM 1995: 265-274

Spencer Rugaber, Kurt Stirewalt, Linda M. Wills: The Interleaving Problem in Program Understanding. WCRE 1995: 0-

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)

William F. Appelbe, Kevin Smith, Kurt Stirewalt: PATCH - a new algorithm for rapid incremental dependence analysis. ICS 1991: 424-432

Kevin Smith, William F. Appelbe, Kurt Stirewalt: Incremental dependence analysis for interactive parallelization. ICS 1990: 330-341