Amin Shali (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali: Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. ACSD 2005: 212-221

4 Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. J. UCS 11(6): 1054-1082 (2005)

3 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

2 Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Modeling and Verification of Reactive Systems using Rebeca. Fundam. Inform. 63(4): 385-410 (2004)

1 Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali: Model Checking in Rebeca. PDPTA 2003: 1819-1822

Selection of 5 from 6 records - Amin Shali has 6 coauthors

5		Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali: Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. ACSD 2005: 212-221
4		Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. J. UCS 11(6): 1054-1082 (2005)
3		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
2		Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Modeling and Verification of Reactive Systems using Rebeca. Fundam. Inform. 63(4): 385-410 (2004)
1		Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali: Model Checking in Rebeca. PDPTA 2003: 1819-1822