Publikationen von Christoph Lüth

2017

2016

2014

2013

2012

  • 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: Margaria Tiziana; Bernhard Steffen (Hrsg.). Proc. 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), October 15-18, Amirandes, Heraclion, Crete, Greece, Pages 238-252, Lecture Notes in Computer Science (LNCS), Vol. 7609, Springer, 10/2012.

2010

2009

  • 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.
  • 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.
  • David Aspinall; Serge Autexier; Christoph Lüth; Marc Wagner
    Towards Merging Plato and PGIP.
    In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008), August 22, Montreal, QC, Canada, Pages 3-21, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 226, Elsevier Science, 2009.
  • Christoph Lüth
    User Interfaces for Theorem Provers: Necessary Nuisanec or Unexplored Potential?.
    In: Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09). Workshop on Automated Verification of Critical Systems (AVOCS-09), 9th, September 23-25, Swansea, United Kingdom, Electronic Communications of the EASST, Vol. 23, 2009.

2008

2007

2006

  • David Aspinall; Christoph Lüth; Daniel Winterstein; Ahsan Fayyaz
    Proof General in Eclipse.
    In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06), ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, located at OOPSLA 2006, October 22-26, Portland, OR, USA, ACM Press, 2006.
  • Maksym Bortin; Einar Broch Johnsen; Christoph Lüth
    Structured Formal Development in Isabelle.
    In: Nordic Journal of Computing, Vol. 13, Pages 1-20, 2006.

2005

  • David Aspinall; Christoph Lüth; Burkhart Wolff
    Assisted Proof Document Authoring.
    In: Michael Kohlhase (Hrsg.). 4th International Conference on Mathematical Knowledge Management (MKM 2005). International Conference on Mathematical Knowledge Management (MKM-2005), July 15-17, Bremen, Germany, Pages 65-80, Lecture Notes in Artificial Intelligence, Vol. 3863, ISBN 978-3-540-31430-1, Springer, Berlin, Heidelberg, 2005.

2003

2002