According to our database1, Arnault Ioualalen authored at least 5 papers between 2012 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017
Proceedings of the 24th International Conference on Application-Specific Systems, 2013
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