List of Publications

Copyright notice: Some material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

• International journals

  • L. Benet, L. Ferranti and N. Revol
    A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance, Concurrency and Computation: Practice and Experience (2023): e7856.
    
  • N. Revol
    Affine Iterations and Wrapping Effect: Various Approaches, Acta Cybernetica, vol. 26, no 1, pp 129-147, 2023. (Preprint.)
    
  • N. Revol and P. Théveny
    Numerical reproducibility and parallel computations: Issues for interval algorithms, IEEE Transactions on Computers, vol. 63, no 8, pp 1915-1924, 2014. DOI: 10.1109/TC.2014.2322593 (Preprint.)
    
  • N. Revol and P. Théveny
    Parallel Implementation of Interval Matrix Multiplication, Reliable Computing, vol. 19, no. 1, pp 91-106, 2013.
    
  • P. Collins, M. Niqui and N. Revol
    A Validated Real Function Calculus, Mathematics in Computer Science, vol. 5, no 4, pp 437-467, 2011.
    
  • H. D. Nguyen and N. Revol
    Solving and Certifying the Solution of a Linear System, Reliable Computing, vol. 15, issue 2, pp 120-131, 2011.
    
  • N. Brisebarre, D. Defour, P. Kornerup, J.-M. Muller and N. Revol
    A new range reduction algorithm, IEEE Transactions on Computers vol. 54, no 3, pp 331-339, 2005. (bibtex ref, original publication, PDF).
    Presented at the 35th Conference on signals, systems and computers, Asilomar, USA, 4-7 November 2001.
    Research report RR 2001-33, LIP, École Normale Supérieure de Lyon and INRIA research report RR-4267.
    
  • N. Revol and F. Rouillier
    Motivations for an arbitrary precision interval arithmetic and the MPFI library, Reliable Computing, vol. 11, no 4, pp 275--290, 2005 (bibtex ref, original publication, PDF).
    Presented at the Validated Computing conference, Toronto, Canada, 23-25 May 2002
    Research report RR 2002-27, LIP, École Normale Supérieure de Lyon and INRIA research report RR-4498.
  • N. Revol, K. Makino and M. Berz
    Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY, Journal of Logic and Algebraic Programming, vol. 64, pp 135--154, 2005 (bibtex ref, PostScript).
    Research report RR 2003-11, LIP, École Normale Supérieure de Lyon, INRIA research report RR-4737 and Michigan State University with the reference MSU Department of Physics Report MSUHEP-30212.
  • D. Defour, G. Hanrot, V. Lefèvre, J.-M. Muller, N. Revol and P. Zimmermann
    Proposal for a standardization of mathematical function implementation in floating-point arithmetic, Numerical Algorithms, vol. 37, no 1-4, pp 367--375, 2004 (bibtex ref, original publication, PDF).
    Presented at the SCAN conference, Paris, France, 24-27 September 2002.
  • N. Revol
    Interval Newton iteration in multiple precision for the univariate case Numerical Algorithms, vol 34, no 2, pp 417--426, 2003 (bibtex ref, original publication, PostScript).
    Presented at the conference NA'2001 (Numerical Algorithms), dedicated to Claude Brezinski on the occasion of his 60th birthday, Marrakesh, Morocco, 1-5 October 2001.
    Research report RR 2001-49, LIP, École Normale Supérieure de Lyon and INRIA research report RR-4334, extended version of the previous paper.
  • N. Revol and J.-C. Yakoubsohn
    Accelerated Shift-and-Add algorithms, Reliable Computing, vol. 6, no 2, pp. 193-205, 2000 (bibtex ref, original publication, PDF).
    Presented at SCAN'98, Hungary, Sept. 1998. (abstract).
    Accelerated shift-and-add algorithms for an hardware implementation of elementary functions, research report, extended version of the previous paper (abstract and PostScript).
  • N. Revol and J.-L. Roch
    Parallel evaluation of arithmetic circuits, Theoretical Computer Science A, vol. 162, no 1, pp. 133-150, July 1996 (bibtex ref, original publication, PostScript).

• Books and chapters in books

  • N. Revol
    Influence of the Condition Number on Interval Computations: Illustration on Some Examples, in honour of Vladik Kreinovich'65th birthday. In Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy etc. Methods and Their Applications, Springer Studies in Computational Intelligence vol 835, pp. 359-373, 2020. (Preprint.)
  • J.-M. Muller, N. Brunie, F. de Dinechin, C.-P. Jeannerod, M. Joldes, V. Lefèvre, G. Melquiond, N. Revol, and Serge Torres,
    Handbook of Floating-Point Arithmetic, Birkhäuser Basel, 2nd edition, 2018.
  • C.-P. Jeannerod and N. Revol
    Analyser et encadrer les erreurs dues à l'arithmétique flottante (in french), in Informatique mathématique: une photographie en 2017, CNRS Editions ISSN 978-2-271-11523-2, pp. 115-144, 2017.
  • J.-M. Muller, N. Brisebarre, F. de Dinechin, C.-P. Jeannerod, V. Lefèvre, G. Melquiond, N. Revol, D. Stehlé and Serge Torres,
    Handbook of Floating-Point Arithmetic, Birkhäuser Boston, 2010.
  • F. de Dinechin, M.D. Ercegovac, J.-M. Muller and N. Revol
    Digital Arithmetic, in Encyclopedia of Computer Science and Engineering, pp. 935--948, Benjamin W. Wah editor, Hoboken, NJ, January 2009.
  • J.-C. Bajard, O. Beaumont, J.-M. Chesneaux, M. Daumas, J. Erhel, D. Michelucci, J.-M. Muller, B. Philippe, N. Revol, J.-L. Roch, J. Vignes
    coordonné par M. Daumas et J.-M. Muller
    Qualité des calculs sur ordinateurs, chapitre Arithmétique multi-précision avec J.-C. Bajard, Masson, 1997, bibtex ref,
    (Click here for an overview and the table of contents)

• Edition

  • J. Hormigo, J.-M. Muller, S. Oberman, N. Revol, A. Tisserand and J. Villalba-Moreno
    Guest editors of a special issue on Computer Arithmetic in IEEE Transactions on Computers, vol. 66, no 12, 2017.
  • G. Alefeld and N. Revol
    Guest editors of a topical issue of Computing, vol. 94, issues 2-4, March 2012.
  • P. Hertling, C. Hoffmann, W. Luther and N. Revol
    Guest editors of a special issue on Reliable Implementation of Real Number Algorithms: Theory and Practice, Lecture Notes in Computer Science, volume 5045, 2008.
  • M. Daumas and N. Revol
    Guest editors of a special issue on Real Numbers and Computers, Theoretical Computer Science, volume 351, issue 1, February 2006.
  • S. El Hajji, N. Revol and P. Van Dooren
    Guest editors of a special issue on Linear Algebra and Arithmetic, Journal of Computational and Applied Mathematics, vol 162, no 1, 2004.

• National journals

  • N. Revol
    Un numéro spécial 100& rédigé par des femmes : pourquoi ?, MathemaTICE numéro spécial no 86, septembre 2023.
    
  • F. Jézéquel, Ph, Langlois and N. Revol
    First steps towards more numerical reproducibility, ESAIM: M2AN (Mathematical Modelling and Numerical Analysis), vol. 45, pp. 229-238, 2014.
    
  • F. Langrognet, F. Jézéquel and N. Revol
    JDEV 2013 : Développer pour calculer, part Des outils pour calculer avec précision and part Comment calculer avec des intervalles (in french), HPC magazine, 2013.
  • N. Revol
    Arithmétique par intervalles, Calculateurs Parallèles et Systèmes Répartis, vol 13, pp 387--426, 2001 (in french) (bibtex ref, résumé).
    Introduction à l'arithmétique par intervalles, research report RR 2001-41, LIP, École Normale Supérieure de Lyon and INRIA research report RR-4297, extended version of the previous paper.

• Conferences with referees and proceedings

  • N. Revol, L. Benet Fernández, L. Ferranti, and S. Zhilin
    Testing interval arithmetic libraries, including their IEEE-1788 compliance (preprint), PPAM 2022: 14th International Conference on Parallel Processing and Applied Mathematics, Gdansk, Poland, 11-14 September 2022. Springer LNCS 13827, pp. 428-440, 2023.
  • N. Revol
    The MPFI Library: Towards IEEE 1788-2015 Compliance, PPAM 2019: 13th International Conference on Parallel Processing and Applied Mathematics, Bialystok, Poland, 8-11 September 2019. Springer LNCS 12044, pp. 353-363, 2020.
  • N. Revol
    Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic, invited plenary conference at NSV17: 10th International Workshop on Numerical Software Verification 2017, Springer LNCS 10381, pp. 14-21, Heidelberg, Germany, 22-23 July 2017. (DOI: 10.1007/978-3-319-63501-9)
  • N. Revol
    Latest developments on the IEEE 1788 effortt for the standardization of interval arithmetic, ICVRAM & ISUMA - Second International Conference on Vulnerability and Risk Analysis and Management & Sixth International Symposium on Uncertainty Modelling and Analysis, Liverpool, United Kingdom, July 13-16, 2014, (10 pages, ASCE publisher).
  • H. D. Nguyen and N. Revol
    Refining and verifying the solution of a linear system, In SNC 2011 - Symbolic-Numeric Computation, San Jose, California, June 7-9, 2011. ACM Digital Library (3 pages).
  • N. Revol
    Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries, presented at the ICMS 2010 - The Third International Congress on Mathematical Software conference, Kobe, Japan, 13-17 September 2010. Lecture Notes in Computer Science 6327, pp 337-341.
  • H. D. Nguyen and N. Revol
    High performance linear algebra using interval arithmetic, In PASCO'10 4th International Workshop in Parallel and Symbolic Computation, Grenoble, France, ACM Digital Library pp 171-172, 2010.
  • V. Lefèvre, P. Théveny, F. de Dinechin, C.-P. Jeannerod, C. Mouilleron, D. Pfannholzer, N. Revol
    LEMA: Towards a Language for Reliable Arithmetic, presented at the PLMMS 2010 Programming Languages for Mechanized Mathematics Systems conference, Paris, France, 8th July 2010. (text available here).
  • S. Chevillard, N. Revol
    Computation of the error function erf in arbitrary precision with correct rounding, presented at the RNC8 (Real Numbers and Computers) conference, pages 27-36, Santiago de Compostela, Spain, 7-9 July 2008.
  • R.B. Kearfott, J. Pryce and N. Revol
    Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021, ISBN:978-3-642-01590-8 follow-up of the seminary on Numerical Validation in Current Hardware Architectures, at Dagstuhl, Germany, held 6-11 January, 2008. Lecture Notes in Computer Science no 5492, pp 1--6, 2009.
    bibtex ref, Research report RR 2003-32, LIP, École Normale Supérieure de Lyon and INRIA research report RR-4841.
  • M. Grimmer, K. Petras and N. Revol
    Multiple Precision Interval Packages: Comparing Different Approaches, follow-up of the seminary on Numerical Software with Result Verification, at Dagstuhl, Germany, held 19-24 January, 2003. Lecture Notes in Computer Science no 2991, pp 64--90, 2004.
    bibtex ref, Research report RR 2003-32, LIP, École Normale Supérieure de Lyon and INRIA research report RR-4841.
  • N. Revol, Y. Denneulin, J.-F. Méhaut and B. Planquelle
    A methodology of parallelization for continuous verified global optimization, PPAM 2001 (Parallel Processing and Applied Mathematics), Naleczów, Poland, 9-12 September 2001, Lecture Notes in Computer Science no 2328, pp 803--810, 2002.
    bibtex ref, Research report ANO 404, extended (old) version of the previous paper.
  • B. Planquelle, J.-F. Méhaut and N. Revol
    Multi-protocol communications and high performance networks, EuroPar'99, Toulouse, France, September 1999. Lecture Notes in Computer Science no 1685, pp 139-143. bibtex ref.
    Multi-protocol communications and high performance networks, research report 1999-23, LIP, Ecole Normale Supérieure de Lyon, March 1999 (PostScript).
  • B. Planquelle, J.-F. Méhaut and N. Revol
    MC-PM2: Multi-cluster approach with PM2, Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, June 1999, pp. 779--785, vol. II. CSREA Press, bibtex ref.
  • N. Revol and J.-L. Roch
    Automatic parallelization of numerical programs in fields and lattices,
    Numerical Methods and Applications, Bulgaria, August 1994, pp 265--273, World Scientific bibtex ref, (abstract).

• Conferences

  • N. Revol
    Testing Interval Arithmetic Libraries, invited plenary conference at SWIM 2022: Summer Workshop on Interval Methods, Hanover, Germany, 19-21 July 2022.
  • N. Revol
    MPFI Library: Towards Compliance with the IEEE 1788-2015 Standard for Interval Arithmetic, SCAN 2018: 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Tokyo, Japan, 10-15 September 2018.
  • N. Revol
    Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic, and the MPFI Library, Dagstuhl workshop 18165: iRRAM/MPFR/MPC, Dagstuhl, Germany, 18-20 April 2018.
  • N. Revol
    HPC and Interval Computations, SCAN 2016: 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Uppsala, Sweden, 26-29 September 2016.
  • N. Revol
    Parallel Interval Algorithms, Numerical Guarantees and Numerical Reproducibility, SIAM PP 2016: SIAM Conference on Parallel Processing for Scientific Computing, Paris, France, 12-15 April 2016.
  • N. Revol
    The (near-)future IEEE 1788 standard for interval arithmetic, SWIM 2015: 8th Small Workshop in Interval Methods, Prague, Czech Republic, 9-11 June 2015.
  • N. Revol and P. Théveny
    Numerical reproducibility in HPC: the interval point of view, PPAM'2013: 10th International Conference on Parallel Processing and Applied Mathematics, Warsaw, Poland, September 8-11, 2013.
  • N. Revol and P. Théveny
    Numerical reproducibility in HPC: issues in interval arithmetic, SWIM'2013: 6th Small Workshop on Interval Methods, Brest, France,June 5-7, 2013.
  • N. Revol and P. Théveny
    Interval matrix multiplication on parallel architectures, SCAN 2012: 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Novosibirsk, Russian Federation, September 23-29, 2012.
  • H. D. Nguyen, N. Revol and P. Théveny
    Tradeoff between Accuracy and Efficiency for Optimized and Parallel Interval Matrix Multiplication, PARA 2012 - Workshop on the State-of-the-Art in Scientific and Parallel Computing, LNCS, Helsinki, Finland, June 10-13, 2012.
  • H. D. Nguyen and N. Revol
    Verified Numerical Linear Algebra: Linear System Solving, In SIAM Conference on Applied Algebraic Geometry, Raleigh, North Carolina, USA, 6-9 October 2011.
  • H. D. Nguyen and N. Revol
    Refining and verifying efficiently the solution of a linear system, In Dagstuhl seminar 11371: Uncertainty modeling and analysis with intervals: Foundations, tools, applications, Dagstuhl, Germany, 11-16 September 2011.
  • F. de Dinechin, C.-P. Jeannerod, D. Pfannholzer and Nthalie Revol.
    Code generation for argument filtering and argument reduction in elementary functions, In SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Lyon, France, 2010.
  • H. D. Nguyen and N. Revol
    Accuracy issues in linear algebra using interval arithmetic, In SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Lyon, France, 2010.
  • P. Collins, M. Niqui, N. Revol
    Taylor Function Calculus for Hybrid System Analysis: Validation in Coq, presented at the NSV-3 (Numerical Software Verification) conference, Edinburgh, United Kingdom, 15 July 2010. (preliminary version available as INRIA Research Report).
  • H. D. Nguyen, N. Revol
    Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision, presented at the NSV-3 (Numerical Software Verification) conference, Edinburgh, United Kingdom, 15 July 2010. (text available here).
  • H. D. Nguyen and N. Revol
    Relaxed method to certify the solution of a linear system, In SWIM'09 (Small Workshop on Interval Methods ), Lausanne, Switzerland, June 2009.
  • H. D. Nguyen and N. Revol
    Solving and Certifying the Solution of a Linear System, presented at the SCAN 2008 conference, El Paso, Texas, USA, Sept. 29 - Oct. 3, 2008.
  • C.-P. Jeannerod, N. Louvet, N. Revol, G. Villard,
    Computing Condition Numbers with Automatic Differentiation, presented at the SCAN 2008 conference, El Paso, Texas, USA, Sept. 29 - Oct. 3, 2008.
  • J.-C. Bajard, Ph. Langlois, D. Michelucci, G. Morin and N. Revol
    Floating-point geometry, presented at the SPIE Optical Engineering and Applications conference, part of the SPIE Optics+Photonics conference, San Diego, California, USA, 10-14 August 2008.
  • C.-P. Jeannerod, N. Louvet, N. Revol, G. Villard
    On the Computation of some Componentwise Condition Numbers, presented at the SNSC'08 (4th International Conference on Symbolic and Numerical Scientific Computing) conference, Hagenberg, Austria, 24-26 July 2008.
  • N. Revol
    Introduction to Interval Arithmetic and to some Interval-Based Software Systems and Libraries, presented at the ECMI 2008 conference, Minisymposium MS09, London, United Kingdom, 30 June - 4 July 2008.
  • N. Revol
    Survey of proposals for the standardization of interval arithmetic , In SWIM'08: Small Workshop on Interval Methods, June 2008.
  • N. Revol
    Automatic adaptation of the computing precision, In V Taylor Models Workshop, May 2008.
  • F. Cháves, M. Daumas, C. Muñoz, N. Revol
    Automatic strategies to evaluate formulas on Taylor models and generate proofs in PVS, presented at the ICIAM'07 conference, Zurich, Switzerland, July 2007, bibtex ref.
  • N. Revol
    Implementing Taylor models arithmetic with floating-point arithmetic (slides), presented at the ICIAM'07 conference, Zurich, Switzerland, July 2007, bibtex ref.
  • N. Revol
    Implementing Taylor models arithmetic with floating-point arithmetic: bounding roundoff errors, presented at the 4th Workshop on Taylor Models, Boca Raton, Florida, December 2006, bibtex ref.
  • N. Revol
    Design choices and their limits for an interval arithmetic library. The example of MPFI. presented at the conference SCAN'06, Duisburg, Germany, September 2006, bibtex ref.
  • S. Chevillard and N. Revol
    Computation of the error functions erf and erfc in arbitrary precision with correct rounding, presented at the conference IMACS'05, Paris, France, July 2005. Augmented version presented at the conference ICMS'06, Castro Urdiales, Spain, September 2006, bibtex ref.
  • N. Revol
    Bounding roundoff errors in Taylor models arithmetic, presented at the conference IMACS'05, Paris, France, July 2005.
  • N. Revol
    Convergent linear recurrences (with scalar coefficients) with divergent interval simulations, presented at the conference SCAN'04, Japan, 2004, bibtex ref.
  • N. Revol
    Multiple precision interval arithmetic and application to linear systems. presented at the International Conference on Applications of Computer Algebra, Raleigh, North Carolina, USA, 2003, bibtex ref.
  • N. Revol
    Newton iteration using multiple precision interval arithmetic: the univariate case, presented at the conference ALA'2001 (Algèbre Linéaire et Arithmétique - Linear Algebra and Arithmetic), Rabat, Morocco, 28-31 May 2001.
  • N. Revol, Y. Denneulin, J.-F. Méhaut and B. Planquelle
    Parallelization of continuous verified global optimization, 19th IFIP TC7 conference on System Modelling and Optimization, Cambridge, England, July 1999.
    Parallelization of continuous verified global optimization, research report, extended version of the previous paper (pdf obtained from a PostScript).
  • N. Revol and J.-L. Roch
    Parallel evaluation of circuits over lattices, ISSAC'95, Canada, July 1995 (abstract).

• Research reports (not published elsewhere)

  • P. Langlois and N. Revol
    Validating polynomial numerical computations with complementary automatic methods, bibtex ref, research report RR 2001-18, LIP, École Normale Supérieure de Lyon and research report RR-4205, INRIA, May 2001.
  • Y.O. Mohamed El Hadj, N. Revol and A. Meziane
    Parallelization of automatic speech recognition, bibtex ref, research report RR 2001-02, LIP, École Normale Supérieure de Lyon and research report RR-4110, INRIA, January 2001.

• Miscellaneous

  • N. Revol
    About the "accurate mode" of the IEEE 1788-2015 standard for interval arithmetic short paper, work in progress, May 2023.
  • N. Revol
    Introduction à l'arithmétique par intervalles, lecture given at the spring postgraduate school on Algorithms and Computer Algebra, Grenoble, France, 29 March - 2 April 2004 (in french) (lecture notes and slides).
  • N. Revol
    Parallélisation d'applications irrégulières : exemples en optimisation combinatoire et en optimisation globale par intervalles, lecture given at the autumn postgraduate school on Parallel and Distributed Computation ParDi, Oujda, Morocco, October 1999 (in french) (bibtex ref, abstract and PostScript).
  • N. Revol
    Complexité de l'évaluation parallèle de circuits arithmétiques,
    Ph.D. in Applied Mathematics, Institut National Polytechnique de Grenoble, August 1994 (abstract and PostScript).

Back to Nathalie Revol's home page.