|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn |
Monitoring Bounded LTL Properties Using Interval Analysis.  |
NSV  |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Jacobsen, Alexey Solovyev, Ganesh Gopalakrishnan |
A Parameterized Floating-Point Formalizaton in HOL Light. |
NSV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavithra Prabhakar, Miriam Garcia Soto |
AVERIST: An Algorithmic Verifier for Stability. |
NSV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy Bogomolov, Matthieu Martel |
Preface. |
NSV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey C. Hulette, Robert C. Armstrong, Jackson R. Mayo, Joseph R. Ruthruff |
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics. |
NSV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi, Kazunori Ueda |
HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa. |
NSV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stef Graillat, Fabienne Jézéquel, Romain Picot |
Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic. |
NSV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari 0001 |
Attacking a Feedback Controller. |
NSV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot |
Transformation of a PID Controller for Numerical Accuracy. |
NSV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Neron |
A Certifying Square Root and Division Elimination. |
NSV |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy Bogomolov, Matthieu Martel (eds.) |
Seventh and Eighth International Workshops on Numerical Software Verification, NSV 2014, Vienna, Austria, July 17-18, 2014 & NSV 2015, Seattle, WA, USA, April 13, 2015 |
NSV |
2015 |
DBLP BibTeX RDF |
|
| 1 | Assalé Adjé |
Policy Iteration in Finite Templates Domain. |
NSV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric |
Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs. |
NSV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh |
Numerically-aided Deductive Safety Proof for a Powertrain Control System. |
NSV |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvie Boldo |
Stupid is as Stupid Does: Taking the Square Root of the Square of a Floating-Point Number. |
NSV |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license