Search dblp for Publications

export results for "toc:db/conf/nsad/nsad2010.bht:"

 download as .bib file

@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}
}
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.