BibTeX records: Nasrine Damouche

download as .bib file

@inproceedings{DBLP:conf/icsrs/Damouche22,
  author       = {Nasrine Damouche},
  title        = {Specification of Incremental Requirements Upstream of System Design},
  booktitle    = {6th International Conference on System Reliability and Safety, {ICSRS}
                  2022, Venice, Italy, November 23-25, 2022},
  pages        = {212--216},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICSRS56243.2022.10067523},
  doi          = {10.1109/ICSRS56243.2022.10067523},
  timestamp    = {Mon, 27 Mar 2023 16:44:41 +0200},
  biburl       = {https://dblp.org/rec/conf/icsrs/Damouche22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/syscon/Saqui-SannesVDR22,
  author       = {Pierre de Saqui{-}Sannes and
                  Rob A. Vingerhoeds and
                  Nasrine Damouche and
                  Eric Razafimahazo and
                  Ombeline A{\"{\i}}ello and
                  Maisa Cietto},
  title        = {Mind Maps Upstream SysML v2 Diagrams},
  booktitle    = {{IEEE} International Systems Conference, SysCon 2022, Montreal, QC,
                  Canada, April 25-28, 2022},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/SysCon53536.2022.9773934},
  doi          = {10.1109/SYSCON53536.2022.9773934},
  timestamp    = {Wed, 25 May 2022 22:56:18 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/Saqui-SannesVDR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijiei/DamoucheMC18,
  author       = {Nasrine Damouche and
                  Matthieu Martel and
                  Alexandre Chapoutot},
  title        = {Numerical program optimisation by automatic improvement of the accuracy
                  of computations},
  journal      = {Int. J. Intell. Eng. Informatics},
  volume       = {6},
  number       = {1/2},
  pages        = {115--145},
  year         = {2018},
  url          = {https://doi.org/10.1504/IJIEI.2018.10012074},
  doi          = {10.1504/IJIEI.2018.10012074},
  timestamp    = {Thu, 27 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijiei/DamoucheMC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/codit/DamoucheM18,
  author       = {Nasrine Damouche and
                  Matthieu Martel},
  title        = {On the Impact of Numerical Accuracy Optimization on General Performances
                  of Programs},
  booktitle    = {5th International Conference on Control, Decision and Information
                  Technologies, CoDIT 2018, Thessaloniki, Greece, April 10-13, 2018},
  pages        = {333--340},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/CoDIT.2018.8394897},
  doi          = {10.1109/CODIT.2018.8394897},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/codit/DamoucheM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/peccs/DamoucheM18,
  author       = {Nasrine Damouche and
                  Matthieu Martel},
  editor       = {Luis Gomes and
                  Andreas Ahrens and
                  C{\'{e}}sar Benavente{-}Peces and
                  Mohammad S. Obaidat},
  title        = {Mixed Precision Tuning with Salsa},
  booktitle    = {Proceedings of the 8th International Joint Conference on Pervasive
                  and Embedded Computing and Communication Systems, {PECCS} 2018, Porto,
                  Portugal, July 29-30, 2018},
  pages        = {185--194},
  publisher    = {SciTePress},
  year         = {2018},
  url          = {https://doi.org/10.5220/0006915501850194},
  doi          = {10.5220/0006915501850194},
  timestamp    = {Wed, 29 Aug 2018 15:27:26 +0200},
  biburl       = {https://dblp.org/rec/conf/peccs/DamoucheM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/DamoucheMC17,
  author       = {Nasrine Damouche and
                  Matthieu Martel and
                  Alexandre Chapoutot},
  title        = {Improving the numerical accuracy of programs by automatic transformation},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {19},
  number       = {4},
  pages        = {427--448},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10009-016-0435-0},
  doi          = {10.1007/S10009-016-0435-0},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/DamoucheMC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/DamoucheM17,
  author       = {Nasrine Damouche and
                  Matthieu Martel},
  editor       = {Bruno Dutertre and
                  Natarajan Shankar},
  title        = {Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs},
  booktitle    = {Automated Formal Methods, AFM@NFM 2017, Moffett Field, CA, USA, May
                  19-20, 2017},
  series       = {Kalpa Publications in Computing},
  volume       = {5},
  pages        = {63--76},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/j2fd},
  doi          = {10.29007/J2FD},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/DamoucheM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scopes/DamoucheMC17,
  author       = {Nasrine Damouche and
                  Matthieu Martel and
                  Alexandre Chapoutot},
  editor       = {Sander Stuijk},
  title        = {Numerical Accuracy Improvement by Interprocedural Program Transformation},
  booktitle    = {Proceedings of the 20th International Workshop on Software and Compilers
                  for Embedded Systems, {SCOPES} 2017, Sankt Goar, Germany, June 12-13,
                  2017},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3078659.3078662},
  doi          = {10.1145/3078659.3078662},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scopes/DamoucheMC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/hal/Damouche16,
  author       = {Nasrine Damouche},
  title        = {Improving the Numerical Accuracy of Floating-Point Programs with Automatic
                  Code Transformation Methods. (Am{\'{e}}lioration de la pr{\'{e}}cision
                  num{\'{e}}rique de programmes bas{\'{e}}s sur l'arithm{\'{e}}tique
                  flottante par les m{\'{e}}thodes de transformation automatique)},
  school       = {University of Perpignan, France},
  year         = {2016},
  url          = {https://tel.archives-ouvertes.fr/tel-01455727},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Damouche16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/DamoucheMPQST16,
  author       = {Nasrine Damouche and
                  Matthieu Martel and
                  Pavel Panchekha and
                  Chen Qiu and
                  Alexander Sanchez{-}Stern and
                  Zachary Tatlock},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel and
                  Pavithra Prabhakar},
  title        = {Toward a Standard Benchmark Format and Suite for Floating-Point Analysis},
  booktitle    = {Numerical Software Verification - 9th International Workshop, {NSV}
                  2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
                  2016], Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10152},
  pages        = {63--77},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-54292-8\_6},
  doi          = {10.1007/978-3-319-54292-8\_6},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/DamoucheMPQST16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/codit/DamoucheMC16,
  author       = {Nasrine Damouche and
                  Matthieu Martel and
                  Alexandre Chapoutot},
  title        = {Data-types optimization for floating-point formats by program transformation},
  booktitle    = {International Conference on Control, Decision and Information Technologies,
                  CoDIT 2016, Saint Julian's, Malta, April 6-8, 2016},
  pages        = {576--581},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/CoDIT.2016.7593626},
  doi          = {10.1109/CODIT.2016.7593626},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/codit/DamoucheMC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cf/DamoucheMC15,
  author       = {Nasrine Damouche and
                  Matthieu Martel and
                  Alexandre Chapoutot},
  editor       = {Claudia Di Napoli and
                  Valentina Salapura and
                  Hubertus Franke and
                  Rui Hou},
  title        = {Optimizing the accuracy of a rocket trajectory simulation by program
                  transformation},
  booktitle    = {Proceedings of the 12th {ACM} International Conference on Computing
                  Frontiers, CF'15, Ischia, Italy, May 18-21, 2015},
  pages        = {40:1--40:2},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2742854.2742894},
  doi          = {10.1145/2742854.2742894},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cf/DamoucheMC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/DamoucheMC15,
  author       = {Nasrine Damouche and
                  Matthieu Martel and
                  Alexandre Chapoutot},
  editor       = {Manuel N{\'{u}}{\~{n}}ez and
                  Matthias G{\"{u}}demann},
  title        = {Intra-procedural Optimization of the Numerical Accuracy of Programs},
  booktitle    = {Formal Methods for Industrial Critical Systems - 20th International
                  Workshop, {FMICS} 2015, Oslo, Norway, June 22-23, 2015 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9128},
  pages        = {31--46},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19458-5\_3},
  doi          = {10.1007/978-3-319-19458-5\_3},
  timestamp    = {Mon, 03 Jan 2022 22:35:40 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/DamoucheMC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/DamoucheMC15,
  author       = {Nasrine Damouche and
                  Matthieu Martel and
                  Alexandre Chapoutot},
  editor       = {Moreno Falaschi},
  title        = {Impact of Accuracy Optimization on the Convergence of Numerical Iterative
                  Methods},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 25th International
                  Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9527},
  pages        = {143--160},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-27436-2\_9},
  doi          = {10.1007/978-3-319-27436-2\_9},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/DamoucheMC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DamoucheMC15,
  author       = {Nasrine Damouche and
                  Matthieu Martel and
                  Alexandre Chapoutot},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel},
  title        = {Transformation of a {PID} Controller for Numerical Accuracy},
  booktitle    = {Seventh and Eighth International Workshops on Numerical Software Verification,
                  {NSV} 2014, Vienna, Austria, July 17-18, 2014 {\&} {NSV} 2015,
                  Seattle, WA, USA, April 13, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {317},
  pages        = {47--54},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.006},
  doi          = {10.1016/J.ENTCS.2015.10.006},
  timestamp    = {Thu, 10 Nov 2022 15:22:15 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DamoucheMC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.