Mohammad-Javad Izadi

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Learning Algorithm

Automatic Analysis

Top Venues

Sci. Comput. Program.

Publications

Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. Sci. Comput. Program. 98 (2015)
Ehsan Khamespanah, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system. AGERE!@SPLASH (2012)