| HAL-Inria | Publications, software ... of Inria's scientists |
Reports
Évaluation des Logiciels
Anne Canteaut
1
Miguel Angel Fernández
2
Luc Maranget
3
Sophie Perin
4
Mario Ricchiuto
5
Manuel Serrano
6
Emmanuel Thomé
7
1
COSMIQ - Cryptologie symétrique, cryptologie fondée sur les codes et information quantique
Inria de Paris
2
COMMEDIA - COmputational Mathematics for bio-MEDIcal Applications
Inria de Paris, LJLL (UMR_7598) - Laboratoire Jacques-Louis Lions
3
CAMBIUM - Langages de programmation : systèmes de types, concurrence, preuve de programme
Inria de Paris, CdF (institution) - Collège de France
5
CARDAMOM - Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
IMB - Institut de Mathématiques de Bordeaux, Inria Bordeaux - Sud-Ouest
7
CARAMBA - Cryptology, arithmetic : algebraic methods for better algorithms
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
Anne Canteaut 1
Author IdHAL : anne-canteaut ORCID : https://orcid.org/0000-0002-6292-8336
Miguel Angel Fernández 2
Author IdHAL : miguel-fernandez
Luc Maranget 3
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : luc-maranget
Sophie Perin 4
Author
Mario Ricchiuto 5
Author Employer institution : Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts IdHAL : mario-ricchiuto
Manuel Serrano 6
Author IdHAL : manuel-serrano
Emmanuel Thomé 7
Author IdHAL : emmanuelthome ORCID : https://orcid.org/0000-0002-5669-2195
1
COSMIQ - Cryptologie symétrique, cryptologie fondée sur les codes et information quantique (2 rue Simone Iff -CS 42112 -75589 Paris Cedex 12 - France)
- Inria de Paris (2 rue Simone Iff -
CS 42112 -
75589 Paris Cedex 12 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
2
COMMEDIA - COmputational Mathematics for bio-MEDIcal Applications (2 rue Simone Iff
75012 Paris - France)
- Inria de Paris (2 rue Simone Iff -
CS 42112 -
75589 Paris Cedex 12 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- LJLL (UMR_7598) - Laboratoire Jacques-Louis Lions (Sorbonne-Université, Boîte courrier 187 - 75252 Paris Cedex 05 - France)
- SU - Sorbonne Université (21 rue de l’École de médecine - 75006 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR_7598 (France)
- UPC - Université Paris Cité : UMR_7598 (85 boulevard Saint-Germain 75006 Paris - France)
3
CAMBIUM - Langages de programmation : systèmes de types, concurrence, preuve de programme (France)
- Inria de Paris (2 rue Simone Iff -
CS 42112 -
75589 Paris Cedex 12 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- CdF (institution) - Collège de France (France)
4
Inria Lille - Nord Europe (Parc Scientifique de la Haute Borne 40, avenue Halley Bât.A, Park Plaza 59650 Villeneuve d'Ascq - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
5
CARDAMOM - Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts (200, avenue de la Vieille Tour
33405 Talence cedex - France)
- IMB - Institut de Mathématiques de Bordeaux (351 cours de la Libération 33405 TALENCE CEDEX - France)
- Université Bordeaux Segalen - Bordeaux 2 (146 rue Léo Saignat - 33076 Bordeaux cedex - France)
- Université Sciences et Technologies - Bordeaux 1 (351 cours de la Libération - 33405 Talence cedex - France)
- UB - Université de Bordeaux (35, place Pey Berland - 33076 Bordeaux - France)
- Bordeaux INP - Institut Polytechnique de Bordeaux (Avenue des facultés 33405 Talence - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5251 / FR2254 (France)
- Inria Bordeaux - Sud-Ouest (200, avenue de la Vieille Tour,
33405 Talence - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
6
INDES - Secure Diffuse Programming (2004, route des lucioles - BP 93 - 06902 Sophia Antipolis Cedex - France)
- CRISAM - Inria Sophia Antipolis - Méditerranée (2004 route des Lucioles BP 93 06902 Sophia Antipolis - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
7
CARAMBA - Cryptology, arithmetic : algebraic methods for better algorithms (615 rue du Jardin Botanique
54600 Villers-lès-Nancy - France)
- Inria Nancy - Grand Est (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry (France)
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- UL - Université de Lorraine (34 cours Léopold - CS 25233 - 54052 Nancy cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7503 (France)
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France)
Document type :
Reports
Domain :
Complete list of metadata
https://hal.inria.fr/hal-03110723
Contributor : Anne Canteaut Connect in order to contact the contributor
Submitted on : Thursday, January 14, 2021 - 6:24:37 PM
Last modification on : Sunday, May 1, 2022 - 3:17:15 AM
Long-term archiving on: : Thursday, April 15, 2021 - 7:26:49 PM
Contributor : Anne Canteaut Connect in order to contact the contributor
Submitted on : Thursday, January 14, 2021 - 6:24:37 PM
Last modification on : Sunday, May 1, 2022 - 3:17:15 AM
Long-term archiving on: : Thursday, April 15, 2021 - 7:26:49 PM
File
CE_gt-logiciel.pdf
Files produced by the author(s)
Identifiers
- HAL Id : hal-03110723, version 1
Collections
UNIV-LORRAINE | INRIA2 | LORIA | LORIA-ALGO | UNIV-COTEDAZUR | CNRS | LARA | LJLL | UP-SCIENCES | UNIV-PARIS | INRIA | SORBONNE-UNIVERSITE | SU-SCIENCES | SU-TI | CDF | PSL
Citation
Anne Canteaut, Miguel Angel Fernández, Luc Maranget, Sophie Perin, Mario Ricchiuto, et al.. Évaluation des Logiciels. [Rapport de recherche] Inria. 2021. ⟨hal-03110723⟩
Metrics
Record views
255
Files downloads