Artem Kotsynyak

According to our database, Artem Kotsynyak authored at least 5 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Deductive Binary Code Verification Against Source-Code-Level Specifications.

Alexander Kamkin, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro

Proceedings of the Tests and Proofs - 14th International Conference, 2020

2018

Test Program Generator MicroTESK for RISC-V.

Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov

Proceedings of the 19th International Workshop on Microprocessor and SOC Test and Verification, 2018

2017

Maintaining ISA Specifications in MicroTESK Test Program Generator.

Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov

Proceedings of the 18th International Workshop on Microprocessor and SOC Test and Verification, 2017

MicroTESK: Specification-Based Tool for Constructing Test Program Generators.

Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Andrei Tatarnikov

Proceedings of the Hardware and Software: Verification and Testing, 2017

2015

Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units.

Mikhail M. Chupilko, Alexander S. Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov

Proceedings of the 16th International Workshop on Microprocessor and SOC Test and Verification, 2015