Search 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}
}

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.