| |
| 2009 | ||
|---|---|---|
| 5 | EE | Adam Antonik, Nathaniel Charlton, Michael Huth: Polynomial-Time Under-Approximation of Winning Regions in Parity Games. Electr. Notes Theor. Comput. Sci. 225: 115-139 (2009) |
| 2008 | ||
| 4 | EE | Nathaniel Charlton, Michael Huth: Falsifying Safety Properties Through Games on Over-approximating Models. Electr. Notes Theor. Comput. Sci. 223: 71-86 (2008) |
| 2007 | ||
| 3 | EE | Nathaniel Charlton, Michael Huth: Hector: Software Model Checking with Cooperating Analysis Plugins. CAV 2007: 168-172 |
| 2 | EE | Nathaniel Charlton: Program verification with interacting analysis plugins. Formal Asp. Comput. 19(3): 375-399 (2007) |
| 2006 | ||
| 1 | EE | Nathaniel Charlton: Verification of Java Programs with Interacting Analysis Plugins. Electr. Notes Theor. Comput. Sci. 145: 131-150 (2006) |
| 1 | Adam Antonik | [5] |
| 2 | Michael Huth | [3] [4] [5] |