 | 2009 |
|---|
| 5 |       | Ansgar Fehnker,
Ralf Huuck,
Sean Seefried:
Incremental False Path Elimination for Static Software Analysis.
ATVA 2009: 255-270 |
| 2008 |
|---|
| 4 | | Ralf Huuck,
Ansgar Fehnker,
Sean Seefried,
Jörg Brauer:
Goanna: Syntactic Software Model Checking.
ATVA 2008: 216-221 |
| 3 | | Ansgar Fehnker,
Ralf Huuck,
Felix Rauch,
Sean Seefried:
Some Assembly Required - Program Analysis of Embedded System Code.
SCAM 2008: 15-24 |
| 2004 |
|---|
| 2 | | Sean Seefried,
Manuel M. T. Chakravarty,
Gabriele Keller:
Optimising Embedded DSLs Using Template Haskell.
GPCE 2004: 186-205 |
| 2003 |
|---|
| 1 |  | Paul A. Bailes,
Colin J. M. Kemp,
Ian Peake,
Sean Seefried:
Why Functional Programming Really Matters.
Applied Informatics 2003: 919-926 |
