Segui
Hans Vangheluwe
Hans Vangheluwe
Professor at University of Antwerp -- Flanders Make
Email verificata su uantwerpen.be - Home page
Titolo
Citata da
Citata da
Anno
AToM3: A Tool for Multi-formalism and Meta-modelling
J Lara, H Vangheluwe
Fundamental Approaches to Software Engineering: 5th International Conference …, 2002
7722002
Co-simulation: a survey
C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe
ACM Computing Surveys (CSUR) 51 (3), 1-33, 2018
4942018
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
3422002
DEVS as a common denominator for multi-formalism hybrid systems modelling
HLM Vangheluwe
Cacsd. conference proceedings. IEEE international symposium on computer …, 2000
3272000
Co-simulation: State of the art
C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe
arXiv preprint arXiv:1702.00686, 2017
2852017
WEST: modelling biological wastewater treatment
H Vanhooren, J Meirlaen, Y Amerlinck, F Claeys, H Vangheluwe, ...
Journal of Hydroinformatics 5 (1), 27-50, 2003
2832003
Computer automated multi-paradigm modeling: An introduction
PJ Mosterman, H Vangheluwe
Simulation 80 (9), 433-450, 2004
2552004
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
2132013
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
1652004
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
1212004
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
1002010
A framework for evolution of modelling languages
B Meyers, H Vangheluwe
Science of Computer Programming 76 (12), 1223-1246, 2011
992011
An evaluation of DEVS simulation tools
Y Van Tendeloo, H Vangheluwe
Simulation 93 (2), 103-121, 2017
972017
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
882013
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
842010
FTG+ PM: An integrated framework for investigating model transformation chains
L Lúcio, S Mustafiz, J Denil, H Vangheluwe, M Jukss
SDL 2013: Model-Driven Dependability Engineering: 16th International SDL …, 2013
792013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20