default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNSV@CAV 2016: Toronto, ON, Canada
- Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar:
Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with CAV 2016], Revised Selected Papers. Lecture Notes in Computer Science 10152, 2017, ISBN 978-3-319-54291-1 - Alessandro Abate:
Verification of Networks of Smart Energy Systems over the Cloud. 1-14 - Assalé Adjé:
Proving Properties on PWA Systems Using Copositive and Semidefinite Programming. 15-30 - Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar:
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory. 31-46 - Sylvie Boldo:
Computing a Correct and Tight Rounding Error Bound Using Rounding-to-Nearest. 47-51 - Alexandre Chapoutot
, Julien Alexandre Dit Sandretto:
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon. 52-62 - Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock:
Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. 63-77 - Thomas Heinz:
Falsification of Dynamical Systems - An Industrial Perspective. 78-84 - Behzad Samadi:
Model Based Automatic Code Generation for Nonlinear Model Predictive Control. 85-95 - Yassamine Seladji:
Reduce the Complexity of the Polyhedron Minimization Using the Max Plus Pruning Method. 96-104
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 2026-05-14 00:39 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:
