Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Andrei Tatarnikov

A. D. Tatarnikov

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/pcs/KamkinSSTC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pcs/KamkinSSTC14
Alexander S. Kamkin, T. I. Sergeeva, Sergey A. Smolov, A. D. Tatarnikov, Mikhail M. Chupilko:
Extensible environment for test program generation for microprocessors. Program. Comput. Softw. 40(1): 1-9 (2014)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/BlechGKLSTVY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/BlechGKLSTVY21
Ekaterina Blech, Andrey Grishchenko, Ivan Kniazkov, Guangtai Liang, Oleg Serebrennikov, Andrei Tatarnikov, Polina Volkhontseva, Kuzma Yakimets:
Patternika: A Pattern-Mining-Based Tool For Automatic Library Migration. ISSRE Workshops 2021: 333-338
2018
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/ChupilkoKKPST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/ChupilkoKKPST18
Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov:
Test Program Generator MicroTESK for RISC-V. MTV 2018: 6-11
2017
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/KamkinT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/KamkinT17
Alexander Kamkin, Andrei Tatarnikov:
MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors. Ershov Informatics Conference 2017: 387-393
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/ChupilkoKKT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/ChupilkoKKT17
Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Andrei Tatarnikov:
MicroTESK: Specification-Based Tool for Constructing Test Program Generators. Haifa Verification Conference 2017: 217-220
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/ChupilkoKKPST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/ChupilkoKKPST17
Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov:
Maintaining ISA Specifications in MicroTESK Test Program Generator. MTV 2017: 10-14
2016
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdts/Tatarnikov16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdts/Tatarnikov16
Andrei Tatarnikov:
An approach to instruction stream generation for functional verification of microprocessor designs. EWDTS 2016: 1-4
2015
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/ChupilkoKKPST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/ChupilkoKKPST15
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: 1-6

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.