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)
