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
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic ActionsIEEE Transactions on Computers, 51(2):164--179
Rigorous development of a safety-critical system based on coordinated atomic actions
Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing. Digest of Papers. , page 68--75.