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.

Publications

• Marco Bakera, Tiziana Margaria, Clemens D. Renner and Bernhard Steffen. Tool-supported enhancement of diagnosis in model-driven verification. In: Innovations in System and Software Engineering - A NASA Journal 5 (2009), No. 3.
• Marco Bakera, Tiziana Margaria, Clemens D. Renner, and Bernhard Steffen.
  Model Checking with the jABC Framework: From METAGame to GEAR. In: Ina Schieferdecker et al., editors. QEES Symposium 2008.
• Marco Bakera, Stefan Edelkamp, Peter Kissmann, and Clemens D. Renner.
  Solving mu-calculus Parity Games by Symbolic Planning. In: Doron Peled and Michael Woolridge, editors, Model Checking and Artificial Intelligence (5th MOCHART Workshop), 2008. (Sringer LNAI)
• Marco Bakera, Tiziana Margaria, Clemens D. Renner, and Bernhard Steffen. Verification, diagnosis and adaptation: Tool supported enhancement of the model-driven verification process. In: Yamine Ait-Ameur, Frederic Boniol, and Virginie Wiels, editors, ISoLA Workshop, 2007. (RNTI-SM-1)
• Marco Bakera, Tiziana Margaria, Clemens D. Renner, and Bernhard Steffen. Property-driven functional healing: Playing against undesired behavior. In Ina Schieferdecker and Stephan Goericke, editors, Business Process Engineering, Proceedings of the CONQUEST 2007, 2007.
• Clemens Renner. Sicherheit in Rechensystemen durch Lösen von Constraintproblemen. Diplomarbeit (Diploma Thesis), TU Dortmund, Germany, 2006.

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.)

Talks

• 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)