warning: Creating default object from empty value in /var/www/ on line 33.
What has to do with my papers.

Added info about projects, papers and activities

I added some info about my current projects, as well as my (still short) list of publications and reviewing activities. My CV is in preparation and will be on-line once I figured out how to include images in a reasonable manner.

As far as my actual dissertation is concerned, I'm still unsure what to write. Anyway, thanks again for stopping by. If you like, we can be connected on the XING social networking platform. I'll tell you where to find my XING profile. :)

Reviewing Activities

I have been involved in the peer reviewing process of several conferences and workshops as stated below.

Conferences and Workshops

  • IFIP Conference on Biologically Inspired Collaborative Computing (BICC: 2008)
  • Tools and Algorithms for the Construction and Analysis of Systems (TACAS: 2007, 2008)
  • Fourth International Workshop on Software Quality Assurance (SOQUA: 2007)
  • IEEE International Conference on Software Engineering and Formal Methods (SEFM: 2007)
  • Fundamental Approaches to Software Engineering (FASE: 2006)


  • Software Tools for Technology Transfer (STTT: 2008)
  • Informatik – Forschung und Entwicklung (2006)

Publications & Talks

This is a list of my previous publications and contributed talks at conferences and workshops. You can get the full text PDF version of the paper (where available) by clicking the paper's title.

Note that the documents provided on this page are for educational purposes only.


You can also get a BibTeX file of my publications for easy citations in LaTeX-based documents. (Sorry, the BibTeX file is currently not being maintained.)


  • Clemens D. Renner, Marco Bakera. GEAR and the FormulaBuilder. Technical presenation, ISoLA Workshop 2006, Paphos, Cyprus.
  • Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, and Christian Kubczak. Model-driven development with the jABC. In Proc. 2nd Haifa Verification Conference, Haifa, Israel. 2006. (substitute for talk)
Syndicate content