Search dblp for Publications

export results for "toc:db/journals/entcs/entcs288.bht:"

 download as .bib file

@proceedings{DBLP:conf/nsad/2011,
  editor       = {Damien Mass{\'{e}} and
                  Laurent Mauborgne},
  title        = {Proceedings of the Third International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {288},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/288/suppl/C},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nsad/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BygdeLH12,
  author       = {Stefan Bygde and
                  Bj{\"{o}}rn Lisper and
                  Niklas Holsti},
  editor       = {Damien Mass{\'{e}} and
                  Laurent Mauborgne},
  title        = {Fully Bounded Polyhedral Analysis of Integers with Wrapping},
  booktitle    = {Proceedings of the Third International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {288},
  pages        = {3--13},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2012.10.003},
  doi          = {10.1016/J.ENTCS.2012.10.003},
  timestamp    = {Fri, 25 Nov 2022 14:37:09 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BygdeLH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FahndrichL12,
  author       = {Manuel F{\"{a}}hndrich and
                  Francesco Logozzo},
  editor       = {Damien Mass{\'{e}} and
                  Laurent Mauborgne},
  title        = {Checking Compatibility of Bit Sizes in Floating Point Comparison Operations},
  booktitle    = {Proceedings of the Third International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {288},
  pages        = {15--23},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2012.10.004},
  doi          = {10.1016/J.ENTCS.2012.10.004},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FahndrichL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Jakubczyk12,
  author       = {Krzysztof Jakubczyk},
  editor       = {Damien Mass{\'{e}} and
                  Laurent Mauborgne},
  title        = {Sweeping in Abstract Interpretation},
  booktitle    = {Proceedings of the Third International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {288},
  pages        = {25--36},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2012.10.005},
  doi          = {10.1016/J.ENTCS.2012.10.005},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Jakubczyk12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/JeannetS12,
  author       = {Bertrand Jeannet and
                  Pascal Sotin},
  editor       = {Damien Mass{\'{e}} and
                  Laurent Mauborgne},
  title        = {Inferring Effective Types for Static Analysis of {C} Programs},
  booktitle    = {Proceedings of the Third International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {288},
  pages        = {37--47},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2012.10.006},
  doi          = {10.1016/J.ENTCS.2012.10.006},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JeannetS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Maisonneuve12,
  author       = {Vivien Maisonneuve},
  editor       = {Damien Mass{\'{e}} and
                  Laurent Mauborgne},
  title        = {Convex Invariant Refinement by Control Node Splitting: a Heuristic
                  Approach},
  booktitle    = {Proceedings of the Third International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {288},
  pages        = {49--59},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2012.10.007},
  doi          = {10.1016/J.ENTCS.2012.10.007},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Maisonneuve12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MasseM12,
  author       = {Damien Mass{\'{e}} and
                  Laurent Mauborgne},
  editor       = {Damien Mass{\'{e}} and
                  Laurent Mauborgne},
  title        = {Preface},
  booktitle    = {Proceedings of the Third International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {288},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2012.10.002},
  doi          = {10.1016/J.ENTCS.2012.10.002},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MasseM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MonniauxG12,
  author       = {David Monniaux and
                  Julien Le Guen},
  editor       = {Damien Mass{\'{e}} and
                  Laurent Mauborgne},
  title        = {Stratified Static Analysis Based on Variable Dependencies},
  booktitle    = {Proceedings of the Third International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {288},
  pages        = {61--74},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2012.10.008},
  doi          = {10.1016/J.ENTCS.2012.10.008},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MonniauxG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SiegelS12,
  author       = {Holger Siegel and
                  Axel Simon},
  editor       = {Damien Mass{\'{e}} and
                  Laurent Mauborgne},
  title        = {Summarized Dimensions Revisited},
  booktitle    = {Proceedings of the Third International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {288},
  pages        = {75--86},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2012.10.009},
  doi          = {10.1016/J.ENTCS.2012.10.009},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SiegelS12.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.