关注
Hans Vangheluwe
Hans Vangheluwe
Professor at University of Antwerp -- Flanders Make
在 uantwerpen.be 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
AToM3: A Tool for Multi-formalism and Meta-modelling
J Lara, H Vangheluwe
Fundamental Approaches to Software Engineering: 5th International Conference …, 2002
7652002
Co-simulation: a survey
C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe
ACM Computing Surveys (CSUR) 51 (3), 1-33, 2018
4252018
An introduction to multi-paradigm modelling and simulation
H Vangheluwe, J De Lara, PJ Mosterman
Proceedings of the AIS’2002 conference (AI, Simulation and Planning in High …, 2002
3282002
DEVS as a common denominator for multi-formalism hybrid systems modelling
HLM Vangheluwe
Cacsd. conference proceedings. IEEE international symposium on computer …, 2000
3132000
WEST: modelling biological wastewater treatment
H Vanhooren, J Meirlaen, Y Amerlinck, F Claeys, H Vangheluwe, ...
Journal of Hydroinformatics 5 (1), 27-50, 2003
2792003
Co-simulation: State of the art
C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe
arXiv preprint arXiv:1702.00686, 2017
2642017
Computer automated multi-paradigm modeling: An introduction
PJ Mosterman, H Vangheluwe
Simulation 80 (9), 433-450, 2004
2472004
AToMPM: A web-based modeling environment
E Syriani, H Vangheluwe, R Mannadiar, C Hansen, S Van Mierlo, H Ergin
Joint proceedings of MODELS'13 Invited Talks, Demonstration Session, Poster …, 2013
2022013
Meta-modelling and graph grammars for multi-paradigm modelling in AToM3
J De Lara, H Vangheluwe, M Alfonseca
Software & Systems Modeling 3, 194-209, 2004
1642004
Metamodelling: state of the art and research challenges
J Sprinkle, B Rumpe, H Vangheluwe, G Karsai
Proceedings of the 2007 International Dagstuhl conference on Model-based …, 2007
1332007
Using atom3 as a meta-case tool.
J De Lara, H Vangheluwe
ICEIS 2, 642-649, 2002
1262002
Defining visual notations and their manipulation through meta-modelling and graph transformation
J de Lara, H Vangheluwe
Journal of Visual Languages & Computing 15 (3-4), 309-330, 2004
1202004
A tridimensional approach for studying the formal verification of model transformations
M Amrani, L Lucio, G Selim, B Combemale, J Dingel, H Vangheluwe, ...
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
1002012
Explicit transformation modeling
T Kühne, G Mezei, E Syriani, H Vangheluwe, M Wimmer
Models in Software Engineering: Workshops and Symposia at MODELS 2009 …, 2010
992010
A framework for evolution of modelling languages
B Meyers, H Vangheluwe
Science of Computer Programming 76 (12), 1223-1246, 2011
982011
An evaluation of DEVS simulation tools
Y Van Tendeloo, H Vangheluwe
Simulation 93 (2), 103-121, 2017
912017
A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems
M Persson, M Törngren, A Qamar, J Westman, M Biehl, S Tripakis, ...
2013 Proceedings of the international conference on embedded software …, 2013
852013
Computer aided multi-paradigm modelling to process petri-nets and statecharts
J De Lara, H Vangheluwe
International Conference on Graph Transformation, 239-253, 2002
852002
Towards domain-specific model editors with automatic model completion
S Sen, B Baudry, H Vangheluwe
Simulation 86 (2), 109-126, 2010
802010
Meta-models are models too
H Vangheluwe, J De Lara
Proceedings of the Winter Simulation Conference 1, 597-605, 2002
792002
系统目前无法执行此操作,请稍后再试。
文章 1–20