Johannes Leitner

follow me on Twitter

CV

since July 2007	Software Engineer at Google Switzerland
April 2006 - June 2007	Research Assistant at the Software Engineering Group of Prof. Stefan Leue at the University of Konstanz.
Sept 2005 - Mar 2006	Diploma Thesis with the Embedded Systems Group of Prof. Sabine Glesner at the Technical University of Berlin.
Oct 2000 - Mar 2006	Student of Computer Science at the University of Karlsruhe
- Juli 1999	Abitur at the Heinrich-von-Kleist-Gymnasium in Berlin

	Holger Giese, Sabine Glesner, Johannes Leitner, Wilhelm Schäfer, and Robert Wagner. Towards Verified Model Transformations. In Proceedings of the 3rd Workshop on Model Design and Validation (MoDeV²a 06). Proc. of the 3rd International Workshop on Model Development, Validation and Verification (aa), Genova, Italien, Le Commissariat a l'Energie Atomique - CEA, Seiten 78-93, Oktober 2006 [ bib ]
	Johannes Leitner, Sabine Glesner, and Jan Olaf Blech. Coinductive Verification of Program Optimizations using Similarity Relations. In Proceedings of the Workshop Compiler Optimizations meets Compiler Verification (COCV 2006), 9th European Conferences on Theory and Practice of Software (ETAPS 2006), Vienna, Austria, April 2006. Electronic Notes in Theoretical Computer Science (ENTCS). [ bib \| .pdf ]
	Jan Olaf Blech, Sabine Glesner, and Johannes Leitner. Formal Verification of Java Code Generation from UML Models. In Proceedings of the 3rd International Fujaba Days 2005, `MDD in Practice`, pages 49-56, Paderborn, Germany, September 2005. Technical Report, University of Paderborn. [ bib \| .pdf ]
	Jan Olaf Blech, Sabine Glesner, Johannes Leitner, and Steffen Mülling. A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL. In Proceedings of the COCV-Workshop (Compiler Optimization meets Compiler Verification), 8th European Conferences on Theory and Practice of Software (ETAPS 2005), Electronic Notes in Theoretical Computer Science (ENTCS), pages 33-51. Elsevier, April 2005. [ bib \| .pdf ]

	Johannes Leitner. Verifikation von Modelltransformationen basierend auf Triple Graph Grammatiken. Diplomarbeit, Universität Karlsruhe, March 2006. [ bib \| .pdf ]
	Johannes Leitner. Extraktion von Ontologien aus natürlichsprachlichen Texten. In René Witte and Jutta Mülle, editors, Text Mining: Wissensgewinnung aus natürlichsprachigen Dokumenten, Interner Bericht 2006-5, chapter 10. 2006. ISSN 1432-7864, URL: [ bib \| .pdf ]
	Johannes Leitner. Coalgebraic Methods in the Verification of Optimizing Program Transformations using Theorem Provers. Studienarbeit, Universität Karlsruhe, June 2005. [ bib \| .pdf ]

My Profile on LinkedIn | Xing