Search dblp for Publications

export results for "toc:db/conf/cav/nsv2016.bht:"

 download as .bib file

@proceedings{DBLP:conf/cav/2016nsv,
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel and
                  Pavithra Prabhakar},
  title        = {Numerical Software Verification - 9th International Workshop, {NSV}
                  2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
                  2016], Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10152},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-54292-8},
  doi          = {10.1007/978-3-319-54292-8},
  isbn         = {978-3-319-54291-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2016nsv.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Abate16,
  author       = {Alessandro Abate},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel and
                  Pavithra Prabhakar},
  title        = {Verification of Networks of Smart Energy Systems over the Cloud},
  booktitle    = {Numerical Software Verification - 9th International Workshop, {NSV}
                  2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
                  2016], Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10152},
  pages        = {1--14},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-54292-8\_1},
  doi          = {10.1007/978-3-319-54292-8\_1},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Abate16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Adje16,
  author       = {Assal{\'{e}} Adj{\'{e}}},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel and
                  Pavithra Prabhakar},
  title        = {Proving Properties on {PWA} Systems Using Copositive and Semidefinite
                  Programming},
  booktitle    = {Numerical Software Verification - 9th International Workshop, {NSV}
                  2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
                  2016], Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10152},
  pages        = {15--30},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-54292-8\_2},
  doi          = {10.1007/978-3-319-54292-8\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Adje16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BeillahiST16,
  author       = {Sidi Mohamed Beillahi and
                  Umair Siddique and
                  Sofi{\`{e}}ne Tahar},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel and
                  Pavithra Prabhakar},
  title        = {Formal Analysis of Engineering Systems Based on Signal-Flow-Graph
                  Theory},
  booktitle    = {Numerical Software Verification - 9th International Workshop, {NSV}
                  2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
                  2016], Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10152},
  pages        = {31--46},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-54292-8\_3},
  doi          = {10.1007/978-3-319-54292-8\_3},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BeillahiST16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Boldo16,
  author       = {Sylvie Boldo},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel and
                  Pavithra Prabhakar},
  title        = {Computing a Correct and Tight Rounding Error Bound Using Rounding-to-Nearest},
  booktitle    = {Numerical Software Verification - 9th International Workshop, {NSV}
                  2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
                  2016], Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10152},
  pages        = {47--51},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-54292-8\_4},
  doi          = {10.1007/978-3-319-54292-8\_4},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Boldo16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ChapoutotS16,
  author       = {Alexandre Chapoutot and
                  Julien Alexandre Dit Sandretto},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel and
                  Pavithra Prabhakar},
  title        = {Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon},
  booktitle    = {Numerical Software Verification - 9th International Workshop, {NSV}
                  2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
                  2016], Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10152},
  pages        = {52--62},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-54292-8\_5},
  doi          = {10.1007/978-3-319-54292-8\_5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ChapoutotS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/DamoucheMPQST16,
  author       = {Nasrine Damouche and
                  Matthieu Martel and
                  Pavel Panchekha and
                  Chen Qiu and
                  Alexander Sanchez{-}Stern and
                  Zachary Tatlock},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel and
                  Pavithra Prabhakar},
  title        = {Toward a Standard Benchmark Format and Suite for Floating-Point Analysis},
  booktitle    = {Numerical Software Verification - 9th International Workshop, {NSV}
                  2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
                  2016], Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10152},
  pages        = {63--77},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-54292-8\_6},
  doi          = {10.1007/978-3-319-54292-8\_6},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/DamoucheMPQST16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Heinz16,
  author       = {Thomas Heinz},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel and
                  Pavithra Prabhakar},
  title        = {Falsification of Dynamical Systems - An Industrial Perspective},
  booktitle    = {Numerical Software Verification - 9th International Workshop, {NSV}
                  2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
                  2016], Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10152},
  pages        = {78--84},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-54292-8\_7},
  doi          = {10.1007/978-3-319-54292-8\_7},
  timestamp    = {Wed, 10 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/Heinz16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Samadi16,
  author       = {Behzad Samadi},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel and
                  Pavithra Prabhakar},
  title        = {Model Based Automatic Code Generation for Nonlinear Model Predictive
                  Control},
  booktitle    = {Numerical Software Verification - 9th International Workshop, {NSV}
                  2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
                  2016], Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10152},
  pages        = {85--95},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-54292-8\_8},
  doi          = {10.1007/978-3-319-54292-8\_8},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Samadi16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Seladji16,
  author       = {Yassamine Seladji},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel and
                  Pavithra Prabhakar},
  title        = {Reduce the Complexity of the Polyhedron Minimization Using the Max
                  Plus Pruning Method},
  booktitle    = {Numerical Software Verification - 9th International Workshop, {NSV}
                  2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with {CAV}
                  2016], Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10152},
  pages        = {96--104},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-54292-8\_9},
  doi          = {10.1007/978-3-319-54292-8\_9},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Seladji16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.