Hamed Iravanchi

According to our database, Hamed Iravanchi authored at least 3 papers between 2003 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Modeling and Analysis of Reo Connectors Using Alloy.

Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2004

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models.

Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

Model Checking in Rebeca.

Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003