# Arnault Ioualalen

According to our database

Collaborative distances:

^{1}, Arnault Ioualalen authored at least 5 papers between 2012 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

2017

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

2013

Proceedings of the 24th International Conference on Application-Specific Systems, 2013

2012

A New Abstract Domain for the Representation of Mathematically Equivalent Expressions.

Proceedings of the Static Analysis - 19th International Symposium, 2012

Synthesis of arithmetic expressions for the fixed-point arithmetic: The Sardana approach.

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012