A theory of integrating tamper evidence with stabilization, Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Michigan Tech Publications

A framework for verification of SystemC TLM programs with model slicing: a case study, Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni
Michigan Tech Publications

A theory of integrating tamper evidence with stabilization, Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Michigan Tech Publications

UFIT: A tool for modeling faults in UPPAAL timed automata, Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Michigan Tech Publications

Evaluating the effect of faults in SystemC TLM models using UPPAAL, Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Michigan Tech Publications

Modeling and analyzing timing faults in transaction level SystemC programs, Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Michigan Tech Publications

Facilitating the design of fault tolerance in transaction level SystemC programs, Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni
Michigan Tech Publications

FTSyn: A framework for automatic synthesis of fault-tolerance, Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora
Michigan Tech Publications