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/vmcai/vmcai2012.bht:"
download as .bib file
@inproceedings{DBLP:conf/vmcai/AlbarghouthiGC12,
author = {Aws Albarghouthi and
Arie Gurfinkel and
Marsha Chechik},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Whale: An Interpolation-Based Algorithm for Inter-procedural Verification},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {39--55},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_4},
doi = {10.1007/978-3-642-27940-9\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/AlbarghouthiGC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BasuBO12,
author = {Samik Basu and
Tevfik Bultan and
Meriem Ouederni},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Synchronizability for Verification of Asynchronously Communicating
Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {56--71},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_5},
doi = {10.1007/978-3-642-27940-9\_5},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BasuBO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Ben-AmramGM12,
author = {Amir M. Ben{-}Amram and
Samir Genaim and
Abu Naser Masud},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {On the Termination of Integer Loops},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {72--87},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_6},
doi = {10.1007/978-3-642-27940-9\_6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Ben-AmramGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BouajjaniDES12,
author = {Ahmed Bouajjani and
Cezara Dragoi and
Constantin Enea and
Mihaela Sighireanu},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Abstract Domains for Automated Reasoning about List-Manipulating Programs
with Infinite Data},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {1--22},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_1},
doi = {10.1007/978-3-642-27940-9\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BouajjaniDES12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BozzelliP12,
author = {Laura Bozzelli and
Sophie Pinchinat},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Verification of Gap-Order Constraint Abstractions of Counter Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {88--103},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_7},
doi = {10.1007/978-3-642-27940-9\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BozzelliP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Bugaychenko12,
author = {Dmitry Bugaychenko},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic
Model Checking},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {104--118},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_8},
doi = {10.1007/978-3-642-27940-9\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Bugaychenko12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ChakiGS12,
author = {Sagar Chaki and
Arie Gurfinkel and
Ofer Strichman},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Regression Verification for Multi-threaded Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {119--135},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_9},
doi = {10.1007/978-3-642-27940-9\_9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/ChakiGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/CharltonHR12,
author = {Nathaniel Charlton and
Ben Horsfall and
Bernhard Reus},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Crowfoot: {A} Verifier for Higher-Order Store Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {136--151},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_10},
doi = {10.1007/978-3-642-27940-9\_10},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/CharltonHR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ChatterjeeR12,
author = {Krishnendu Chatterjee and
Vishwanath Raman},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Synthesizing Protocols for Digital Contract Signing},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {152--168},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_11},
doi = {10.1007/978-3-642-27940-9\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ChatterjeeR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DimitrovaFKRS12,
author = {Rayna Dimitrova and
Bernd Finkbeiner and
M{\'{a}}t{\'{e}} Kov{\'{a}}cs and
Markus N. Rabe and
Helmut Seidl},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Model Checking Information Flow in Reactive Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {169--185},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_12},
doi = {10.1007/978-3-642-27940-9\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DimitrovaFKRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ErmisHP12,
author = {Evren Ermis and
Jochen Hoenicke and
Andreas Podelski},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Splitting via Interpolants},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {186--201},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_13},
doi = {10.1007/978-3-642-27940-9\_13},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ErmisHP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/EssenJ12,
author = {Christian von Essen and
Barbara Jobstmann},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Synthesizing Efficient Controllers},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {428--444},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_28},
doi = {10.1007/978-3-642-27940-9\_28},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/EssenJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FerraraM12,
author = {Pietro Ferrara and
Peter M{\"{u}}ller},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Automatic Inference of Access Permissions},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {202--218},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_14},
doi = {10.1007/978-3-642-27940-9\_14},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/FerraraM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FinkbeinerJ12,
author = {Bernd Finkbeiner and
Swen Jacobs},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Lazy Synthesis},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {219--234},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_15},
doi = {10.1007/978-3-642-27940-9\_15},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/FinkbeinerJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GhorbalIBMG12,
author = {Khalil Ghorbal and
Franjo Ivancic and
Gogul Balakrishnan and
Naoto Maeda and
Aarti Gupta},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Donut Domains: Efficient Non-convex Domains for Abstract Interpretation},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {235--250},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_16},
doi = {10.1007/978-3-642-27940-9\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/GhorbalIBMG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HowarSJC12,
author = {Falk Howar and
Bernhard Steffen and
Bengt Jonsson and
Sofia Cassel},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Inferring Canonical Register Automata},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {251--266},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_17},
doi = {10.1007/978-3-642-27940-9\_17},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HowarSJC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Jhala12,
author = {Ranjit Jhala},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Software Verification with Liquid Types},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {23},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_2},
doi = {10.1007/978-3-642-27940-9\_2},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Jhala12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KinderK12,
author = {Johannes Kinder and
Dmitry Kravchenko},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Alternating Control Flow Reconstruction},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {267--282},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_18},
doi = {10.1007/978-3-642-27940-9\_18},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KinderK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KleinPP12,
author = {Uri Klein and
Nir Piterman and
Amir Pnueli},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Effective Synthesis of Asynchronous Systems from {GR(1)} Specifications},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {283--298},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_19},
doi = {10.1007/978-3-642-27940-9\_19},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/KleinPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LeeLY12,
author = {Woosuk Lee and
Wonchan Lee and
Kwangkeun Yi},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Sound Non-statistical Clustering of Static Analysis Alarms},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {299--314},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_20},
doi = {10.1007/978-3-642-27940-9\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/LeeLY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Leino12,
author = {K. Rustan M. Leino},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Automating Induction with an {SMT} Solver},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {315--331},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_21},
doi = {10.1007/978-3-642-27940-9\_21},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Leino12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/MorseVMM12,
author = {Everett Morse and
Nick Vrvilo and
Eric Mercer and
Jay McCarthy},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Modeling Asynchronous Message Passing for {C} Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {332--347},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_22},
doi = {10.1007/978-3-642-27940-9\_22},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/MorseVMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/NamjoshiT12,
author = {Kedar S. Namjoshi and
Richard J. Trefler},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Local Symmetry and Compositional Verification},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {348--362},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_23},
doi = {10.1007/978-3-642-27940-9\_23},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/NamjoshiT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Nipkow12,
author = {Tobias Nipkow},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Teaching Semantics with a Proof Assistant: No More {LSD} Trip Proofs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {24--38},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_3},
doi = {10.1007/978-3-642-27940-9\_3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Nipkow12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/OeSOC12,
author = {Duckki Oe and
Aaron Stump and
Corey Oliver and
Kevin Clancy},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {versat: {A} Verified Modern {SAT} Solver},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {363--378},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_24},
doi = {10.1007/978-3-642-27940-9\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/OeSOC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/RosenbergBN12,
author = {Stan Rosenberg and
Anindya Banerjee and
David A. Naumann},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Decision Procedures for Region Logic},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {379--395},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_25},
doi = {10.1007/978-3-642-27940-9\_25},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/RosenbergBN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SackZ12,
author = {Joshua Sack and
Lijun Zhang},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {A General Framework for Probabilistic Characterizing Formulae},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {396--411},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_26},
doi = {10.1007/978-3-642-27940-9\_26},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SackZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SiegelZ12,
author = {Stephen F. Siegel and
Timothy K. Zirkel},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Loop Invariant Symbolic Execution for Parallel Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {412--427},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_27},
doi = {10.1007/978-3-642-27940-9\_27},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SiegelZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ZuffereyWH12,
author = {Damien Zufferey and
Thomas Wies and
Thomas A. Henzinger},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Ideal Abstractions for Well-Structured Transition Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {445--460},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_29},
doi = {10.1007/978-3-642-27940-9\_29},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ZuffereyWH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2012,
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9},
doi = {10.1007/978-3-642-27940-9},
isbn = {978-3-642-27939-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/2012.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-05-30 17:39 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:
