selected publications

• academic article

  • Verifying Digital Components of Physical Systems: Experimental Evaluation of Test Quality.  Russian Physics Journal.  60:2012-2018. 2018

• conference paper

  • Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices.  . 552-562. 2018