2006

2006

IEEE Intelligent Systems

Intelligent Systems and Formal Methods in Software Engineering
Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani
IEEE Intelligent Systems
BibTeX - Abstract- IEEE Intelligent Systems

ICFEM 2006

A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces
Bernhard Beckert, Gerd Beuster
Proceedings, International Conference on Formal Engineering Methods
PDF - BibTeX - Abstract - Springer Verlag, LNCS 4260

IJCAR 2006

Dynamic Logic with Non-rigid Functions: A Basis for Object-oriented Program Verification
Bernhard Beckert, Andre Platzer
Proceedings, International Joint Conference on Automated Reasoning
PDF - BibTeX - Abstract - Springer Verlag, LNCS 4130

SEFM 2006

Integrating Object-Oriented Design and Deductive Verification of Software
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Abstract of a Tutorial held at SEFM 2006, Pune, India, 11-15 September 2006
Proceedings, 4th IEEE International Conference on Software Engineering and Formal Methods
BibTeX - Abstract

FMIS 2006

Guaranteeing Consistency in Text-Based Human-Computer Interaction
Bernhard Beckert, Gerd Beuster
Proceedings, International Workshop on Formal Methods for Interactive Systems
PDF - BibTeX - Abstract

Verify 2006

Must Program Verification Systems and Calculi be Verified?
Bernhard Beckert, Vladimir Klebanov
Proceedings, 3rd International Verification Workshop
PDF - BibTeX -

AI Game Programming Wisdom

Fast, Neat, and Under Control: Arbitrating between Steering Behaviors
Heni Ben Amor, Jan Murray, Oliver Obst
AI Game Programming Wisdom 3, vol. 3 of Game Development Series
PDF

KSEM 2006

Description and Generation of Computational Agents
Gerd Beuster, Roman Neruda
Proceedings, International Conference on Knowledge Science, Engineering and Management
PDF - BibTeX

ESCOR 2006

Real World Verification - Experiences from the Verisoft Email Client
Gerd Beuster, Niklas Henrich, Markus Wagner
Proceedings of the FLoC'06 Workshop on Empirically Successful Computerized Reasoning, Seattle, USA, August 22, 2006, ISSN 1613-0073
PDF - BibTeX -

KI

Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification
Jan Murray, Frieder Stolzenburg, Toshiaki Arai
KI (Journal)
BibTeX

Journal of Decision Systems

Multiagent Matching Algorithms With and Without Coach
Frieder Stolzenburg, Jan Murray, Karsten Sturm
Journal of Decision Systems, Special issue on Decision Support Systems
BibTeX

IJCAR 2006

Automated reasoning. Proceedings of the Third International Joint Conference
Ulrich Furbach, Natarajan Shankar (eds.)
Springer Verlag, LNCS 4130
BibTex