Dennis Walter

Thank you for your interest.

Contact Information

	Deutsches Forschungszentrum für künstliche Intelligenz
	Sichere Kognitive Systeme
	Enrique-Schmidt-Straße 5
	28359 Bremen
	+49 421 218 64273
	firstname.lastname (at) dfki.de

Some links

Talks

• A talk given at the formal methods group at Chalmers University, Göteborg, Sweden about Separation Logic
• A talk given at SafeCert'08 in Budapest. The importance of being formal
• A couple of slides about the SAMS project shown at the SAB-Meeting, 2008-10-06
• An overview presentation of the DO-178B standard (in German)
• Talk given at VINO'09 (Italy) about SAT-based Model Checking of Timed Automata
• Two talks given at the final presentation of the SAMS project (in German): Overview and Formal specifications
• Talk given at Formal Methods (FM'09), Eindhoven, about Certifiable specification and verification of C programs

Last update: $2009-11-03$