Sharif University of Technology, Tehran, Iran(2012-2014)
GPA: 17.1 (out of 20)
Thesis: "Model Checking of Priced Timed Activity Networks (PTAN)"
University of Science and Culture, Tehran, Iran(2006-2011)
GPA: 16 (out of 20)
Mohammad Esmail Esmaili, Reza Entezari Maleki, Ali Movaghar,'Improved Region Based TCTL Model Checking of Timed Petri Nets',to appear in The Journal of Computing Science and Engineering (JCSE).
Draft Available : Mohammad Esmail Esmaili, Ali Movaghar, 'Priced Timed Activity Networks'.
Teaching assistant for Design and Implementation of Programming Languages at University of Science and Culture (2011).
Teaching assistant for Verification of Reactive Systems at Sharif University of Technology.(2014)
2013 - Present
Modeling some real times models by Timed Automata(TA) and Time Petri Net(TPN) in several tools such as UPPAAL, KRONOS, Romeo and Tina and then verify considered properties of these systems in mentioned tools.
2012 - 2012
We prepared a survey in the field of Leader election for Mobile Ad hoc Networks. In this work, we study an overview of algorithms that is introduced for Leader Election problem for Mobile Ad hoc Network that is compatible with node mobility and dynamic Topology changes.
2011 - 2012
we attempt to control the traffic light by approximating the number of cars for change traffic light by use image processing algorithms under supervision of Prof. Balafar at University of Tabriz; that resulted research caused to it implemented in MATLB.
2011 - 2012
Concurrency Control in Distributed Database. In this research, after an overview on prevalent concurrency control on centralized Database; we introduced most important techniques that are proposed to perform concurrency control on distributed Database.
Performance and Dependability Laboratory (PDL), Department of Computer Engineering, Sharif University of Technology (2012-Present).