|
|
2012
- 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 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.
- Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder
SmartTies - Management of Safety-Critical Developments.
In: Tiziana Margaria; Bernhard Steffen (Hrsg.). Proceedings 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), 5th, October 15-18, Amirandes, Heraclion, Crete, Greece, Lecture Notes in Computer Science (LNCS), Springer, 10/2012.
2010
- 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. International Conference on Integrated Formal Methods (IFM-10), October 11-14, Nancy, France, LNCS, Springer, 10/2010.
- David Aspinall; Ewen Denney; Christoph Lüth
Tactics for Hierarchical Proofs.
In: Journal Mathematics in Computer Science, Vol. 3, Pages 309-330, Birkhäuser, 3/2010.
- 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. International Conference on Computer Safety, Reliability and Security (SAFECom-2010), September 14-17, Vienna, Austria, Lecture Notes in Computer Science (LNCS), Springer, 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. 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, Vol. 6167, Springer, 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.
2009
- 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.
- 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, Springer, 2009.
- 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, Vol. 226, Elsevier Science, 2009.
2008
- David Aspinall; Ewen Denney; Christoph Lüth
A Tactic Language for Hiproofs.
In: Serge Autexier; J. Campbell; J. Rubio (Hrsg.). Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM), 7th International Conference on Mathematical Knowledge Management, located at Conferences on Intelligent Computer Mathematics - Birmingham 2008, July 28 - August 1, Birmingham, United Kingdom, Pages 339-354, Lecture Notes in Computer Science (LNCS), Vol. 5144, Springer, 2008.
- 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 inkl.CD-ROM. ROBOTIK-2008, Bericht zur 5. Fachtagung Robotik, June 11-12, München, Germany, Pages o.A.-o.A. VDI-Bericht, Vol. 2012, VDI-Verlag, 2008.
- 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. Software Engineering 2008 Workshops, Fachtagung des GI-Fachbereichs Softwaretechnik, February 18-22, München, Germany, Pages 335-338, Lecture Notes in Informatics (LNI), No. P - 122, ISBN 978-3-88579-216-1, GI, 2008.
2007
- David Aspinall; Christoph Lüth; Daniel Winterstein
A Framework for Interactive Proof.
In: Mathematical Knowledge Management MKM 2007. Mathematical Knowledge Management 2007 (MKM-2007), June 27-30, Hagenberg, Australia, Pages 161-175, Lecture Notes in Artificial Intelligence (LNAI), Vol. 4573, Springer, 2007.
- Christoph Lüth; Bernd Krieg-Brückner
Sicherheit in der Künstlichen Intelligenz.
In: Künstliche Intelligenz, Vol. 1, Pages 51-52, o.A. 2007.
- 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.
2006
- David Aspinall; Christoph Lüth; Daniel Winterstein; Ahsan Fayyaz
Proof General in Eclipse.
In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop at OOPSLA (ETX'06) (ETX-06), ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 22-26, Portland, Oregon, United States, ACM Press, 2006.
- Maksym Bortin; Einar Broch Johnsen; Christoph Lüth
Structured Formal Development in Isabelle.
In: Nordic Journal of Computing, Vol. 12, Pages 1-20, o.A. 2006.
- David Aspinall; Christoph Lüth; Burkhart Wolff
Assisted Proof Document Authoring.
In: Michael Kohlhase (Hrsg.). Mathematical Knowledge Management. International Conference on Mathematical Knowledge Management (MKM-2005), July 15-17, Bremen, Germany, Pages 65-80, Lecture Notes in Artificial Intelligence, Vol. 3863, ISBN 978-3-540-31430-1, Springer, Berlin, Heidelberg, 2006.
2003
2002
|
|
