Research

Talks

August 2008	Grid Based Verification for Bug Hunting Dagstuhl Seminar on "Distributed Verification and Grid Computing", Wadern, Germany.
July 2008	Efficient Distributed Bounded Property Checking Ph.D. Thesis Defence, Wilhelm-Schickard-Institüt für Informatik, Universität Tübingen, Tübingen, Germany.
June 2008	Formal Methods and Verification Remote video conference talk for the company General Motors, Bangalore, India.
May 2008	Formal Methods and Verification Remote telephonic talk for the company ABB-INCRC, Bangalore, India.
May 2008	Model Based Software Verification: Basics and Industry Practice "Introduction and Motivation" talk for student seminar at University of Tübingen, Tübingen, Germany.
September 2007	Grid Based Fast Falsification For Bounded Property Checking Forum on Specification and Design Languages, FDL 07, Barcelona, Spain.
March 2007	Efficient Distributed Verification VLSI 2007, Mayrhofen, Austria.
February 2007	Verification of Temporal Properties in Embedded Software Seminar talk, NEC Electronics (Europe) GmbH, Düsseldorf, Germany.
October 2006	Methoden und Tools zur Verifikation hardwarenaher eingebetteter Softwarekomponenten FEST: Funktionale Verifikation von Systemen 2006, Hannover, Germany.
July 2005	Distributed Symbolic Bounded Property Checking Parallel and Distributed Methods in verifiCation, PDMC 05, Lisbon, Portugal.
April 2005	Parallel Bounded Property Checking with SymC GI/ITG/GMM Workshop 2005, Munich, Germany.
March 2005	Parallel Bounded Property Checking with SymC VLSI 2005, Saas Almagell, Switzerland.
February 2004	Developing a UML Profile for Hardware Verification under the aspect of Code Generation Masters Thesis Defense, Dresden University of Technology, Dresden, Germany.
June 2003	Introduction to Mobile Ambients Seminar talk for the topic: Mobile Computing Ambients, Dresden University of Technology, Dresden, Germany.
February 2003	"e" Code Generation from UML Student Project Defense, AMD Saxony, Dresden, Germany.