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/cav/cav2016-2.bht:"
download as .bib file
@inproceedings{DBLP:conf/cav/0001D16,
author = {Dirk Beyer and
Matthias Dangl},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Verification-Aided Debugging: An Interactive Web-Service for Exploring
Error Witnesses},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {502--509},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_28},
doi = {10.1007/978-3-319-41540-6\_28},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/0001D16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbdullaAJL16,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Bengt Jonsson and
Carl Leonardsson},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Stateless Model Checking for {POWER}},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {134--156},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_8},
doi = {10.1007/978-3-319-41540-6\_8},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AbdullaAJL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurMT16,
author = {Rajeev Alur and
Salar Moarref and
Ufuk Topcu},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Compositional Synthesis of Reactive Controllers for Multi-agent Systems},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {251--269},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_14},
doi = {10.1007/978-3-319-41540-6\_14},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BenerecettiDM16,
author = {Massimo Benerecetti and
Daniele Dell'Erba and
Fabio Mogavero},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Solving Parity Games via Priority Promotion},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {270--290},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_15},
doi = {10.1007/978-3-319-41540-6\_15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BenerecettiDM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChampionMST16,
author = {Adrien Champion and
Alain Mebsout and
Christoph Sticksel and
Cesare Tinelli},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {The Kind 2 Model Checker},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {510--517},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_29},
doi = {10.1007/978-3-319-41540-6\_29},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChampionMST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChenSW16,
author = {Yu{-}Fang Chen and
Lei Song and
Zhilin Wu},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {The Commutativity Problem of the MapReduce Framework: {A} Transducer-Based
Approach},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {91--111},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_6},
doi = {10.1007/978-3-319-41540-6\_6},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChenSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChistikovMN16,
author = {Dmitry Chistikov and
Rupak Majumdar and
Filip Niksic},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Hitting Families of Schedules for Asynchronous Programs},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {157--176},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_9},
doi = {10.1007/978-3-319-41540-6\_9},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChistikovMN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DAntoniSS16,
author = {Loris D'Antoni and
Roopsha Samanta and
Rishabh Singh},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Qlose: Program Repair with Quantitative Objectives},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {383--401},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_21},
doi = {10.1007/978-3-319-41540-6\_21},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DAntoniSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DacaHK16,
author = {Przemyslaw Daca and
Thomas A. Henzinger and
Andrey Kupriyanov},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Array Folds Logic},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {230--248},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_13},
doi = {10.1007/978-3-319-41540-6\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DacaHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DrewsA16,
author = {Samuel Drews and
Aws Albarghouthi},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Effectively Propositional Interpolants},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {210--229},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_12},
doi = {10.1007/978-3-319-41540-6\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DrewsA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EhlersR16,
author = {R{\"{u}}diger Ehlers and
Vasumathi Raman},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Slugs: Extensible {GR(1)} Synthesis},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {333--339},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_18},
doi = {10.1007/978-3-319-41540-6\_18},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EhlersR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EldibWW16,
author = {Hassan Eldib and
Meng Wu and
Chao Wang},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {343--363},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_19},
doi = {10.1007/978-3-319-41540-6\_19},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EldibWW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FedyukovichGS16,
author = {Grigory Fedyukovich and
Arie Gurfinkel and
Natasha Sharygina},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Property Directed Equivalence via Abstract Simulation},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {433--453},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_24},
doi = {10.1007/978-3-319-41540-6\_24},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/FedyukovichGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Fiterau-Brostean16,
author = {Paul Fiterau{-}Brostean and
Ramon Janssen and
Frits W. Vaandrager},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Combining Model Learning and Model Checking to Analyze {TCP} Implementations},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {454--471},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_25},
doi = {10.1007/978-3-319-41540-6\_25},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Fiterau-Brostean16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FriedTV16,
author = {Dror Fried and
Lucas M. Tabajara and
Moshe Y. Vardi},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {BDD-Based Boolean Functional Synthesis},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {402--421},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_22},
doi = {10.1007/978-3-319-41540-6\_22},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FriedTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FuS16,
author = {Zhoulai Fu and
Zhendong Su},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {XSat: {A} Fast Floating-Point Satisfiability Solver},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {187--209},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_11},
doi = {10.1007/978-3-319-41540-6\_11},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/FuS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GarioCMTR16,
author = {Marco Gario and
Alessandro Cimatti and
Cristian Mattarei and
Stefano Tonetta and
Kristin Yvonne Rozier},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Model Checking at Scale: Automated Air Traffic Control Design Space
Exploration},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {3--22},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_1},
doi = {10.1007/978-3-319-41540-6\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GarioCMTR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HahnSTZ16,
author = {Ernst Moritz Hahn and
Sven Schewe and
Andrea Turrini and
Lijun Zhang},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {A Simple Algorithm for Solving Qualitative Probabilistic Parity Games},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {291--311},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_16},
doi = {10.1007/978-3-319-41540-6\_16},
timestamp = {Mon, 31 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HahnSTZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HerdtLGD16,
author = {Vladimir Herdt and
Hoang Minh Le and
Daniel Gro{\ss}e and
Rolf Drechsler},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {ParCoSS: Efficient Parallelized Compiled Symbolic Simulation},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {177--183},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_10},
doi = {10.1007/978-3-319-41540-6\_10},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HerdtLGD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JordanSS16,
author = {Herbert Jordan and
Bernhard Scholz and
Pavle Subotic},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Souffl{\'{e}}: On Synthesis of Program Analyzers},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {422--430},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_23},
doi = {10.1007/978-3-319-41540-6\_23},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/JordanSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LeggNR16,
author = {Alexander Legg and
Nina Narodytska and
Leonid Ryzhyk},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {A SAT-Based Counterexample Guided Method for Unbounded Synthesis},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {364--382},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_20},
doi = {10.1007/978-3-319-41540-6\_20},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LeggNR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LinR16,
author = {Anthony W. Lin and
Philipp R{\"{u}}mmer},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Liveness of Randomised Parameterised Systems under Arbitrary Schedulers},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {112--133},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_7},
doi = {10.1007/978-3-319-41540-6\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LinR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PernsteinerLTTW16,
author = {Stuart Pernsteiner and
Calvin Loncaric and
Emina Torlak and
Zachary Tatlock and
Xi Wang and
Michael D. Ernst and
Jonathan Jacky},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Investigating Safety of a Radiotherapy Machine Using System Models
with Pluggable Checkers},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {23--41},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_2},
doi = {10.1007/978-3-319-41540-6\_2},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/PernsteinerLTTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ReidCDGHKPSVZ16,
author = {Alastair Reid and
Rick Chen and
Anastasios Deligiannis and
David Gilday and
David Hoyes and
Will Keen and
Ashan Pathirane and
Owen Shepherd and
Peter Vrabel and
Ali Zaidi},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {End-to-End Verification of Processors with ISA-Formal},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {42--58},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_3},
doi = {10.1007/978-3-319-41540-6\_3},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ReidCDGHKPSVZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SantolucitoZP16,
author = {Mark Santolucito and
Ennan Zhai and
Ruzica Piskac},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Probabilistic Automated Language Learning for Configuration Files},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {80--87},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_5},
doi = {10.1007/978-3-319-41540-6\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SantolucitoZP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SevegnaniC16,
author = {Michele Sevegnani and
Muffy Calder},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {BigraphER: Rewriting and Analysis Engine for Bigraphs},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {494--501},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_27},
doi = {10.1007/978-3-319-41540-6\_27},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SevegnaniC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SickertEJK16,
author = {Salomon Sickert and
Javier Esparza and
Stefan Jaax and
Jan Kret{\'{\i}}nsk{\'{y}}},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Limit-Deterministic B{\"{u}}chi Automata for Linear Temporal
Logic},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {312--332},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_17},
doi = {10.1007/978-3-319-41540-6\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SickertEJK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Wijs16,
author = {Anton Wijs},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {BFS-Based Model Checking of Linear-Time Properties with an Application
on GPUs},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {472--493},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_26},
doi = {10.1007/978-3-319-41540-6\_26},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Wijs16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/XuFFZZL16,
author = {Fengwei Xu and
Ming Fu and
Xinyu Feng and
Xiaoran Zhang and
Hui Zhang and
Zhaohui Li},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {A Practical Verification Framework for Preemptive {OS} Kernels},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {59--79},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_4},
doi = {10.1007/978-3-319-41540-6\_4},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/XuFFZZL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2016-2,
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6},
doi = {10.1007/978-3-319-41540-6},
isbn = {978-3-319-41539-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2016-2.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-04-30 13:00 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:
