VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Adje, Assale	Policy iteration in finite templates domain
Armstrong, Robert C.	Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics
C
Chapoutot, Alexandre	Transformation of a PID Controller for Numerical Accuracy
D
Damouche, Nasrine	Transformation of a PID Controller for Numerical Accuracy
Dreossi, Tommaso	Epsilon-semantics and hybrid automata
G
Gao, Sicun	Verifying Floating-Point Implementations of Nonlinear Functions
H
Hulette, Geoffrey C.	Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics
K
Kapinski, Jim	Numerical Challenges in Simulation-guided Dynamical System Analysis
Kumar Jha, Sumit	Verifying Parameterized Software Models in Computational Data Science against Behavioral Specifications
M
Martel, Matthieu	Transformation of a PID Controller for Numerical Accuracy
Mayo, Jackson R.	Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics
Muller, Jean-Michel	Getting tight error bounds in floating-point arithmetic: illustration with complex functions, and the real x^n function
N
Nehmeier, Marco	SetBased Decorated Intervals
Neron, Pierre	Certifying Square Root and Division Elimination
R
Ruthruff, Joseph R.	Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics
S
Spandl, Christoph	Computational complexity of iterated maps on points and sets
T
Theveny, Philippe	Correctness of Parallel Interval Computations
W
Wolff von Gudenberg, Jürgen	SetBased Decorated Intervals

Disclaimer | Powered by EasyChair Smart Program