Hamed Iravanchi

2008
3	EE	Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi: Modeling and Analysis of Reo Connectors Using Alloy. COORDINATION 2008: 169-183
2004
2	EE	Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar: A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models. ACSD 2004: 145-150
2003
1		Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali: Model Checking in Rebeca. PDPTA 2003: 1819-1822

Coauthor Index

1	Nesa Asoudeh	[3]
2	Mohammad Mahdi Jaghoori	[1] [2]
3	Ramtin Khosravi	[3]
4	Ali Movaghar-Rahimabadi (Ali Movaghar)	[1] [2]
5	Shaghayegh Sahebi	[3]
6	Amin Shali	[1] [2]
7	Marjan Sirjani	[1] [2] [3]