L’excellence passionnément
- Accueil
- Nasrine Damouche
- Flux publications Open Science ISAE-SUPAERO
Flux publications Open Science ISAE-SUPAERO
Mis à jour le
Damouche Nasrine, Inter-Step Consistency Analysis in Early Phases of MBSE Approaches : 2024 7th International Conference on Software and System Engineering (ICoSSE). 2024, 7th International Conference on Software and System Engineering (ICoSSE), 2024-04-21 - 2024-04-19 (2024-04-19, Paris)
Cietto Maisa, Damouche Nasrine, Saqui-Sannes Pierre de, Aïello Ombeline, Razafimahazo Eric, Vingerhoeds Rob A., Modeling Inclusive Systems in SysML. 2022, 8th IEEE International Symposium on Systems Engineering, 2022-10-24 - 2022-10-26 (2022-10-26, Vienna)
Damouche Nasrine, Specification of Incremental Requirements Upstream of System Design. 2022, 2022 6th International Conference on System Reliability and Safety (ICSRS), 2022-11-25 - 2022-11-23 (2022-11-23, Venise)
Specification of Incremental Requirements Upstream of System Design
Saqui-Sannes Pierre de, Vingerhoeds Rob A., Damouche Nasrine, Razafimahazo Eric, Aïello Ombeline, Cietto Maisa, Mind Maps Upstream SysML v2 Diagrams. 2022, 2022 IEEE International Systems Conference (SysCon), 2022-04-25 - 2022-04-28 (2022-04-28, Montreal)
Damouche Nasrine, Thirioux Xavier, Benmaghnia Hanane, Martel Matthieu, Dépliage de Boucles Versus Précision Numérique. 2019, 18e journées Approches Formelles dans l’Assistance au Développement de Logiciels, 2019-06-14 - 2019-06-12 (2019-06-12, Toulouse)
Damouche Nasrine, Martel Matthieu, Chapoutot Alexandre, Numerical program optimisation by automatic improvement of the accuracy of computations. 2018, International Journal of Intelligent Engineering Informatics. 6 (1/2). 115-145. ISSN 1758-8715
Numerical program optimisation by automatic improvement of the accuracy of computations
Benmouhoub, Farah, Damouche Nasrine, Martel Matthieu, Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization. 2018, International Workshop on Trusted Numerical Computations (TNC’18), 2018-06-22 - 2018-06-18 (2018-06-18, Krakow)
Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization
Damouche Nasrine, Martel Matthieu, Mixed Precision Tuning with Salsa : PECCS 2018 : Proceedings of the 8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems. 2018, 8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems, 2018-07-30 - 2018-07-29 (2018-07-29, Porto)
Damouche Nasrine, Martel Matthieu, On the Impact of Numerical Accuracy Optimization on General Performances of Programs : 2018 5th International Conference on Control, Decision and Information Technologies (CoDIT). 2018, 5th International Conference on Control, Decision and Information Technologies (CoDIT), 2018-04-13 - 2018-04-10 (2018-04-10, Thessaloniki)
Damouche Nasrine, Martel Matthieu, Salsa : An automatic tool improve the accuracy of programs : International Workshop on Automated Formal Methods (AFM). 2018, International Workshop on Automated Formal Methods (AFM17), 2017-05-20 - 2017-05-19 (2017-05-19, California)
Damouche Nasrine, Martel Matthieu, Chapoutot Alexandre, Numerical Accuracy Improvement by Interprocedural Program Transformation : SCOPES ’17 : Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems. 2017, 20th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2017), 2017-06-12 - 2017-06-13 (2017-06-13, Sankt Goar)
Damouche Nasrine, Martel Matthieu, Panchekha, Pavel, Qiu, Chen, Sanchez-Stern, Alexander, Tatlock , Zachary, Toward a Standard Benchmark Format and Suite for Floating-Point Analysis : Numerical Software Verification. 2017, 9th International Workshop on Numerical Software Verification, 2016-07-18 - 2016-07-17 (2016-07-17, Toronto)
Damouche Nasrine, Martel Matthieu, Chapoutot Alexandre, Improving the numerical accuracy of programs by automatic transformation. 2016, International Journal on Software Tools for Technology Transfer. 19. 427–448. ISSN 1433-2779
Improving the numerical accuracy of programs by automatic transformation
Damouche Nasrine, Martel Matthieu, Chapoutot Alexandre, Amélioration à la Compilation de la Précision de Programmes Numériques : Actes des Huitièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel. 2016, Journées du GDR Génie de la Programmation et du Logiciel 2016, 2016-6-10 - 2016-06-07 (2016-06-07, Besançon)
Damouche Nasrine, Martel Matthieu, Chapoutot Alexandre, Numerical Accuracy Improvement of Programs. 2016, CGO ’16 : 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2016-03-18 - 2016-03-12 (2016-03-12, Barcelona)
Damouche Nasrine, Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods. 2016.
Damouche Nasrine, Martel Matthieu, Chapoutot Alexandre, Intra-Procedural Optimization of the Numerical Accuracy of Programs : Formal Methods for Industrial Critical Systems. 2015, 20th International Workshop on Formal Methods for Industrial Critical Systems, 2015-06-23 - 2015-06-22 (2015-06-22, Oslo)
Damouche Nasrine, Martel Matthieu, Chapoutot Alexandre, Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods : Logic-Based Program Synthesis and Transformation. 2015, 25th International Symposium, LOPSTR 2015, 2015-07-15 - 2015-07-13 (2015-07-13, Siena)
Damouche Nasrine, Martel Matthieu, Chapoutot Alexandre, Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation : CF ’15 : Proceedings of the 12th ACM International Conference on Computing Frontiers. 2015, 12th ACM International Conference on Computing Frontiers, 2015-05-21 - 2015-05-18 (2015-05-18)
Damouche Nasrine, Martel Matthieu, Chapoutot Alexandre, Transformation of a PID Controller for Numerical Accuracy : Electronic Notes in Theoretical Computer Science. 2015, International Workshops on Numerical Software Verification (NSV), 2015-04-13 - 2015-04-13 (2015-04-13, Seattle)