Search dblp for Publications

export results for "stream:conf/tapas2:"

 download as .bib file

@proceedings{DBLP:conf/tapas2/2013,
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Fourth Workshop on Tools for Automatic Program Analysis, TAPAS@SAS
                  2013, Seattle, Washington, USA, June 19, 2013},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {311},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/311/suppl/C},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tapas2/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Chang15,
  author       = {Bor{-}Yuh Evan Chang},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Preface},
  booktitle    = {Fourth Workshop on Tools for Automatic Program Analysis, TAPAS@SAS
                  2013, Seattle, Washington, USA, June 19, 2013},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {311},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.entcs.2015.02.001},
  doi          = {10.1016/J.ENTCS.2015.02.001},
  timestamp    = {Thu, 10 Nov 2022 14:28:56 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Chang15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LiangMH15,
  author       = {Shuying Liang and
                  Matthew Might and
                  David Van Horn},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {AnaDroid: Malware Analysis of Android with User-supplied Predicates},
  booktitle    = {Fourth Workshop on Tools for Automatic Program Analysis, TAPAS@SAS
                  2013, Seattle, Washington, USA, June 19, 2013},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {311},
  pages        = {3--14},
  publisher    = {Elsevier},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.entcs.2015.02.002},
  doi          = {10.1016/J.ENTCS.2015.02.002},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LiangMH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ThakurLLR15,
  author       = {Aditya V. Thakur and
                  Akash Lal and
                  Junghee Lim and
                  Thomas W. Reps},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {PostHat and All That: Automating Abstract Interpretation},
  booktitle    = {Fourth Workshop on Tools for Automatic Program Analysis, TAPAS@SAS
                  2013, Seattle, Washington, USA, June 19, 2013},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {311},
  pages        = {15--32},
  publisher    = {Elsevier},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.entcs.2015.02.003},
  doi          = {10.1016/J.ENTCS.2015.02.003},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ThakurLLR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BradleyCFGH12,
  author       = {Mark Bradley and
                  Franck Cassez and
                  Ansgar Fehnker and
                  Thomas Given{-}Wilson and
                  Ralf Huuck},
  editor       = {Bertrand Jeannet},
  title        = {High Performance Static Analysis for Industry},
  booktitle    = {Third Workshop on Tools for Automatic Program Analysis, {TAPAS} 2012,
                  Deauville, France, September 14, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {289},
  pages        = {3--14},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.11.002},
  doi          = {10.1016/J.ENTCS.2012.11.002},
  timestamp    = {Fri, 25 Nov 2022 14:43:37 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BradleyCFGH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HenryMM12,
  author       = {Julien Henry and
                  David Monniaux and
                  Matthieu Moy},
  editor       = {Bertrand Jeannet},
  title        = {{PAGAI:} {A} Path Sensitive Static Analyser},
  booktitle    = {Third Workshop on Tools for Automatic Program Analysis, {TAPAS} 2012,
                  Deauville, France, September 14, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {289},
  pages        = {15--25},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.11.003},
  doi          = {10.1016/J.ENTCS.2012.11.003},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HenryMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Jeannet12,
  author       = {Bertrand Jeannet},
  editor       = {Bertrand Jeannet},
  title        = {Preface},
  booktitle    = {Third Workshop on Tools for Automatic Program Analysis, {TAPAS} 2012,
                  Deauville, France, September 14, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {289},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.11.001},
  doi          = {10.1016/J.ENTCS.2012.11.001},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Jeannet12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KhanhO12,
  author       = {To Van Khanh and
                  Mizuhito Ogawa},
  editor       = {Bertrand Jeannet},
  title        = {{SMT} for Polynomial Constraints on Real Numbers},
  booktitle    = {Third Workshop on Tools for Automatic Program Analysis, {TAPAS} 2012,
                  Deauville, France, September 14, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {289},
  pages        = {27--40},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.11.004},
  doi          = {10.1016/J.ENTCS.2012.11.004},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KhanhO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MichielBC12,
  author       = {Marianne De Michiel and
                  Armelle Bonenfant and
                  Hugues Cass{\'{e}}},
  editor       = {Bertrand Jeannet},
  title        = {Normalisation of Loops with Covariant Variables},
  booktitle    = {Third Workshop on Tools for Automatic Program Analysis, {TAPAS} 2012,
                  Deauville, France, September 14, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {289},
  pages        = {41--51},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.11.005},
  doi          = {10.1016/J.ENTCS.2012.11.005},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MichielBC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SeppKS12,
  author       = {Alexander Sepp and
                  Julian Kranz and
                  Axel Simon},
  editor       = {Bertrand Jeannet},
  title        = {{GDSL:} {A} Generic Decoder Specification Language for Interpreting
                  Machine Language},
  booktitle    = {Third Workshop on Tools for Automatic Program Analysis, {TAPAS} 2012,
                  Deauville, France, September 14, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {289},
  pages        = {53--64},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.11.006},
  doi          = {10.1016/J.ENTCS.2012.11.006},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SeppKS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tapas2/2012,
  editor       = {Bertrand Jeannet},
  title        = {Third Workshop on Tools for Automatic Program Analysis, {TAPAS} 2012,
                  Deauville, France, September 14, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {289},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/289/suppl/C},
  timestamp    = {Fri, 25 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tapas2/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DelmasR10,
  author       = {David Delmas and
                  Xavier Rival},
  editor       = {David Delmas and
                  Xavier Rival},
  title        = {Preface},
  booktitle    = {Proceedings of the Tools for Automatic Program AnalysiS, TAPAS@SAS
                  2010, Perpignan, France, September 17, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {2},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.013},
  doi          = {10.1016/J.ENTCS.2010.09.013},
  timestamp    = {Fri, 10 Mar 2023 11:20:58 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DelmasR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FeautrierG10,
  author       = {Paul Feautrier and
                  Laure Gonnord},
  editor       = {David Delmas and
                  Xavier Rival},
  title        = {Accelerated Invariant Generation for {C} Programs with Aspic and C2fsm},
  booktitle    = {Proceedings of the Tools for Automatic Program AnalysiS, TAPAS@SAS
                  2010, Perpignan, France, September 17, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {2},
  pages        = {3--13},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.014},
  doi          = {10.1016/J.ENTCS.2010.09.014},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FeautrierG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FilipiukNN10,
  author       = {Piotr Filipiuk and
                  Hanne Riis Nielson and
                  Flemming Nielson},
  editor       = {David Delmas and
                  Xavier Rival},
  title        = {Explicit Versus Symbolic Algorithms for Solving {ALFP} Constraints},
  booktitle    = {Proceedings of the Tools for Automatic Program AnalysiS, TAPAS@SAS
                  2010, Perpignan, France, September 17, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {2},
  pages        = {15--28},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.015},
  doi          = {10.1016/J.ENTCS.2010.09.015},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FilipiukNN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Jeannet10,
  author       = {Bertrand Jeannet},
  editor       = {David Delmas and
                  Xavier Rival},
  title        = {Some Experience on the Software Engineering of Abstract Interpretation
                  Tools},
  booktitle    = {Proceedings of the Tools for Automatic Program AnalysiS, TAPAS@SAS
                  2010, Perpignan, France, September 17, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {2},
  pages        = {29--42},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.016},
  doi          = {10.1016/J.ENTCS.2010.09.016},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Jeannet10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LaneveLS10,
  author       = {Cosimo Laneve and
                  Tudor A. Lascu and
                  Vania Sordoni},
  editor       = {David Delmas and
                  Xavier Rival},
  title        = {The Interval Analysis of Multilinear Expressions},
  booktitle    = {Proceedings of the Tools for Automatic Program AnalysiS, TAPAS@SAS
                  2010, Perpignan, France, September 17, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {2},
  pages        = {43--53},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.017},
  doi          = {10.1016/J.ENTCS.2010.09.017},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LaneveLS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RouxDG10,
  author       = {Pierre Roux and
                  Remi Delmas and
                  Pierre{-}Lo{\"{\i}}c Garoche},
  editor       = {David Delmas and
                  Xavier Rival},
  title        = {{SMT-AI:} an Abstract Interpreter as Oracle for k-induction},
  booktitle    = {Proceedings of the Tools for Automatic Program AnalysiS, TAPAS@SAS
                  2010, Perpignan, France, September 17, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {2},
  pages        = {55--68},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.09.018},
  doi          = {10.1016/J.ENTCS.2010.09.018},
  timestamp    = {Fri, 23 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/RouxDG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tapas2/2010,
  editor       = {David Delmas and
                  Xavier Rival},
  title        = {Proceedings of the Tools for Automatic Program AnalysiS, TAPAS@SAS
                  2010, Perpignan, France, September 17, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {267},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/267/issue/2},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tapas2/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.