NSV 2014 PROCEEDINGS: AUTHOR INDEX

Shortcuts: A C D H J K M N R S

A
Adje, Assale	Policy iteration in finite templates domain (PDF, talk)
Armstrong, Robert C.	Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics (PDF, talk)
C
Chapoutot, Alexandre	Transformation of a PID Controller for Numerical Accuracy (PDF, talk)
D
Damouche, Nasrine	Transformation of a PID Controller for Numerical Accuracy (PDF, talk)
H
Hulette, Geoffrey C.	Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics (PDF, talk)
J
Jha, Sumit Kumar	Verifying Parameterized Software Models in Computational IData Science against Behavioral Specifications (PDF, talk)
K
Kapinski, James	Numerical Challenges in Simulation-guided Dynamical System Analysis (PDF, talk)
M
Martel, Matthieu	Transformation of a PID Controller for Numerical Accuracy (PDF, talk)
Mayo, Jackson R.	Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics (PDF, talk)
Muller, Jean-Michel	Getting tight error bounds in floating-point arithmetic: illustration with complex functions, and the real x^n function (PDF, talk)
N
Neron, Pierre	Certifying Square Root and Division Elimination (PDF, talk)
R
Ruthruff, Joseph R.	Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics (PDF, talk)
S
Spandl, Christoph	Computational complexity of iterated maps on points and sets (PDF, talk)