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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2012}}
Papers
@inproceedings{WING2010:Applications_Challenges_Satisfiability_Modulo,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Pj},
doi = {10.29007/cl74},
pages = {1-11},
year = {2012}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/qQzK},
doi = {10.29007/qqdg},
pages = {12-43},
year = {2012}}
@inproceedings{WING2010:Automated_Invariant_Generation_Verification,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Z},
doi = {10.29007/npn7},
pages = {44-58},
year = {2012}}
@inproceedings{WING2010:Invariants_Robustness_BIP_Models,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/L},
doi = {10.29007/prxp},
pages = {59-74},
year = {2012}}
@inproceedings{WING2010:Tool_Demonstration_FLATA_Counter,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/hz},
doi = {10.29007/5qkv},
pages = {75},
year = {2012}}
@inproceedings{WING2010:Discovering_Specifications_Unknown_Procedures,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Wf},
doi = {10.29007/wkvm},
pages = {76-91},
year = {2012}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/DbD},
doi = {10.29007/sp1k},
pages = {92-93},
year = {2012}}
@inproceedings{WING2010:Tropical_linear_programming_parametric,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Nq4R},
doi = {10.29007/jcrz},
pages = {94-110},
year = {2012}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/xSqp},
doi = {10.29007/svv8},
pages = {111-127},
year = {2012}}
@inproceedings{WING2010:CheAPS_Checker_Asynchronous_Parameterized,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/nMHZ},
doi = {10.29007/d336},
pages = {128-129},
year = {2012}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/qm7},
doi = {10.29007/g3fd},
pages = {130-131},
year = {2012}}
@inproceedings{WING2010:Extending_Non_Termination_Proof,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/nND},
doi = {10.29007/c7v2},
pages = {132-147},
year = {2012}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/lxv},
doi = {10.29007/q6mc},
pages = {148-149},
year = {2012}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/5dM},
doi = {10.29007/gt85},
pages = {150-151},
year = {2012}}
@inproceedings{WING2010:Comparative_Study_Invariant_Assertions,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Dhf},
doi = {10.29007/zhz4},
pages = {152-166},
year = {2012}}
@inproceedings{WING2010:Refinement_Term_Synthesis_Loop,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/J},
doi = {10.29007/5wpt},
pages = {167-182},
year = {2012}}
@inproceedings{WING2010:Synthesising_Functional_Invariants_Separation,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Fnl},
doi = {10.29007/xw9c},
pages = {183-184},
year = {2012}}
@inproceedings{WING2010:LOOPUS_Tool_Computing_Loop,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Cz},
doi = {10.29007/3xxr},
pages = {185-186},
year = {2012}}
@inproceedings{WING2010:Generalisation_Induction_Formulae_based,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Bpc},
doi = {10.29007/72nn},
pages = {187-203},
year = {2012}}
