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)