| 2008 |
|---|
| 4 | EE | Ralf Huuck,
Ansgar Fehnker,
Sean Seefried,
Jörg Brauer:
Goanna: Syntactic Software Model Checking.
ATVA 2008: 216-221 |
| 3 | EE | Ansgar Fehnker,
Ralf Huuck,
Felix Rauch,
Sean Seefried:
Some Assembly Required - Program Analysis of Embedded System Code.
SCAM 2008: 15-24 |
| 2004 |
|---|
| 2 | EE | 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 |
