| 2008 |
|---|
| 9 | EE | Sara NavidPour,
Mohammad Izadi,
Ali Movaghar:
Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps.
COMPSAC 2008: 211-218 |
| 8 | EE | Mohammad Izadi,
Parvaneh Saeedi:
Robust region-based background subtraction and shadow removing using color and gradient information.
ICPR 2008: 1-5 |
| 7 | EE | Mohammad Izadi,
Marcello M. Bonsangue:
Recasting Constraint Automata into Büchi Automata.
ICTAC 2008: 156-170 |
| 6 | EE | Mohammad Izadi,
Marcello M. Bonsangue,
Dave Clarke:
Modeling Component Connectors: Synchronisation and Context-Dependency.
SEFM 2008: 303-312 |
| 5 | EE | Mohammad Izadi,
Ali Movaghar:
Model Checking of Component Based Software Using Compositional Reductions.
International Journal of Software Engineering and Knowledge Engineering 18(5): 683-712 (2008) |
| 2007 |
|---|
| 4 | EE | Mohammad Izadi,
Ali Movaghar,
Farhad Arbab:
Model Checking of Component Connectors.
COMPSAC (1) 2007: 673-675 |
| 3 | EE | Mohammad Izadi,
Ali Movaghar:
Compositional failure-based semantic equivalences for Reo specifications.
SAVCBS 2007: 99-100 |
| 2006 |
|---|
| 2 | EE | Mohammad Izadi,
Ali Movaghar-Rahimabadi:
An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata.
Electr. Notes Theor. Comput. Sci. 159: 171-186 (2006) |
| 2005 |
|---|
| 1 | | Mohammad Izadi,
Ali Movaghar-Rahimabadi:
An Efficient Model Checking Algorithm for a Fragment of µ-Calculus.
SEKE 2005: 392-395 |
