| |
| 2008 | ||
|---|---|---|
| 3 | EE | Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani: An effective approach for model checking SystemC designs. ACSD 2008: 56-61 |
| 2007 | ||
| 2 | EE | Niloofar Razavi, Marjan Sirjani: Compositional Semantics of System-Level Designs Written in SystemC. FSEN 2007: 113-128 |
| 2006 | ||
| 1 | EE | Niloofar Razavi, Marjan Sirjani: Using Reo for formal specification and verification of system designs. MEMOCODE 2006: 113-122 |
| 1 | Razieh Behjati | [3] |
| 2 | Hamideh Sabouri | [3] |
| 3 | Marjan Sirjani | [1] [2] [3] |