Nasrine Damouche

According to our database, Nasrine Damouche authored at least 15 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Mind Maps Upstream SysML v2 Diagrams.

Pierre de Saqui-Sannes, Rob A. Vingerhoeds, Nasrine Damouche, Eric Razafimahazo, Ombeline Aïello, Maisa Cietto

Proceedings of the IEEE International Systems Conference, 2022

Specification of Incremental Requirements Upstream of System Design.

Nasrine Damouche

Proceedings of the 6th International Conference on System Reliability and Safety, 2022

2018

Numerical program optimisation by automatic improvement of the accuracy of computations.

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot

Int. J. Intell. Eng. Informatics, 2018

Mixed Precision Tuning with Salsa.

Nasrine Damouche, Matthieu Martel

Proceedings of the 8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems, 2018

On the Impact of Numerical Accuracy Optimization on General Performances of Programs.

Nasrine Damouche, Matthieu Martel

Proceedings of the 5th International Conference on Control, 2018

2017

Improving the numerical accuracy of programs by automatic transformation.

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot

Int. J. Softw. Tools Technol. Transf., 2017

Numerical Accuracy Improvement by Interprocedural Program Transformation.

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot

Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, 2017

Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs.

Nasrine Damouche, Matthieu Martel

Proceedings of the Automated Formal Methods, 2017

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

PhD thesis, 2016

Data-types optimization for floating-point formats by program transformation.

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot

Proceedings of the International Conference on Control, 2016

Toward a Standard Benchmark Format and Suite for Floating-Point Analysis.

Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock

Proceedings of the Numerical Software Verification - 9th International Workshop, 2016

2015

Transformation of a PID Controller for Numerical Accuracy.

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods.

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Intra-procedural Optimization of the Numerical Accuracy of Programs.

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

Optimizing the accuracy of a rocket trajectory simulation by program transformation.

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot

Proceedings of the 12th ACM International Conference on Computing Frontiers, 2015