Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Kamkin, Alexander Sergeevich
Statistics Math-Net.Ru
Total publications: 14
Scientific articles: 13

Number of views:
This page:185
Abstract pages:1675
Full texts:940
References:280

https://www.mathnet.ru/eng/person108357
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0001-6374-8575

Publications in Math-Net.Ru Citations
2022
1. A. S. Kamkin, M. M. Chupilko, M. S. Lebedev, S. A. Smolov, G. Gaydadjiev, “Comparison of high-level synthesis and hardware construction tools”, Proceedings of ISP RAS, 34:5 (2022),  7–22  mathnet 6
2021
2. A. S. Kamkin, S. A. Smolov, M. M. Chupilko, “Comparison of open flows for digital hardware development: qflow, openlane, coriolis, and symbiflow”, Proceedings of ISP RAS, 33:6 (2021),  111–130  mathnet 1
2020
3. I. V. Gladyshev, A. S. Kamkin, A. M. Kotsynyak, P. A. Putro, A. V. Khoroshilov, “Architecture of a machine code deductive verification system”, Proceedings of ISP RAS, 32:3 (2020),  7–19  mathnet
2019
4. A. S. Kamkin, M. S. Lebedev, S. A. Smolov, “Extracting assertions for conflicts in HDL descriptions”, Proceedings of ISP RAS, 31:3 (2019),  135–144  mathnet  elib 3
2017
5. M. M. Chupilko, A. S. Kamkin, M. S. Lebedev, S. A. Smolov, “Test generation for digital hardware based on high-level models”, Proceedings of ISP RAS, 29:4 (2017),  247–256  mathnet  elib
2016
6. A. S. Kamkin, A. M. Kotsynyak, A. S. Protsenko, A. D. Tatarnikov, M. M. Chupilko, “MicroTESK-based test program generator for the ARMv8 architecture”, Proceedings of ISP RAS, 28:6 (2016),  87–102  mathnet  elib
7. A. S. Kamkin, A. M. Kotsynyak, “Specification-based test program generation for MIPS64 memory management units”, Proceedings of ISP RAS, 28:4 (2016),  99–114  mathnet  elib 1
8. V. S. Burenkov, A. S. Kamkin, “Checking parameterized Promela models of cache coherence protocols”, Proceedings of ISP RAS, 28:4 (2016),  57–76  mathnet  elib 1
2015
9. S. A. Smolov, A. S. Kamkin, “A method of extended finite state machines construction from HDL descriptions based on static analysis of source code”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2015, no. 1(212),  60–73  mathnet 3
10. I. Melnichenko, A. Kamkin, S. Smolov, “An extended finite state machine-based approach to code coverage-directed test generation for hardware designs”, Proceedings of ISP RAS, 27:3 (2015),  161–182  mathnet  elib 2
11. Alexander Kamkin, Mikhail Petrochenkov, “A model-based approach to design test oracles for memory subsystems of multicore microprocessors”, Proceedings of ISP RAS, 27:3 (2015),  149–160  mathnet  elib
12. A. Kamkin, A. Protsenko, A. Tatarnikov, “An approach to test program generation based on formal specifications of caching and address translation mechanisms”, Proceedings of ISP RAS, 27:3 (2015),  125–138  mathnet  elib 1
2014
13. V. P. Ivannikov, A. S. Kamkin, M. M. Chupilko, “Verifying correctness of hdl-model behavior on the basis of dynamical trace matching”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 2(193),  130–142  mathnet
2015
14. A. S. Kamkin, A. K. Petrenko, A. N. Terekhov, “Foreword”, Proceedings of ISP RAS, 27:3 (2015),  7–8  mathnet  elib
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024