System-Level Assertion-Based Performance Verification for Embedded Systems. - Hassan Hatefi-Ardakani; Amir Masoud Gharehbaghi; Shaahin Hessabi (CSICC, 2008)

Timing verification of distributed network systems at higher levels of abstraction. - Hassan Hatefi-Ardakani; Amir Masoud Gharehbaghi; Shaahin Hessabi (HLDVT, 2008)

Finite horizon analysis of Markov automata. - Hassan Hatefi-Ardakani (2017)