Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

NSV@CAV 2017: Heidelberg, Germany

> Home > Conferences and Workshops > CAV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cav/2017nsv
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2017nsv
Alessandro Abate, Sylvie Boldo:
Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with CAV 2017]. Lecture Notes in Computer Science 10381, Springer 2017, ISBN 978-3-319-63500-2

Keynote Abstracts

- view
  authority control:
- export record
  dblp key:
  - conf/cav/MakinoB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MakinoB17
Kyoko Makino, Martin Berz:
Verified Computations Using Taylor Models and Their Applications. 3-13
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Revol17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Revol17
Nathalie Revol:
Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic. 14-21

Precise Numerics

- view
  authority control:
- export record
  dblp key:
  - conf/cav/BlotMT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BlotMT17
Arthur Blot, Jean-Michel Muller, Laurent Théry:
Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers. 25-37
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CattaruzzaASK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CattaruzzaASK17
Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening:
Sound Numerical Computations in Abstract Acceleration. 38-60
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FevotteL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FevotteL17
François Févotte, Bruno Lathuilière:
Studying the Numerical Quality of an Industrial Computing Code: A Case Study on Code_aster. 61-80

Analysis and Verification of Continuous and Hybrid Models

- view
  authority control:
- export record
  dblp key:
  - conf/cav/BakBHK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BakBHK17
Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Aviral Kumar:
Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees. 83-89
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BerzM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BerzM17
Martin Berz, Kyoko Makino:
Rigorous Reachability Analysis and Domain Decomposition of Taylor Models. 90-97
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Chou0S17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Chou0S17
Yi Chou, Xin Chen, Sriram Sankaranarayanan:
A Study of Model-Order Reduction Techniques for Verification. 98-113

a service of

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.