 |
Marjan Sirjani
|
| School of Electrical & Computer Engineering |
| Assistant Professor |
| Email: msirjani [AT] ut.ac.ir |
| Personal Website: |
|
|
| Education |
Ph.D.: Software Engineering, Sharif University, Tehran, Iran, 2004
M.Sc.: Software Engineering, Sharif University, Tehran, Iran, 1993
B.Sc.: Software Engineering, Shahid Beheshti University, Tehran, Iran, 1989
|
| Research Interests |
Modeling Reactive and Concurrent Systems
Formal Verification Methods
Actor Model
Compositional Verification
Component-based modelling
|
| Current Researches |
Hardware/Software Co-Verification
Formal Modeling and Verification of Network Protocols
Compositional Semantics of the Coordination Language Reo
|
| Courses |
Software Engineering 1 (System Analysis and Design)
Programming Languages, Design and Implementation
Advanced Topics in Software Engineering
|
| Selected Publications |
1) M. Sirjani, A. Movaghar, A. Shali, and F.S. de Boer, Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models, Journal of Universal Computer Science, Volume 11, Number 6, June 2005, pp. 1054-108
2) M. Sirjani, A. Movaghar, A. Shali, and F.S. de Boer, Modeling and Verification of Reactive Systems using Rebeca, Fundamenta Informaticae, Volume 63, Number 4, December 2004, ISSN 0169-2968, pp. 385-410.
3) C. Baier, M. Sirjani, F. Arbab, J. Rutten, Modeling Component Connectors in Reo by Constraint Automata, Science of Computer Programming, to appear.
4) Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab: Modeling Behavior in Compositions of Software Architectural Primitives. ASE 2004: 371-374.
5) M. Sirjani, A. Shali, M. M. Jaghouri, H. Iravanchi, and A. Movaghar, A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models, in Proceedings of ACSD 2004, Hamilton, Canada, pp. 145-148, IEEE Computer Society, June 2004
|
| |
