Nasrine Damouche

Flux publications Open Science ISAE-SUPAERO

c.morzadec — 2024-03-15T14:46:53Z

- Nasrine Damouche

News

n.damouche — 2021-12-16T15:26:54Z

Best presentation session in ICoSSE 2024 - 7th International Conference on Software and System Engineering

Technical PC Member of ITFT 2024 - International Symposium on Intelligent Technology for Future Transportation

Technical PC Member of SYSCON 2024 - 18th IEEE International Systems Conference

Qualified by the CNUs 27 and 61

Research

n.damouche — 2021-12-16T15:00:29Z

My research portfolio is diverse :
Formal Methods, Static analysis, Abstract interpretation, Semantics-based code transformations, Validation of Embedded Systems, Computer arithmetic, Numerical accuracy, Compilation, Software engineering, Model-Based Systems Engineering (MBSE-SysML), Timing Analysis in Real Time Systems (WCET), etc.

- Nasrine Damouche

Teaching

n.damouche — 2021-03-18T16:40:17Z

À l'ISAE-SUPAERO

Ingénierie dirigée par les modèles (SysML-MBSE)
Langage de Programmation C
Introduction to Systems Engineering
Systèmes embarqués : conception (Cameo Systems Modeler)
Architecture des Systèmes
Traitement numérique dans les systèmes embarqués critiques
Object Oriented Software Development (UML-JAVA) (enseignement en anglais)
Systems Modelling and Analysis (enseignement en anglais)
Event-B (enseignement en anglais)
Conception et Programmation orientées objet

À l'ENSEEIHT

Programmation fonctionnelle (OCaml)
Traduction des Langages (Compilation)

À l'Université de Perpignan

Algo. & Langage de programmation (C/C++, OCaml, Python, Open MP, ...)
Génie logiciel et gestion de projet
Systèmes embarqués critiques
Programmation web
Réseaux, Logique, système d'exploitation, ...

À l'IUT de Perpignan

Statistiques Descriptives
Base de données avancées

Contact

n.damouche — 2021-03-18T16:23:01Z

Office : 07.059

e-mail : nasrine (dot) damouche (at) isae-supaero (dot) fr

Phone : +33 (0) 5 61 33 88 45

Address :
Département Ingénierie des Systèmes Complexes (DISC)
Institut Supérieur de l'Aéronautique et de l'Espace
10, Avenue Marc Pélegrin - BP 54032
31055 Toulouse CEDEX 4

Edito

n.damouche — 2021-03-18T15:45:57Z

Currently, I am a research engineer within the ThéMIS (Théorie, modélisation et ingénierie des systèmes) team in the Department of Complex Systems Engineering (DISC). I am involved in the CONCORDE [1] project funded by the DGA.

I am working on coupling MBSE approach with timing analysis for Real-Time Systems.

I was a postdoc at IRT Saint Exupery, in the Embedded systems department. I was working on an incremental static analyzer approach to estimate the WCET applied on the Infinion tricore TC275 processor.

I was a postdoc funded by the LaBEX CIMI at IRIT/ENSEEIHT, in the ACADIE team. I was working on dependent type system to check numerical stability in finite precision using prametrized gauge functions for dataflow languages like Lustre.

I received my Ph.D. in Computer Science from the University of Perpignan in December 2016, on Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods under the supervision of Matthieu Martel and Alexandre Chapoutot. I developped Salsa, a tool that improves the numerical accuracy of programs based on floating-point arithmetic. Salsa relies on static analysis by abstract interpretation to compute variable ranges and round-off error bounds.

I received my Master's degree in Computer Science at the University of Paul Sabatier - Toulouse III, France, in 2013.

[1] Méthodes de conception et de certification des systèmes de drones

Publications

c.morzadec — 2021-03-15T15:31:42Z

You can find the list of my publications below or on Google Scholar, DBLP, Semantic Scholar, ORCID, ResearchGate, Open Science ISAE-SUPAERO

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