 | 2009 |
|---|
| 8 |       | Frank S. de Boer,
Immo Grabe,
Mohammad Mahdi Jaghoori,
Andries Stam,
Wang Yi:
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform.
ICFEM 2009: 367-386 |
| 7 | | Mohammad Mahdi Jaghoori,
Frank S. de Boer,
Tom Chothia,
Marjan Sirjani:
Schedulability of asynchronous real-time concurrent objects.
J. Log. Algebr. Program. 78(5): 402-416 (2009) |
| 2007 |
|---|
| 6 | | Mohammad Mahdi Jaghoori:
Coordinating Object Oriented Components Using Data-Flow Networks.
FMCO 2007: 280-311 |
| 2006 |
|---|
| 5 | | Marjan Sirjani,
Mohammad Mahdi Jaghoori,
Christel Baier,
Farhad Arbab:
Compositional Semantics of an Actor-Based Language Using Constraint Automata.
COORDINATION 2006: 281-297 |
| 4 | | Mohammad Mahdi Jaghoori,
Ali Movaghar,
Marjan Sirjani:
Modere: the model-checking engine of Rebeca.
SAC 2006: 1810-1815 |
| 2005 |
|---|
| 3 | | Mohammad Mahdi Jaghoori,
Marjan Sirjani,
Mohammad Reza Mousavi,
Ali Movaghar:
Efficient Symmetry Reduction for an Actor-Based Model.
ICDCIT 2005: 494-507 |
| 2004 |
|---|
| 2 | | 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 |
