• Main
• Software
• Berichte
• Verification
• Demonstrator
• Publications
• Contact

Publications

This page lists publications and talks presenting our results.

Papers

• Holger Täubig, Udo Frese, Christoph Hertzberg, Christoph Lüth, Stefan Mohr, Elena Vorobev, Dennis Walter:
  Autonomous Robots 32(3):303-- 331, April 2012. © Springer Verlag.
  [PDF (free pre-print)] [PDF (SpringerLink)] [BibTeX]
• Dennis Walter:
  A Formal Verification Environment for Use in the Certification of Safety-Related C Programs.
  Dissertation, Universität Bremen, Nov 2010. [PDF (ELIB)] [BibTex]
• Dennis Walter, Holger Täubig, Christoph Lüth:
  Experiences in Applying Verification in Robotics.
  SafeComp2010 - 29th International Conference on Computer Safety, Reliability and Security.
  Springer LNCS 6351, © Springer Verlag.
  [PDF] [BibTeX]
• Christoph Lüth: Final Report of the SAMS Project.
  Zusammenfassender Schlussbericht, Deutsches Forschungszentrum für Künstliche Intelligenz.
  [PDF]
• Bernd Krieg-Brückner: Schlussbericht des Projektes SAMS.
  Technischer Bericht, Universität Bremen.
  [PDF]
• Christoph Lüth: Schlussbericht des Projektes SAMS.
  Research Report DFKI-RR-10-01, Deutsches Forschungszentrum für Künstliche Intelligenz.
  [PDF] [BibTeX]
• Christoph Lüth, Dennis Walter:
  Certifiable specification and verification of C programs.
  FM 2009 --- 16th International Symposium on Formal Methods.
  Springer LNCS 5850, © Springer Verlag.
  [PDF] [BibTeX]
• Udo Frese, Holger Täubig:
  Verfahren zur Vermeidung von Kollisionen gesteuert beweglicher Teile einer Anlage
  Research Report RR-09-01, Deutsches Forschungszentrum für Künstliche Intelligenz
  [PDF] [BibTex]
• Maksym Bortin, Christoph Lüth, Dennis Walter:
  A certifiable formal semantics for C.
  20th Nordic Workshop on Programming Theory, NWPT 2008, Nov. 2008, Tallin. Technical Report, Institute of Cybernetics, Tallinn University of Technology, p. 19- 21.
  [PDF] [BibTeX]
• Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig and Dennis Walter:
  The Importance of Being Formal
  International Workshop on the Certification of Safety-Critical Software Controlled Systems SafeCert'08 at ETAPS'08. To appear in ENTCS.
  [PDF] [BibTeX]
• Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter:
  Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung
  Workshop SoftZert'08, Feb. 2008, Munich. Lecture Notes in Informatics P-122, p. 335-- 338. Gesellschaft für Informatik (GI).
  [PDF] [BibTeX]
• Christoph Lüth, Udo Frese, Holger Täubig, Dennis Walter, Daniel Hausmann:
  SAMS --- Sicherungskomponente für Autonome Mobile Serviceroboter.
  ROBOTIK 2008: Leistungsstand- Anwendungen- Visionen- Trends. VDI-Bericht 2012, VDI Verlag, Düsseldorf.
  [PDF] [BiBTeX]
• Christoph Lüth, Bernd Krieg-Brückner: Sicherheit in der Künstlichen Intelligenz.
  Künstliche Intelligenz, 1:51-- 52, 2007.
  [Abstract] [PDF (extern)] [PDF (lokal)] [BibTeX]

Talks and Presentations

A selection of recent talks and presentations.

• The talks from the final project presentation can be found here.
• Christoph Lüth: SAMS.
  Presentation at safetronic 2008, München, 04.11.2008.
  Slides (german).
• Christoph Lüth, Dennis Walter: SAMS.
  Presentation at the 33rd Meeting of the DFKI Scientific Advisory Board, Bremen, 06.10.08.
  Slides (english).
• Dennis Walter: The Importance of Being Formal.
  Presentation at SafeCert'08, Budapest, 29.03.2008.
  Slides (english).
• Christoph Lüth: SAMS.
  future talk at future parc, CeBit 2008, Hanover, 07.03.2008.
  Video (german), Pictures. (Courtesy of steamtalks.de)