Publikationen von Christoph L├╝th

2017

2016

2014

2013

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, 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, Vol. 226, Elsevier Science, 2009.

2008

  • David Aspinall; Ewen Denney; Christoph L├╝th
    A Tactic Language for Hiproofs.
    In: Serge Autexier; J. Campbell; J. Rubio (Hrsg.). Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM), 7th International Conference on Mathematical Knowledge Management, located at Conferences on Intelligent Computer Mathematics - Birmingham 2008, July 28 - August 1, Birmingham, United Kingdom, Pages 339-354, Lecture Notes in Computer Science (LNCS), Vol. 5144, Springer, 2008.
  • 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 inkl.CD-ROM. ROBOTIK-2008, Bericht zur 5. Fachtagung Robotik, June 11-12, M├╝nchen, Germany, VDI-Bericht, Vol. 2012, VDI-Verlag, 2008.
  • 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. Software Engineering 2008 Workshops, Fachtagung des GI-Fachbereichs Softwaretechnik, February 18-22, M├╝nchen, Germany, Pages 335-338, Lecture Notes in Informatics (LNI), No. P - 122, ISBN 978-3-88579-216-1, GI, 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 at OOPSLA (ETX'06) (ETX-06), ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 22-26, Portland, Oregon, 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.
  • David Aspinall; Christoph L├╝th; Burkhart Wolff
    Assisted Proof Document Authoring.
    In: Michael Kohlhase (Hrsg.). Mathematical Knowledge Management. 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, 2006.

2003

2002