Cognitive Assistants

Page 5 of 7.

1. 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 Intelligence and Reasoning. International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2013), 19th, December 14-19, Stellenbosch, South Africa, Pages 53-70, Lecture Notes in Computer Science, Vol. 8312, Springer, 2013.

2. 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.

3. 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.

4. 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.

5. 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 on Integrated Formal Methods (IFM-2010), October 11-14, Nancy, France, Pages 59-73, Lecture Notes in Computer Science (LNCS), Vol. 6396, Springer, 10/2010.

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.

7. Christoph Lüth

   Schlussbericht des Projektes SAMS

   Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI Research Reports (RR), Vol. 10-01, 2010.

8. 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 and Symbolic Computation (AISC-2010), 10th, located at Intelligent Computer Mathematics 2010 (CICM 2010), July 5-10, Paris, France, Pages 34-48, Lecture Notes in Computer Science (LNCS), Vol. 6167, Springer, 2010.

9. 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 Safety, Reliability and Security (SAFEComp-2010), September 14-17, Vienna, Austria, Pages 347-360, Lecture Notes in Computer Science (LNCS), Vol. 6351, Springer, 2010.

10. 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.

• previous
• 1
• …
• 4
• 5
• 6
• 7
• next