Certifiable Specification and Verification of C Programs Christoph Lüth and Dennis Walter Deutsches Forschungszentrum für Künstliche Intelligenz Bremen, Germany [removed], [removed]

Source URL: www.informatik.uni-bremen.de

• Denotational semantics
• Logic in computer science
• Symbol
• Structure
• String
• Model theory
• Holomorphic functional calculus
• Orbifold
• Mathematics
• Theoretical computer science
• Mathematical logic

Experiences in Applying Formal Verification in Robotics? Dennis Walter, Holger Täubig, and Christoph Lüth Deutsches Forschungszentrum für Künstliche Intelligenz Bremen, Germany {Dennis.Walter,Holger.Taeubig,Christoph

Source URL: www.informatik.uni-bremen.de

• Formal methods
• Logic in computer science
• Linear algebra
• Formal verification
• Forcing
• Correctness
• Constructible universe
• Ordinal number
• Vector space
• Mathematics
• Algebra
• Theoretical computer science

Christoph Luth, Dennis Walter ¨ Deutsches Forschungszentrum fur Intelligenz, Bremen ¨ Kunstliche

Source URL: www.informatik.uni-bremen.de

• Bremen
• Verification and validation

Durchgehender Einsatz von formaler Modellierung und Beweis als Mittel zur Zertifizierung sicherheitsrelevanter Software Christoph Lüth Deutsches Forschungszentrum für Künstliche Intelligenz, Bremen

Source URL: www.informatik.uni-bremen.de

Safety Component for Autonomous Mobile Service Robots Final Report of the SAMS Project Zusammenfassender Schlussbericht des Projektes SAMS Christoph Lüth

Source URL: www.informatik.uni-bremen.de

• Formal methods
• Science
• Risk
• Product certification
• Standards organizations
• Technischer Überwachungsverein
• IEC 61508
• Safety Integrity Level
• Autonomous car
• Safety
• Security
• Prevention

SAMS1 Sicherheitskomponente für Autonome Mobile Serviceroboter Dr. Christoph Lüth, Dr. Udo Frese, Holger Täubig, Dennis Walter Deutsches Forschungszentrum für Künstliche Intelligenz, Fachbereich Sichere Kognitive Sy

Source URL: www.informatik.uni-bremen.de

The Importance of Being Formal Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter Deutsches Forschungszentrum für Künstliche Intelligenz, Bremen Universität Bremen

Source URL: www.informatik.uni-bremen.de

• German Research Centre for Artificial Intelligence
• Computer science
• Mathematics
• Udo Frese
• Formal verification
• Applied mathematics

TOPIC INDEX Bass, electric Inside Warmoth Guitar Products ........................................................................ Ken Warmoth .................................................. 60 Electronic Answer Man .

Source URL: www.luth.org

• Somogyi
• Classical guitar
• Electric guitar
• Guitar
• Music
• Sound
• Celtic music
• Guitar makers
• Somogy County

TOPIC INDEX Accessories Flamenco Capo ..................................................................................................... D. Alfieri ................................................ 25 Balalaika Meet M.

Source URL: www.luth.org

• String instruments
• Lutherie
• Luthier
• Woodworking
• Mandolin
• Guitar
• Cry
• Fingerboard
• Classical guitar
• Music
• Sound
• Media technology

TOPIC INDEX Banjo Folding Banjo Stand ......................................................................................... Dick Kenfield ..........................................295 American Plucked Instruments at

Source URL: www.luth.org

• Guitars
• Lutherie
• William R. Cumpiano
• Ervin Somogyi
• Sadowsky
• Archtop guitar
• Sam Rizzetta
• Luthier
• Classical guitar
• Music
• Sound
• Media technology