upvd

LAboratoire de Mathématiques et de PhySique
Vérification NUmérique des Systèmes (VENUS)

Publications

2020

Conférences

  • Validating the Numerical Accuracy of Critical Systems A Case Study with Spoat and Space Launcher Flight Software , C. De Souza, G. Ludovic, A. Ioualalen, D. Lesens, M. Martel et P. Miramont, In the proceedings of Embedded Real-Time Systems (ERTS), 2020 .

2019

Journaux

  • Numerically Accurate Code Synthesis for Gauss Pivoting, M. Barboteu, N. Djehaf et M. Martel, In the proceedings of Computers & Mathematics with Applications, 77(11):2883--2893, 2019 .

Conférences

  • Precision Tuning and Internet of Things, D. Ben Khalifa et M. Martel, In the proceedings of IEEE International Conference on IoT Embedded Systems and Communications IINTEC, 2019 .
  • Neural Network Precision Tuning, A. Ioualalen et M. Martel, In the proceedings of 16th International Conference Quantitative Evaluation of Systems (QEST), 2019 .
  • Fixed Point Computation by Exponentiating Linear Operators, A. Mansouri, M. Martel et O. Serea, In the proceedings of 6th International Conference on Control, Decision and Information Technologies CoDIT, 2019 .

Workshops

  • Improving the Numerical Accuracy of Parallel Programs by Data Mapping, F. Benmouhoub, P. Garoche et M. Martel, In the proceedings of 8th International Workshop on Numerical and Symbolic Abstract Domains, 2019 .
  • POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations, D. Ben Khalifa, M. Martel et A. Adjé, In the proceedings of 7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), 2019 .

2018

Journaux

  • Numerical Program Optimisation by Automatic Improvement of the Accuracy of Computations, N. Damouche, M. Martel et A. Chapoutot, In the proceedings of International Journal of Intelligent Engineering Informatics, 6(1):115--145, 2018 .

Conférences

  • Strongly Typed Numerical Computations, M. Martel, In the proceedings of 20th International Conference on Formal Engineering Methods ICFEM, 2018 .
  • On the Impact of Numerical Accuracy Optimization on General Performance of Programs, N. Damouche et M. Martel, In the proceedings of 5th International Conference on Control, Decision and Information Technologies CoDIT, 333--340, 2018 .
  • Mixed Precision Tuning with Salsa, N. Damouche et M. Martel, In the proceedings of 8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems, 2018 .

Workshops

  • Policy Iterations Without Selection Property, A. Adjé, In the proceedings of Trusted Numerical Computations, 2018 .
  • The Policy Iterations Algorithm is Actually a Newton Method, A. Adjé, In the proceedings of Numerical Software Verification, 2018 .

2017

Journaux

  • Automatic Synthesis of k-Inductive Piecewise Quadratic Invariants for Switched Affine Control Programs, A. Adjé et P. Garoche, In the proceedings of Computer Languages, Systems and Structures, 47:44--61, 2017 .
  • A Sums-Of-Squares Extension of Policy Iterations, A. Adjé, P. Garoche et V. Magron, In the proceedings of Nonlinear Analysis : Hybrid Systems, 25:60--78, 2017 .
  • Improving the numerical accuracy of programs by automatic transformation, N. Damouche, M. Martel et A. Chapoutot, In the proceedings of International Journal on Software Tools for Technology Transfer, STT, 19(4):427--448, 2017 .
  • Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks, M. Martel, A. Najahi et G. Revy, In the proceedings of Journal of Systems Architecture: Embedded Software Design, 76:133--148, 2017 .
  • Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time, L. Thévenoux, P. Langlois et M. Martel, In the proceedings of Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time, 29(7):2017 .

Conférences

  • Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions, A. Adjé, In the proceedings of Hybrid Systems: Computation and Control, 143--152, 2017 .
  • An Overview of Numalis Software Suite for Reliable Numerical Computation Best Industry Paper, A. Ioualalen, M. Martel et N. Normand, In the proceedings of 28th IEEE International Symposium on Software Reliability Engineering (ISSRE), 2017 .
  • Floating-Point Format Inference in Mixed-Precision, M. Martel, In the proceedings of 9th NASA Formal Methods Symposium NFM, 2017 .
  • Numerical Accuracy Improvement by Interprocedural Program Transformation, N. Damouche, M. Martel et A. Chapoutot, In the proceedings of 20th International Workshop on Software and Compilers for Embedded Systems, 2017 .

2016

Conférences

  • Data-Types Optimization for Floating-Point Formats by Program Transformation, N. Damouche, M. Martel et A. Chapoutot, In the proceedings of The 3rd International Conference on Control, Decision and Information Technologies, 2016 .
  • Accuracy Analysis of Numerical Computations for Avionics Automatic Code Generators, A. Werey, D. Delmas et M. Martel, In the proceedings of The 8th European Congress on Embedded Real Time Software and Systems (ERTS2), 2016 .
  • Data-types optimization for floating-point formats by program transformation, N. Damouche, M. Martel et A. Chapoutot, In the proceedings of International Conference on Control, Decision and Information Technologies, CoDIT, 576--581, 2016 .
  • Accuracy Analysis of Numerical Computations for Avionics Automatic Code Generators, A. Werey, D. Delmas et M. Martel, In the proceedings of 8th European Congress on Embedded Real Time Software and Systems (ERTS2), 2016 .

Workshops

  • Data-types optimization for floating-point formats by program transformation, N. Damouche, M. Martel, P. Panchekha, C. Qiu, A. Sanchez-Stern et Z. Tatlock, In the proceedings of 9th International Workshop on Numerical Software Verification, 63--77, 2016 .

2015

Conférences

  • Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods, N. Damouche, M. Martel et A. Chapoutot, In the proceedings of The 25th International Symposium on Logic-Based Program Synthesis and Transformation, 2015 .
  • Intra-procedural optimization of the numerical accuracy of programs, N. Damouche, M. Martel et A. Chapoutot, In the proceedings of Formal Methods for Industrial Critical Systems, 2015 .
  • Optimizing the accuracy of a satellite trajectory simulation by program transformation, N. Damouche, M. Martel et A. Chapoutot, In the proceedings of The ACM International Conference on Computing Frontiers, 2015 .
  • Automatic Source-to-Source Error Compensation of Floating-Point Programs, L. Thévenoux, P. Langlois et M. Martel, In the proceedings of 18th IEEE International Conference on Computational Science and Engineering (CSE), 2015 .

2014

Conférences

  • Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication, M. Martel, A. Najahi et G. Revy, In the proceedings of 4th International Conference on Pervasive and embedded computing and communication Systems, 2014 .
  • Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition, M. Martel, A. Najahi et G. Revy, In the proceedings of Conference on Design and Architectures for Signal and Image Processing, 2014 .

Workshops

  • Transformation of a PID controller for numerical accuracy, N. Damouche, M. Martel et A. Chapoutot, In the proceedings of The 7th International Workshop on Numerical Software Verification, 2014 .