| 2007 |
|---|
| 6 | EE | Mohammad Mahdi Jaghoori:
Coordinating Object Oriented Components Using Data-Flow Networks.
FMCO 2007: 280-311 |
| 2006 |
|---|
| 5 | EE | Marjan Sirjani,
Mohammad Mahdi Jaghoori,
Christel Baier,
Farhad Arbab:
Compositional Semantics of an Actor-Based Language Using Constraint Automata.
COORDINATION 2006: 281-297 |
| 4 | EE | Mohammad Mahdi Jaghoori,
Ali Movaghar,
Marjan Sirjani:
Modere: the model-checking engine of Rebeca.
SAC 2006: 1810-1815 |
| 2005 |
|---|
| 3 | EE | Mohammad Mahdi Jaghoori,
Marjan Sirjani,
Mohammad Reza Mousavi,
Ali Movaghar:
Efficient Symmetry Reduction for an Actor-Based Model.
ICDCIT 2005: 494-507 |
| 2004 |
|---|
| 2 | EE | 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 |
| 2003 |
|---|
| 1 | | Marjan Sirjani,
Ali Movaghar,
Hamed Iravanchi,
Mohammad Mahdi Jaghoori,
Amin Shali:
Model Checking in Rebeca.
PDPTA 2003: 1819-1822 |
