Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/atva/atva2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/atva/AlbertGG17,
author = {Elvira Albert and
Samir Genaim and
Pablo Gordillo},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {May-Happen-in-Parallel Analysis with Returned Futures},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {42--58},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_3},
doi = {10.1007/978-3-319-68167-2\_3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/AlbertGG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AmparoreBD17,
author = {Elvio Gilberto Amparore and
Marco Beccuti and
Susanna Donatelli},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Gradient-Based Variable Ordering of Decision Diagrams for Systems
with Structural Units},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {184--200},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_13},
doi = {10.1007/978-3-319-68167-2\_13},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/AmparoreBD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BaierDKKR17,
author = {Christel Baier and
Clemens Dubslaff and
Lubos Korenciak and
Anton{\'{\i}}n Kucera and
Vojtech Reh{\'{a}}k},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Synthesis of Optimal Resilient Control Strategies},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {417--434},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_27},
doi = {10.1007/978-3-319-68167-2\_27},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BaierDKKR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BandyopadhyaySS17,
author = {Soumyadip Bandyopadhyay and
Santonu Sarkar and
Dipankar Sarkar and
Chittaranjan A. Mandal},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {SamaTulyata: An Efficient Path Based Equivalence Checking Tool},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {109--116},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_8},
doi = {10.1007/978-3-319-68167-2\_8},
timestamp = {Mon, 08 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/BandyopadhyaySS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BanerjeeMS17,
author = {Kunal Banerjee and
Chittaranjan A. Mandal and
Dipankar Sarkar},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {An Equivalence Checking Framework for Array-Intensive Programs},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {84--90},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_6},
doi = {10.1007/978-3-319-68167-2\_6},
timestamp = {Mon, 08 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/BanerjeeMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BaranovaBKKLMRS17,
author = {Zuzana Baranov{\'{a}} and
Jiri Barnat and
Katar{\'{\i}}na Kejstov{\'{a}} and
Tade{\'{a}}s Kucera and
Henrich Lauko and
Jan Mr{\'{a}}zek and
Petr Rockai and
Vladim{\'{\i}}r Still},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Model Checking of {C} and {C++} with {DIVINE} 4},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {201--207},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_14},
doi = {10.1007/978-3-319-68167-2\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BaranovaBKKLMRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BiondiKLT17,
author = {Fabrizio Biondi and
Yusuke Kawamoto and
Axel Legay and
Louis{-}Marie Traonouez},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {HyLeak: Hybrid Analysis Tool for Information Leakage},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {156--163},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_11},
doi = {10.1007/978-3-319-68167-2\_11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/BiondiKLT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChatterjeeGP17,
author = {Krishnendu Chatterjee and
Amir Kafshdar Goharshady and
Andreas Pavlogiannis},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {JTDec: {A} Tool for Tree Decompositions in Soot},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {59--66},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_4},
doi = {10.1007/978-3-319-68167-2\_4},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/ChatterjeeGP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChengNR17,
author = {Chih{-}Hong Cheng and
Georg N{\"{u}}hrenberg and
Harald Ruess},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Maximum Resilience of Artificial Neural Networks},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {251--268},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_18},
doi = {10.1007/978-3-319-68167-2\_18},
timestamp = {Thu, 05 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/ChengNR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CostaD17,
author = {Antonio Anastasio Bruto da Costa and
Pallab Dasgupta},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {ForFET: {A} Formal Feature Evaluation Tool for Hybrid Systems},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {437--445},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_28},
doi = {10.1007/978-3-319-68167-2\_28},
timestamp = {Thu, 05 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/CostaD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DasL17,
author = {Ankush Das and
Akash Lal},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Precise Null Pointer Analysis Through Global Value Numbering},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {25--41},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_2},
doi = {10.1007/978-3-319-68167-2\_2},
timestamp = {Thu, 05 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/DasL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DashtiB17,
author = {Mohammad Torabi Dashti and
David A. Basin},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Tests and Refutation},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {119--138},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_9},
doi = {10.1007/978-3-319-68167-2\_9},
timestamp = {Thu, 05 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/DashtiB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DiazT17,
author = {Marcio Diaz and
Tayssir Touili},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Dealing with Priorities and Locks for Concurrent Programs},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {208--224},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_15},
doi = {10.1007/978-3-319-68167-2\_15},
timestamp = {Thu, 05 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/DiazT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Ehlers17,
author = {R{\"{u}}diger Ehlers},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {269--286},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_19},
doi = {10.1007/978-3-319-68167-2\_19},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/Ehlers17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FengZJZX17,
author = {Yijun Feng and
Lijun Zhang and
David N. Jansen and
Naijun Zhan and
Bican Xia},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Finding Polynomial Loop Invariants for Probabilistic Programs},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {400--416},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_26},
doi = {10.1007/978-3-319-68167-2\_26},
timestamp = {Thu, 12 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/FengZJZX17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FinkbeinerT17,
author = {Bernd Finkbeiner and
Hazem Torfah},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {The Density of Linear-Time Properties},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {139--155},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_10},
doi = {10.1007/978-3-319-68167-2\_10},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/FinkbeinerT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GangeGS17,
author = {Graeme Gange and
Pierre Ganty and
Peter J. Stuckey},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Fixing the State Budget: Approximation of Regular Languages with Small
DFAs},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {67--83},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_5},
doi = {10.1007/978-3-319-68167-2\_5},
timestamp = {Thu, 05 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/GangeGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GantyKV17,
author = {Pierre Ganty and
Boris K{\"{o}}pf and
Pedro Valero},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {A Language-Theoretic View on Network Protocols},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {363--379},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_24},
doi = {10.1007/978-3-319-68167-2\_24},
timestamp = {Fri, 08 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/GantyKV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KhadirMS17,
author = {Abdullah Abdul Khadir and
Madhavan Mukund and
S. P. Suresh},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Knowledge Transfer and Information Leakage in Protocols},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {225--240},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_16},
doi = {10.1007/978-3-319-68167-2\_16},
timestamp = {Thu, 05 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/KhadirMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KretinskyM17,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Tobias Meggendorfer},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {380--399},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_25},
doi = {10.1007/978-3-319-68167-2\_25},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/KretinskyM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KrishnaKSTT17,
author = {Shankara Narayanan Krishna and
Aviral Kumar and
Fabio Somenzi and
Behrouz Touri and
Ashutosh Trivedi},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {The Reach-Avoid Problem for Constant-Rate Multi-mode Systems},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {463--479},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_30},
doi = {10.1007/978-3-319-68167-2\_30},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/KrishnaKSTT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MacedoCP17,
author = {Nuno Macedo and
Alcino Cunha and
Eduardo Pessoa},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Exploiting Partial Knowledge for Efficient Model Analysis},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {344--362},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_23},
doi = {10.1007/978-3-319-68167-2\_23},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/MacedoCP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MadhukarSS17,
author = {Kumar Madhukar and
Peter Schrammel and
Mandayam K. Srivas},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Compositional Safety Refutation Techniques},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {164--183},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_12},
doi = {10.1007/978-3-319-68167-2\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/MadhukarSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MontenegroNPS17,
author = {Manuel Montenegro and
Susana Nieva and
Ricardo Pe{\~{n}}a and
Clara Segura},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Liquid Types for Array Invariant Synthesis},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {289--306},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_20},
doi = {10.1007/978-3-319-68167-2\_20},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/MontenegroNPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MoyenRS17,
author = {Jean{-}Yves Moyen and
Thomas Rubiano and
Thomas Seiller},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Loop Quasi-Invariant Chunk Detection},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {91--108},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_7},
doi = {10.1007/978-3-319-68167-2\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/MoyenRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MukherjeeSHKM17,
author = {Rajdeep Mukherjee and
Peter Schrammel and
Leopold Haller and
Daniel Kroening and
Tom Melham},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Lifting {CDCL} to Template-Based Abstract Domains for Program Verification},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {307--326},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_21},
doi = {10.1007/978-3-319-68167-2\_21},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/MukherjeeSHKM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/OliveiraBP17,
author = {Steven de Oliveira and
Saddek Bensalem and
Virgile Prevosto},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Synthesizing Invariants by Solving Solvable Loops},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {327--343},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_22},
doi = {10.1007/978-3-319-68167-2\_22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/OliveiraBP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/PrabhuSSTY17,
author = {Sumanth Prabhu and
Peter Schrammel and
Mandayam K. Srivas and
Michael Tautschnig and
Anand Yeolekar},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Concurrent Program Verification with Invariant-Guided Underapproximation},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {241--248},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_17},
doi = {10.1007/978-3-319-68167-2\_17},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/PrabhuSSTY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SeidlV17,
author = {Helmut Seidl and
Ralf Vogler},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Proving Absence of Starvation by Means of Abstract Interpretation
and Model Checking},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {3--22},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_1},
doi = {10.1007/978-3-319-68167-2\_1},
timestamp = {Thu, 05 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/SeidlV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/TiwariSELYG17,
author = {Ashish Tiwari and
Scott A. Smolka and
Lukas Esterle and
Anna Lukina and
Junxing Yang and
Radu Grosu},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Attacking the {V:} On the Resiliency of Adaptive-Horizon {MPC}},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {446--462},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_29},
doi = {10.1007/978-3-319-68167-2\_29},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/TiwariSELYG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2017,
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2},
doi = {10.1007/978-3-319-68167-2},
isbn = {978-3-319-68166-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-06-01 06:11 CEST 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:
