Travelled to:1 × Cyprus
1 × Czech Republic
1 × Italy
1 × Spain
Collaborated with:M.v.d.Brand A.Wijs S.Andova D.Zhang D.Bošnački C.Huizing R.Kuiper F.Durán M.Roldán J.Bach E.Balland J.R.Cordy S.Eker M.d.Jonge K.T.Kalleberg L.C.L.Kats P.Moreau E.Visser
Talks about:model (3) transform (1) properti (1) competit (1) textual (1) reusabl (1) preserv (1) languag (1) graphic (1) generat (1)
Person: Luc Engelen
DBLP: Engelen:Luc
Contributed to:
2014
2013
2012
2010
2010Wrote 5 papers:
- AMT-2014-ZhangBBEHKW #code generation #concurrent #java #state machine #towards
- Towards Verified Java Code Generation from Concurrent State Machines (DZ, DB, MvdB, LE, CH, RK, AW), pp. 64–69.
- TACAS-2013-WijsE #performance
- Efficient Property Preservation Checking of Model Refinements (AW, LE), pp. 565–579.
- ICMT-2012-AndovaBE #model transformation #reuse
- Reusable and Correct Endogenous Model Transformations (SA, MvdB, LE), pp. 72–88.
- WRLA-2010-DuranRBBBCEEJK #contest
- The Third Rewrite Engines Competition (FD, MR, JCB, EB, MvdB, JRC, SE, LE, MdJ, KTK, LCLK, PEM, EV), pp. 243–261.
- LDTA-2009-EngelenB10 #modelling #visual notation
- Integrating Textual and Graphical Modelling Languages (LE, MvdB), pp. 105–120.