Publikationen

Seite 5 von 6.

David Aspinall; Ewen Denney; Christoph Lüth
Tactics for Hierarchical Proofs
In: Mathematics in Computer Science, Vol. 3, Pages 309-330, Birkhäuser, 3/2010.
Christoph Lüth
Schlussbericht des Projektes SAMS
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI Research Reports (RR), Vol. 10-01, 2010.
Maksym Bortin; Christoph Lüth
Structural Formal Development with Quotient Types in Isabelle/HOL
In: 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2010). International Conference on Artificial Intelligence …
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 …
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 …
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), …
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 …
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 …
David Aspinall; Ewen Denney; Christoph Lüth
A Tactic Language for Hiproofs
In: Serge Autexier; J. Campbell; J. Rubio (Hrsg.). 7th International Conference on Mathematical Knowledge Management (MKM 2007). International …
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, …