Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/nsad/nsad2010.bht:"
@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} }
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.