Embedded Intelligence

Page 1 of 1.

1. Holger Täubig; Udo Frese; Christoph Hertzberg; Christoph Lüth; Stefan Mohr; Elena Vorobev; Dennis Walter

   Guaranteeing Functional Safety: Design for Provability and Computer-Aided Verification

   In: Autonomous Robots, Vol. 32, No. 3, Pages 303-331, Springer, 4/2012.

2. Dennis Walter; Holger Täubig; Christoph Lüth

   Experiences in Applying Formal Verification in Robotics

   In: SafeComp 2010 --- 29th International Conference on Computer Safety, Reliability and Security, Proceedings. International Conference on Computer …

3. Udo Frese; Daniel Hausmann; Christoph Lüth; Holger Täubig; Dennis Walter

   The Importance of Being Formal

   In: M. Huhn; H. Hungar (Hrsg.). Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems. International …

4. Christoph Lüth; Dennis Walter

   Certifiable specification and verification of C programs

   In: FM 2009: Formal Methods. International Symposium on Formal Methods (FM-2009), November 2-6, Eindhoven, Netherlands, Pages 419-434, Lecture Notes …

5. Christoph Lüth; Udo Frese; Holger Täubig; Dennis Walter; Daniel Hausmann

   SAMS: Sicherheitskomponente für Autonome Mobile Serviceroboter

   In: Robotik 2008. Leistungsstand - Anwendungen - Visionen - Trends. VDI/VDE Fachtagung Robotik, June 11-12, München, Germany, VDI-Bericht, Vol. 2012, …

6. Udo Frese; Daniel Hausmann; Christoph Lüth; Holger Täubig; Dennis Walter

   Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung

   In: Walid Maalej; Bernd Brügge (Hrsg.). Software Engineering 2008 - Workshopband: Fachtagung des GI-Fachbereichs Softwaretechnik. GI-Fachtagungen, …

7. Dennis Walter; Lutz Schröder; Till Mossakowski

   Parametrized Exceptions

   In: Jose Fiadeiro; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …

• 1