Travelled to:1 × The Netherlands
2 × Germany
3 × Canada
3 × USA
Collaborated with:L.K.Dillon E.Kraemer S.Xie S.D.Fleming M.J.McGill Y.Huang M.D.Penta B.Sarna-Starosta R.Behrends
Talks about:design (4) program (3) concurr (3) thread (3) model (3) understand (2) comprehens (2) synchron (2) softwar (2) sequenc (2)
Person: R. E. Kurt Stirewalt
DBLP: Stirewalt:R=_E=_Kurt
Facilitated 1 volumes:
EdContributed to:
2011
20092008
2008
200820072007
2006
2005Wrote 10 papers:
- ISSTA-2011-McGillDS #analysis #concept #modelling #scalability
- Scalable analysis of conceptual data models (MJM, LKD, REKS), pp. 56–66.
- ICPC-2009-HuangDS #policy #prototype #source code
- Prototyping synchronization policies for existing programs (YH, LKD, REKS), pp. 289–290.
- ICPC-2008-FlemingKSDX #comprehension #concurrent #maintenance
- Refining Existing Theories of Program Comprehension During Maintenance for Concurrent Software (SDF, EK, REKS, LKD, SX), pp. 23–32.
- ICSE-2008-FlemingKSXD #case study #concurrent #maintenance #student
- A study of student strategies for the corrective maintenance of concurrent software (SDF, EK, REKS, SX, LKD), pp. 759–768.
- SOFTVIS-2008-XieKSDF #diagrams #sequence chart
- Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments (SX, EK, REKS, LKD, SDF), pp. 9–18.
- ICPC-2007-PentaSK #comprehension #design #empirical
- Designing your Next Empirical Study on Program Comprehension (MDP, REKS, EK), pp. 281–285.
- ICPC-2007-XieKS #comprehension #concurrent #diagrams #empirical #evaluation #interactive #sequence chart #thread #uml
- Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions (SX, EK, REKS), pp. 123–134.
- ICSE-2007-XieKS #comprehension #concept #concurrent #design #diagrams #evaluation
- Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts (SX, EK, REKS), pp. 727–731.
- SEKE-2006-Sarna-StarostaSD #approach #concurrent #modelling #multi #thread
- A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications (BSS, REKS, LKD), pp. 120–125.
- CBSE-2005-BehrendsSD #component #concurrent #design #multi #thread
- A Component-Oriented Model for the Design of Safe Multi-threaded Applications (RB, REKS, LKD), pp. 251–266.