![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "stream:conf/tapas2:"
@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} }
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.