Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
You are here: Home People Profile

Hans Vangheluwe


Home Page:
Office: MC206N
Phone: +1-514-398-7077
Fax: +1-514-398-3883
McConnell Engineering Building #307
3480 University Street
H3A 2A7 Montreal, QC

Research Description

Professor Vangheluwe's main areas of interest are: modelling (multi-formalism), simulation, compilers, languages, software engineering, rapid application development and reactive systems.

Professor Vangheluwe's research interest is in Multi-formalism Modelling and Simulation. He designs object-oriented modelling languages, focusing on their semantics and compilers. Modelling languages are a basis for knowledge representation, exchange (i.e., between intelligent agents), re-use, documentation, verification, as well as simulation. Of particular interest is the modelling and efficient simulation of hybrid models which bring together continuous and discrete event abstractions.

Transformation of models in different formalisms is at the core of Professor Vangheluwe's research. In particular, "quantization" to represent continuous models in discrete event form using graph algorithms and computer algebra, is investigated.

Current research spans the theoretical foundations as well as the implementation of software tools (an Integrated Development Environment) for the construction, exchange, re-use and simulation of multi-formalism models. Prototype tools are applied in a variety of disciplines including waste water treatment plant design, physically based training simulation and computer games, software design and software process modelling. Scripting as a means for Rapid Application Development as well as testing is one of Professor Vangheluwe's side interests.

Research Interests

Research Labs


Selected Publications (click link in front of each publication to see bibtex in ASCII format)

[1] Syriani, E., and Vangheluwe, H. Performance analysis of himesis. Technical report, McGill University, 3480, University Street #318, August 2010.
[2] Syriani, E., and Vangheluwe, H. Matters of model transformation. Technical report, McGill University, March 2009.
[3] Zia, M., Mustafiz, S., Vangheluwe, H., and Kienzle, J. A modelling and simulation based process for dependable system design. Software and Systems Modeling (SoSyM), December 2007, v. 6, n. 4, pp. 437-451.
[4] Ernesto, P. Parsing revisited: a transformation-based approach to parser generation. In PyCon TX2007, February 2007.
[5] Hans, V., and Alexandre, D. Object-oriented software design comp 304 course syllabus, January 2007.
[ http ]
[6] Miriam, Z., Sadaf, M., Hans, V., and Jörg, K. A modelling and simulation based process for dependable system design. Software and Systems Modeling (SoSyM), December 2007, v. 6, n. 4, pp. 437-451. 10.1007/s10270-007-0050-3.
[7] Claudia, D. E., Bart, D. D., Hannelore, D., Steven, G., Mohamed, L., Svetla, N., Bart, P., Ximeng, S., Carmela, T., Sven, V. D., Hans, V., Kristof, V., and Miriam, Z. Advanced applications for e-id cards in flanders: Basic research. Technical report, KU Leuven, April 2007. adap ID Deliverable D4.
[8] Jöorg, K., Alexandre, D., and Hans, V. Model-based design of computer-controlled game. In Gregor, E., editor, The ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2007). Springer-Verlag, October 2007, Lecture Notes in Computer Science (LNCS), pp. 650 - 665. EE: ADDRESS: Nashville, TN.
[9] Mohamed, L., and Hans, V. Anonymous k -show credentials. In Lopez, J., Samarati, P., and Ferrer, J. L., editors, Public Key Infrastructure, the 4th European PKI Workshop:Theory and Practice (EuroPKI). Springer-Verlag, June 2007, v. 4582 of Lecture Notes in Computer Science (LNCS), Lecture Notes in Computer Science (LNCS), pp. 181 - 192. ISDN: 978-3-540-73407-9 Palma de Mallorca, Spain.
[10] Vangheluwe, H., Sun, X., and Bodden, E. Domain-Specific Modelling with AToM3. In Second International Conference on Software and Data Technologies (ICSOFT) Special Session on Metamodelling - Utilization in Software. INSTICC Press, July 2007, pp. 305-314. ISBN=978-989-8111-06-7.
[11] Zia, M., Posse, E., and Vangheluwe, H. Addressing Security Requirements Through Multi-formalism Modelling and Model Transformation. In Second International Conference on Software and Data Technologies (ICSOFT), July 2007, pp. 129-137. ISBN=978-989-8111-06-7.
[12] Adourian, C., and Vangheluwe, H. Consistency between geometric and dynamic views of a mechanical system. In Summer Computer Simulation Conference (SCSC), San Diego, CA. PUB-SCS, July 2007.
[13] Feng, T. H., Zia, M., and Vangheluwe, H. Multi-formalism modelling and model transformation for the design of reactive systems. July 2007, pp. 505-512.

Last Update:   2012/01/09 02:50:50.925 US/Eastern