Full name: MohammadMahdi Jaghouri
Formal name: Dr. M.M. Jaghouri
Function: Scientific Staff Member, employed by UL
Email: MohammadMahdi.Jaghouri@cwi.nl
Telephone: +31(0)20 592 4299
Room: L213
Research groups: Formal Methods
Formal name: Dr. M.M. Jaghouri
Function: Scientific Staff Member, employed by UL
Email: MohammadMahdi.Jaghouri@cwi.nl
Telephone: +31(0)20 592 4299
Room: L213
Research groups: Formal Methods
Career
| 2013 | Scientific staff member FM - Formal methods |
| 2012 - 2013 | Scientific staff member SEN3 - Foundations of Software Engineering |
| 2010 | WPO Ph SEN3 - Foundations of Software Engineering |
| 2010 - 2012 | Scientific staff member SEN3 - Foundations of Software Engineering |
| 2006 - 2009 | PhD student SEN3 - Foundations of Software Engineering |
Recent Publications
| N. Kokash, Mahdi, F. Arbab. From timed Reo networks to networks of timed automata. Proceedings of European Joint Conferences on Theory and Practice of Software 2012, 2012. |
| F.S. de Boer, B. Nobakht, Mahdi, R. Schlatte. Programming and deployment of active objects with application-level scheduling. Proceedings of ACM Symposium on Applied Computing 2012, 2012. |
| F.S. de Boer, H. Sabouri, R. Khosravi, Mahdi. Scheduling and Analysis of Real-Time Software Families. Proceedings of IEEE Signature Conference on Computers, Software, and Applications 2012, 2012. |
| B. Nobakht, F.S. de Boer, Mahdi. Programming and Deployment of Active Objects with Application-Level Scheduling. Proceedings of ACM SAC 2012 (27), Riva del Garda, Italy, 2012. |
| Mahdi, O. Hlynsson, M. Sirjani. Networks of Real-Time Actors: Schedulability Analysis and Coordination. Proceedings of International Workshop on Formal Aspects of Component Software (FACS), 20–56, 2011. |
