| 2008 |
|---|
| 5 | EE | Hossein Hojjat,
Mohammad Reza Mousavi,
Marjan Sirjani:
Process algebraic verification of SystemC codes.
ACSD 2008: 62-67 |
| 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) |
