Numerical Software Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319635002, 9783319635019

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Rigorous Reachability Analysis and Domain Decomposition of Taylor Models

Numerical Software Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-63501-9_7 ◽

2017 ◽

pp. 90-97 ◽

Cited By ~ 2

Author(s):

Martin Berz ◽

Kyoko Makino

Keyword(s):

Domain Decomposition ◽

Reachability Analysis ◽

Taylor Models

Download Full-text

A Study of Model-Order Reduction Techniques for Verification

Numerical Software Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-63501-9_8 ◽

2017 ◽

pp. 98-113 ◽

Cited By ~ 2

Author(s):

Yi Chou ◽

Xin Chen ◽

Sriram Sankaranarayanan

Keyword(s):

Model Order Reduction ◽

Order Reduction ◽

Model Order ◽

Reduction Techniques

Download Full-text

Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic

Numerical Software Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-63501-9_2 ◽

2017 ◽

pp. 14-21 ◽

Cited By ~ 3

Author(s):

Nathalie Revol

Keyword(s):

Interval Arithmetic

Download Full-text

Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers

Numerical Software Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-63501-9_3 ◽

2017 ◽

pp. 25-37 ◽

Cited By ~ 1

Author(s):

Arthur Blot ◽

Jean-Michel Muller ◽

Laurent Théry

Keyword(s):

Floating Point ◽

Comparison Algorithms ◽

Floating Point Numbers

Download Full-text

Sound Numerical Computations in Abstract Acceleration

Numerical Software Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-63501-9_4 ◽

2017 ◽

pp. 38-60

Author(s):

Dario Cattaruzza ◽

Alessandro Abate ◽

Peter Schrammel ◽

Daniel Kroening

Keyword(s):

Numerical Computations

Download Full-text

Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees

Numerical Software Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-63501-9_6 ◽

2017 ◽

pp. 83-89 ◽

Cited By ~ 1

Author(s):

Stanley Bak ◽

Sergiy Bogomolov ◽

Thomas A. Henzinger ◽

Aviral Kumar

Keyword(s):

Random Trees ◽

Rapidly Exploring Random Trees

Download Full-text

Studying the Numerical Quality of an Industrial Computing Code: A Case Study on Code_aster

Numerical Software Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-63501-9_5 ◽

2017 ◽

pp. 61-80 ◽

Cited By ~ 2

Author(s):

François Févotte ◽

Bruno Lathuilière

Download Full-text

Verified Computations Using Taylor Models and Their Applications

Numerical Software Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-63501-9_1 ◽

2017 ◽

pp. 3-13 ◽

Cited By ~ 6

Author(s):

Kyoko Makino ◽

Martin Berz

Keyword(s):

Taylor Models ◽

Verified Computations

Download Full-text

Numerical Software Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Rigorous Reachability Analysis and Domain Decomposition of Taylor Models

A Study of Model-Order Reduction Techniques for Verification

Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic

Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers

Sound Numerical Computations in Abstract Acceleration

Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees

Studying the Numerical Quality of an Industrial Computing Code: A Case Study on Code_aster

Verified Computations Using Taylor Models and Their Applications

Numerical Software Verification - Lecture Notes in Computer Science
Latest Publications