Automated computation and consistency checking of physical dimensions and units in scientific programs

Automatic dimension inference and checking for object-oriented programs

ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Checking SCADE models for correct usage of physical units

SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Advancing scientific computation by improving scientific code development: symbolic execution and semantic analysis

ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part I

Hi-index	0.00