AToM3: A Tool for Multi-formalism and Meta-modelling J Lara, H Vangheluwe Fundamental Approaches to Software Engineering: 5th International Conference …, 2002 | 765 | 2002 |
Co-simulation: a survey C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe ACM Computing Surveys (CSUR) 51 (3), 1-33, 2018 | 425 | 2018 |
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 | 328 | 2002 |
DEVS as a common denominator for multi-formalism hybrid systems modelling HLM Vangheluwe Cacsd. conference proceedings. IEEE international symposium on computer …, 2000 | 313 | 2000 |
WEST: modelling biological wastewater treatment H Vanhooren, J Meirlaen, Y Amerlinck, F Claeys, H Vangheluwe, ... Journal of Hydroinformatics 5 (1), 27-50, 2003 | 279 | 2003 |
Co-simulation: State of the art C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe arXiv preprint arXiv:1702.00686, 2017 | 264 | 2017 |
Computer automated multi-paradigm modeling: An introduction PJ Mosterman, H Vangheluwe Simulation 80 (9), 433-450, 2004 | 247 | 2004 |
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 | 202 | 2013 |
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 | 164 | 2004 |
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 | 133 | 2007 |
Using atom3 as a meta-case tool. J De Lara, H Vangheluwe ICEIS 2, 642-649, 2002 | 126 | 2002 |
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 | 120 | 2004 |
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 | 100 | 2012 |
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 | 99 | 2010 |
A framework for evolution of modelling languages B Meyers, H Vangheluwe Science of Computer Programming 76 (12), 1223-1246, 2011 | 98 | 2011 |
An evaluation of DEVS simulation tools Y Van Tendeloo, H Vangheluwe Simulation 93 (2), 103-121, 2017 | 91 | 2017 |
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 | 85 | 2013 |
Computer aided multi-paradigm modelling to process petri-nets and statecharts J De Lara, H Vangheluwe International Conference on Graph Transformation, 239-253, 2002 | 85 | 2002 |
Towards domain-specific model editors with automatic model completion S Sen, B Baudry, H Vangheluwe Simulation 86 (2), 109-126, 2010 | 80 | 2010 |
Meta-models are models too H Vangheluwe, J De Lara Proceedings of the Winter Simulation Conference 1, 597-605, 2002 | 79 | 2002 |