• home
  • contact
  • intranet
  • search
Home
  •   jobs
  •   innovations
  •   research
  •   news
  •   events
  •   about CWI
  •   publications
About CWI
  •   general
    • mission
    • achievements
    • organization
    • annual report
    • scientific staff
    • service staff
    • spin-off companies
    • research partners
    • address
  •   ERCIM
    • contacts
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


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.

All publications (link to repository)

Centrum Wiskunde & Informatica | Science Park 123  | 1098 XG Amsterdam | info@cwi.nl

Disclaimer | Report suggestions or problems to webmaster@cwi.nl | | ipv6 ready

.