Nasrine Damouche

ORCID

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 14

Top Venues

CoDIT

Conf. Computing Frontiers

NSV@CAV

Int. J. Softw. Tools Technol. Transf.

University of Perpignan, France (PHD)

Education History

University of Perpignan, France

PHD

Publications

Nasrine Damouche
Specification of Incremental Requirements Upstream of System Design. ICSRS (2022)
Pierre de Saqui-Sannes, Rob A. Vingerhoeds, Nasrine Damouche, Eric Razafimahazo, Ombeline Aïello, Maisa Cietto
Mind Maps Upstream SysML v2 Diagrams. SysCon (2022)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Numerical program optimisation by automatic improvement of the accuracy of computations. Int. J. Intell. Eng. Informatics 6 (1/2) (2018)
Nasrine Damouche, Matthieu Martel
On the Impact of Numerical Accuracy Optimization on General Performances of Programs. CoDIT (2018)
Nasrine Damouche, Matthieu Martel
Mixed Precision Tuning with Salsa. PECCS (2018)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Numerical Accuracy Improvement by Interprocedural Program Transformation. SCOPES (2017)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Improving the numerical accuracy of programs by automatic transformation. Int. J. Softw. Tools Technol. Transf. 19 (4) (2017)
Nasrine Damouche, Matthieu Martel
Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs. AFM@NFM (2017)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Data-types optimization for floating-point formats by program transformation. CoDIT (2016)
Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock
Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. NSV@CAV (2016)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Intra-procedural Optimization of the Numerical Accuracy of Programs. FMICS (2015)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Transformation of a PID Controller for Numerical Accuracy. Electron. Notes Theor. Comput. Sci. 317 (2015)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. LOPSTR (2015)
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
Optimizing the accuracy of a rocket trajectory simulation by program transformation. Conf. Computing Frontiers (2015)

Nasrine Damouche.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nasrine Damouche