| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Certifying Square Root and Division Elimination
|
Neron, Pierre
|
|
2015
|
317 |
C |
p. 117-131
15 p.
|
artikel
|
| 2 |
A Parameterized Floating-Point Formalizaton in HOL Light
|
Jacobsen, Charles
|
|
2015
|
317 |
C |
p. 101-107
7 p.
|
artikel
|
| 3 |
Attacking a Feedback Controller
|
Tiwari, Ashish
|
|
2015
|
317 |
C |
p. 141-153
13 p.
|
artikel
|
| 4 |
AVERIST: An Algorithmic Verifier for Stability
|
Prabhakar, Pavithra
|
|
2015
|
317 |
C |
p. 133-139
7 p.
|
artikel
|
| 5 |
HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa
|
Matsumoto, Shota
|
|
2015
|
317 |
C |
p. 109-115
7 p.
|
artikel
|
| 6 |
Monitoring Bounded LTL Properties Using Interval Analysis
|
Ishii, Daisuke
|
|
2015
|
317 |
C |
p. 85-100
16 p.
|
artikel
|
| 7 |
Numerically-aided Deductive Safety Proof for a Powertrain Control System
|
Aréchiga, Nikos
|
|
2015
|
317 |
C |
p. 19-25
7 p.
|
artikel
|
| 8 |
Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic
|
Graillat, S.
|
|
2015
|
317 |
C |
p. 55-69
15 p.
|
artikel
|
| 9 |
Policy Iteration in Finite Templates Domain
|
Adjé, Assalé
|
|
2015
|
317 |
C |
p. 3-18
16 p.
|
artikel
|
| 10 |
Preface
|
Bogomolov, Sergiy
|
|
2015
|
317 |
C |
p. 1-2
2 p.
|
artikel
|
| 11 |
Stupid is as Stupid Does: Taking the Square Root of the Square of a Floating-Point Number
|
Boldo, Sylvie
|
|
2015
|
317 |
C |
p. 27-32
6 p.
|
artikel
|
| 12 |
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics
|
Hulette, Geoffrey C.
|
|
2015
|
317 |
C |
p. 71-83
13 p.
|
artikel
|
| 13 |
Transformation of a PID Controller for Numerical Accuracy
|
Damouche, N.
|
|
2015
|
317 |
C |
p. 47-54
8 p.
|
artikel
|
| 14 |
Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs
|
Chiang, Wei-Fan
|
|
2015
|
317 |
C |
p. 33-45
13 p.
|
artikel
|
Tijdschrift beschrijving