Hassan Hatefi-Ardakani

According to our database¹, Hassan Hatefi-Ardakani authored at least 3 papers between 2008 and 2017.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2017

Finite horizon analysis of Markov automata.

[BibT_eX]

[DOI]

PhD thesis, 2017

2008

Timing verification of distributed network systems at higher levels of abstraction.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2008

System-Level Assertion-Based Performance Verification for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science and Engineering, 2008