Range estimation of floating-point variables in Simulink models

Alexandre Chapoutot, Laurent-Stephane Didier, Fanny Villers. Range estimation of floating-point variables in Simulink models. In Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, DASIP 2012, Karlsruhe, Germany, October 23-25, 2012. pages 1-8, IEEE, 2012. [doi]

Authors

Alexandre Chapoutot

This author has not been identified. Look up 'Alexandre Chapoutot' in Google

Laurent-Stephane Didier

This author has not been identified. Look up 'Laurent-Stephane Didier' in Google

Fanny Villers

This author has not been identified. Look up 'Fanny Villers' in Google