Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th 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
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.
last updated on 2024-07-01 21:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
