 | 2012 |
|---|
| 8 |       | Bahman Pourvatan,
Marjan Sirjani,
Hossein Hojjat,
Farhad Arbab:
Symbolic execution of Reo circuits using constraint automata.
Sci. Comput. Program. 77(7-8): 848-869 (2012) |
| 2011 |
|---|
| 7 | | Hossein Hojjat,
Mohammad Reza Mousavi,
Marjan Sirjani:
Formal Analysis of SystemC Designs in Process Algebra.
Fundam. Inform. 107(1): 19-42 (2011) |
| 2009 |
|---|
| 6 | | Bahman Pourvatan,
Marjan Sirjani,
Hossein Hojjat,
Farhad Arbab:
Automated Analysis of Reo Circuits using Symbolic Execution.
Electr. Notes Theor. Comput. Sci. 255: 137-158 (2009) |
| 2008 |
|---|
| 5 | | Hossein Hojjat,
Mohammad Reza Mousavi,
Marjan Sirjani:
Process algebraic verification of SystemC codes.
ACSD 2008: 62-67 |
| 4 | | 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 | | Hossein Hojjat,
Marjan Sirjani,
Mohammad Reza Mousavi,
Jan Friso Groote:
Sarir: A Rebeca to mCRL2 Translator.
ACSD 2007: 216-222 |
| 2 | | 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 | | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page