Alexander S. Kamkin
Orcid: 0000-0001-6374-8575Affiliations:
- Russian Academy of Sciences, Institute for System Programming, Moscow, Russia
According to our database1,
Alexander S. Kamkin
authored at least 24 papers
between 2006 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
6
1
1
1
1
1
1
1
1
3
5
1
2
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
2020
Proceedings of the Tests and Proofs - 14th International Conference, 2020
2019
Proceedings of the 20th International Workshop on Microprocessor/SoC Test, 2019
2018
Proceedings of the 19th International Workshop on Microprocessor and SOC Test and Verification, 2018
2017
Proceedings of the 18th International Workshop on Microprocessor and SOC Test and Verification, 2017
Proceedings of the Hardware and Software: Verification and Testing, 2017
MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors.
Proceedings of the Perspectives of System Informatics, 2017
2016
Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016
An EFSM-driven and model checking-based approach to functional test generation for hardware designs.
Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016
Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016
Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016
Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016
2015
Projecting transition systems: Overcoming state explosion in concurrent system verification.
Program. Comput. Softw., 2015
Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units.
Proceedings of the 16th International Workshop on Microprocessor and SOC Test and Verification, 2015
2014
Program. Comput. Softw., 2014
2013
Proceedings of the Proceedings Eighth Workshop on Model-Based Testing, 2013
Proceedings of the East-West Design & Test Symposium, 2013
2011
Program. Comput. Softw., 2011
A TLM-based approach to functional verification of hardware components at different abstraction levels.
Proceedings of the 12th Latin American Test Workshop, 2011
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
Proceedings of the 9th East-West Design & Test Symposium, 2011
2008
Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications.
Proceedings of the 2008 East-West Design & Test Symposium, 2008
2007
The use of contract specifications for representing requirements and for functional testing of hardware models.
Program. Comput. Softw., 2007
2006
Proceedings of the Leveraging Applications of Formal Methods, 2006