Institute of Computer Science and Applied Mathematics
in the Technical Faculty of Christian-Albrechts-University of Kiel

Technologie der Informationssysteme

Roy Bartsch

Address:	Institut für Informatik und Praktische Mathematik Christian-Albrechts-Universität Kiel Olshausenstr. 40 D-24118 Kiel Germany
Phone:	+49-431-880 7323
Fax:	+49-431-880 4054
Email:	rba@is.informatik.uni-kiel.de
Room:	Hermann-Rodewald-Straße 3, Room 405

PGP public key

PGP Fingerprint

Recent Publication:

Roy Bartsch, Wolfgang Goerigk (2001, (c) AAAI Press) Mechanical a-posteriori Verification of Results: A Case Study for a Safety Critical AI System

Bartsch, R: Mechanisch verifizierte Programmprüfung: die Korrektheit von Testplänen in der Bahntechnik in Informatiktage 2000, Fachwissenschaftlicher Informatik-Kongress, Hrg. von GI Gesellschaft fuer Informatik e.V.

Bartsch, R.: Mechanisch verifizierte Programmprüfung für die Korrektheit von Prüfplänen in der Bahntechnik. Diploma thesis, Department of Computer Science, University of Kiel, 2000.

Last modified: Monday, 2. April 2001