Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with CAV 2916], Revised Selected Papers - researchr publication

researchr

You are not signed in
Sign in
Sign up

Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar, editors, Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with CAV 2916], Revised Selected Papers. Volume 10152 of Lecture Notes in Computer Science, 2017. [doi]

Conference: cav2017

Abstract is missing.

Verification of Networks of Smart Energy Systems over the CloudAlessandro Abate. 1-14 [doi]

Proving Properties on PWA Systems Using Copositive and Semidefinite ProgrammingAssalé Adjé. 15-30 [doi]

Formal Analysis of Engineering Systems Based on Signal-Flow-Graph TheorySidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar. 31-46 [doi]

Computing a Correct and Tight Rounding Error Bound Using Rounding-to-NearestSylvie Boldo. 47-51 [doi]

Studying Sequences of Jumps in Hybrid Systems to Detect Zeno PhenomenonAlexandre Chapoutot, Julien Alexandre Dit Sandretto. 52-62 [doi]

Toward a Standard Benchmark Format and Suite for Floating-Point AnalysisNasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock. 63-77 [doi]

Falsification of Dynamical Systems - An Industrial PerspectiveThomas Heinz. 78-84 [doi]

Model Based Automatic Code Generation for Nonlinear Model Predictive ControlBehzad Samadi. 85-95 [doi]

Reduce the Complexity of the Polyhedron Minimization Using the Max Plus Pruning MethodYassamine Seladji. 96-104 [doi]

runs on WebDSL