Search dblp for Publications

export results for "stream:conf/nsad:"

 download as .bib file

@proceedings{DBLP:conf/nsad/2017,
  editor       = {Francesca Scozzari},
  title        = {Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS
                  2017, New York City, NY, USA, August 29, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {334},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/334/suppl/C},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nsad/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AmatoR18,
  author       = {Gianluca Amato and
                  Marco Rubino},
  editor       = {Francesca Scozzari},
  title        = {Experimental Evaluation of Numerical Domains for Inferring Ranges},
  booktitle    = {Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS
                  2017, New York City, NY, USA, August 29, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {334},
  pages        = {3--16},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2018.03.002},
  doi          = {10.1016/J.ENTCS.2018.03.002},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/AmatoR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LidmanS18,
  author       = {Jacob Lidman and
                  Josef Svenningsson},
  editor       = {Francesca Scozzari},
  title        = {Fuzzy Set Abstraction},
  booktitle    = {Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS
                  2017, New York City, NY, USA, August 29, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {334},
  pages        = {17--29},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2018.03.003},
  doi          = {10.1016/J.ENTCS.2018.03.003},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LidmanS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Scozzari18,
  author       = {Francesca Scozzari},
  editor       = {Francesca Scozzari},
  title        = {Preface},
  booktitle    = {Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS
                  2017, New York City, NY, USA, August 29, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {334},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2018.03.001},
  doi          = {10.1016/J.ENTCS.2018.03.001},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Scozzari18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Zaffanella18,
  author       = {Enea Zaffanella},
  editor       = {Francesca Scozzari},
  title        = {On the Efficiency of Convex Polyhedra},
  booktitle    = {Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS
                  2017, New York City, NY, USA, August 29, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {334},
  pages        = {31--44},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2018.03.004},
  doi          = {10.1016/J.ENTCS.2018.03.004},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Zaffanella18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nsad/2016,
  editor       = {Isabella Mastroeni},
  title        = {Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract
                  Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {331},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/331/suppl/C},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nsad/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArceriM17,
  author       = {Vincenzo Arceri and
                  Sergio Maffeis},
  editor       = {Isabella Mastroeni},
  title        = {Abstract Domains for Type Juggling},
  booktitle    = {Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract
                  Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {331},
  pages        = {41--55},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2017.02.003},
  doi          = {10.1016/J.ENTCS.2017.02.003},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ArceriM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Jourdan17,
  author       = {Jacques{-}Henri Jourdan},
  editor       = {Isabella Mastroeni},
  title        = {Sparsity Preserving Algorithms for Octagons},
  booktitle    = {Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract
                  Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {331},
  pages        = {57--70},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2017.02.004},
  doi          = {10.1016/J.ENTCS.2017.02.004},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Jourdan17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mastroeni17,
  author       = {Isabella Mastroeni},
  editor       = {Isabella Mastroeni},
  title        = {Preface},
  booktitle    = {Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract
                  Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {331},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2017.02.001},
  doi          = {10.1016/J.ENTCS.2017.02.001},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Mastroeni17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mine17,
  author       = {Antoine Min{\'{e}}},
  editor       = {Isabella Mastroeni},
  title        = {Static Analysis of Embedded Real-Time Concurrent Software with Dynamic
                  Priorities},
  booktitle    = {Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract
                  Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {331},
  pages        = {3--39},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2017.02.002},
  doi          = {10.1016/J.ENTCS.2017.02.002},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Mine17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PredaP17,
  author       = {Mila Dalla Preda and
                  Michele Pasqua},
  editor       = {Isabella Mastroeni},
  title        = {Software Watermarking: {A} Semantics-based Approach},
  booktitle    = {Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract
                  Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {331},
  pages        = {71--85},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2017.02.005},
  doi          = {10.1016/J.ENTCS.2017.02.005},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PredaP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PredaV17,
  author       = {Mila Dalla Preda and
                  Vanessa Vidali},
  editor       = {Isabella Mastroeni},
  title        = {Abstract Similarity Analysis},
  booktitle    = {Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract
                  Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {331},
  pages        = {87--99},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2017.02.006},
  doi          = {10.1016/J.ENTCS.2017.02.006},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PredaV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AmatoSZ14,
  author       = {Gianluca Amato and
                  Francesca Scozzari and
                  Enea Zaffanella},
  editor       = {Axel Simon and
                  Arnaud Venet},
  title        = {Efficient Constraint/Generator Removal from Double Description of
                  Polyhedra},
  booktitle    = {Fifth International Workshop on Numerical and Symbolic Abstract Domains,
                  NSAD@SAS 2014, Munich, Germany, September 10, 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {307},
  pages        = {3--15},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.08.002},
  doi          = {10.1016/J.ENTCS.2014.08.002},
  timestamp    = {Thu, 10 Nov 2022 15:51:56 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AmatoSZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MaisonneuveHI14,
  author       = {Vivien Maisonneuve and
                  Olivier Hermant and
                  Fran{\c{c}}ois Irigoin},
  editor       = {Axel Simon and
                  Arnaud Venet},
  title        = {Computing Invariants with Transformers: Experimental Scalability and
                  Accuracy},
  booktitle    = {Fifth International Workshop on Numerical and Symbolic Abstract Domains,
                  NSAD@SAS 2014, Munich, Germany, September 10, 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {307},
  pages        = {17--31},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.08.003},
  doi          = {10.1016/J.ENTCS.2014.08.003},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MaisonneuveHI14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SimonV14,
  author       = {Axel Simon and
                  Arnaud Venet},
  editor       = {Axel Simon and
                  Arnaud Venet},
  title        = {Preface},
  booktitle    = {Fifth International Workshop on Numerical and Symbolic Abstract Domains,
                  NSAD@SAS 2014, Munich, Germany, September 10, 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {307},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.08.001},
  doi          = {10.1016/J.ENTCS.2014.08.001},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/SimonV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WuCW14,
  author       = {Xueguang Wu and
                  Liqian Chen and
                  Ji Wang},
  editor       = {Axel Simon and
                  Arnaud Venet},
  title        = {An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters},
  booktitle    = {Fifth International Workshop on Numerical and Symbolic Abstract Domains,
                  NSAD@SAS 2014, Munich, Germany, September 10, 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {307},
  pages        = {33--45},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.08.004},
  doi          = {10.1016/J.ENTCS.2014.08.004},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/WuCW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nsad/2014,
  editor       = {Axel Simon and
                  Arnaud Venet},
  title        = {Fifth International Workshop on Numerical and Symbolic Abstract Domains,
                  NSAD@SAS 2014, Munich, Germany, September 10, 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {307},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/307/suppl/C},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nsad/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AmatoS12,
  author       = {Gianluca Amato and
                  Francesca Scozzari},
  editor       = {Jan Midtgaard and
                  Matthew Might},
  title        = {The Abstract Domain of Parallelotopes},
  booktitle    = {Proceedings of the Fourth International Workshop on Numerical and
                  Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September
                  10, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {287},
  pages        = {17--28},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.09.003},
  doi          = {10.1016/J.ENTCS.2012.09.003},
  timestamp    = {Fri, 25 Nov 2022 14:31:53 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AmatoS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BeckschulzeKB12,
  author       = {Eva Beckschulze and
                  Stefan Kowalewski and
                  J{\"{o}}rg Brauer},
  editor       = {Jan Midtgaard and
                  Matthew Might},
  title        = {Access-Based Localization for Octagons},
  booktitle    = {Proceedings of the Fourth International Workshop on Numerical and
                  Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September
                  10, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {287},
  pages        = {29--40},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.09.004},
  doi          = {10.1016/J.ENTCS.2012.09.004},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BeckschulzeKB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bouaziz12,
  author       = {Mehdi Bouaziz},
  editor       = {Jan Midtgaard and
                  Matthew Might},
  title        = {TreeKs: {A} Functor to Make Numerical Abstract Domains Scalable},
  booktitle    = {Proceedings of the Fourth International Workshop on Numerical and
                  Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September
                  10, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {287},
  pages        = {41--52},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.09.005},
  doi          = {10.1016/J.ENTCS.2012.09.005},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Bouaziz12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Fulara12,
  author       = {Jedrzej Fulara},
  editor       = {Jan Midtgaard and
                  Matthew Might},
  title        = {Generic Abstraction of Dictionaries and Arrays},
  booktitle    = {Proceedings of the Fourth International Workshop on Numerical and
                  Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September
                  10, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {287},
  pages        = {53--64},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.09.006},
  doi          = {10.1016/J.ENTCS.2012.09.006},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Fulara12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoubaultGP12,
  author       = {Eric Goubault and
                  Tristan Le Gall and
                  Sylvie Putot},
  editor       = {Jan Midtgaard and
                  Matthew Might},
  title        = {An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations},
  booktitle    = {Proceedings of the Fourth International Workshop on Numerical and
                  Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September
                  10, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {287},
  pages        = {65--76},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.09.007},
  doi          = {10.1016/J.ENTCS.2012.09.007},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GoubaultGP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Martel12,
  author       = {Matthieu Martel},
  editor       = {Jan Midtgaard and
                  Matthew Might},
  title        = {Accurate Evaluation of Arithmetic Expressions (Invited Talk)},
  booktitle    = {Proceedings of the Fourth International Workshop on Numerical and
                  Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September
                  10, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {287},
  pages        = {3--16},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.09.002},
  doi          = {10.1016/J.ENTCS.2012.09.002},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Martel12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Masse12,
  author       = {Damien Mass{\'{e}}},
  editor       = {Jan Midtgaard and
                  Matthew Might},
  title        = {Proving Termination by Policy Iteration},
  booktitle    = {Proceedings of the Fourth International Workshop on Numerical and
                  Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September
                  10, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {287},
  pages        = {77--88},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.09.008},
  doi          = {10.1016/J.ENTCS.2012.09.008},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Masse12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MidtgaardM12,
  author       = {Jan Midtgaard and
                  Matthew Might},
  editor       = {Jan Midtgaard and
                  Matthew Might},
  title        = {Preface},
  booktitle    = {Proceedings of the Fourth International Workshop on Numerical and
                  Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September
                  10, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {287},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.09.001},
  doi          = {10.1016/J.ENTCS.2012.09.001},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MidtgaardM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mine12,
  author       = {Antoine Min{\'{e}}},
  editor       = {Jan Midtgaard and
                  Matthew Might},
  title        = {Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations},
  booktitle    = {Proceedings of the Fourth International Workshop on Numerical and
                  Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September
                  10, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {287},
  pages        = {89--100},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.09.009},
  doi          = {10.1016/J.ENTCS.2012.09.009},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Mine12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@proceedings{DBLP:conf/nsad/2012,
  editor       = {Jan Midtgaard and
                  Matthew Might},
  title        = {Proceedings of the Fourth International Workshop on Numerical and
                  Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September
                  10, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {287},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/287/suppl/C},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nsad/2012.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}
}
@inproceedings{DBLP:journals/entcs/AncourtCI10,
  author       = {Corinne Ancourt and
                  Fabien Coelho and
                  Fran{\c{c}}ois Irigoin},
  editor       = {Antoine Min{\'{e}} and
                  Enric Rodr{\'{\i}}guez{-}Carbonell},
  title        = {A Modular Static Analysis Approach to Affine Loop Invariants Detection},
  booktitle    = {Proceeding of the Second International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13,
                  2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {1},
  pages        = {3--16},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.002},
  doi          = {10.1016/J.ENTCS.2010.09.002},
  timestamp    = {Fri, 10 Mar 2023 11:11:07 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AncourtCI10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarrettK10,
  author       = {Edd Barrett and
                  Andy King},
  editor       = {Antoine Min{\'{e}} and
                  Enric Rodr{\'{\i}}guez{-}Carbonell},
  title        = {Range and Set Abstraction using {SAT}},
  booktitle    = {Proceeding of the Second International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13,
                  2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {1},
  pages        = {17--27},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.003},
  doi          = {10.1016/J.ENTCS.2010.09.003},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BarrettK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BouissouSC10,
  author       = {Olivier Bouissou and
                  Yassamine Seladji and
                  Alexandre Chapoutot},
  editor       = {Antoine Min{\'{e}} and
                  Enric Rodr{\'{\i}}guez{-}Carbonell},
  title        = {Abstract Fixpoint Computations with Numerical Acceleration Methods},
  booktitle    = {Proceeding of the Second International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13,
                  2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {1},
  pages        = {29--42},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.004},
  doi          = {10.1016/J.ENTCS.2010.09.004},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BouissouSC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ElderGR10,
  author       = {Matt Elder and
                  Denis Gopan and
                  Thomas W. Reps},
  editor       = {Antoine Min{\'{e}} and
                  Enric Rodr{\'{\i}}guez{-}Carbonell},
  title        = {View-Augmented Abstractions},
  booktitle    = {Proceeding of the Second International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13,
                  2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {1},
  pages        = {43--57},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.005},
  doi          = {10.1016/J.ENTCS.2010.09.005},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ElderGR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FularaDJS10,
  author       = {Jedrzej Fulara and
                  Konrad Durnoga and
                  Krzysztof Jakubczyk and
                  Aleksy Schubert},
  editor       = {Antoine Min{\'{e}} and
                  Enric Rodr{\'{\i}}guez{-}Carbonell},
  title        = {Relational Abstract Domain of Weighted Hexagons},
  booktitle    = {Proceeding of the Second International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13,
                  2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {1},
  pages        = {59--72},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.006},
  doi          = {10.1016/J.ENTCS.2010.09.006},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FularaDJS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoubaultRLLM10,
  author       = {Eric Goubault and
                  St{\'{e}}phane Le Roux and
                  Jeremy Leconte and
                  Leo Liberti and
                  Fabrizio Marinelli},
  editor       = {Antoine Min{\'{e}} and
                  Enric Rodr{\'{\i}}guez{-}Carbonell},
  title        = {Static Analysis by Abstract Interpretation: {A} Mathematical Programming
                  Approach},
  booktitle    = {Proceeding of the Second International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13,
                  2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {1},
  pages        = {73--87},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.007},
  doi          = {10.1016/J.ENTCS.2010.09.007},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GoubaultRLLM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HoweKL10,
  author       = {Jacob M. Howe and
                  Andy King and
                  Charles Lawrence{-}Jones},
  editor       = {Antoine Min{\'{e}} and
                  Enric Rodr{\'{\i}}guez{-}Carbonell},
  title        = {Quadtrees as an Abstract Domain},
  booktitle    = {Proceeding of the Second International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13,
                  2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {1},
  pages        = {89--100},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.008},
  doi          = {10.1016/J.ENTCS.2010.09.008},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HoweKL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MineR10,
  author       = {Antoine Min{\'{e}} and
                  Enric Rodr{\'{\i}}guez{-}Carbonell},
  editor       = {Antoine Min{\'{e}} and
                  Enric Rodr{\'{\i}}guez{-}Carbonell},
  title        = {Preface},
  booktitle    = {Proceeding of the Second International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13,
                  2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {1},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.001},
  doi          = {10.1016/J.ENTCS.2010.09.001},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MineR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SchrammelJ10,
  author       = {Peter Schrammel and
                  Bertrand Jeannet},
  editor       = {Antoine Min{\'{e}} and
                  Enric Rodr{\'{\i}}guez{-}Carbonell},
  title        = {Extending Abstract Acceleration Methods to Data-Flow Programs with
                  Numerical Inputs},
  booktitle    = {Proceeding of the Second International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13,
                  2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {1},
  pages        = {101--114},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.009},
  doi          = {10.1016/J.ENTCS.2010.09.009},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SchrammelJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Simon10,
  author       = {Axel Simon},
  editor       = {Antoine Min{\'{e}} and
                  Enric Rodr{\'{\i}}guez{-}Carbonell},
  title        = {A Note on the Inversion Join for Polyhedral Analysis},
  booktitle    = {Proceeding of the Second International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13,
                  2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {1},
  pages        = {115--126},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.010},
  doi          = {10.1016/J.ENTCS.2010.09.010},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Simon10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Simon10a,
  author       = {Axel Simon},
  editor       = {Antoine Min{\'{e}} and
                  Enric Rodr{\'{\i}}guez{-}Carbonell},
  title        = {Speeding up Polyhedral Analysis by Identifying Common Constraints},
  booktitle    = {Proceeding of the Second International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13,
                  2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {1},
  pages        = {127--138},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.011},
  doi          = {10.1016/J.ENTCS.2010.09.011},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Simon10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SotinJR10,
  author       = {Pascal Sotin and
                  Bertrand Jeannet and
                  Xavier Rival},
  editor       = {Antoine Min{\'{e}} and
                  Enric Rodr{\'{\i}}guez{-}Carbonell},
  title        = {Concrete Memory Models for Shape Analysis},
  booktitle    = {Proceeding of the Second International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13,
                  2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {1},
  pages        = {139--150},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.012},
  doi          = {10.1016/J.ENTCS.2010.09.012},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SotinJR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nsad/2010,
  editor       = {Antoine Min{\'{e}} and
                  Enric Rodr{\'{\i}}guez{-}Carbonell},
  title        = {Proceeding of the Second International Workshop on Numerical and Symbolic
                  Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13,
                  2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/267/issue/1},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nsad/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}