WING 2010:BibTeX Entries

Volume

@proceedings{WING2010,
  title     = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{WING2010:Applications_and_Challenges_in,
  author    = {Leonardo De Moura and Nikolaj Bjorner},
  title     = {Applications and Challenges in Satisfiability Modulo Theories},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {1--11},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Pj},
  doi       = {10.29007/cl74}}

@inproceedings{WING2010:Abstract_Interpretation_over_Zones,
  author    = {Thomas Martin Gawlitza and Helmut Seidl},
  title     = {Abstract Interpretation over Zones without Widening},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {12--43},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/qQzK},
  doi       = {10.29007/qqdg}}

@inproceedings{WING2010:Automated_Invariant_Generation_for,
  author    = {Bahareh Badban and Stefan Leue and Jan-Georg Smaus},
  title     = {Automated Invariant Generation for the Verification of Real-Time Systems},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {44--58},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Z},
  doi       = {10.29007/npn7}}

@inproceedings{WING2010:Invariants_and_Robustness_of,
  author    = {Jan Olaf Blech and Thanh-Hung Nguyen and Michael Perin},
  title     = {Invariants and Robustness of BIP Models},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {59--74},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/L},
  doi       = {10.29007/prxp}}

@inproceedings{WING2010:Tool_Demonstration_of_FLATA,
  author    = {Marius Bozga and Radu Iosif and Filip Konecny and Tomas Vojnar},
  title     = {Tool Demonstration of the FLATA Counter Automata Toolset},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {75},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/hz},
  doi       = {10.29007/5qkv}}

@inproceedings{WING2010:Discovering_Specifications_for_Unknown,
  author    = {Florian Craciun and Chenguang Luo and Guanhua He and Shengchao Qin and Wei-Ngan Chin},
  title     = {Discovering Specifications for Unknown Procedures - Work in Progress},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {76--91},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Wf},
  doi       = {10.29007/wkvm}}

@inproceedings{WING2010:Cocktail_II,
  author    = {Michael Franssen},
  title     = {Cocktail II},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {92--93},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/DbD},
  doi       = {10.29007/sp1k}}

@inproceedings{WING2010:Tropical_linear_programming_and,
  author    = {Stephane Gaubert and Ricardo Katz and Sergei Sergeev},
  title     = {Tropical linear programming and parametric mean payoff games},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {94--110},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Nq4R},
  doi       = {10.29007/jcrz}}

@inproceedings{WING2010:Towards_Automated_Property_Discovery,
  author    = {Gudmund Grov and Andrew Ireland},
  title     = {Towards Automated Property Discovery within Hume},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {111--127},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/xSqp},
  doi       = {10.29007/svv8}}

@inproceedings{WING2010:CheAPS_Checker_of_Asynchronous,
  author    = {Igor Konnov},
  title     = {CheAPS: a Checker of Asynchronous Parameterized Systems},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {128--129},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/nMHZ},
  doi       = {10.29007/d336}}

@inproceedings{WING2010:Loopfrog_loop_summarization,
  author    = {Daniel Kroening and Natasha Sharygina and Stefano Tonetta and Aliaksei Tsitovich and Christoph M. Wintersteiger},
  title     = {Loopfrog -- loop summarization for static analysis},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {130--131},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/qm7},
  doi       = {10.29007/g3fd}}

@inproceedings{WING2010:Extending_Non_Termination_Proof_Techniques,
  author    = {Matthias Kuntz and Stefan Leue and Christoph Scheben},
  title     = {Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {132--147},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/nND},
  doi       = {10.29007/c7v2}}

@inproceedings{WING2010:Formal_Requirements_Capturing_using,
  author    = {Alexander Letichevsky and Alexander Kolchin and Oleksandr Letychevskyy jr. and Stepan Potiyenko and Vlad Volkov and Thomas Weigert},
  title     = {Formal Requirements Capturing using VRS system},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {148--149},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/lxv},
  doi       = {10.29007/q6mc}}

@inproceedings{WING2010:Finite_countermodels_as_invariants.,
  author    = {Alexei Lisitsa},
  title     = {Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {150--151},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/5dM},
  doi       = {10.29007/gt85}}

@inproceedings{WING2010:Comparative_Study_of_Invariant,
  author    = {Asma Louhichi and Olfa Mraihi and Lamia Labed Jilani and Ali Mili},
  title     = {A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {152--166},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Dhf},
  doi       = {10.29007/zhz4}}

@inproceedings{WING2010:Refinement_and_Term_Synthesis,
  author    = {Ewen Maclean and Andrew Ireland and Lucas Dixon and Robert Atkey},
  title     = {Refinement and Term Synthesis in Loop Invariant Generation},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {167--182},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/J},
  doi       = {10.29007/5wpt}}

@inproceedings{WING2010:Synthesising_Functional_Invariants_in,
  author    = {Ewen Maclean and Andrew Ireland and Gudmund Grov},
  title     = {Synthesising Functional Invariants in Separation Logic},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {183--184},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Fnl},
  doi       = {10.29007/xw9c}}

@inproceedings{WING2010:LOOPUS__Tool_for,
  author    = {Moritz Sinn and Florian Zuleger},
  title     = {LOOPUS - A Tool for Computing Loop Bounds for C Programs},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {185--186},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Cz},
  doi       = {10.29007/3xxr}}

@inproceedings{WING2010:Generalisation_of_Induction_Formulae,
  author    = {Angela Wallenburg},
  title     = {Generalisation of Induction Formulae based on Proving by Symbolic Execution},
  booktitle = {WING 2010. Workshop on Invariant Generation 2010},
  editor    = {Andrei Voronkov and Laura Kovacs and Nikolaj Bjorner},
  series    = {EPiC Series in Computing},
  volume    = {1},
  pages     = {187--203},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Bpc},
  doi       = {10.29007/72nn}}