Steffen Jost

2007
5	EE	Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon: Automatic Amortised Worst-Case Execution Time Analysis. WCET 2007
2006
4	EE	Martin Hofmann, Steffen Jost: Type-Based Amortised Heap-Space Analysis. ESOP 2006: 22-37
3	EE	Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace: Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET 2006
2005
2		Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace: The Embounded project (project start paper). Trends in Functional Programming 2005: 195-210
2003
1	EE	Martin Hofmann, Steffen Jost: Static prediction of heap space usage for first-order functional programs. POPL 2003: 185-197

Coauthor Index

1	Armelle Bonenfant	[5]
2	Roy Dyckhoff	[2] [3]
3	Christian Ferdinand	[2] [3]
4	Kevin Hammond	[2] [3] [5]
5	Reinhold Heckmann	[2] [3]
6	Christoph Armin Herrmann (Christoph A. Herrmann)	[5]
7	Martin Hofmann	[1] [2] [3] [4]
8	Hans-Wolfgang Loidl	[2] [3] [5]
9	Greg Michaelson	[2] [3]
10	Robert F. Pointon	[2] [3] [5]
11	Norman Scaife	[2] [3]
12	Jocelyn Sérot	[2] [3]
13	Andy Wallace	[2] [3]