![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
7th NSV 2014: Vienna, Austria / 8th NSV 2015: Seattle, WA, USA
- Sergiy Bogomolov, Matthieu Martel:
Seventh and Eighth International Workshops on Numerical Software Verification, NSV 2014, Vienna, Austria, July 17-18, 2014 & NSV 2015, Seattle, WA, USA, April 13, 2015. Electronic Notes in Theoretical Computer Science 317, Elsevier 2015 - Sergiy Bogomolov
, Matthieu Martel:
Preface. 1-2
NSV 2014
- Assalé Adjé:
Policy Iteration in Finite Templates Domain. 3-18 - Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer
, Bruce H. Krogh:
Numerically-aided Deductive Safety Proof for a Powertrain Control System. 19-25 - Sylvie Boldo:
Stupid is as Stupid Does: Taking the Square Root of the Square of a Floating-Point Number. 27-32 - Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric:
Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs. 33-45
NSV 2015
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
:
Transformation of a PID Controller for Numerical Accuracy. 47-54 - Stef Graillat, Fabienne Jézéquel, Romain Picot:
Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic. 55-69 - Geoffrey C. Hulette, Robert C. Armstrong, Jackson R. Mayo, Joseph R. Ruthruff:
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics. 71-83 - Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn:
Monitoring Bounded LTL Properties Using Interval Analysis. 85-100 - Charles Jacobsen, Alexey Solovyev, Ganesh Gopalakrishnan:
A Parameterized Floating-Point Formalizaton in HOL Light. 101-107 - Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi, Kazunori Ueda:
HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa. 109-115 - Pierre Neron:
A Certifying Square Root and Division Elimination. 117-131 - Pavithra Prabhakar, Miriam Garcia Soto
:
AVERIST: An Algorithmic Verifier for Stability. 133-139 - Ashish Tiwari:
Attacking a Feedback Controller. 141-153
![](https://dblp.org/img/cog.dark.24x24.png)
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.