Hamed Iravanchi

	2008
3		Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi: Modeling and Analysis of Reo Connectors Using Alloy. COORDINATION 2008: 169-183
	2004
2		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]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page