Eingebettete Intelligenz

Seite 1 von 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 Safety, Reliability and Security (SAFEComp-2010), September 14-17, Vienna, Austria, Pages 347-360, Lecture Notes in Computer Science (LNCS), Vol. 6351, Springer, 2010.

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 Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert-08), located at ETAPS'08, March 29, Budapest, Hungary, Pages 57-70, Vol. 238, No. 4, Elsevier B.V. 2009.

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 in Computer Science (LNCS), Vol. 5350, Springer, 2009.

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, VDI-Verlag, 2008.

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, February 18-22, München, Germany, Pages 335-338, Lecture Notes in Informatics (LNI), Vol. P-122, ISBN 978-3-88579-216-1, Gesellschaft für Informatik, 2008.

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 (CALCO-2005), September 3-6, Swansea, United Kingdom, Pages 424-438, Lecture Notes in Computer Science, Vol. 3629, ISBN 3-540-28620-9, Springer; www.springer.de, Berlin, 2005.

• 1