R. E. Kurt Stirewalt

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 1

Top Topics

Transformation Rules

Semantic Models

Top Venues

Publications

R. E. Kurt Stirewalt, Márton Búr
The RAI Way: A Technical Analysis and Design Method for Building Enterprise Semantic Layers. CAiSE Workshops (2023)
Matthew Nizol, Laura K. Dillon, R. E. Kurt Stirewalt
Toward tractable instantiation of conceptual data models using non-semantics-preserving model transformations. MiSE (2014)
Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt
Contract-based synchronization of IP telecommunication services: a case study. COMSWARE (2011)
Matthew J. McGill, Laura K. Dillon, R. E. Kurt Stirewalt
Scalable analysis of conceptual data models. ISSTA (2011)
Scott D. Fleming, Eileen T. Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon
Debugging Concurrent Software: A Study Using Multithreaded Sequence Diagrams. VL/HCC (2010)
R. E. Kurt Stirewalt, Laura K. Dillon, Eileen T. Kraemer
The inference validity problem in legal discovery. ICSE Companion (2009)
Shaohua Xie, Eileen T. Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Scott D. Fleming
Design and evaluation of extensions to UML sequence diagrams for modeling multithreaded interactions. Inf. Vis. 8 (2) (2009)
Yi Huang, Eric Cheung, Laura K. Dillon, R. E. Kurt Stirewalt
A thread synchronization model for SIP servlet containers. IPTComm (2009)
Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt
Prototyping synchronization policies for existing programs. ICPC (2009)
Matthew J. McGill, R. E. Kurt Stirewalt, Laura K. Dillon
Automated Test Input Generation for Software That Consumes ORM Models. OTM Workshops (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)
Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt
On Mechanisms for Deadlock Avoidance in SIP Servlet Containers. IPTComm (2008)
Scott D. Fleming, Eileen T. Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Shaohua Xie
Refining Existing Theories of Program Comprehension During Maintenance for Concurrent Software. ICPC (2008)
Laura K. Dillon, R. E. Kurt Stirewalt, Eileen T. Kraemer, Shaohua Xie, Scott D. Fleming
Using formal models to objectively judge quality of multi-threaded programs in empirical studies. MiSE (2008)
Shaohua Xie, Eileen T. Kraemer, R. E. Kurt Stirewalt, Laura K. Dillon, Scott D. Fleming
Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments. SOFTVIS (2008)
Scott D. Fleming, Eileen T. Kraemer, R. E. Kurt Stirewalt, Shaohua Xie, Laura K. Dillon
A study of student strategies for the corrective maintenance of concurrent software. ICSE (2008)
Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon
Contracts and Middleware for Safe SOA Applications. SDSOA@ICSE (2007)
Shaohua Xie, Eileen T. Kraemer, R. E. Kurt Stirewalt
Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts. ICSE (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. Int. J. Softw. Eng. Knowl. Eng. 17 (2) (2007)
Massimiliano Di Penta, R. E. Kurt Stirewalt, Eileen T. Kraemer
Designing your Next Empirical Study on Program Comprehension. ICPC (2007)
Shaohua Xie, Eileen T. Kraemer, R. E. Kurt Stirewalt
Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions. ICPC (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. SEKE (2006)
R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends
Using Views to Specify a Synchronization Aspect for Object-Oriented Languages. SEW (2006)
Scott D. Fleming, Betty H. C. Cheng, R. E. Kurt Stirewalt, Philip K. McKinley
An approach to implementing dynamic adaptation in C++. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Min Deng, R. E. Kurt Stirewalt, Betty H. C. Cheng
Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations. Int. J. Softw. Eng. Knowl. Eng. 15 (5) (2005)
R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon
Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems. SEW (2005)
R. E. Kurt Stirewalt, Min Deng, Betty H. C. Cheng
UML formalization is a traceability problem. TEFSE@ASE (2005)
Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Dillon
A Component-Oriented Model for the Design of Safe Multi-threaded Applications. CBSE (2005)
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)
Seyed Masoud Sadjadi, Philip K. McKinley, R. E. Kurt Stirewalt, Betty H. C. Cheng
Generation of Self-Optimizing Wireless Network Applications. ICAC (2004)
J. H. Sowell, R. E. Kurt Stirewalt
A Feature-Oriented Alternative to Implementing Reliability Connector Wrappers. WADS (2004)
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)
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)
R. E. Kurt Stirewalt
MDL: A Language for Binding User-Interface Models. CADUI (1999)