| |
| 2008 | ||
|---|---|---|
| 5 | EE | Tobias Gedell, Daniel Hedin: Abstract Interpretation Plugins for Type Systems. AMAST 2008: 184-198 |
| 2006 | ||
| 4 | EE | Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson: Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. APLAS 2006: 200-216 |
| 3 | EE | Tobias Gedell, Reiner Hähnle: Verification by Parallelization of Parametric Code. Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 138-159 |
| 2 | EE | Tobias Gedell, Reiner Hähnle: Automating Verification of Loops by Parallelization. LPAR 2006: 332-346 |
| 2005 | ||
| 1 | EE | Tobias Gedell: Embedding Static Analysis into Tableaux and Sequent Based Frameworks. TABLEAUX 2005: 108-122 |
| 1 | Jörgen Gustavsson | [4] |
| 2 | Reiner Hähnle | [2] [3] |
| 3 | Daniel Hedin | [5] |
| 4 | Josef Svenningsson | [4] |