| 2008 | ||
|---|---|---|
| 4 | EE | Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: A framework for performance evaluation and functional verification in stochastic process algebras. SAC 2008: 339-346 |
| 2007 | ||
| 3 | EE | Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote: Sarir: A Rebeca to mCRL2 Translator. ACSD 2007: 216-222 |
| 2 | EE | Hossein Hojjat, Hootan Nakhost, Marjan Sirjani: Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP). J. UCS 13(13): 2076-2104 (2007) |
| 2006 | ||
| 1 | EE | Hossein Hojjat, Hootan Nakhost, Marjan Sirjani: Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca. Electr. Notes Theor. Comput. Sci. 159: 139-154 (2006) |
| 1 | Jan Friso Groote | [3] |
| 2 | Mohammad Reza Mousavi | [3] [4] |
| 3 | Hootan Nakhost | [1] [2] |
| 4 | Marjan Sirjani | [1] [2] [3] [4] |