Search dblp for Publications

export results for "stream:streams/conf/nsv:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/BogomolovM15,
  author       = {Sergiy Bogomolov and
                  Matthieu Martel},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel},
  title        = {Preface},
  booktitle    = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {317},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.001},
  doi          = {10.1016/J.ENTCS.2015.10.001},
  timestamp    = {Thu, 10 Nov 2022 15:22:15 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BogomolovM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DamoucheMC15,
  author       = {Nasrine Damouche and
                  Matthieu Martel and
                  Alexandre Chapoutot},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel},
  title        = {Transformation of a {PID} Controller for Numerical Accuracy},
  booktitle    = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {317},
  pages        = {47--54},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.006},
  doi          = {10.1016/J.ENTCS.2015.10.006},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DamoucheMC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GraillatJP15,
  author       = {Stef Graillat and
                  Fabienne J{\'{e}}z{\'{e}}quel and
                  Romain Picot},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel},
  title        = {Numerical Validation of Compensated Summation Algorithms with Stochastic
                  Arithmetic},
  booktitle    = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {317},
  pages        = {55--69},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.007},
  doi          = {10.1016/J.ENTCS.2015.10.007},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GraillatJP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HuletteAMR15,
  author       = {Geoffrey C. Hulette and
                  Robert C. Armstrong and
                  Jackson R. Mayo and
                  Joseph R. Ruthruff},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel},
  title        = {Theorem-Proving Analysis of Digital Control Logic Interacting with
                  Continuous Dynamics},
  booktitle    = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {317},
  pages        = {71--83},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.008},
  doi          = {10.1016/J.ENTCS.2015.10.008},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HuletteAMR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/IshiiYG15,
  author       = {Daisuke Ishii and
                  Naoki Yonezaki and
                  Alexandre Goldsztejn},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel},
  title        = {Monitoring Bounded {LTL} Properties Using Interval Analysis},
  booktitle    = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {317},
  pages        = {85--100},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.009},
  doi          = {10.1016/J.ENTCS.2015.10.009},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/IshiiYG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/JacobsenSG15,
  author       = {Charles Jacobsen and
                  Alexey Solovyev and
                  Ganesh Gopalakrishnan},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel},
  title        = {A Parameterized Floating-Point Formalizaton in {HOL} Light},
  booktitle    = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {317},
  pages        = {101--107},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.010},
  doi          = {10.1016/J.ENTCS.2015.10.010},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JacobsenSG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MatsumotoKKU15,
  author       = {Shota Matsumoto and
                  Fumihiko Kono and
                  Teruya Kobayashi and
                  Kazunori Ueda},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel},
  title        = {HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa},
  booktitle    = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {317},
  pages        = {109--115},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.011},
  doi          = {10.1016/J.ENTCS.2015.10.011},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MatsumotoKKU15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Neron15,
  author       = {Pierre Neron},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel},
  title        = {A Certifying Square Root and Division Elimination},
  booktitle    = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {317},
  pages        = {117--131},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.012},
  doi          = {10.1016/J.ENTCS.2015.10.012},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Neron15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PrabhakarS15,
  author       = {Pavithra Prabhakar and
                  Miriam Garcia Soto},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel},
  title        = {{AVERIST:} An Algorithmic Verifier for Stability},
  booktitle    = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {317},
  pages        = {133--139},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.013},
  doi          = {10.1016/J.ENTCS.2015.10.013},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PrabhakarS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Tiwari15,
  author       = {Ashish Tiwari},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel},
  title        = {Attacking a Feedback Controller},
  booktitle    = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {317},
  pages        = {141--153},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.014},
  doi          = {10.1016/J.ENTCS.2015.10.014},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Tiwari15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/nsv/2015,
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel},
  title        = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {317},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/317/suppl/C},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nsv/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Adje15,
  author       = {Assal{\'{e}} Adj{\'{e}}},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel},
  title        = {Policy Iteration in Finite Templates Domain},
  booktitle    = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {317},
  pages        = {3--18},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.002},
  doi          = {10.1016/J.ENTCS.2015.10.002},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Adje15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ArechigaKDPK15,
  author       = {Nikos Ar{\'{e}}chiga and
                  James Kapinski and
                  Jyotirmoy V. Deshmukh and
                  Andr{\'{e}} Platzer and
                  Bruce H. Krogh},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel},
  title        = {Numerically-aided Deductive Safety Proof for a Powertrain Control
                  System},
  booktitle    = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {317},
  pages        = {19--25},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.003},
  doi          = {10.1016/J.ENTCS.2015.10.003},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ArechigaKDPK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Boldo15,
  author       = {Sylvie Boldo},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel},
  title        = {Stupid is as Stupid Does: Taking the Square Root of the Square of
                  a Floating-Point Number},
  booktitle    = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {317},
  pages        = {27--32},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.004},
  doi          = {10.1016/J.ENTCS.2015.10.004},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Boldo15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ChiangGR15,
  author       = {Wei{-}Fan Chiang and
                  Ganesh Gopalakrishnan and
                  Zvonimir Rakamaric},
  editor       = {Sergiy Bogomolov and
                  Matthieu Martel},
  title        = {Unsafe Floating-point to Unsigned Integer Casting Check for {GPU}
                  Programs},
  booktitle    = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {317},
  pages        = {33--45},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.005},
  doi          = {10.1016/J.ENTCS.2015.10.005},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ChiangGR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.