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


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 :: R.G. Schiller, ... , Rösner, Rudolph, Rueß, Rushby


Show keywords Show abstracts

Steiner, Wilfried; Rushby, John; Sorea, Maria; Pfeifer, Holger
Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation
Proceedings of the International Conference on Dependable Systems and Networks , page 189--198.
Publisher: IEEE Computer Society, Florence, Italy
Export as: BibTeX, XML