Travelled to:1 × Hungary
1 × Jamaica
1 × Sweden
1 × Switzerland
2 × Canada
2 × France
2 × Germany
2 × Italy
2 × The Netherlands
3 × Spain
3 × USA
Collaborated with:J.d.Lara E.Syriani J.Kienzle ∅ B.Meyers R.Mannadiar E.Bodden S.Mustafiz E.Guerra D.Dubé J.Beard A.Denault L.Lúcio M.Jukss C.Verbrugge D.Varró X.Sun M.Zia J.Denil I.Dávid Y.V.Tendeloo S.V.Mierlo B.Combemale G.M.K.Selim J.Dingel J.R.Cordy R.Deshayes M.Wimmer M.Amrani Y.L.Traon J.Bruel J.Jézéquel G.Mussbacher M.Famelis L.Lucio A.D.Sandro R.Salay M.Chechik S.Ramesh
Talks about:model (18) transform (7) approach (4) system (4) specif (4) simul (4) languag (3) domain (3) design (3) multi (3)
♂ Person: Hans Vangheluwe
DBLP: Vangheluwe:Hans
Facilitated 11 volumes:
Ed
PrCoEdPrCoEdPrCoEd
PrCoPrCoPrCoPrCoContributed to:
2014
2012
2011
201020102010
2009
200820082008
200720072006200520032002
2002
20022015201820162017Wrote 24 papers:
- SLE-2014-JukssVVV #model transformation
- Dynamic Scope Discovery for Model Transformations (MJ, CV, DV, HV), pp. 302–321.
- SLE-2014-MeyersDLSVW #framework #generative #named
- ProMoBox: A Framework for Generating Domain-Specific Property Languages (BM, RD, LL, ES, HV, MW), pp. 1–20.
- ICST-2012-AmraniLSCDVTC #approach #model transformation #verification
- A Tridimensional Approach for Studying the Formal Verification of Model Transformations (MA, LL, GMKS, BC, JD, HV, YLT, JRC), pp. 921–928.
- CSMR-2011-Vangheluwe #challenge #modelling
- Invited Talk: Promises and Challenges of Model-Driven Engineering (HV), pp. 3–4.
- GT-VMT-2010-SyrianiV #model transformation #transformation language
- De-/Re-constructing Model Transformation Languages (ES, HV).
- ICMT-2010-SyrianiKV
- Exceptional Transformations (ES, JK, HV), pp. 199–214.
- SLE-2010-MannadiarV #debugging #modelling
- Debugging in Domain-Specific Modelling (RM, HV), pp. 276–285.
- HCI-NT-2009-DubeBV #agile #development #user interface
- Rapid Development of Scoped User Interfaces (DD, JB, HV), pp. 816–825.
- FASE-2008-LaraV #analysis #modelling
- Translating Model Simulators to Analysis Models (JdL, HV), pp. 77–92.
- GT-VMT-2008-Vangheluwe #modelling #simulation
- Foundations of Modelling and Simulation of Complex Systems (HV).
- ICMT-2008-SyrianiV #design #graph grammar
- Programmed Graph Rewriting with Time for Simulation-Based Design (ES, HV), pp. 91–106.
- AGTIVE-2007-BoddenV #automaton #monitoring #runtime #specification #timeline
- Transforming Timeline Specifications into Automata for Runtime Monitoring (EB, HV), pp. 249–264.
- AGTIVE-2007-SyrianiV #graph grammar
- Programmed Graph Rewriting with DEVS (ES, HV), pp. 136–151.
- MoDELS-2007-KienzleDV #behaviour #design #game studies #modelling
- Model-Based Design of Computer-Controlled Game Character Behavior (JK, AD, HV), pp. 650–665.
- MoDELS-2006-MustafizSKV #assessment #case study #modelling
- Model-Driven Assessment of Use Cases for Dependable Systems (SM, XS, JK, HV), pp. 558–573.
- MoDELS-2005-ZiaMVK #approach #design #modelling #simulation
- A Modelling and Simulation Based Approach to Dependable System Design (MZ, SM, HV, JK), pp. 217–231.
- AGTIVE-2003-LaraGV #analysis #graph transformation #hybrid #metamodelling #model checking
- Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems (JdL, EG, HV), pp. 292–298.
- FASE-2002-LaraV #metamodelling #multi #named
- AToM3: A Tool for Multi-formalism and Meta-modelling (JdL, HV), pp. 174–188.
- ICEIS-2002-LaraV #using
- Using AToM3 as a Meta-Case Tool (JdL, HV), pp. 642–649.
- ICGT-2002-LaraV #modelling #multi #petri net #process
- Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts (JdL, HV), pp. 239–253.
- ICMT-2015-FamelisLSSSCCDV #case study #migration #product line
- Migrating Automotive Product Lines: A Case Study (MF, LL, GMKS, ADS, RS, MC, JRC, JD, HV, SR), pp. 82–97.
- ICMT-2018-BruelCGJKLMSV #classification #comparison #metamodelling #model transformation #reuse
- Model Transformation Reuse Across Metamodels — A Classification and Comparison of Approaches (JMB, BC, EG, JMJ, JK, JdL, GM, ES, HV), pp. 92–109.
- SLE-2016-MeyersDDV #automation #domain-specific language #modelling #testing
- Automated testing support for reactive domain-specific modelling languages (BM, JD, ID, HV), pp. 181–194.
- SLE-2017-TendelooMMV #approach #modelling #multi #syntax
- Concrete syntax: a multi-paradigm modelling approach (YVT, SVM, BM, HV), pp. 182–193.