Mohammad-Javad Izadi

According to our database, Mohammad-Javad Izadi authored at least 2 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system.

Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi

Sci. Comput. Program., 2015

2012

Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system.

Ehsan Khamespanah, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi

Proceedings of the 2nd edition on Programming systems, 2012