default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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}
}
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.
retrieved on 2024-11-18 08:24 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
