2007
To Appear
Computer Science and Sports
Frank Dylla and Alexander Ferrein and Gerhard Lakemeyer and Jan Murray and Oliver Obst and Thomas Röfer and Stefan Schiffer and Frieder Stolzenburg and Ubbo Visser and Thomas Wagner
Peter Dabnicki and Arnold Baca (eds.), Computer Science and Sports, WIT Press, London, 2007
PDF - BibTeX - Abstract2007
FMCO 2006 (Post Proceedings)
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, and Peter H. Schmitt
Proceedings, 5th International Symposium on Formal Methods for Components and Objects
PDF (preliminary version) - BibTeX - AbstractVAMP 2007
Bernhard Beckert, Vladimir Klebanov
Proceedings, 1st International Workshop on Verification and Analysis of Multi-threaded Java-like Programs
PDF - BibTeX - AbstractSEFM 2007
Bernhard Beckert, Vladimir Klebanov
Proceedings, 5th IEEE International Conference on Software Engineering and Formal Methods
PDF - BibTeX - AbstractPERU 2007
Ulrich Furbach, Markus Maron, Kevin Read
Second Workshop Peru 2007 Pervasive University, Bremen
PDF - BibTeX - AbstractAMI 2007
Markus Maron, Kevin Read, Michael Schulze
Workshop: Artificial Intelligence Methods for Ambient Intelligence
PDF - BibTeX - AbstractMobility Conference 2007
Markus Maron, Kevin Read
Mobility Conference 2007, Singapore, 4th Conference
PDF - BibTeX - AbstractProjektbericht
Markus Maron, Kevin Read
Projektbericht, Artikel in Ausgabe 03/07
PDF - BibTeX - AbstractKI 2007
Ulrich Furbach, Claudia Obermaier
Proceedings of the 3rd Workshop on Knowledge Engineering and Software Engineering (KESE) at the 30th Annual German Conference on Artificial Intelligence (KI-2007), Osnabrück
PDF - BibTeX - AbstractFM 2007 (RoboCup Symposium 2007)
Ulrich Furbach, Jan Murray, Schmidsberger, Falk, Stolzenburg, Frieder
Proceedings of the RoboCup Symposium 2007
PDF - BibTeX - AbstractFM 2007 (ProMAS07)
Ulrich Furbach, Jan Murray, Schmidsberger, Stolzenburg Falk, and Frieder
Proceedings of the 5th Workshop on Programming Multi-Agent Systems (ProMAS07)
PDF - BibTeX - AbstractC/C++ Verification Workshop (Proceedings)
Christoph Gladisch
C/C++ Verification Workshop colocated with Integrated Formal Methods 2007, Oxford, United Kingdom
Technical Report of Radboud University Nijmegen, The Netherlands
PDF - BibTeX - AbstractCADE 2007
Peter Baumgartner, Ulrich Furbach, Björn Pelzer
Proceedings, International Conference on Automated Deduction (CADE 2007)
PDF - BibTeX - AbstractCADE 2007
Björn Pelzer, Christoph Wernhard
Proceedings, International Conference on Automated Deduction (CADE 2007)
PDF - BibTeX - AbstractCADE 2007
Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, and Peter H. Schmitt
Proceedings, International Conference on Automated Deduction
PDF - BibTeX - AbstractTAP 2007
Specification Extraction and Black-box Testing
Bernhard Beckert, Christoph Gladisch
Proceedings, Tests and Proofs
PDF - BibTeX - AbstractVERIFY 2007
Bernhard Beckert (ed.)
Proceedings
Online at CEUR-WS.org - PDF (table of contents) - BibTeX - AbstractFMOODS 2007
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Proceedings, 9th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems
PDF - BibTeX - AbstractJournal of Automated Reasoning
Bernhard Beckert, Lawrence Paulson (eds.)
Journal of Automated Reasoning
Springer-Verlag, JAR - BibTeX - AbstractArbeitsberichte aus dem Fachbereich Informatik
U. Furbach, M. Maron, K. Read
Arbeitsberichte aus dem Fachbereich Informatik, 11/2007,
Universität Koblenz-Landau, ISSN (Online) 1864-0850.
PDF - BibTeXGerman Conference on AI
U. Furbach, C. Obermaier
Proceedings of the 29th German Conference on AI, Springer LNAI 4314, 2007.
PDF - BibTeXThe KeY Book
Verification of Object-Oriented Software: The KeY Approach
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)
15 chapters and 2 appendices, xxix + 658 pp
Table of Contents (PDF) - BibTeX - Springer-Verlag, LNCS 4334 - Book WebsiteThe KeY Book, Chapter 3
Bernhard Beckert, Vladimir Klebanov, Steffen Schlager
In: Verification of Object-Oriented Software: The KeY Approach
PDF - BibTeX - Springer-Verlag, LNCS 4334The KeY Book, Chapter 13
Vladimir Klebanov
In: Verification of Object-Oriented Software: The KeY Approach
BibTeX - Springer-Verlag, LNCS 4334