This page contains all publications of the institute. If you are searching for a particular paper that might have been written before the researcher joined us, please visit his or her individual page.

Please note that there is also a list of all students' theses written at our institute.

Publications of the Institute of Artificial Intelligence

Author


All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Z
All :: Padgham, ... , Patel-Schneider, Pfab, Pfeifer, ... , Profitlich

Preferences

Show keywords Show abstracts

20.
pdf
Pfeifer, Holger
Formal Verification of the TTP Group Membership Algorithm
In T. Bolognesi and D. Latella, editor, Formal Methods for Distributed System Development -- Proceedings of FORTE XIII / PSTV XX 2000 , page 3--18.
Publisher: Kluwer Academic Publishers, Pisa, Italy
2000
19.
pdf
Pfab, Stephan; Rueß, Harald; Owre, Sam; W. von Henke, Friedrich
Towards Light-Weight Verification and Heavy-Weight Testing
In Berghammer, Rudolf and Lakhnech, Yassine, editor, Tool Support for System Specification, Development and Verification of Advances in Computing Science
page 189--200.
Publisher: Springer Vienna,
1999
ISBN: 978-3-211-83282-0
18.
pdf
Pfeifer, Holger; Schwier, Detlef; von Henke, Friedrich
Formal Verification for Time-Triggered Clock Synchronization
In C. Weinstock and J. Rushby, editor, Dependable Computing for Critical Applications 7 Volume 12 of Dependable Computing and Fault-Tolerant Systems , page 207--226.
Publisher: IEEE Computer Society,
1999
17.
pdf
Pfeifer, Holger; Rueß, Harald
Polytypic Proof Construction
In Y. Bertot and G. Dowek and A. Hirschowitz and C. Paulin and L. Théry, editor, Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics Volume 1690 of Lecture Notes in Computer Science , page 55--72.
Publisher: Springer,
1999
16.
pdf
Pfeifer, Holger; Rueß, Harald
Polytypic Abstraction in Type Theory
In Roland Backhouse and Tim Sheard, editor, Workshop on Generic Programming (WGP'98)
Publisher: Dept. of Computing Science, Chalmers Univ. of Technology, and Göteborg Univ.,
1998
15.
pdf
von Henke, Friedrich; Pfab, Stephan; Pfeifer, Holger; Rueß, Harald
Case Studies in Meta-Level Theorem Proving
In J. Grundy and M. Newey, editor, Proceedings Intl. Conf. on Theorem Proving in Higher Order Logics Volume 1479 of Lecture Notes in Computer Science , page 461--478.
Publisher: Springer,
1998
14.
default
Dold, Axel; von Henke, Friedrich; Pfeifer, Holger; Rueß, Harald
Formal Verification of Transformations for Peephole Optimization
In J. Fitzgerald and C. Jones and P. Lucas, editor, FME '97: Formal Methods: Their Industrial Application and Strengthened Foundations Volume 1313 of Lecture Notes in Computer Science , page 459--472.
Publisher: Springer,
1997
13.
pdf
Bartels, F.; von Henke, Friedrich; Pfeifer, Holger; Rueß, Harald
Mechanizing Domain Theory
Ulmer Informatik-Berichte
Document number: 96-10
Universität Ulm, Fakultät für Informatik,
1997
12.
default
von Henke, Friedrich; Pfeifer, Holger; Rueß, Harald
Guided Tour Through a Mechanized Semantics of Simple Imperative Programming Constructs
Ulmer Informatik-Berichte
Document number: 96-11
Universität Ulm, Fakultät für Informatik,
1997
11.
pdf
Goerigk, Wolfgang; Dold, Axel; Gaul, Thilo; Goos, Gerhard; Heberle, Andreas; von Henke, Friedrich; Hoffmann, Ulrich; Langmaack, Hans; Pfeifer, Holger; Rueß, Harald; Zimmermann, Wolf
Compiler Correctness and Implementation Verification: The \em Verifix Approach
In P. Fritzson, editor, Proceedings of the Poster Session of CC '96 -- International Conference on Compiler Construction , page 65--73.
IDA Technical Report LiTH-IDA-R-96-12, Linkøping, Sweden
1996
Export as: BibTeX, XML