Christoph A. Herrmann

Publication Activity (10 Years)

Years Active: 1997-2011
Publications (10 Years): 0

Publications

Christoph A. Herrmann, Kevin Hammond
Counter Automata for Parameterised Timing Analysis of Box-Based Systems. FOPARA (2011)
Edwin C. Brady, Christoph A. Herrmann, Kevin Hammond
Lightweight Invariants with Full Dependent Types. Trends in Functional Programming (2008)
Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon
Automatic Amortised Worst-Case Execution Time Analysis. WCET (2007)
Christoph A. Herrmann
Generating Message-passing Programs from Abstract Specifications by Partial Evaluation. Parallel Process. Lett. 15 (3) (2005)
Christoph A. Herrmann, Christian Lengauer
Using Metaprogramming to Parallelize Functional Specifications. Parallel Process. Lett. 12 (2) (2002)
Christoph A. Herrmann, Christian Lengauer
A Transformational Approach which Combines Size Inference and Program Optimization. SAIG (2001)
Christoph A. Herrmann, Christian Lengauer
HDC: A Higher-Order Language for Divide-and-Conquer. Parallel Process. Lett. 10 (2/3) (2000)
Christoph A. Herrmann, Christian Lengauer
Parallelization of Divide-and-Conquer by Translation to Nested Loops. J. Funct. Program. 9 (3) (1999)
Christoph A. Herrmann, Jan Laitenberger, Christian Lengauer, Christian Schaller
Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining. Euro-Par (1999)
Christian Lengauer, Sergei Gorlatch, Christoph A. Herrmann
The Static Parallelization of Loops and Recursions. J. Supercomput. 11 (4) (1997)
Christoph A. Herrmann, Christian Lengauer
Transformation of Divide & Conquer to Nested Parallel Loops. PLILP (1997)