Search dblp for Publications

export results for "toc:db/conf/cade/wing2010.bht:"

 download as .bib file

@proceedings{DBLP:conf/cade/2010wing,
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  publisher    = {EasyChair},
  year         = {2012},
  url          = {https://easychair.org/publications/volume/WING\_2010},
  timestamp    = {Thu, 14 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/2010wing.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BadbanLS10,
  author       = {Bahareh Badban and
                  Stefan Leue and
                  Jan{-}Georg Smaus},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Automated Invariant Generation for the Verification of Real-Time Systems},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {44--58},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/npn7},
  doi          = {10.29007/NPN7},
  timestamp    = {Thu, 14 Apr 2022 20:26:15 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BadbanLS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BlechNP10,
  author       = {Jan Olaf Blech and
                  Thanh{-}Hung Nguyen and
                  Micha{\"{e}}l P{\'{e}}rin},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Invariants and Robustness of {BIP} Models},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {59--74},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/prxp},
  doi          = {10.29007/PRXP},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BlechNP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BozgaIKV10,
  author       = {Marius Bozga and
                  Radu Iosif and
                  Filip Konecn{\'{y}} and
                  Tom{\'{a}}s Vojnar},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Tool Demonstration of the {FLATA} Counter Automata Toolset},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {75},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/5qkv},
  doi          = {10.29007/5QKV},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BozgaIKV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/CraciunLHQC10,
  author       = {Florin Craciun and
                  Chenguang Luo and
                  Guanhua He and
                  Shengchao Qin and
                  Wei{-}Ngan Chin},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Discovering Specifications for Unknown Procedures - Work in Progress},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {76--91},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/wkvm},
  doi          = {10.29007/WKVM},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/CraciunLHQC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Franssen10,
  author       = {Michael Franssen},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Cocktail {II}},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {92--93},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/sp1k},
  doi          = {10.29007/SP1K},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Franssen10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GaubertKS10,
  author       = {St{\'{e}}phane Gaubert and
                  Ricardo Katz and
                  Sergei Sergeev},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Tropical linear programming and parametric mean payoff games},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {94--110},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/jcrz},
  doi          = {10.29007/JCRZ},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GaubertKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GawlitzaS10,
  author       = {Thomas Martin Gawlitza and
                  Helmut Seidl},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Abstract Interpretation over Zones without Widening},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {12--43},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/qqdg},
  doi          = {10.29007/QQDG},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GawlitzaS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GrovI10,
  author       = {Gudmund Grov and
                  Andrew Ireland},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Towards Automated Property Discovery within Hume},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {111--127},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/svv8},
  doi          = {10.29007/SVV8},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GrovI10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Konnov10,
  author       = {Igor Konnov},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {CheAPS: a Checker of Asynchronous Parameterized Systems},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {128--129},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/d336},
  doi          = {10.29007/D336},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Konnov10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/KroeningSTTW10,
  author       = {Daniel Kroening and
                  Natasha Sharygina and
                  Stefano Tonetta and
                  Aliaksei Tsitovich and
                  Christoph M. Wintersteiger},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Loopfrog - loop summarization for static analysis},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {130--131},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/g3fd},
  doi          = {10.29007/G3FD},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/KroeningSTTW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/KuntzLS10,
  author       = {Matthias Kuntz and
                  Stefan Leue and
                  Christoph Scheben},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Extending Non-Termination Proof Techniques to Asynchronously Communicating
                  Concurrent Programs},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {132--147},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/c7v2},
  doi          = {10.29007/C7V2},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/KuntzLS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/LetichevskyKLPVW10,
  author       = {Alexander A. Letichevsky and
                  Alexander Kolchin and
                  Oleksandr Letychevskyy Jr. and
                  Stepan Potiyenko and
                  Vladislav A. Volkov and
                  Thomas Weigert},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Formal Requirements Capturing using {VRS} system},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {148--149},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/q6mc},
  doi          = {10.29007/Q6MC},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/LetichevskyKLPVW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Lisitsa10,
  author       = {Alexei Lisitsa},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Finite countermodels as invariants. {A} case study in verification
                  of parameterized mutual exclusion protocol},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {150--151},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/gt85},
  doi          = {10.29007/GT85},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Lisitsa10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/LouhichiMJM10,
  author       = {Asma Louhichi and
                  Olfa Mraihi and
                  Lamia Labed Jilani and
                  Ali Mili},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {A Comparative Study of Invariant Assertions, Invariant Relations,
                  and Invariant Functions},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {152--166},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/zhz4},
  doi          = {10.29007/ZHZ4},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/LouhichiMJM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/MacleanIDA10,
  author       = {Ewen Maclean and
                  Andrew Ireland and
                  Lucas Dixon and
                  Robert Atkey},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Refinement and Term Synthesis in Loop Invariant Generation},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {167--182},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/5wpt},
  doi          = {10.29007/5WPT},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/MacleanIDA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/MacleanIG10,
  author       = {Ewen Maclean and
                  Andrew Ireland and
                  Gudmund Grov},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Synthesising Functional Invariants in Separation Logic},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {183--184},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/xw9c},
  doi          = {10.29007/XW9C},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/MacleanIG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/MouraB10a,
  author       = {Leonardo Mendon{\c{c}}a de Moura and
                  Nikolaj S. Bj{\o}rner},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Applications and Challenges in Satisfiability Modulo Theories},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {1--11},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/cl74},
  doi          = {10.29007/CL74},
  timestamp    = {Thu, 14 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/MouraB10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/SinnZ10,
  author       = {Moritz Sinn and
                  Florian Zuleger},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {{LOOPUS} - {A} Tool for Computing Loop Bounds for {C} Programs},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {185--186},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/3xxr},
  doi          = {10.29007/3XXR},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/SinnZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Wallenburg10,
  author       = {Angela Wallenburg},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Generalisation of Induction Formulae based on Proving by Symbolic
                  Execution},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {187--203},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/72nn},
  doi          = {10.29007/72NN},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Wallenburg10.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.