Incremental dependence analysis for interactive parallelization. - Kevin Smith 002; William F. Appelbe; Kurt Stirewalt (ICS, 1990)

PATCH - a new algorithm for rapid incremental dependence analysis. - William F. Appelbe; Kevin Smith 002; Kurt Stirewalt (ICS, 1991)

Spatial-Temporal Analysis of Program Dependence Graphs for Useful Parallelism. - Helen Gill; Thomas J. Smith; Thomas E. Gerasch; John V. Warren; Carolyn McCreary; Kurt Stirewalt (J. Parallel Distributed Comput., 1993)

Detecting interleaving. - Spencer Rugaber; Kurt Stirewalt; Linda M. Wills (ICSM, 1995)

The Interleaving Problem in Program Understanding. - Spencer Rugaber; Kurt Stirewalt; Linda M. Wills (WCRE, 1995)

Understanding Interleaved Code. - Spencer Rugaber; Kurt Stirewalt; Linda M. Wills (Autom. Softw. Eng., 1996)

Practical Dialogue Refinement. - Kurt Stirewalt; Gregory D. Abowd (DSV-IS, 1998)

Automating UI Generation by Model Composition. - Kurt Stirewalt; Spencer Rugaber (ASE, 1998)

MDL: A Language for Binding User-Interface Models. - R. E. Kurt Stirewalt (CADUI, 1999)

Separating Concerns in Direct Manipulation User Interfaces. - Kurt Stirewalt (ASE, 1999)

Model Based User-Interface Reengineering. - K. Tucker; Kurt Stirewalt (WCRE, 1999)

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

The Model-Composition Problem in User-Interface Generation. - Kurt Stirewalt; Spencer Rugaber (Autom. Softw. Eng., 2000)

Leightweight Analysis of Operational Specifications Using Inference Graphs. - Laura K. Dillon; Kurt Stirewalt (ICSE, 2001)

A Component-Based Approach to Building Formal Analysis Tools. - Kurt Stirewalt; Laura K. Dillon (ICSE, 2001)

Adequate Reverse Engineering. - Spencer Rugaber; Terry Shikano; Kurt Stirewalt (ASE, 2001)

Generation of visitor components that implement program transformations. - Kurt Stirewalt; Laura K. Dillon (SSR, 2001)

Separating Introspection and Intercession to Support Metamorphic Distributed Systems. - Eric P. Kasten; Philip K. McKinley; Seyed Masoud Sadjadi; R. E. Kurt Stirewalt (ICDCS Workshops, 2002)

An aspect-oriented approach to dynamic adaptation. - Zhenxiao Yang; Betty H. C. Cheng; R. E. Kurt Stirewalt; J. Sowell; Seyed Masoud Sadjadi; Philip K. McKinley (WOSS, 2002)

Education: Interactive Distributed Applications and the Computer Science Curriculum. - Philip K. McKinley; Kurt Stirewalt; Betty H. C. Cheng; Laura K. Dillon; Sandeep S. Kulkarni (IEEE Distributed Syst. Online, 2002)

Automatically Detecting and Visualising Errors in UML Diagrams. - Laura A. Campbell; Betty H. C. Cheng; William E. McUmber; Kurt Stirewalt (Requir. Eng., 2002)

Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components. - Laura K. Dillon; Kurt Stirewalt (IEEE Trans. Software Eng., 2003)

TRAP/J: Transparent Generation of Adaptable Java Programs. - Seyed Masoud Sadjadi; Philip K. McKinley; Betty H. C. Cheng; R. E. Kurt Stirewalt (CoopIS/DOA/ODBASE (2), 2004)

Generation of Self-Optimizing Wireless Network Applications. - Seyed Masoud Sadjadi; Philip K. McKinley; R. E. Kurt Stirewalt; Betty H. C. Cheng (ICAC, 2004)

A Feature-Oriented Alternative to Implementing Reliability Connector Wrappers. - J. H. Sowell; R. E. Kurt Stirewalt (WADS, 2004)

Model-Driven Reverse Engineering. - Spencer Rugaber; Kurt Stirewalt (IEEE Softw., 2004)

A Component-Oriented Model for the Design of Safe Multi-threaded Applications. - Reimer Behrends; R. E. Kurt Stirewalt; Laura K. Dillon (CBSE, 2005)

UML formalization is a traceability problem. - R. E. Kurt Stirewalt; Min Deng; Betty H. C. Cheng (TEFSE@ASE, 2005)

Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems. - R. E. Kurt Stirewalt; Reimer Behrends; Laura K. Dillon (SEW, 2005)

Automated Invariant Maintenance Via OCL Compilation. - Kurt Stirewalt; Spencer Rugaber (MoDELS, 2005)

Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations. - Min Deng; R. E. Kurt Stirewalt; Betty H. C. Cheng (Int. J. Softw. Eng. Knowl. Eng., 2005)

An approach to implementing dynamic adaptation in C++. - Scott D. Fleming; Betty H. C. Cheng; R. E. Kurt Stirewalt; Philip K. McKinley (ACM SIGSOFT Softw. Eng. Notes, 2005)

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

Contracts and Middleware for Safe SOA Applications. - Beata Sarna-Starosta; R. E. Kurt Stirewalt; Laura K. Dillon (SDSOA@ICSE, 2007)

Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts. - Shaohua Xie; Eileen T. Kraemer; R. E. Kurt Stirewalt (ICSE, 2007)

Designing your Next Empirical Study on Program Comprehension. - Massimiliano Di Penta; R. E. Kurt Stirewalt; Eileen T. Kraemer (ICPC, 2007)

Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions. - Shaohua Xie; Eileen T. Kraemer; R. E. Kurt Stirewalt (ICPC, 2007)

Introduction. - Kurt Stirewalt; Virginie Wiels (Autom. Softw. Eng., 2007)

A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications. - Beata Sarna-Starosta; R. E. Kurt Stirewalt; Laura K. Dillon (Int. J. Softw. Eng. Knowl. Eng., 2007)

Using formal models to objectively judge quality of multi-threaded programs in empirical studies. - Laura K. Dillon; R. E. Kurt Stirewalt; Eileen T. Kraemer; Shaohua Xie; Scott D. Fleming (MiSE, 2008)

A study of student strategies for the corrective maintenance of concurrent software. - Scott D. Fleming; Eileen T. Kraemer; R. E. Kurt Stirewalt; Shaohua Xie; Laura K. Dillon (ICSE, 2008)

On Mechanisms for Deadlock Avoidance in SIP Servlet Containers. - Yi Huang; Laura K. Dillon; R. E. Kurt Stirewalt (IPTComm, 2008)

Refining Existing Theories of Program Comprehension During Maintenance for Concurrent Software. - Scott D. Fleming; Eileen T. Kraemer; R. E. Kurt Stirewalt; Laura K. Dillon; Shaohua Xie (ICPC, 2008)

Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments. - Shaohua Xie; Eileen T. Kraemer; R. E. Kurt Stirewalt; Laura K. Dillon; Scott D. Fleming (SOFTVIS, 2008)

The inference validity problem in legal discovery. - R. E. Kurt Stirewalt; Laura K. Dillon; Eileen T. Kraemer (ICSE Companion, 2009)

Experience report: Using tools and domain expertise to remediate architectural violations in the LogicBlox software base. - R. E. Kurt Stirewalt; Spencer Rugaber; Hwa-You Hsu; David Zook (ICSE Companion, 2009)

A thread synchronization model for SIP servlet containers. - Yi Huang; Eric Cheung; Laura K. Dillon; R. E. Kurt Stirewalt (IPTComm, 2009)

Prototyping synchronization policies for existing programs. - Yi Huang; Laura K. Dillon; R. E. Kurt Stirewalt (ICPC, 2009)

A Role Calculus for ORM. - Matthew Curland; Terry A. Halpin; Kurt Stirewalt (OTM Workshops, 2009)

Automated Test Input Generation for Software That Consumes ORM Models. - Matthew J. McGill; R. E. Kurt Stirewalt; Laura K. Dillon (OTM Workshops, 2009)

Design and evaluation of extensions to UML sequence diagrams for modeling multithreaded interactions. - Shaohua Xie; Eileen T. Kraemer; R. E. Kurt Stirewalt; Laura K. Dillon; Scott D. Fleming (Inf. Vis., 2009)

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

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

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

Scalable analysis of conceptual data models. - Matthew J. McGill; Laura K. Dillon; R. E. Kurt Stirewalt (ISSTA, 2011)

Live logic programming. - Spencer Rugaber; Zef Hemel; Kurt Stirewalt (LIVE@ICSE, 2013)

Toward tractable instantiation of conceptual data models using non-semantics-preserving model transformations. - Matthew Nizol; Laura K. Dillon; R. E. Kurt Stirewalt (MiSE, 2014)

A Scheduling Approach to Incremental Maintenance of Datalog Programs. - Shikha Singh 002; Sergey Madaminov; Michael A. Bender; Michael Ferdman; Ryan Johnson; Benjamin Moseley; Hung Q. Ngo 001; Dung Nguyen; Soeren Olesen; Kurt Stirewalt; Geoffrey Washburn (IPDPS, 2020)

ORM ontologies with executable derivation rules to support semantic search in large-scale data applications. - Márton Búr; Kurt Stirewalt (MoDELS (Companion), 2022)

The RAI Way: A Technical Analysis and Design Method for Building Enterprise Semantic Layers. - R. E. Kurt Stirewalt; Márton Búr (CAiSE Workshops, 2023)

Using off-the-shelf LLMs to query enterprise data by progressively revealing ontologies. - Cristina Civili; Evgeny Sherkhonov; R. E. Kurt Stirewalt (CoRR, 2024)