Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/vmcai/AbdullaHH13,
  author       = {Parosh Aziz Abdulla and
                  Fr{\'{e}}d{\'{e}}ric Haziza and
                  Luk{\'{a}}s Hol{\'{\i}}k},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {All for the Price of Few},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {476--495},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_28},
  doi          = {10.1007/978-3-642-35873-9\_28},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/AbdullaHH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/BiondiLMW13,
  author       = {Fabrizio Biondi and
                  Axel Legay and
                  Pasquale Malacaria and
                  Andrzej Wasowski},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Quantifying Information Leakage of Randomized Protocols},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {68--87},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_7},
  doi          = {10.1007/978-3-642-35873-9\_7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/BiondiLMW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/BrainDHGK13,
  author       = {Martin Brain and
                  Vijay Victor D'Silva and
                  Leopold Haller and
                  Alberto Griggio and
                  Daniel Kroening},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {An Abstract Interpretation of {DPLL(T)}},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {455--475},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_27},
  doi          = {10.1007/978-3-642-35873-9\_27},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/BrainDHGK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/ChakiGKS13,
  author       = {Sagar Chaki and
                  Arie Gurfinkel and
                  Soonho Kong and
                  Ofer Strichman},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Compositional Sequentialization of Periodic Programs},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {536--554},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_31},
  doi          = {10.1007/978-3-642-35873-9\_31},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/ChakiGKS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/ChristESW13,
  author       = {J{\"{u}}rgen Christ and
                  Evren Ermis and
                  Martin Sch{\"{a}}f and
                  Thomas Wies},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Flow-Sensitive Fault Localization},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {189--208},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_13},
  doi          = {10.1007/978-3-642-35873-9\_13},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/ChristESW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/CousotCFL13,
  author       = {Patrick Cousot and
                  Radhia Cousot and
                  Manuel F{\"{a}}hndrich and
                  Francesco Logozzo},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Automatic Inference of Necessary Preconditions},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {128--148},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_10},
  doi          = {10.1007/978-3-642-35873-9\_10},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/CousotCFL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/CruanesHOS13,
  author       = {Simon Cruanes and
                  Gr{\'{e}}goire Hamon and
                  Sam Owre and
                  Natarajan Shankar},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Tool Integration with the Evidential Tool Bus},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {275--294},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_18},
  doi          = {10.1007/978-3-642-35873-9\_18},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/CruanesHOS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/DAntoniV13,
  author       = {Loris D'Antoni and
                  Margus Veanes},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Static Analysis of String Encoders and Decoders},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {209--228},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_14},
  doi          = {10.1007/978-3-642-35873-9\_14},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/DAntoniV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/DSilvaK13,
  author       = {Vijay Victor D'Silva and
                  Daniel Kroening},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Abstraction of Syntax},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {396--413},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_24},
  doi          = {10.1007/978-3-642-35873-9\_24},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/DSilvaK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/DehnertKP13,
  author       = {Christian Dehnert and
                  Joost{-}Pieter Katoen and
                  David Parker},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {SMT-Based Bisimulation Minimisation of Markov Models},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {28--47},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_5},
  doi          = {10.1007/978-3-642-35873-9\_5},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/DehnertKP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/HeuleLMS13,
  author       = {Stefan Heule and
                  K. Rustan M. Leino and
                  Peter M{\"{u}}ller and
                  Alexander J. Summers},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Abstract Read Permissions: Fractional Permissions without the Fractions},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {315--334},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_20},
  doi          = {10.1007/978-3-642-35873-9\_20},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/HeuleLMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/JacobsKS13,
  author       = {Swen Jacobs and
                  Viktor Kuncak and
                  Philippe Suter},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Reductions for Synthesis Procedures},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {88--107},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_8},
  doi          = {10.1007/978-3-642-35873-9\_8},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/JacobsKS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/JohnNN13,
  author       = {Mathias John and
                  Mirabelle Nebut and
                  Joachim Niehren},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Knockout Prediction for Reaction Networks with Partial Kinetic Information},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {355--374},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_22},
  doi          = {10.1007/978-3-642-35873-9\_22},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/JohnNN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/KhalimovJB13,
  author       = {Ayrat Khalimov and
                  Swen Jacobs and
                  Roderick Bloem},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Towards Efficient Parameterized Synthesis},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {108--127},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_9},
  doi          = {10.1007/978-3-642-35873-9\_9},
  timestamp    = {Mon, 19 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/KhalimovJB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/LarrazRR13,
  author       = {Daniel Larraz and
                  Enric Rodr{\'{\i}}guez{-}Carbonell and
                  Albert Rubio},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {SMT-Based Array Invariant Generation},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {169--188},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_12},
  doi          = {10.1007/978-3-642-35873-9\_12},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/LarrazRR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/Leitner-FischerL13,
  author       = {Florian Leitner{-}Fischer and
                  Stefan Leue},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Causality Checking for Complex System Models},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {248--267},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_16},
  doi          = {10.1007/978-3-642-35873-9\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/Leitner-FischerL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/MouraJ13,
  author       = {Leonardo Mendon{\c{c}}a de Moura and
                  Dejan Jovanovic},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {A Model-Constructing Satisfiability Calculus},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {1--12},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_1},
  doi          = {10.1007/978-3-642-35873-9\_1},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/MouraJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/NamjoshiT13,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Uncovering Symmetries in Irregular Process Networks},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {496--514},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_29},
  doi          = {10.1007/978-3-642-35873-9\_29},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/NamjoshiT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/Pearce13,
  author       = {David J. Pearce},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Sound and Complete Flow Typing with Unions, Intersections and Negations},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {335--354},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_21},
  doi          = {10.1007/978-3-642-35873-9\_21},
  timestamp    = {Wed, 26 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/Pearce13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/PelleauMTB13,
  author       = {Marie Pelleau and
                  Antoine Min{\'{e}} and
                  Charlotte Truchet and
                  Fr{\'{e}}d{\'{e}}ric Benhamou},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {A Constraint Solver Based on Abstract Domains},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {434--454},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_26},
  doi          = {10.1007/978-3-642-35873-9\_26},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/PelleauMTB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/Podelski13,
  author       = {Andreas Podelski},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Automata as Proofs},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {13--14},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_2},
  doi          = {10.1007/978-3-642-35873-9\_2},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/Podelski13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/PrabhakarDMV13,
  author       = {Pavithra Prabhakar and
                  Parasara Sridhar Duggirala and
                  Sayan Mitra and
                  Mahesh Viswanathan},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Hybrid Automata-Based {CEGAR} for Rectangular Hybrid Systems},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {48--67},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_6},
  doi          = {10.1007/978-3-642-35873-9\_6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/PrabhakarDMV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/Ranzato13,
  author       = {Francesco Ranzato},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Complete Abstractions Everywhere},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {15--26},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_3},
  doi          = {10.1007/978-3-642-35873-9\_3},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/Ranzato13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/SamantaDC13,
  author       = {Roopsha Samanta and
                  Jyotirmoy V. Deshmukh and
                  Swarat Chaudhuri},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Robustness Analysis of Networked Systems},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {229--247},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_15},
  doi          = {10.1007/978-3-642-35873-9\_15},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/SamantaDC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/SchrammelS13,
  author       = {Peter Schrammel and
                  Pavle Subotic},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Logico-Numerical Max-Strategy Iteration},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {414--433},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_25},
  doi          = {10.1007/978-3-642-35873-9\_25},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/SchrammelS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/SeladjiB13,
  author       = {Yassamine Seladji and
                  Olivier Bouissou},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Fixpoint Computation in the Polyhedra Abstract Domain Using Convex
                  and Numerical Analysis Tools},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {149--168},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_11},
  doi          = {10.1007/978-3-642-35873-9\_11},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/SeladjiB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/SlabyST13,
  author       = {Jiri Slaby and
                  Jan Strejcek and
                  Marek Trt{\'{\i}}k},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {ClabureDB: Classified Bug-Reports Database},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {268--274},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_17},
  doi          = {10.1007/978-3-642-35873-9\_17},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/SlabyST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/ToubhansCR13,
  author       = {Antoine Toubhans and
                  Bor{-}Yuh Evan Chang and
                  Xavier Rival},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Reduced Product Combination of Abstract Domains for Shapes},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {375--395},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_23},
  doi          = {10.1007/978-3-642-35873-9\_23},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/ToubhansCR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/Yahav13,
  author       = {Eran Yahav},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Abstraction-Guided Synthesis},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {27},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_4},
  doi          = {10.1007/978-3-642-35873-9\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/Yahav13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/ZhengS0LD013,
  author       = {Manchun Zheng and
                  David San{\'{a}}n and
                  Jun Sun and
                  Yang Liu and
                  Jin Song Dong and
                  Yu Gu},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {State Space Reduction for Sensor Networks Using Two-Level Partial
                  Order Reduction},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {515--535},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_30},
  doi          = {10.1007/978-3-642-35873-9\_30},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/ZhengS0LD013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/ZhuJ13,
  author       = {He Zhu and
                  Suresh Jagannathan},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Compositional and Lightweight Dependent Type Inference for {ML}},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {295--314},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_19},
  doi          = {10.1007/978-3-642-35873-9\_19},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/ZhuJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vmcai/2013,
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9},
  doi          = {10.1007/978-3-642-35873-9},
  isbn         = {978-3-642-35872-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.