Navigation
    [an error occurred while processing this directive]
  • About Me
  • [an error occurred while processing this directive]
  • Research
  • [an error occurred while processing this directive]
  • Positions and Functions
  • [an error occurred while processing this directive]
  • Projects
  • [an error occurred while processing this directive]
  • Publications
  • [an error occurred while processing this directive]
  • Talks
  • [an error occurred while processing this directive]
  • Conferences
  • [an error occurred while processing this directive]
  • Miscellaneous
  • [an error occurred while processing this directive]
  • Teaching
  • [an error occurred while processing this directive]
  • Supervised Theses
  • [an error occurred while processing this directive]
  • Reviews
  • [an error occurred while processing this directive]
  • Address
  • [an error occurred while processing this directive]
  • Links
  • [an error occurred while processing this directive] [an error occurred while processing this directive]
  • Private Area

Peter Backes

rtc
[an error occurred while processing this directive]

About Me

I studied computer science (and computational linguistics as a minor) at Saarland University, finishing my diploma in 2008. Since that year, I am a PhD student working at the chair of Reinhard Wilhelm.

[an error occurred while processing this directive]

Research Interests

  • Shape Analysis
  • Topologies of Dynamic Communication Systems
  • Probabilistic abstract systems
  • Strategy synthesis for abstract games
  • Timing predictability under cache influences
  • Graph transformation based programming languages
[an error occurred while processing this directive]

Projects

[an error occurred while processing this directive]

Publications

Conference Papers

  1. CAMA: A Predictable Cache-Aware Memory Allocator
    J. Herter, P. Backes, F. Haupenthal, and J. Reineke
    Proceedings of the 23rd Euromicro Conference on Real-Time Systems (ECRTS '11), 2011. [pdf]  [bib]
  2. A Graph Transformation Case Study for the Topology Analysis of Dynamic Communication System
    P. Backes, and J. Reineke
    Transformation Tool Contest 2010, 2010. [pdf]  [slides]  [bib]
  3. Abstract Topology Analysis of the Join Phase of the Merge Protocol
    P. Backes, and J. Reineke
    Transformation Tool Contest 2010, 2010. [pdf]  [slides]  [bib]

MSc Theses

  1. Topology Analysis of Dynamic Communication Systems
    P. Backes
    Universität des Saarlandes, 2008. [bib]
[an error occurred while processing this directive]

Selected Talks

  • ENUMERATE YOUR TALKS HERE
[an error occurred while processing this directive]

Attended Conferences, Workshops and Seminars

[an error occurred while processing this directive]

Miscellaneous

[an error occurred while processing this directive]

Teaching

[an error occurred while processing this directive]

Supervised Theses

  • ENUMERATE THE THESES HERE
[an error occurred while processing this directive]

External Reviews

  • Secondary reviewer for LCTES10
  • Secondary reviewer for MEMOCODE10
[an error occurred while processing this directive]

Address

Peter Backes
FR. 6.2 - Informatik, Gebäude E1 3, Raum 403
Universität des Saarlandes
Campus E1 3
66123 Saarbrücken
Germany

Phone: +49-681-302-2454
Fax: +49-681-302-3065
Mail: rtc (at) cdl (dot) uni-saarland (dot) de

[an error occurred while processing this directive]

Links