- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c6 |      | Pierre Ganty, Radu Iosif, Filip Konecný: Underapproximation of Procedure Summaries for Integer Programs. TACAS 2013: 245-259 |
| i2 | | Marius Bozga, Radu Iosif, Filip Konecný: Deciding Conditional Termination. CoRR abs/1302.2762 (2013) |
| 2012 | ||
| c5 | | Hossein Hojjat, Radu Iosif, Filip Konecný, Viktor Kuncak, Philipp Rümmer: Accelerating Interpolants. ATVA 2012: 187-202 |
| c4 | | Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer: A Verification Toolkit for Numerical Transition Systems - Tool Paper. FM 2012: 247-251 |
| c3 | | |
| i1 | | Pierre Ganty, Radu Iosif, Filip Konecný: Underapproximation of Procedure Summaries for Integer Programs. CoRR abs/1210.4289 (2012) |
| 2010 | ||
| c2 | | Marius Bozga, Radu Iosif, Filip Konecný: Fast Acceleration of Ultimately Periodic Relations. CAV 2010: 227-242 |
| 2009 | ||
| c1 | | Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecný, Tomás Vojnar: Automatic Verification of Integer Array Programs. CAV 2009: 157-172 |
| 1 | Marius Bozga | |
| 2 | Pierre Ganty | |
| 3 | Florent Garnier | |
| 4 | Peter Habermehl | |
| 5 | Hossein Hojjat | |
| 6 | Radu Iosif | |
| 7 | Viktor Kuncak | |
| 8 | Philipp Rümmer | |
| 9 | Tomás Vojnar |
Data released under the ODC-BY 1.0 license — See also our legal information page