Author of the publication

Automatic Amortised Worst-Case Execution Time Analysis.

, , , , , and . WCET, volume 6 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Preserving coordination properties when transforming concurrent system components., , , and . SAC, page 126-127. ACM, (2008)Implementing Declarative Parallel Bottom-Avoiding Choice., , , and . SBAC-PAD, page 82-92. IEEE Computer Society, (2002)The Embounded project (project start paper)., , , , , , , , , and 2 other author(s). Trends in Functional Programming, volume 6 of Trends in Functional Programming, page 195-210. Intellect, (2005)Towards Formally Verifiable WCET Analysis for a Functional Programming Language., , , , , , , , , and 2 other author(s). WCET, volume 4 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)Runtime system level fault tolerance for a distributed functional language., , and . Scottish Functional Programming Workshop, volume 2 of Trends in Functional Programming, page 103-114. Intellect, (2000)Parallel and Distributed Haskells., , and . J. Funct. Program., 12 (4&5): 469-510 (2002)The Design and Implementation of Glasgow Distributed Haskell., , and . IFL, volume 2011 of Lecture Notes in Computer Science, page 53-70. Springer, (2000)Functional Vs Object-Oriented Distributed Languages., , , , and . EUROCAST, volume 2178 of Lecture Notes in Computer Science, page 642-656. Springer, (2001)Automatic Amortised Worst-Case Execution Time Analysis., , , , , and . WCET, volume 6 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)