AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Mikhail Chupilko

Mikhail Chupilko

Institute for System Programming Russian Academy of Sciences - Moscow / Russia
Others
AD Scientific Index ID: 4608988
Институт системного программирования Российской академии наук
person_outline Mikhail Chupilko's MOST POPULAR ARTICLES
1-) Runtime verification based on executable models: On-the-fly matching of timed traces arXiv preprint arXiv:1303.1010, 2013
2-) Survey of modern technologies of simulation-based verification of hardware Programming and Computer Software 37 (3), 147-152, 2011
3-) A TLM-based approach to functional verification of hardware components at different abstraction levels 2011 12th Latin American Test Workshop (LATW), 1-6, 2011
4-) Extensible environment for test program generation for microprocessors Programming and Computer Software 40 (1), 1-9, 2014
5-) MicroTESK: specification-based tool for constructing test program generators Haifa Verification Conference, 217-220, 2017