default search action

combined dblp search
author search
venue search
publication search

ask others

Alexander S. Kamkin

Alexander Kamkin

> Home > Persons

Person information

affiliation: Russian Academy of Sciences, Institute for System Programming, Moscow, Russia

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

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

2023
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/date/KamkinCLSG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/KamkinCLSG23
Alexander Kamkin, Mikhail M. Chupilko, Mikhail Lebedev, Sergey A. Smolov, Georgi Gaydadjiev:
High-Level Synthesis versus Hardware Construction. DATE 2023: 1-6
2020
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/KamkinKKP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/KamkinKKP20
Alexander Kamkin, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro:
Deductive Binary Code Verification Against Source-Code-Level Specifications. TAP@STAF 2020: 43-58

2010 – 2019

see FAQ

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

2019
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/ChupilkoKP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/ChupilkoKP19
Mikhail M. Chupilko, Alexander Kamkin, Alexander Protsenko:
Open-Source Validation Suite for RISC-V. MTV 2019: 7-12
2018
[c17]
- 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
[c16]
- 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
[c15]
- 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
[c14]
- 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
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdts/BurenkovK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdts/BurenkovK16
Vladimir Burenkov, Alexander Kamkin:
Applying parameterized model checking to real-life cache coherence protocols. EWDTS 2016: 1-4
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdts/HaghiCKN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdts/HaghiCKN16
Hamed Najafi Haghi, Mikhail M. Chupilko, Alexander S. Kamkin, Zainalabedin Navabi:
ESL design with RTL-verified predesigned abstract communication channels. EWDTS 2016: 1-7
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdts/JenihhinKNK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdts/JenihhinKNK16
Maksim Jenihhin, Alexander Kamkin, Zainalabedin Navabi, Somayeh Sadeghi Kohan:
Universal mitigation of NBTI-induced aging by design randomization. EWDTS 2016: 1-5
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdts/KamkinLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdts/KamkinLS16
Alexander S. Kamkin, Mikhail Lebedev, Sergey A. Smolov:
An EFSM-driven and model checking-based approach to functional test generation for hardware designs. EWDTS 2016: 1-4
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdts/SmolovLKYCK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdts/SmolovLKYCK16
Sergey A. Smolov, Jorge López, Natalia Kushik, Nina Yevtushenko, Mikhail M. Chupilko, Alexander S. Kamkin:
Testing logic circuits at different abstraction levels: An experimental evaluation. EWDTS 2016: 1-4
2015
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/pcs/Kamkin15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pcs/Kamkin15
Alexander S. Kamkin:
Projecting transition systems: Overcoming state explosion in concurrent system verification. Program. Comput. Softw. 41(6): 311-324 (2015)
[c8]
- 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
2014
[j3]
- 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)
2013
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdts/KamkinSM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdts/KamkinSM13
Alexander Kamkin, Sergey A. Smolov, Igor Melnichenko:
Static analysis of HDL descriptions: Extracting models for verification. EWDTS 2013: 1-4
[c6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-1010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-1010
Mikhail M. Chupilko, Alexander S. Kamkin:
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces. MBT 2013: 67-81
2011
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/pcs/KamkinC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pcs/KamkinC11
Alexander S. Kamkin, Mikhail M. Chupilko:
Survey of modern technologies of simulation-based verification of hardware. Program. Comput. Softw. 37(3): 147-152 (2011)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdts/Kamkin11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdts/Kamkin11
Alexander Kamkin:
Simulation-based hardware verification with time-abstract models. EWDTS 2011: 43-47
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/KamkinKV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/KamkinKV11
Alexander Kamkin, Eugene Kornykhin, Dmitry Vorobyev:
Reconfigurable Model-Based Test Program Generator for Microprocessors. ICST Workshops 2011: 47-54
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/latw/ChupilkoK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latw/ChupilkoK11
Mikhail M. Chupilko, Alexander Kamkin:
A TLM-based approach to functional verification of hardware components at different abstraction levels. LATW 2011: 1-6

2000 – 2009

see FAQ

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

2008
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdts/Kamkin08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdts/Kamkin08
Alexander Kamkin:
Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications. EWDTS 2008: 84-87
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/pcs/IvannikovKKKP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pcs/IvannikovKKKP07
V. P. Ivannikov, Alexander S. Kamkin, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko:
The use of contract specifications for representing requirements and for functional testing of hardware models. Program. Comput. Softw. 33(5): 272-282 (2007)
2006
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Kamkin06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Kamkin06
Alexander Kamkin:
The UniTESK Approach to Specification-Based Validation of Hardware Designs. ISoLA 2006: 60-66

Coauthor Index

see FAQ

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.