2007

To Appear

Computer Science and Sports

Approaching a Formal Soccer Theory from Behaviour Specifications in Robotic Soccer
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 - Abstract

2007

FMCO 2006 (Post Proceedings)

Verifying Object-Oriented Programs with KeY: A Tutorial
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 - Abstract

VAMP 2007

A Dynamic Logic for Deductive Verification of Concurrent Java Programs with Condition Variables
Bernhard Beckert, Vladimir Klebanov
Proceedings, 1st International Workshop on Verification and Analysis of Multi-threaded Java-like Programs
PDF - BibTeX - Abstract

SEFM 2007

A Dynamic Logic for Deductive Verification of Concurrent Programs
Bernhard Beckert, Vladimir Klebanov
Proceedings, 5th IEEE International Conference on Software Engineering and Formal Methods
PDF - BibTeX - Abstract

PERU 2007

CAMPUS NEWS - an Information Network for Pervasive Universities
Ulrich Furbach, Markus Maron, Kevin Read
Second Workshop Peru 2007 Pervasive University, Bremen
PDF - BibTeX - Abstract

AMI 2007

CAMPUS NEWS - Artifcial Intelligence Methods Combined for an Intelligent Information Network
Markus Maron, Kevin Read, Michael Schulze
Workshop: Artificial Intelligence Methods for Ambient Intelligence
PDF - BibTeX - Abstract

Mobility Conference 2007

CAMPUS NEWS - an Intelligent Bluetooth-based Mobile Information Network
Markus Maron, Kevin Read
Mobility Conference 2007, Singapore, 4th Conference
PDF - BibTeX - Abstract

Projektbericht

CAMPUS NEWS - an Intelligent Bluetooth-based Mobile Information Network
Markus Maron, Kevin Read
Projektbericht, Artikel in Ausgabe 03/07
PDF - BibTeX - Abstract

KI 2007

Knowledge Compilation for Description Logics
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 - Abstract

FM 2007 (RoboCup Symposium 2007)

Model Checking Hybrid Multiagent Systems for the RoboCup
Ulrich Furbach, Jan Murray, Schmidsberger, Falk, Stolzenburg, Frieder
Proceedings of the RoboCup Symposium 2007
PDF - BibTeX - Abstract

FM 2007 (ProMAS07)

Hybrid Multiagent Systems with Timed Synchronization ­ Specification and Model Checking
Ulrich Furbach, Jan Murray, Schmidsberger, Stolzenburg Falk, and Frieder
Proceedings of the 5th Workshop on Programming Multi-Agent Systems (ProMAS07)
PDF - BibTeX - Abstract

C/C++ Verification Workshop (Proceedings)

How C differs from Java for Symbolic Program Execution
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 - Abstract

CADE 2007

Hyper Tableaux with Equality
Peter Baumgartner, Ulrich Furbach, Björn Pelzer
Proceedings, International Conference on Automated Deduction (CADE 2007)
PDF - BibTeX - Abstract

CADE 2007

System Description: E-KRHyper
Björn Pelzer, Christoph Wernhard
Proceedings, International Conference on Automated Deduction (CADE 2007)
PDF - BibTeX - Abstract

CADE 2007

The KeY System 1.0 (Deduction Component)
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 - Abstract

TAP 2007

White-box Testing by Combining Deduction-based
Specification Extraction and Black-box Testing

Bernhard Beckert, Christoph Gladisch
Proceedings, Tests and Proofs
PDF - BibTeX - Abstract

VERIFY 2007

4th International Verification Workshop
Bernhard Beckert (ed.)
Proceedings
Online at CEUR-WS.org - PDF (table of contents) - BibTeX - Abstract

FMOODS 2007

KeY: A Formal Method for Object-Oriented Systems
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 - Abstract

Journal of Automated Reasoning

Special Issue on Automated Reasoning with Tableaux and Related Methods
Bernhard Beckert, Lawrence Paulson (eds.)
Journal of Automated Reasoning
Springer-Verlag, JAR - BibTeX - Abstract

Arbeitsberichte aus dem Fachbereich Informatik

Location based Informationsystems
U. Furbach, M. Maron, K. Read
Arbeitsberichte aus dem Fachbereich Informatik, 11/2007,
Universität Koblenz-Landau, ISSN (Online) 1864-0850.
PDF - BibTeX

German Conference on AI

Applications of Automated Reasoning
U. Furbach, C. Obermaier
Proceedings of the 29th German Conference on AI, Springer LNAI 4314, 2007.
PDF - BibTeX

The 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 Website
LNAI 4334 Cover

The KeY Book, Chapter 3

Dynamic Logic
Bernhard Beckert, Vladimir Klebanov, Steffen Schlager
In: Verification of Object-Oriented Software: The KeY Approach
PDF - BibTeX - Springer-Verlag, LNCS 4334

The KeY Book, Chapter 13

Proof Reuse
Vladimir Klebanov
In: Verification of Object-Oriented Software: The KeY Approach
BibTeX - Springer-Verlag, LNCS 4334