Publications

Google Scholar, DBLP

• Inter-Step Consistency Analysis in Early Phases of MBSE Approaches
  N. DAMOUCHE
  7th International Conference on Software and System Engineering, ICoSSE 2024

• A study of the Behavior of Floating-Point Errors
  N. DAMOUCHE
  International Journal of Programming Languages and Applications (IJPLA),
  Vol 14, No 1, January 2024

• Specification of Incremental Requirements Upstream of System Design
  N. DAMOUCHE
  6th International Conference on System Reliability and Safety (ICSRS), 2022

• Modeling Inclusive Systems in SysML
  M. Cietto, N. DAMOUCHE, P. De Saqui-Sannes, O. Aïello, E. Razafimahazo and R. A. Vingerhoeds
  IEEE International Symposium on Systems Engineering (ISSE), 2022

• Mind Maps Upstream SysML Diagrams
  P. De Saqui-Sannes, R. Vingerhoeds, N. DAMOUCHE, M. Cietto, O. Aiello, E. Razafimahazo
  16th International Conference on Systems (SYSCON), 2022

• Dépliage de Boucles Versus Précision Numérique
  N. DAMOUCHE, X. THIRIOUX, M. MARTEL and H. BENMAGHNIA.
  Actes des Journées nationales Approches Formelles dans l’Assistance au Développement de Logiciels, AFADL, 2019

• Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations
  N. DAMOUCHE, M. MARTEL and A. CHAPOUTOT
  International Journal of Intelligent Engineering Informatics, (Control, Decision and Information Technologies, CODIT’18-special issue)

• Mixed Precision Tuning with Salsa
  N. DAMOUCHE and M. MARTEL
  3rd International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS), 2018

• On the Impact of Numerical Accuracy Optimization on General Performances of Programs
  N. DAMOUCHE and M. MARTEL
  5th IEEE International Conference on Control, Decision and Information Technologie (CoDIT), 2018

• Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
  N. DAMOUCHE, F. BENMOUHOUB and M. MARTEL
  International Workshop on Trusted Numerical Computations (TNC), 2018

• Improving the numerical accuracy of programs by automatic transformation
  N. DAMOUCHE, M. MARTEL and A. CHAPOUTOT
  International Journal on Software Tools for Technology Transfer (STTT), Volume 19(4), 2017

• Salsa : An automatic tool improve the accuracy of programs
  N. DAMOUCHE, M. MARTEL
  6th International Workshop on Automated Formal Methods (AFM), Kalpa Publications, 2017

• Numerical Accuracy Improvement by Interprocedural Program Transformation
  N. DAMOUCHE, M. MARTEL and A. CHAPOUTOT
  20th International Workshop on Software and Compilers for Embedded Systems, SCOPES, 2017

• Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods
  N. DAMOUCHE
  PhD Thesis, Université de Perpignan, 2016

• Toward a Standard Benchmark Format and Suite for Floating-Point Analysis
  N. DAMOUCHE, M. MARTEL, P. PANCHEKHA, Ch. QIU, A. SANCHEZ-STERN and Z. TATLOCK
  9th International Workshop on Numerical Software Verification, NSV, 2016

• Data-Types Optimization for Floating-Point Formats by Program Transformation
  N. DAMOUCHE, M. MARTEL and A. CHAPOUTOT
  3rd IEEE International Conference on Control, Decision and Information Technologies (CoDIT), 2016

• Numerically Accurate Code Generation
  N. DAMOUCHE, M. MARTEL and A. CHAPOUTOT
  Poster paper, 14th IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2016

• Amélioration à la Compilation de la Précision de Programmes Numériques
  N. DAMOUCHE, M. MARTEL and A. CHAPOUTOT
  Actes des Journées nationales du Groupement de Recherche Génie de la Programmation et du Logiciel, GDR-GPL, 2016

• Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods
  N. DAMOUCHE, M. MARTEL and A. CHAPOUTOT
  25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), 2015

• Intra-Procedural Optimization of the Numerical Accuracy of Programs
  N. DAMOUCHE, M. MARTEL and A. CHAPOUTOT
  20th InternationalWorkshop on Formal Methods for Industrial Critical Systems (FMICS), 2015

• Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation
  N. DAMOUCHE, M. MARTEL and A. CHAPOUTOT
  12th ACM International Conference on Computing Frontiers (CF), 2015

• Transformation of a PID Controller for Numerical Accuracy
  N. DAMOUCHE, M. MARTEL and A. CHAPOUTOT
  7th International Workshop on Numerical Software Verification (NSV), 2014