Hassan Hatefi-Ardakani

Finite horizon analysis of Markov automata

Hassan Hatefi-Ardakani, 2017 .

Timing verification of distributed network systems at higher levels of abstraction

Shaahin Hessabi, Amir Masoud Gharehbaghi, Hassan Hatefi-Ardakani, 2008, 2008 IEEE International High Level Design Validation and Test Workshop.

System-Level Assertion-Based Performance Verification for Embedded Systems

Shaahin Hessabi, Amir Masoud Gharehbaghi, Hassan Hatefi-Ardakani, 2008 .