Part of CSIT-2017 Conference program


Special Session "Design and Test" (NAS RA, Conference Hall)
Tuesday, September 26, 2017, (0930 - 1400)
Moderators: Samvel Shoukourian, Armen Kostanyan

 0930  Valery Vardanian, Karen Amirkhanyan, Samvel Shoukourian (Armenia)
“Design of Reparable Memory Systems with Shared Row Redundancies”
 0950  Leonid Kruglov, Alexander Gerasimov (Russia)
“Reachability Confirmation of Statically Detected Defects using Dynamic Analysis”
 1010  David Sargsyan (Armenia)
“ISO 26262 Compliant Memory BIST Architecture”
 1030  Suren Martirosyan (Armenia)
“Application of Memory Scrambling Aware Multi-Level Diagnosis Flow”
 1050  Davit Hayrapetyan, Aleksandr Manukyan (Armenia)
“Modeling Dynamic Single-cell and Coupling Faults via Automata Models”
 1110  Armen Kostanyan, Sona Kurazyan (Armenia)
“Migration of a Net in a Slicing Floorplan”
 1130  Davit Husikyan, Davit Aleksanyan (Armenia)
“The Estimation of the Surface of a Printed Board”
 1150  Irina Vinogradova, Anna Andrianova, Ivan Meshkov, Albert Sultanov,
Guzel Abdrakhmanova, Elizaveta Grakhova, Arsen Ishmiyarov,
Liliya Yantilina , Gulnaz Kultieva (Russia)

“Analysis of Optical Device Models Designed for Antenna Array Management Operability”
 1210  Denis Buzdalov, Sergey Zelenov (Russia)
“Visualization of Behavioral Aspects of AADL-models”
 1230  Sergey Vartanov (Russia)
“Dynamic Symbolic Execution of Java Programs Using JNI”
 1300  Discussion