Smart Service Engineering

Seite 6 von 7.

1. 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 (ENTCS), Vol. 226, Elsevier Science, 2009.

2. 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 (AVOCS-09), 9th, September 23-25, Swansea, United Kingdom, Electronic Communications of the EASST, Vol. 23, 2009.

3. 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 in Computer Science (LNCS), Vol. 5350, Springer, 2009.

4. 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 Conference on Mathematical Knowledge Management (MKM-2007), located at Conferences on Intelligent Computer Mathematics (CICM 2008), July 28 - August 1, Birmingham, United Kingdom, Pages 339-354, Lecture Notes in Computer Science (LNCS), Vol. 5144, Springer, 2008.

5. 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, February 18-22, München, Germany, Pages 335-338, Lecture Notes in Informatics (LNI), Vol. P-122, ISBN 978-3-88579-216-1, Gesellschaft für Informatik, 2008.

6. 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. VDI/VDE Fachtagung Robotik, June 11-12, München, Germany, VDI-Bericht, Vol. 2012, VDI-Verlag, 2008.

7. David Aspinall; Christoph Lüth; Daniel Winterstein

   A Framework for Interactive Proof

   In: 6th International Conference on Mathematical Knowledge Management (MKM 2007). International Conference on Mathematical Knowledge Management (MKM-2007), June 27-30, Hagenberg, Australia, Pages 161-175, Lecture Notes in Artificial Intelligence (LNAI), Vol. 4573, Springer, 2007.

8. Christoph Lüth; Bernd Krieg-Brückner

   Sicherheit in der Künstlichen Intelligenz

   In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 1, Pages 51-52, BöttcherIT Verlag, Bremen, 2007.

9. Bernd Krieg-Brückner; Antonio Krüger; M. Hoffmeister; Christoph Lüth

   Kopplung von Zutrittskontrolle und Raumautomation - Eine Basis für die Interaktion mit einer intelligenten Umgebung

   In: VDI-Gesellschaft (Hrsg.). 8. Fachtagung Gebäudesicherheit und Gebäudeautomation - Koexistenz oder Integration?. Pages 37-48, VDI Berichte, Vol. 2005, Springer, Düsseldorf, 2007.

10. David Aspinall; Christoph Lüth; Daniel Winterstein; Ahsan Fayyaz

    Proof General in Eclipse

    In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06), ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, located at OOPSLA 2006, October 22-26, Portland, OR, USA, ACM Press, 2006.

• vorherige
• 1
• …
• 5
• 6
• 7