Presentations at Conferences and Workshops


The page contains our presentations at conferences and workshops. The list is incomplete and will be supplemented soon.

2013

  1. M. Chupilko, A. Kamkin. Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces. Model-based testing Workshop, March 17, 2013.
  2. A. Kamkin, S. Smolov, I. Melnichenko. Static Analysis of HDL Description: Extracting Models for Verification. East-West Design and Test Symposium, September 27-30, 2013.
  3. A. Kamkin, T. Sergeeva, A. Tatarnikov, A. Utekhin. MicroTESK: An Extensible Framework for Test Program Generation. Summer-Spring Young Researchers' Colloquium on Software Engineering, May 30-31, 2013.
  4. Chupilko M., Protsenko A. Recognition and explanation of incorrect behavior in simulation-based hardware verification. Summer-Spring Young Researchers' Colloquium on Software Engineering, May 30-31, 2013.
  5. V. Ivannikov, A. Kamkin, and M. Chupilko. Checking of HDL-model behavior correctness based on runtime trace matching. Tool and Methods of Program Analysis, October 10-12, 2013. (in Russian)
  6. M. Chupilko, A. Kamkin, A. Tatarnikov. C++TESK and MicroTESK Hardware Verification Toolkits. SIGDA University Booth at Design and Automation Conference, June 3-5, 2013.

2012

  1. A. Kamkin, A. Tatarnikov. MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors. Summer-Spring Young Researchers' Colloquium on Software Engineering, May 30-31, 2012.
  2. A. Kamkin, M. Chupilko. Runtime verification of HDL-descriptions based on executable models. Seminar on Software Development and Analysis Technologies, December 20, 2012. (in Russian)

2011

  1. M. Chupilko. Developing test systems for multi-modules hardware designs. Summer-Spring Young Researchers' Colloquium on Software Engineering, May 12-13, 2011.
  2. A. Kamkin. Simulation-Based Verification with Time-Abstract Models. East-West Design and Test Symposium, September 9-12, 2011.
  3. M. Chupilko. C++TESK-SystemVerilog united approach to simulation-based verification of hardware designs. East-West Design and Test Symposium, September 9-12, 2011.
  4. A. Kamkin, E. Kornikhin, and D. Vorobyev. Reconfigurable Model-Based Test Program Generator for Microprocessors. Workshop on Advances in Model Based Testing, March 20, 2011.
  5. M. Chupilko. Developing test systems for multimodules
    hardware designs at different abstraction levels
    . CREDES Summer School "Dependable Systems Design", June 1-4, 2011.
  6. A. Demakov, A. Kamkin, A. Sortov. High-Performance Testing: Parallelizing Functional Tests for Computer Systems Using Distributed Graph Exploration. Open Cirrus Summit, June 1-3, 2011.
  7. A. Kamkin. Time Abstraction in Simulation-Based Hardware Verification. Summer School on Software Engineering and Verification, July 17-27, 2011.

2010

  1. M. Chupilko, A. Kamkin. Developing cycle-accurate contract specifications for synchronous parallel-pipeline hardware: application to verification. Biennial Baltic Electronics Conference, October 4-6, 2010.
  2. A. Kamkin. CTestBench: A Lightweight C-Based Tool for Specification and Functional Verification of Hardware Designs. East-West Design & Test Symposium, September 17-20, 2010.

2009

  1. A. Kamkin. MicroTESK: Automation of Test Program Generation for Microprocessors. East-West Design & Test Symposium, September 18-21, 2009.
  2. S. Frenkel (IPI RAN), A. Kamkin. Verification Methodology Based on Algorithmic State Machines and Cycle-Accurate Contract Specifications. East-West Design & Test Symposium, September 18-21, 2009.
  3. M. Chupilko. Constructing Test Sequences for Hardware Designs with Parallel Starting Operations using Implicit FSM Models. East-West Design & Test Symposium, September 18-21, 2009.
  4. A. Kamkin. Using Cycle-Accurate Contract Specifications for Testing Hardware Models. Microsoft Research & Institute for System Programming of RAS Joint Workshop, Moscow, June 19-20, 2009.
  5. A. Petrenko. Formal Testing of Hardware Designs. Ph.D. Summer Video School on Scientific Computing, June 2-5, 2009.
  6. E. Kornikhin. SMT-based Test Program Generation for Cache Memory. Ph.D. Summer Video School on Scientific Computing, June 2-5, 2009.
  7. M. Chupilko. Using Cycle-Accurate Specifications for Testing of Hardware Designs. Ph.D. Summer Video School on Scientific Computing, June 2-5, 2009. 
  8. D. Vorobyev. Extending the UniTESK Technology by Means of Structural Test Generation (in Russian). The 16th Conference "Microelectronics and Informatics" on Science and Engineering, Moscow Institute of Electronic Technology, Zelenograd, April 22-24, 2009.
  9. E. Korniknin. TESLA - System of Test Data Generation for Core-Level Functional Testing of Microprocessors (in Russian). The 16th Conference "Microelectronics and Informatics" on Science and Engineering, Moscow Institute of Electronic Technology, Zelenograd, April 22-24, 2009.
  10. M. Chupilko. Using Transaction-Level Modeling for Testing Hardware Models (in Russian). The 16th Conference "Microelectronics and Informatics" on Science and Engineering, Moscow Institute of Electronic Technology, Zelenograd, April 22-24, 2009.

2008

  1. A. Kamkin. Coverage-Directed Verification of Microprocessor Units Based on Cycle-Accurate Contract Specifications. East-West Design & Test Symposium, Lvov, 2008.
  2. N. Pakulin, V. Rubanov. ISE Language: the ADL for Efficient Development of Cross Toolkits. International Workshop on Model Based Architecturing and Construction of Embedded Systems (ACES-MB), Toulouse, 28 September-3 October, 2008.
  3. M. Chupilko, A. Kamkin, D. Vorobyev. Methodology and Experience of Simulation-Based Verification of Microprocessor Units Based on Cycle-Accurate Contract Specifications. SYRCoSE: Spring Young Researchers' Colloquium on Software Engineering, St. Petersburg, 2008.
  4. A. Kamkin. Functional Validation of Microprocessor Units Based on Contract Specifications. Design Automation and Test in Europe, PhD Forum, Munich, 2008.

2007

  1. A. Kamkin. Testbench Automation for Pipelined Designs Based on Contract Specifications. East-West Design & Test Symposium, Yerevan, 2007.
  2. A. Kamkin. Contract Specification of Pipelined Designs. Spring Young Researchers Colloquium on Software Engineering, Moscow, May 30-June 1, 2007.
  3. V. Rubanov. Dynamic Support of Processor Extensions in Cross Development Tools.Spring Young Researchers Colloquium on Software Engineering, Moscow, May 30-June 1, 2007.

2006

  1. A. Kamkin. The UniTESK Approach to Specification-Based Validation of Hardware Designs. International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Paphos, 2006.