Eingebettete Intelligenz

Seite 5 von 6.

1. 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 …

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

3. Christoph Lüth

   Schlussbericht des Projektes SAMS

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

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

5. 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 …

6. 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 …

7. 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), …

8. 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 …

9. 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 …

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

• vorherige
• 1
• …
• 4
• 5
• 6