Optimizing the accuracy of a rocket trajectory simulation by program transformation. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (Conf. Computing Frontiers, 2015)

Intra-procedural Optimization of the Numerical Accuracy of Programs. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (FMICS, 2015)

Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (LOPSTR, 2015)

Transformation of a PID Controller for Numerical Accuracy. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (NSV, 2015)

Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. - Nasrine Damouche; Matthieu Martel; Pavel Panchekha; Chen Qiu; Alexander Sanchez-Stern; Zachary Tatlock (NSV@CAV, 2016)

Data-types optimization for floating-point formats by program transformation. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (CoDIT, 2016)

Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods. (Amélioration de la précision numérique de programmes basés sur l'arithmétique flottante par les méthodes de transformation automatique). - Nasrine Damouche (2016)

Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs. - Nasrine Damouche; Matthieu Martel (AFM@NFM, 2017)

Numerical Accuracy Improvement by Interprocedural Program Transformation. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (SCOPES, 2017)

Improving the numerical accuracy of programs by automatic transformation. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (Int. J. Softw. Tools Technol. Transf., 2017)

On the Impact of Numerical Accuracy Optimization on General Performances of Programs. - Nasrine Damouche; Matthieu Martel (CoDIT, 2018)

Mixed Precision Tuning with Salsa. - Nasrine Damouche; Matthieu Martel (PECCS, 2018)

Numerical program optimisation by automatic improvement of the accuracy of computations. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (Int. J. Intell. Eng. Informatics, 2018)

Specification of Incremental Requirements Upstream of System Design. - Nasrine Damouche (ICSRS, 2022)

Mind Maps Upstream SysML v2 Diagrams. - Pierre de Saqui-Sannes; Rob A. Vingerhoeds; Nasrine Damouche; Eric Razafimahazo; Ombeline Aïello; Maisa Cietto (SysCon, 2022)