Travelled to:1 × Italy
1 × Republic of China
1 × South Africa
1 × Turkey
1 × USA
Collaborated with:P.Saeedi A.Movaghar-Rahimabadi S.Keshishzadeh A.Movaghar M.M.Bonsangue D.Clarke
Talks about:model (3) base (3) connector (2) check (2) imag (2) use (2) synchronis (1) background (1) framework (1) algorithm (1)
Person: Mohammad Izadi
DBLP: Izadi:Mohammad
Contributed to:
2012
20102008
2008
2005Wrote 5 papers:
- SAC-2012-KeshishzadehIM #automaton #framework #model checking
- A Büchi automata based model checking framework for reo connectors (SK, MI, AM), pp. 1536–1543.
- ICPR-2010-IzadiS #automation #detection #image #segmentation #using
- Automatic Building Detection in Aerial Images Using a Hierarchical Feature Based Image Segmentation (MI, PS), pp. 472–475.
- ICPR-2008-IzadiS #robust #using
- Robust region-based background subtraction and shadow removing using color and gradient information (MI, PS), pp. 1–5.
- SEFM-2008-IzadiBC #component #modelling
- Modeling Component Connectors: Synchronisation and Context-Dependency (MI, MMB, DC), pp. 303–312.
- SEKE-2005-IzadiM #algorithm #calculus #model checking #performance #μ-calculus
- An Efficient Model Checking Algorithm for a Fragment of μ-Calculus (MI, AMR), pp. 392–395.