"Formal Specification and Verification of Functions of the VAMOS Scheduler"

PDF

Master Thesis, 03.11.2005.

"Formal Specification and Verification of Functions of the VAMOS Scheduler"

PDF

PPS

Slides from the Master's Seminar, 19.07.2005.

"Impact analysis"

PPS

Slides of talk on "Software Evolution" seminar WS 2004/05.

Hardware Rendering Competition 2004/2005 Demo

Link

"Documenting the programmer environment for L4Ka operating system"

PDF

Diploma thesis from Khabarovsk State University of Technology.

"Documenting the programmer environment for L4Ka operating system"

PPS

Slides of diploma defence, 2004.

Publications

"Estimation of interdiffusion coeffcients for transition metals in the process of electrospark doping of tantalum"

PDF

S. A. Pyachin, V. G. Zavodinsky, A. A. Gnidenko, Yu. A. Chebiryak.

Published in "Fizika i Khimiya Obrabotki Materialov" ("Physics and chemistry of materials treatment"), N3, 2004, pages 59-65, (in Russian).

"Obtaining and Investigations of Covering from Graphite on the Copper"

PS

PDF

A. P. Kuz'menko, A. V. Syarg, M. P. Leonov, V. I. Savchenko, V. A. Groshev, A. V. Kaminskiy, Yu. A. Chebiryak, V. G. Zavodinskiy.

Published in "Equipment and Technologies of Thermal Treatment of Metals and Alloys. Part II: Proceedings of 4th International Conference "Equipment and Technologies of Thermal Treatment of Metals and Alloys", pages 152-156, Kharkov, 2003.

"Computer Modeling of the carbon atoms interaction with a copper surface".

Yu. A. Chebiryak, V. G. Zavodinsky.

Published in "Proceedings of 4th Regional Scientifc Conference "Physics: fundamental and applied researches", pages 28-29, Vladivostok, 2003.

Education

ETH Zurich

Website of Swiss Federal Institute of Technology Zurich.

Master of Computer Science Joint Educational Program

According to the agreement from 2.02.2005 between the Saarland University, Germany and the Khabarovsk State University of Technology (KSUT), Russian Federation there will be a joint Master of Computer Science program in KSUT. The M. Sc. certificate will be awarded by Saarland University, Germany.
Website of Master of Computer Science Joint Educational Program.

Khabarovsk State University of Technology

Website of Khabarovsk State University of Technology, Khabarovsk, Russian Federation.

Saarland University

Website of Saarland University, Saarbrücken, Germany.

Institute of Materials Science

Website of Institute of Materials Science, Khabarovsk Science Center, Far Eastern Branch of The Russian Academy of Science (IMS KhSC FEB RAS).

Lyceum of Information Technologies

Website of Khabarovsk Lyceum of Information Technologies, Khabarovsk, Russian Federation.