Search dblp for Publications

export results for "toc:db/conf/vmcai/vmcai2011.bht:"

 download as .bib file

@inproceedings{DBLP:conf/vmcai/AlbertGM11,
  author       = {Elvira Albert and
                  Samir Genaim and
                  Abu Naser Masud},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {More Precise Yet Widely Applicable Cost Analysis},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {38--53},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_5},
  doi          = {10.1007/978-3-642-18275-4\_5},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/AlbertGM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/BardinHV11,
  author       = {S{\'{e}}bastien Bardin and
                  Philippe Herrmann and
                  Franck V{\'{e}}drine},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Refinement-Based {CFG} Reconstruction from Unstructured Programs},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {54--69},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_6},
  doi          = {10.1007/978-3-642-18275-4\_6},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/BardinHV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/Bradley11,
  author       = {Aaron R. Bradley},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {SAT-Based Model Checking without Unrolling},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {70--87},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_7},
  doi          = {10.1007/978-3-642-18275-4\_7},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/Bradley11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/BrilloutKRW11,
  author       = {Angelo Brillout and
                  Daniel Kroening and
                  Philipp R{\"{u}}mmer and
                  Thomas Wahl},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {88--102},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_8},
  doi          = {10.1007/978-3-642-18275-4\_8},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/BrilloutKRW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/ChadhaSV11,
  author       = {Rohit Chadha and
                  A. Prasad Sistla and
                  Mahesh Viswanathan},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Probabilistic B{\"{u}}chi Automata with Non-extremal Acceptance
                  Thresholds},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {103--117},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_9},
  doi          = {10.1007/978-3-642-18275-4\_9},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/ChadhaSV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/ChengRKB11,
  author       = {Chih{-}Hong Cheng and
                  Harald Rue{\ss} and
                  Alois C. Knoll and
                  Christian Buckl},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory
                  to Practice},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {118--133},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_10},
  doi          = {10.1007/978-3-642-18275-4\_10},
  timestamp    = {Fri, 24 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/ChengRKB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/CookFKP11,
  author       = {Byron Cook and
                  Jasmin Fisher and
                  Elzbieta Krepska and
                  Nir Piterman},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Proving Stabilization of Biological Systems},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {134--149},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_11},
  doi          = {10.1007/978-3-642-18275-4\_11},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/CookFKP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/CousotCL11,
  author       = {Patrick Cousot and
                  Radhia Cousot and
                  Francesco Logozzo},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Precondition Inference from Intermittent Assertions and Application
                  to Contracts on Collections},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {150--168},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_12},
  doi          = {10.1007/978-3-642-18275-4\_12},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/CousotCL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/DelahayeKLLPSW11,
  author       = {Beno{\^{\i}}t Delahaye and
                  Joost{-}Pieter Katoen and
                  Kim G. Larsen and
                  Axel Legay and
                  Mikkel L. Pedersen and
                  Falak Sher and
                  Andrzej Wasowski},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Abstract Probabilistic Automata},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {324--339},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_23},
  doi          = {10.1007/978-3-642-18275-4\_23},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/DelahayeKLLPSW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/Dill11,
  author       = {David L. Dill},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Are Cells Asynchronous Circuits? - (Invited Talk)},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {1},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_1},
  doi          = {10.1007/978-3-642-18275-4\_1},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/Dill11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/DonaldsonHK11,
  author       = {Alastair F. Donaldson and
                  Leopold Haller and
                  Daniel Kroening},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Strengthening Induction-Based Race Checking with Lightweight Static
                  Analysis},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {169--183},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_13},
  doi          = {10.1007/978-3-642-18275-4\_13},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/DonaldsonHK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/FrohardtCS11,
  author       = {Robert Frohardt and
                  Bor{-}Yuh Evan Chang and
                  Sriram Sankaranarayanan},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Access Nets: Modeling Access to Physical Spaces},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {184--198},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_14},
  doi          = {10.1007/978-3-642-18275-4\_14},
  timestamp    = {Fri, 06 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/FrohardtCS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/GawlitzaLMSW11,
  author       = {Thomas Martin Gawlitza and
                  Peter Lammich and
                  Markus M{\"{u}}ller{-}Olm and
                  Helmut Seidl and
                  Alexander Wenner},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs
                  with Dynamic Process Creation},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {199--213},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_15},
  doi          = {10.1007/978-3-642-18275-4\_15},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/GawlitzaLMSW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/GotmanovCK11,
  author       = {Alexander Gotmanov and
                  Satrajit Chatterjee and
                  Michael Kishinevsky},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Verifying Deadlock-Freedom of Communication Fabrics},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {214--231},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_16},
  doi          = {10.1007/978-3-642-18275-4\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/GotmanovCK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/GoubaultP11,
  author       = {Eric Goubault and
                  Sylvie Putot},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Static Analysis of Finite Precision Computations},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {232--247},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_17},
  doi          = {10.1007/978-3-642-18275-4\_17},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/GoubaultP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/HooimeijerV11,
  author       = {Pieter Hooimeijer and
                  Margus Veanes},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {An Evaluation of Automata Algorithms for String Analysis},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {248--262},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_18},
  doi          = {10.1007/978-3-642-18275-4\_18},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/HooimeijerV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/HowarSM11,
  author       = {Falk Howar and
                  Bernhard Steffen and
                  Maik Merten},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Automata Learning with Automated Alphabet Abstraction Refinement},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {263--277},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_19},
  doi          = {10.1007/978-3-642-18275-4\_19},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/HowarSM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/JacobsK11,
  author       = {Swen Jacobs and
                  Viktor Kuncak},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Towards Complete Reasoning about Axiomatic Specifications},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {278--293},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_20},
  doi          = {10.1007/978-3-642-18275-4\_20},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/JacobsK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/KimC11,
  author       = {Se{-}Won Kim and
                  Kwang{-}Moo Choe},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {String Analysis as an Abstract Interpretation},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {294--308},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_21},
  doi          = {10.1007/978-3-642-18275-4\_21},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/KimC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/LahiriV11,
  author       = {Shuvendu K. Lahiri and
                  Julien Vanegue},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {ExplainHoudini: Making Houdini Inference Transparent},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {309--323},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_22},
  doi          = {10.1007/978-3-642-18275-4\_22},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/LahiriV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/Logozzo11,
  author       = {Francesco Logozzo},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Practical Verification for the Working Programmer with CodeContracts
                  and Abstract Interpretation - (Invited Talk)},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {19--22},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_3},
  doi          = {10.1007/978-3-642-18275-4\_3},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/Logozzo11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/LopesR11,
  author       = {Nuno P. Lopes and
                  Andrey Rybalchenko},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Distributed and Predictable Software Model Checking},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {340--355},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_24},
  doi          = {10.1007/978-3-642-18275-4\_24},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/LopesR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/OhBY11,
  author       = {Hakjoo Oh and
                  Lucas Brutschy and
                  Kwangkeun Yi},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Access Analysis-Based Tight Localization of Abstract Memories},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {356--370},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_25},
  doi          = {10.1007/978-3-642-18275-4\_25},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/OhBY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/PiskacW11,
  author       = {Ruzica Piskac and
                  Thomas Wies},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Decision Procedures for Automating Termination Proofs},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {371--386},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_26},
  doi          = {10.1007/978-3-642-18275-4\_26},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/PiskacW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/SiegelG11,
  author       = {Stephen F. Siegel and
                  Ganesh Gopalakrishnan},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Formal Analysis of Message Passing - (Invited Talk)},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {2--18},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_2},
  doi          = {10.1007/978-3-642-18275-4\_2},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/SiegelG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/SiegelZ11,
  author       = {Stephen F. Siegel and
                  Timothy K. Zirkel},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Collective Assertions},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {387--402},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_27},
  doi          = {10.1007/978-3-642-18275-4\_27},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/SiegelZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/SteffenR11,
  author       = {Bernhard Steffen and
                  Oliver R{\"{u}}thing},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Quality Engineering: Leveraging Heterogeneous Information - (Invited
                  Talk)},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {23--37},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_4},
  doi          = {10.1007/978-3-642-18275-4\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/SteffenR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/SuterSK11,
  author       = {Philippe Suter and
                  Robin Steiger and
                  Viktor Kuncak},
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Sets with Cardinality Constraints in Satisfiability Modulo Theories},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  pages        = {403--418},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4\_28},
  doi          = {10.1007/978-3-642-18275-4\_28},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/SuterSK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vmcai/2011,
  editor       = {Ranjit Jhala and
                  David A. Schmidt},
  title        = {Verification, Model Checking, and Abstract Interpretation - 12th International
                  Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6538},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18275-4},
  doi          = {10.1007/978-3-642-18275-4},
  isbn         = {978-3-642-18274-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/2011.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.