Travelled to:1 × Canada
1 × Cyprus
1 × France
1 × Germany
1 × Hungary
1 × Italy
1 × USA
Collaborated with:S.Datta ∅ D.B.Whalley X.Yuan W.Zhao B.Cai M.W.Bailey J.Hiser J.W.Davidson K.Gallivan D.L.Jones
Talks about:code (4) system (3) improv (3) transform (2) techniqu (2) analysi (2) valid (2) embed (2) workflow (1) interact (1)
Person: Robert van Engelen
DBLP: Engelen:Robert_van
Contributed to:
2008
200620042003
2002
20012000Wrote 7 papers:
- FASE-2008-DattaE #component #named
- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems (SD, RvE), pp. 332–346.
- SAC-2006-DattaE #analysis #requirements #workflow
- Effects of changing requirements: a tracking mechanism for the analysis workflow (SD, RvE), pp. 1739–1744.
- SAC-2004-Engelen #code generation #embedded #web #web service #xml
- Code generation techniques for developing light-weight XML Web services for embedded devices (RvE), pp. 854–861.
- SAC-2003-EngelenWY #embedded #validation
- Validation of Code-Improving Transformations for Embedded Systems (RvE, DBW, XY), pp. 684–691.
- LCTES-SCOPES-2002-ZhaoCWBEYHDGJ #interactive #named
- VISTA: a system for interactive code improvement (WZ, BC, DBW, MWB, RvE, XY, JH, JWD, KG, DLJ), pp. 155–164.
- CC-2001-Engelen #analysis #compilation #optimisation #performance
- Efficient Symbolic Analysis for Optimizing Compilers (RvE), pp. 118–132.
- LCTES-2000-EngelenWY #automation #validation
- Automatic Validation of Code-Improving Transformations (RvE, DBW, XY), pp. 206–210.