Add new publication and Params to fr content folder

Decysif · Dec 23, 2024 · a92d30b · a92d30b
1 parent 25ca17a
commit a92d30b
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/content/fr/deliverables.md b/content/fr/deliverables.md
@@ -32,11 +32,21 @@ project_deliverables:
 publications:
   - papername: "Formally Verified Rounding Errors of the Logarithm-Sum-Exponential Function"
     url: "https://inria.hal.science/hal-04674600"
+    wherepublished: "Formal Methods in Computer-Aided Design"
     date: "2024"
     authors:
       - "Paul Bonnot"
       - "Benoît Boyer"
       - "Florian Faissole"
       - "Claude Marché"
       - "Raphaël Rieu-Helft"
+  - papername: "Generating and Certifying Accuracy Properties of Floating-Point Programs"
+    url: "https://inria.hal.science/hal-04820735"
+    wherepublished: "Inria Research Report"
+    date: "2024"
+    authors:
+      - "Paul Bonnot"
+      - "Benoît Boyer"
+      - "Florian Faissole"
+      - "Claude Marché"
 ---