|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Andrei Voronkov, Laura Kovács, Nikolaj S. Bjørner (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![EasyChair The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Bahareh Badban, Stefan Leue, Jan-Georg Smaus |
Automated Invariant Generation for the Verification of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 44-58, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Kuntz, Stefan Leue, Christoph Scheben |
Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 132-147, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ewen Maclean, Andrew Ireland, Gudmund Grov |
Synthesising Functional Invariants in Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 183-184, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger |
Loopfrog - loop summarization for static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 130-131, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin |
Discovering Specifications for Unknown Procedures - Work in Progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 76-91, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Martin Gawlitza, Helmut Seidl |
Abstract Interpretation over Zones without Widening. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 12-43, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ewen Maclean, Andrew Ireland, Lucas Dixon, Robert Atkey |
Refinement and Term Synthesis in Loop Invariant Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 167-182, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili 0001 |
A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 152-166, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Angela Wallenburg |
Generalisation of Induction Formulae based on Proving by Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 187-203, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Olaf Blech, Thanh-Hung Nguyen, Michaël Périn |
Invariants and Robustness of BIP Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 59-74, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Lisitsa 0001 |
Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 150-151, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mendonça de Moura, Nikolaj S. Bjørner |
Applications and Challenges in Satisfiability Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 1-11, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Franssen |
Cocktail II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 92-93, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Gaubert, Ricardo Katz, Sergei Sergeev |
Tropical linear programming and parametric mean payoff games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 94-110, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Igor Konnov 0001 |
CheAPS: a Checker of Asynchronous Parameterized Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 128-129, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gudmund Grov, Andrew Ireland |
Towards Automated Property Discovery within Hume. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 111-127, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marius Bozga, Radu Iosif, Filip Konecný, Tomás Vojnar |
Tool Demonstration of the FLATA Counter Automata Toolset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 75, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexander A. Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy Jr., Stepan Potiyenko, Vladislav A. Volkov, Thomas Weigert |
Formal Requirements Capturing using VRS system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 148-149, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Sinn, Florian Zuleger |
LOOPUS - A Tool for Computing Loop Bounds for C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WING@ETAPS/IJCAR ![In: 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, pp. 185-186, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|