Travelled to:1 × France
1 × Jamaica
2 × Canada
3 × USA
Collaborated with:S.Rugaber L.K.Dillon L.M.Wills R.Behrends ∅ K.Tucker T.Shikano
Talks about:model (3) interleav (2) interfac (2) approach (2) program (2) analysi (2) autom (2) user (2) base (2) leightweight (1)
♂ Person: Kurt Stirewalt
DBLP: Stirewalt:Kurt
Facilitated 2 volumes:
GChPrChContributed to:
20052001
2001
20001999
19991998
19951995Wrote 10 papers:
- MoDELS-2005-StirewaltR #automation #compilation #invariant #maintenance #ocl
- Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.
- ASE-2001-RugaberSS #reverse engineering
- Adequate Reverse Engineering (SR, TS, KS), p. 232–?.
- ICSE-2001-DillonS #analysis #graph #specification #using
- Leightweight Analysis of Operational Specifications Using Inference Graphs (LKD, KS), pp. 57–67.
- ICSE-2001-StirewaltD #analysis #approach #component #formal method #tool support
- A Component-Based Approach to Building Formal Analysis Tools (KS, LKD), pp. 167–176.
- FSE-2000-BehrendsS #approach #composition #concurrent #reliability #source code
- The universe model: an approach for improving the modularity and reliability of concurrent programs (RB, KS), pp. 20–29.
- ASE-1999-Stirewalt #user interface
- Separating Concerns in Direct Manipulation User Interfaces (KS), p. 199–?.
- WCRE-1999-TuckerS #interface #modelling #re-engineering
- Model Based User-Interface Reengineering (KT, KS), p. 56–?.
- ASE-1998-StirewaltR #automation #composition #generative #user interface
- Automating UI Generation by Model Composition (KS, SR), p. 177–?.
- ICSM-1995-RugaberSW #detection
- Detecting interleaving (SR, KS, LMW), pp. 265–274.
- WCRE-1995-RugaberSW #comprehension #problem
- The Interleaving Problem in Program Understanding (SR, KS, LMW).