Publikationen

Seite 4 von 6.

Martin Ring; Christoph Lüth
Collaborative Interactive Theorem Proving with Clide
In: G. Klein; R. Gamboa (Hrsg.). Interactive Theorem Proving ITP 2014. International Conference on Interactive Theorem Proving (ITP-2014), located at …
Christoph Lüth; Serge Autexier; Dieter Hutter; Mathias Soeken; Robert Wille; Rolf Drechsler
SPECifIC - A New Design Flow for Cyber-Physical Systems
In: CPS20: CPS 20 years from now - visions and challenges - CyPhERS 2nd Experts Workshop. CyPhERS Experts Workshop, April 14, Berlin, Germany, Pages …
Mathias Soeken; Christoph Lüth; Rolf Drechsler
Entwurf cyber-physikalischer Systeme hoher Qualität und Sicherheit
In: Electronic Design Automation Workshop - Proceedings. Electronic Design Automation Workshop (edaWorkshop-14), May 13-15, Warschau, Poland, VDE, …
Christoph Lüth; Martin Ring
A Web Interface for Isabelle: The Next Generation
In: Jacques Carette (Hrsg.). Conferences on Intelligent Computer Mathematics CICM 2013. Conferences on Intelligent Computer Mathematics (CICM-13), …
Christoph Lüth; Cezary Kaliszyk (Hrsg.)
Proceedings 10th International Workshop On User Interfaces for Theorem Provers
Workshop on User Interfaces for Theorem Provers (UITP), July 11, Bremen, Germany, Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. …
David Aspinall; Ewen Denney; Christoph Lüth
A Semantic Basis for Proof Queries and Transformations
In: Kevin McMillan; Aart Middeldorp; Andrei Voronkov (Hrsg.). Proceedings of the 19th International Conference on Logic for Programming, Artificial …
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 …
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 …
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 (iFM 2010). International Conference …