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