Artem Kotsynyak

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 4

Top Topics

Plagiarism Detection

Top Venues

Haifa Verification Conference

Publications

Alexander Kamkin, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro
Deductive Binary Code Verification Against Source-Code-Level Specifications. TAP@STAF (2020)
Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov
Test Program Generator MicroTESK for RISC-V. MTV (2018)
Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov
Maintaining ISA Specifications in MicroTESK Test Program Generator. MTV (2017)
Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Andrei Tatarnikov
MicroTESK: Specification-Based Tool for Constructing Test Program Generators. Haifa Verification Conference (2017)
Mikhail M. Chupilko, Alexander S. Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov
Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units. MTV (2015)