Publikationen

• 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.
• David Aspinall; Ewen Denney; Christoph Lüth
  Querying Proofs.
  In: 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18). International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18), 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, March 10-15, Merida, Venezuela, Pages 92-106, Lecture Notes in Computer Science (LNCS), Vol. 7180, Springer Verlag, Berlin Heidelberg, 2012.
• Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder
  SmartTies - Management of Safety-Critical Developments.
  In: Tiziana Margaria; Bernhard Steffen (Hrsg.). Proceedings 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12), 5th, October 15-18, Amirandes, Heraclion, Crete, Greece, Lecture Notes in Computer Science (LNCS), Springer, 10/2012.
• Serge Autexier; Christoph Lüth
  Adding Change Impact Analysis to the Formal Verification of C Programs.
  In: Dominique Méry; Stephan Merz (Hrsg.). Proceedings 8th International Conference on Integrated Formal Methods. International Conference on Integrated Formal Methods (IFM-10), October 11-14, Nancy, France, LNCS, Springer, 10/2010.
• David Aspinall; Ewen Denney; Christoph Lüth
  Tactics for Hierarchical Proofs.
  In: Journal Mathematics in Computer Science, Vol. 3, Pages 309-330, Birkhäuser, 3/2010.
• Mehr...