Competence formation objective assessment as the method to control student's independent work von Aydarkin, Eugeniy, Kundupyan, Oxana, Starostin, Artem, Fomina, Anna, Kundupyan, Yulia, Bibov, Mikhail

Volltext

Psychophysiological mechanisms for learning tasks solving of different complexity von Fomina, Anna, Kundupyan, Oksana, Starostin, Artem, Bibov, Mikhail

Volltext

Assessment of the independent work efficacy of natural sciences students von Fomina, Anna, Kundupyan, Oxana, Bibov, Mikhail, Starostin, Artem, Kundupyan, Julia, Aydarkin, Eugeny

Volltext

Transforming Out Timing Leaks, More or Less von Mantel, Heiko, Starostin, Artem

Volltext

A tool for static detection of timing channels in Java von Lux, Alexander, Starostin, Artem

Volltext

An Automatic Inference of Minimal Security Types von Bollmann, Dominik, Lortz, Steffen, Mantel, Heiko, Starostin, Artem

Volltext

Balancing the LoadLeveraging a Semantics Stack for Systems Verification von Alkassar, Eyad, Hillebrand, Mark A, Leinenbach, Dirk C, Schirmer, Norbert W, Starostin, Artem, Tsyban, Alexandra

Volltext

Formal Pervasive Verification of a Paging Mechanism von Alkassar, Eyad, Schirmer, Norbert, Starostin, Artem

Volltext

Pervasive Verification of an OS Microkernel: Inline Assembly, Memory Consumption, Concurrent Devices von Alkassar, Eyad, Paul, Wolfgang J., Starostin, Artem, Tsyban, Alexandra

Volltext

Verified Process-Context Switch for C-Programmed Kernels von Starostin, Artem, Tsyban, Alexandra

Volltext

The Verisoft Approach to Systems Verification von Alkassar, Eyad, Hillebrand, Mark A., Leinenbach, Dirk, Schirmer, Norbert W., Starostin, Artem

Volltext

Balancing the Load: Leveraging a Semantics Stack for Systems Verification von Alkassar, Eyad, Hillebrand, Mark A., Leinenbach, Dirk C., Schirmer, Norbert W., Starostin, Artem, Tsyban, Alexandra

Volltext

Correct Microkernel Primitives von Starostin, Artem, Tsyban, Alexandra

Volltext

METHOD FOR TESTING SHEET MATERIALS TO AXISYMMETRICAL DRAWING von Starostin Artem Viktorovich, Zharkov Valerij Alekseevich, Kiryushin Aleksandr Anatolevich, Ananchenko Igor Yurevich

Volltext bestellen

METHOD FOR TESTING SHEET MATERIALS TO AXIOSYMMETRICAL DRAWING von Starostin Artem Viktorovich, Zharkov Valerij Alekseevich, Kiryushin Aleksandr Anatolevich, Ananchenko Igor Yurevich

Volltext bestellen

METHOD FOR TESTING SHEET MATERIALS TO AXIOSYMMETRICAL DRAWING von Starostin Artem Viktorovich, Zharkov Valerij Alekseevich, Kiryushin Aleksandr Anatolevich, Ananchenko Igor Yurevich

Volltext bestellen

DEVICE FOR TESTING SHEET MATERIALS von Starostin Artem Viktorovich, Zharkov Valerij Alekseevich, Kiryushin Aleksandr Anatolevich, Ananchenko Igor Yurevich

Volltext bestellen

SHEET MATERIAL TEST METHOD von Starostin Artem Viktorovich, Zharkov Valerij Alekseevich, Kiryushin Aleksandr Anatolevich, Ananchenko Igor Yurevich

Volltext bestellen

Nucleation of a Vapor Phase and Vapor Front Dynamics Due to Boiling-Up on a Solid Surface von Kotov, Artem N., Gurashkin, Aleksandr L., Starostin, Aleksandr A., Lukianov, Kirill V., Skripov, Pavel V.

Volltext

Thermo-Optical Measurements and Simulation in a Fibre-Optic Circuit Using an Extrinsic Fabry–Pérot Interferometer under Pulsed Laser Heating von Kotov, Artem N., Starostin, Aleksandr A., Gorbatov, Vladimir I., Skripov, Pavel V.

Volltext