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/cav2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/cav/AbdullaBCHR08,
author = {Parosh Aziz Abdulla and
Ahmed Bouajjani and
Jonathan Cederberg and
Fr{\'{e}}d{\'{e}}ric Haziza and
Ahmed Rezine},
editor = {Aarti Gupta and
Sharad Malik},
title = {Monotonic Abstraction for Programs with Dynamic Memory Heaps},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {341--354},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_33},
doi = {10.1007/978-3-540-70545-1\_33},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/AbdullaBCHR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurKW08,
author = {Rajeev Alur and
Aditya Kanade and
Gera Weiss},
editor = {Aarti Gupta and
Sharad Malik},
title = {Ranking Automata and Games for Prioritized Requirements},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {240--253},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_23},
doi = {10.1007/978-3-540-70545-1\_23},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurKW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BackesLMP08,
author = {Michael Backes and
Stefan Lorenz and
Matteo Maffei and
Kim Pecina},
editor = {Aarti Gupta and
Sharad Malik},
title = {The {CASPA} Tool: Causality-Based Abstraction for Security Protocol
Analysis},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {419--422},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_39},
doi = {10.1007/978-3-540-70545-1\_39},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BackesLMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BaswanaMP08,
author = {Surender Baswana and
Shashank K. Mehta and
Vishal Powar},
editor = {Aarti Gupta and
Sharad Malik},
title = {Implied Set Closure and Its Application to Memory Consistency Verification},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {94--106},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_11},
doi = {10.1007/978-3-540-70545-1\_11},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BaswanaMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BerdineLMRS08,
author = {Josh Berdine and
Tal Lev{-}Ami and
Roman Manevich and
G. Ramalingam and
Shmuel Sagiv},
editor = {Aarti Gupta and
Sharad Malik},
title = {Thread Quantification for Concurrent Shape Analysis},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {399--413},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_37},
doi = {10.1007/978-3-540-70545-1\_37},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BerdineLMRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BeyerZM08,
author = {Dirk Beyer and
Damien Zufferey and
Rupak Majumdar},
editor = {Aarti Gupta and
Sharad Malik},
title = {CSIsat: Interpolation for {LA+EUF}},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {304--308},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_29},
doi = {10.1007/978-3-540-70545-1\_29},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BeyerZM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Bjesse08,
author = {Per Bjesse},
editor = {Aarti Gupta and
Sharad Malik},
title = {A Practical Approach to Word Level Model Checking of Industrial Netlists},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {446--458},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_43},
doi = {10.1007/978-3-540-70545-1\_43},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Bjesse08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BobaruPG08,
author = {Mihaela Gheorghiu Bobaru and
Corina S. Pasareanu and
Dimitra Giannakopoulou},
editor = {Aarti Gupta and
Sharad Malik},
title = {Automated Assume-Guarantee Reasoning by Abstraction Refinement},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {135--148},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_14},
doi = {10.1007/978-3-540-70545-1\_14},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BobaruPG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BofillNORR08,
author = {Miquel Bofill and
Robert Nieuwenhuis and
Albert Oliveras and
Enric Rodr{\'{\i}}guez{-}Carbonell and
Albert Rubio},
editor = {Aarti Gupta and
Sharad Malik},
title = {The Barcelogic {SMT} Solver},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {294--298},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_27},
doi = {10.1007/978-3-540-70545-1\_27},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BofillNORR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BruttomessoCFGS08,
author = {Roberto Bruttomesso and
Alessandro Cimatti and
Anders Franz{\'{e}}n and
Alberto Griggio and
Roberto Sebastiani},
editor = {Aarti Gupta and
Sharad Malik},
title = {The MathSAT 4SMT Solver},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {299--303},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_28},
doi = {10.1007/978-3-540-70545-1\_28},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BruttomessoCFGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BurckhardtM08,
author = {Sebastian Burckhardt and
Madanlal Musuvathi},
editor = {Aarti Gupta and
Sharad Malik},
title = {Effective Program Verification for Relaxed Memory Models},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {107--120},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_12},
doi = {10.1007/978-3-540-70545-1\_12},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BurckhardtM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CohenN08,
author = {Ariel Cohen and
Kedar S. Namjoshi},
editor = {Aarti Gupta and
Sharad Malik},
title = {Local Proofs for Linear-Time Properties of Concurrent Programs},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {149--161},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_15},
doi = {10.1007/978-3-540-70545-1\_15},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CohenN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CohenPZ08,
author = {Ariel Cohen and
Amir Pnueli and
Lenore D. Zuck},
editor = {Aarti Gupta and
Sharad Malik},
title = {Mechanical Verification of Transactional Memories with Non-transactional
Memory Accesses},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {121--134},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_13},
doi = {10.1007/978-3-540-70545-1\_13},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CohenPZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookGLRS08,
author = {Byron Cook and
Sumit Gulwani and
Tal Lev{-}Ami and
Andrey Rybalchenko and
Mooly Sagiv},
editor = {Aarti Gupta and
Sharad Malik},
title = {Proving Conditional Termination},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {328--340},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_32},
doi = {10.1007/978-3-540-70545-1\_32},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CookGLRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Cremers08,
author = {Cas J. F. Cremers},
editor = {Aarti Gupta and
Sharad Malik},
title = {The Scyther Tool: Verification, Falsification, and Analysis of Security
Protocols},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {414--418},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_38},
doi = {10.1007/978-3-540-70545-1\_38},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Cremers08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DSouzaG08,
author = {Deepak D'Souza and
Madhu Gopinathan},
editor = {Aarti Gupta and
Sharad Malik},
title = {Conflict-Tolerant Features},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {227--239},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_22},
doi = {10.1007/978-3-540-70545-1\_22},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DSouzaG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EdelkampSS08,
author = {Stefan Edelkamp and
Peter Sanders and
Pavel Simecek},
editor = {Aarti Gupta and
Sharad Malik},
title = {Semi-external {LTL} Model Checking},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {530--542},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_50},
doi = {10.1007/978-3-540-70545-1\_50},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EdelkampSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EisnerNY08,
author = {Cindy Eisner and
Amir Nahir and
Karen Yorav},
editor = {Aarti Gupta and
Sharad Malik},
title = {Functional Verification of Power Gated Designs by Compositional Reasoning},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {433--445},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_42},
doi = {10.1007/978-3-540-70545-1\_42},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EisnerNY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FarzanM08,
author = {Azadeh Farzan and
P. Madhusudan},
editor = {Aarti Gupta and
Sharad Malik},
title = {Monitoring Atomicity in Concurrent Programs},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {52--65},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_8},
doi = {10.1007/978-3-540-70545-1\_8},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FarzanM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Felten08,
author = {Edward W. Felten},
editor = {Aarti Gupta and
Sharad Malik},
title = {Coping with Outside-the-Box Attacks},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {3--4},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_2},
doi = {10.1007/978-3-540-70545-1\_2},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Felten08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Foster08,
author = {Harry Foster},
editor = {Aarti Gupta and
Sharad Malik},
title = {Assertion-Based Verification: Industry Myths to Realities (Invited
Tutorial)},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {5--10},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_3},
doi = {10.1007/978-3-540-70545-1\_3},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Foster08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GadkariYSRMS08,
author = {Ambar A. Gadkari and
Anand Yeolekar and
J. Suresh and
S. Ramesh and
Swarup Mohalik and
K. C. Shashidhar},
editor = {Aarti Gupta and
Sharad Malik},
title = {AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control
Systems},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {204--208},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_19},
doi = {10.1007/978-3-540-70545-1\_19},
timestamp = {Wed, 11 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/GadkariYSRMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GayNP08,
author = {Simon J. Gay and
Rajagopal Nagarajan and
Nikolaos Papanikolaou},
editor = {Aarti Gupta and
Sharad Malik},
title = {{QMC:} {A} Model Checker for Quantum Systems},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {543--547},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_51},
doi = {10.1007/978-3-540-70545-1\_51},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GayNP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GlabbeekP08,
author = {Rob J. van Glabbeek and
Bas Ploeger},
editor = {Aarti Gupta and
Sharad Malik},
title = {Correcting a Space-Efficient Simulation Algorithm},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {517--529},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_49},
doi = {10.1007/978-3-540-70545-1\_49},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GlabbeekP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GulavaniG08,
author = {Bhargav S. Gulavani and
Sumit Gulwani},
editor = {Aarti Gupta and
Sharad Malik},
title = {A Numerical Abstract Domain Based on Expression Abstraction and Max
Operator with Application in Timing Analysis},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {370--384},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_35},
doi = {10.1007/978-3-540-70545-1\_35},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GulavaniG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GulwaniT08,
author = {Sumit Gulwani and
Ashish Tiwari},
editor = {Aarti Gupta and
Sharad Malik},
title = {Constraint-Based Approach for Analysis of Hybrid Systems},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {190--203},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_18},
doi = {10.1007/978-3-540-70545-1\_18},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/GulwaniT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Harrison08,
author = {John Harrison},
editor = {Aarti Gupta and
Sharad Malik},
title = {Theorem Proving for Verification (Invited Tutorial)},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {11--18},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_4},
doi = {10.1007/978-3-540-70545-1\_4},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Harrison08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HermannsWZ08,
author = {Holger Hermanns and
Bj{\"{o}}rn Wachter and
Lijun Zhang},
editor = {Aarti Gupta and
Sharad Malik},
title = {Probabilistic {CEGAR}},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {162--175},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_16},
doi = {10.1007/978-3-540-70545-1\_16},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HermannsWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HolzerSTV08,
author = {Andreas Holzer and
Christian Schallhart and
Michael Tautschnig and
Helmut Veith},
editor = {Aarti Gupta and
Sharad Malik},
title = {FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {209--213},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_20},
doi = {10.1007/978-3-540-70545-1\_20},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HolzerSTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JainCG08,
author = {Himanshu Jain and
Edmund M. Clarke and
Orna Grumberg},
editor = {Aarti Gupta and
Sharad Malik},
title = {Efficient Craig Interpolation for Linear Diophantine (Dis)Equations
and Linear Modular Equations},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {254--267},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_24},
doi = {10.1007/978-3-540-70545-1\_24},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/JainCG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JoshiK08,
author = {Salil Joshi and
Barbara K{\"{o}}nig},
editor = {Aarti Gupta and
Sharad Malik},
title = {Applying the Graph Minor Theorem to the Verification of Graph Transformation
Systems},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {214--226},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_21},
doi = {10.1007/978-3-540-70545-1\_21},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/JoshiK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KashyapG08,
author = {Sujatha Kashyap and
Vijay K. Garg},
editor = {Aarti Gupta and
Sharad Malik},
title = {Producing Short Counterexamples Using "Crucial Events"},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {491--503},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_47},
doi = {10.1007/978-3-540-70545-1\_47},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KashyapG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KimJRSPKS08,
author = {Hyondeuk Kim and
HoonSang Jin and
Kavita Ravi and
Petr Spacek and
John Pierce and
Robert P. Kurshan and
Fabio Somenzi},
editor = {Aarti Gupta and
Sharad Malik},
title = {Application of Formal Word-Level Analysis to Constrained Random Simulation},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {487--490},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_46},
doi = {10.1007/978-3-540-70545-1\_46},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KimJRSPKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KinderV08,
author = {Johannes Kinder and
Helmut Veith},
editor = {Aarti Gupta and
Sharad Malik},
title = {Jakstab: {A} Static Analysis Platform for Binaries},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {423--427},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_40},
doi = {10.1007/978-3-540-70545-1\_40},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KinderV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KingS08,
author = {Andy King and
Harald S{\o}ndergaard},
editor = {Aarti Gupta and
Sharad Malik},
title = {Inferring Congruence Equations Using {SAT}},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {281--293},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_26},
doi = {10.1007/978-3-540-70545-1\_26},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/KingS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KobayashiS08,
author = {Naoki Kobayashi and
Davide Sangiorgi},
editor = {Aarti Gupta and
Sharad Malik},
title = {A Hybrid Type System for Lock-Freedom of Mobile Processes},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {80--93},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_10},
doi = {10.1007/978-3-540-70545-1\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KobayashiS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KunduLG08,
author = {Sudipta Kundu and
Sorin Lerner and
Rajesh Gupta},
editor = {Aarti Gupta and
Sharad Malik},
title = {Validating High-Level Synthesis},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {459--472},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_44},
doi = {10.1007/978-3-540-70545-1\_44},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KunduLG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KupferschmidWNP08,
author = {Sebastian Kupferschmid and
Martin Wehrle and
Bernhard Nebel and
Andreas Podelski},
editor = {Aarti Gupta and
Sharad Malik},
title = {Faster Than Uppaal?},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {552--555},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_53},
doi = {10.1007/978-3-540-70545-1\_53},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KupferschmidWNP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LalR08,
author = {Akash Lal and
Thomas W. Reps},
editor = {Aarti Gupta and
Sharad Malik},
title = {Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {37--51},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_7},
doi = {10.1007/978-3-540-70545-1\_7},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LalR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Larus08,
author = {James R. Larus},
editor = {Aarti Gupta and
Sharad Malik},
title = {Singularity: Designing Better Software (Invited Talk)},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {1--2},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_1},
doi = {10.1007/978-3-540-70545-1\_1},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Larus08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Legay08,
author = {Axel Legay},
editor = {Aarti Gupta and
Sharad Malik},
title = {{T(O)RMC:} {A} Tool for (omega)-Regular Model Checking},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {548--551},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_52},
doi = {10.1007/978-3-540-70545-1\_52},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Legay08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MagillTLT08,
author = {Stephen Magill and
Ming{-}Hsien Tsai and
Peter Lee and
Yih{-}Kuen Tsay},
editor = {Aarti Gupta and
Sharad Malik},
title = {{THOR:} {A} Tool for Reasoning about Shape and Arithmetic},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {428--432},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_41},
doi = {10.1007/978-3-540-70545-1\_41},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/MagillTLT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MeikleF08,
author = {Laura I. Meikle and
Jacques D. Fleuriot},
editor = {Aarti Gupta and
Sharad Malik},
title = {Prover's Palette: {A} User-Centric Approach to Verification with Isabelle
and {QEPCAD-B}},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {309--313},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_30},
doi = {10.1007/978-3-540-70545-1\_30},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/MeikleF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NguyenC08,
author = {Huu Hai Nguyen and
Wei{-}Ngan Chin},
editor = {Aarti Gupta and
Sharad Malik},
title = {Enhancing Program Verification with Lemmas},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {355--369},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_34},
doi = {10.1007/978-3-540-70545-1\_34},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/NguyenC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NiebertPP08,
author = {Peter Niebert and
Doron A. Peled and
Amir Pnueli},
editor = {Aarti Gupta and
Sharad Malik},
title = {Discriminative Model Checking},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {504--516},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_48},
doi = {10.1007/978-3-540-70545-1\_48},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/NiebertPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/OHearn08,
author = {Peter W. O'Hearn},
editor = {Aarti Gupta and
Sharad Malik},
title = {Tutorial on Separation Logic (Invited Tutorial)},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {19--21},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_5},
doi = {10.1007/978-3-540-70545-1\_5},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/OHearn08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PiskacK08,
author = {Ruzica Piskac and
Viktor Kuncak},
editor = {Aarti Gupta and
Sharad Malik},
title = {Linear Arithmetic with Stars},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {268--280},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_25},
doi = {10.1007/978-3-540-70545-1\_25},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/PiskacK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PlatzerC08,
author = {Andr{\'{e}} Platzer and
Edmund M. Clarke},
editor = {Aarti Gupta and
Sharad Malik},
title = {Computing Differential Invariants of Hybrid Systems as Fixedpoints},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {176--189},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_17},
doi = {10.1007/978-3-540-70545-1\_17},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/PlatzerC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PodelskiRW08,
author = {Andreas Podelski and
Andrey Rybalchenko and
Thomas Wies},
editor = {Aarti Gupta and
Sharad Malik},
title = {Heap Assumptions on Demand},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {314--327},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_31},
doi = {10.1007/978-3-540-70545-1\_31},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/PodelskiRW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/VakkalankaGK08,
author = {Sarvani S. Vakkalanka and
Ganesh Gopalakrishnan and
Robert M. Kirby},
editor = {Aarti Gupta and
Sharad Malik},
title = {Dynamic Verification of {MPI} Programs with Reductions in Presence
of Split Operations and Relaxed Orderings},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {66--79},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_9},
doi = {10.1007/978-3-540-70545-1\_9},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/VakkalankaGK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WienandWSKG08,
author = {Oliver Wienand and
Markus Wedler and
Dominik Stoffel and
Wolfgang Kunz and
Gert{-}Martin Greuel},
editor = {Aarti Gupta and
Sharad Malik},
title = {An Algebraic Approach for Proving Data Correctness in Arithmetic Data
Paths},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {473--486},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_45},
doi = {10.1007/978-3-540-70545-1\_45},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/WienandWSKG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WilhelmW08,
author = {Reinhard Wilhelm and
Bj{\"{o}}rn Wachter},
editor = {Aarti Gupta and
Sharad Malik},
title = {Abstract Interpretation with Applications to Timing Validation},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {22--36},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_6},
doi = {10.1007/978-3-540-70545-1\_6},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/WilhelmW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YangLBCCDO08,
author = {Hongseok Yang and
Oukseh Lee and
Josh Berdine and
Cristiano Calcagno and
Byron Cook and
Dino Distefano and
Peter W. O'Hearn},
editor = {Aarti Gupta and
Sharad Malik},
title = {Scalable Shape Analysis for Systems Code},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {385--398},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_36},
doi = {10.1007/978-3-540-70545-1\_36},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/YangLBCCDO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2008,
editor = {Aarti Gupta and
Sharad Malik},
title = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1},
doi = {10.1007/978-3-540-70545-1},
isbn = {978-3-540-70543-7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2008.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-18 21:07 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:
