Kurt Stirewalt

27 papers A* 5A 4Journal 8Unranked 10
YearRankTypeTitle / Venue / Authors
2022 — conf
ORM ontologies with executable derivation rules to support semantic search in large-scale data applications.
MoDELS (Companion)
Márton Búr, Kurt Stirewalt
2020 A conf
A Scheduling Approach to Incremental Maintenance of Datalog Programs.
IPDPS
Shikha Singh, Sergey Madaminov, Michael A. Bender, Michael Ferdman, Ryan Johnson, Benjamin Moseley, Hung Q. Ngo, Dung Nguyen, Soeren Olesen, Kurt Stirewalt, Geoffrey Washburn
2013 — conf
Live logic programming.
LIVE@ICSE
Spencer Rugaber, Zef Hemel, Kurt Stirewalt
2010 — conf
Mapping ORM to Datalog: An Overview.
OTM Workshops
Terry A. Halpin, Matthew Curland, Kurt Stirewalt, Navin Viswanath, Matthew J. McGill, Steven Beck
2009 — conf
A Role Calculus for ORM.
OTM Workshops
Matthew Curland, Terry A. Halpin, Kurt Stirewalt
2007 J jnl
Introduction.
Autom. Softw. Eng.
Kurt Stirewalt, Virginie Wiels
2005 A conf
Automated Invariant Maintenance Via OCL Compilation.
MoDELS
Kurt Stirewalt, Spencer Rugaber
2004 J jnl
Model-Driven Reverse Engineering.
IEEE Softw.
Spencer Rugaber, Kurt Stirewalt
2003 J jnl
Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components.
IEEE Trans. Software Eng.
Laura K. Dillon, Kurt Stirewalt
2002 J jnl
Automatically Detecting and Visualising Errors in UML Diagrams.
Requir. Eng.
Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, Kurt Stirewalt
2002 J jnl
Education: Interactive Distributed Applications and the Computer Science Curriculum.
IEEE Distributed Syst. Online
Philip K. McKinley, Kurt Stirewalt, Betty H. C. Cheng, Laura K. Dillon, Sandeep S. Kulkarni
2001 A* conf
A Component-Based Approach to Building Formal Analysis Tools.
ICSE
Kurt Stirewalt, Laura K. Dillon
2001 A* conf
Adequate Reverse Engineering.
ASE
Spencer Rugaber, Terry Shikano, Kurt Stirewalt
2001 — conf
Generation of visitor components that implement program transformations.
SSR
Kurt Stirewalt, Laura K. Dillon
2001 A* conf
Leightweight Analysis of Operational Specifications Using Inference Graphs.
ICSE
Laura K. Dillon, Kurt Stirewalt
2000 J jnl
The Model-Composition Problem in User-Interface Generation.
Autom. Softw. Eng.
Kurt Stirewalt, Spencer Rugaber
2000 — conf
The universe model: an approach for improving the modularity and reliability of concurrent programs.
SIGSOFT FSE
Reimer Behrends, Kurt Stirewalt
1999 — conf
Model Based User-Interface Reengineering.
WCRE
K. Tucker, Kurt Stirewalt
1999 A* conf
Separating Concerns in Direct Manipulation User Interfaces.
ASE
Kurt Stirewalt
1998 A* conf
Automating UI Generation by Model Composition.
ASE
Kurt Stirewalt, Spencer Rugaber
1998 — conf
Practical Dialogue Refinement.
DSV-IS
Kurt Stirewalt, Gregory D. Abowd
1996 J jnl
Understanding Interleaved Code.
Autom. Softw. Eng.
Spencer Rugaber, Kurt Stirewalt, Linda M. Wills
1995 — conf
Detecting interleaving.
ICSM
Spencer Rugaber, Kurt Stirewalt, Linda M. Wills
1995 — conf
The Interleaving Problem in Program Understanding.
WCRE
Spencer Rugaber, Kurt Stirewalt, Linda M. Wills
1993 J jnl
Spatial-Temporal Analysis of Program Dependence Graphs for Useful Parallelism.
J. Parallel Distributed Comput.
Helen Gill, Thomas J. Smith, Thomas E. Gerasch, John V. Warren, Carolyn McCreary, Kurt Stirewalt
1991 A conf
PATCH - a new algorithm for rapid incremental dependence analysis.
ICS
William F. Appelbe, Kevin Smith, Kurt Stirewalt
1990 A conf
Incremental dependence analysis for interactive parallelization.
ICS
Kevin Smith, William F. Appelbe, Kurt Stirewalt