Deild:  


Marjan Sirjani, prófessor

Deild:Tæknisvið / Tölvunarfræðideild 
Sími: 
Netfang:marjanru.is 
Vefur:http://www.ru.is/starfsfolk/marjan
www.ru.is/faculty/marjan

Ferilskrá

Curriculum Vitae

http://www.ru.is/faculty/marjan/CV/MarjanSirjaniCV.pdf


Education

2004 Sharif University of Technology, Tehran, Iran, Ph.D. Computer Engineering

1994 Sharif University of Technology, Tehran, Iran, MSc. Computer Engineering

1989 Shahid Beheshti University, Tehran, Iran, BSc. Computer Engineering


Career

2008-  Assistant Professor, School of Computer Science, Reykjavik University, Reykjavik, Iceland.

2004 - Assistant Professor, School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran.

2005 - 2008 Head of Software Engineering Department, School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran.

1998 - 2004 Lecturer, School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran.

2004 - 2008 Senior Researcher, School of Computer Science, Institute for Studies in Theoretical Physics and Mathematics (IPM), Tehran, Iran.

2004 - Leader of Formal Methods Lab., School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran.

2003 Post-Doc Position, CWI, Amsterdam, The Netherlands.

1989 - 2002 Managing Director of Behin-System Computer Services Company, Tehran.

RU teaching record

 

2010-1 T-730-ASEN Advanced Software Engineering
2010-1 T-631-SOE2 Software Engineering II
2009-3 T-701-REME Research Methodology
2009-1 T-730-ASEN Advanced Software Engineering
2009-1 T-623-MOVE Modeling and Verification
2009-1 T-631-SOE2 Software Engineering II
More...    


Teaching outside RU

2005 - 2008 Modeling and Verification of Concurrent Systems (graduate level), Electrical and Computer Engineering Dept., University of Tehran
http://ece.ut.ac.ir/Classpages/S86/ECE658/

2006 - 2008 Advanced Software Engineering (graduate level), Electrical and Computer Engineering Dept., University of Tehran
http://ece.ut.ac.ir/Classpages/F86/ECE649/

1998 - 2008 System Analysis and Design, Electrical and Computer Engineering Dept., University of Tehran http://ece.ut.ac.ir/classpages/S85/SystemAnalysis/

1998 - 2008 Programming Languages Analysis and Design, Electrical and Computer Engineering Dept., University of Tehran
http://ece.ut.ac.ir/Classpages/S86/ECE460/

1999 - 2000 Object Oriented Analysis and Design, Electrical and Computer Engineering Dept., University of Tehran

1999 - 2001 Software Engineering Laboratory, Computer Engineering Dept., Sharif University of Technology

1994 - 1998 Software Engineering, Computer Science Dept., Shahid Beheshti University

1997 Software Engineering, Electrical and Computer Engineering Dept., University of Tehran

1997 Software Engineering, Computer Engineering Dept., Amir Kabir University of Technology

1992 - 1997 Introduction to Computer Science, Computer Engineering Dept., Sharif University of Technology

 

Research

Fields of Interest:
Software Engineering, Formal Methods, Object-Oriented Modelling,
Component-Based Modelling, Formal Verification, Abstraction and
Compositional Verification, Applying Formal Methods in System Design


See more on my Research Lab. Homepages:
www.reykjavikuniversity.is/icerose/applying-formal-methods/
ece.ut.ac.ir/fml/

 

 


Honours and grants

See www2.ru.is/faculty/marjan/CV/SirjaniCV2009.pdf


Services


Editorial work:

Foclasa08 Proceedings, Elsevier ENTCS 229, Issue 2, (2009)

Special issue in Fundamenta Informaticae (FI): Behavior of Composed Concurrent Systems: Logic and Reasoning, FI 82(4) (2008)

Special issue in Journal of Universal Computing (J.UCS):  Applications of Formal Methods to System Design and Verification,   J.UCS 13(13) (2007)

FSEN07 Proceedings, LNCS 4767 (2007)

FSEN05 Proceedings: Elsevier ENTCS 159 (2006)


Conference organization:

 PC member of Coordination’10
 PC member of ICTAC’09
 PC member of FACS’09
 PC member of FM’09
 PC Chair of FOCLASA’09
 PC Chair of FSEN’09
 PC Chair of FOCLASA’08
 PC Chair of FSEN’07
 PC member of ICFEM’07
 PC member of WS-FM’06
 PC Chair of FSEN’05 
 PC member of CSICC’05

Organizing IPM-UNU Winter School on Foundations and Trends in Computer Science, Feb. 2008. http://cs.ipm.ac.ir/ftcs08/

Organizing the IPM-UT workshop on Processes: from Theory to Practice, July 2006. http://khorshid.ece.ut.ac.ir/~acm/process/

Organizing the workshop on Formal Models for Reasoning about Objects & Component Composition, Feb. 2004.

Responsible for International Relationships, 9th International CSI Computer Conference (CSICC’04), Sharif University of Technology, Tehran, Iran, February 2004.

Registration Chair for the Tehran site, Asia Region in ACM Regional Programming Contest, August-November 1999.

 

Publications

Journals:

M. M. Jaghoori, M. Sirjani, M. R. Mousavi, E. Khamespanah, A. Movaghar, Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca, Acta Informatica, Accepted 2009

N. Razavi, R. Behjati, H. Sabouri, E. Khamespanah, A. Shali, M. Sirjani, Sysfier: Actor-based Formal Verification of SystemC, ACM Transactions on Embedded Computing Systems, Accepted 2009

M.M. Jaghoori, F. de Boer, T. Chotia, and M. Sirjani, Schedulability of asynchronous  Real-time concurrent objects, Journal of Logic and Algebraic Programming, Elsevier, Volume 78, Issue 5, pp. 402-416, 2009.

H. R. Shahriari, M. S. Makarem, M. Sirjani, R. Jalili, A. Movaghar, Vulnerability Analysis of Networks to Detect Multiphase Attacks Using the Actor-based Language Rebeca, Journal of Computers and Electrical Engineering, online access June 2008.

H. Hojjat, H. Nakhost, M. Sirjani., Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP), Journal of Universal Computer Science  (J.UCS), vol 13, no. 13, pp. 2076-2104, 2007.

C. Baier, M. Sirjani, F. Arbab, J.J. Rutten, Modeling component connectors in Reo by constraint automata, Journal of Science of Computer Programming, Vol. 61, Issue 2, pp. 75-113, July 2006.

M. Sirjani, F. S. de Boer, A. Movaghar, Modular Verification of a Component-based Actor Language, J.UCS 11(10), pp. 1695–1717, 2005.

M. Sirjani, A. Movaghar, A. Shali, F. S. de Boer: Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. J. UCS 11(6), pp. 1054-1082, 2005.

M. Sirjani, A. Movaghar, A. Shali, F.S. de Boer, Modeling and Verification of Reactive Systems using Rebeca, Fundamenta Informaticae, Volume 63, Number 4,  ISSN 0169-2968, pp. 385-410, 2004.



Conferences:

N. Khakpour, S, Jalili, C. Talcott, M. Sirjani, M. M. Mousavi, PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems, Proceedings of FACS09, LNCS, 2009

B. Pourvatan, M. Sirjani, H. Hojjat, F. Arbab, Automated Analysis of Reo Circuits using Symbolic Execution, Proceedings of FOCLASA09, ENTCS, 2009.

N. Khakpour, M. Sirjani and S. Jalili, Formal Analysis of Smart Home Policies using Compositional Verification , Proceedings of ICFI’09, 2009.

H. Hajabdolali Bazzaz, M. Sirjani, R. Khosravi, S. Taheri: Modeling Networking issues of Network-on-chip: a Coloured Petri nets Approach. SimuTools 2009: 22 

R. Behjati, M. Nili Ahmadabadi, M. Sirjani, Bounded Rational Search for On-the-fly Model Checking of LTL Properties, Proceedings of FSEN´09, Springer LNCS post-proceedings, 2009.

S. Tasharofi, M. Sirjani, Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM, Proceedings of  FOCLASA´08, Elsevier ENTCS post-proceedings, Vol. 229, Issue 2, 21 July 2009, Pages 155-174

F. Mahdikhani, M. R. Hashemi, M. Sirjani, QoS Aspects in Web Services Compositions, Proceedings of The Fourth IEEE International Symposium on Service-Oriented System Engineering (SOSE 2008), 2008.

H. Sabouri, M. Sirjani, Slicing-based Reductions for Rebeca, Proceedings of FACS´08, Elsevier ENTCS post-proceedings, 2008.

H. Hojjat, M. R. Mousavi, M. Sirjani, A Framework for Performance Evaluation and Functional Verification in Stochastic Process Algebra, pp. 339-346, ACM SAC 2008.

H. Hojjat, M. R. Mousavi, M. Sirjani, Process Algebraic Verification of SystemC Codes,  pp. 62-67, IEEE ACSD 2008.

R. Behjati, H. Sabouri, N. Razavi, M. Sirjani, An Effective Approach for Model Checking SystemC Designs, pp. 56-61, IEEE ACSD 2008.

R. Khosravi, M. Sirjani, N. Asoudeh, S. Sahebi, H. Iravanchi, Modeling and Analysis of Reo Connectors using Alloy, LNCS 5052, pp. 169-183 , Coordination 2008.

M.M. Jaghoori, F. de Boer and M. Sirjani, Task Scheduling in Rebeca,  Proceedings of the 19th Nordic Workshop on Programming Theory (NWPT 2007), Oslo, Norway, pp. 16-18, October 2007.

N. Hakimipour, N. Razavi, M. Sirjani, Modeling and formal verification of hardware designs. Proceedings of 5th IEEE East-West Design & Test Symposium (EWDTS 2007), 2007.

C. Talcott, M. Sirjani, S. Ren, Comparing Three Coordination Models: Reo, ARC, and RRD, Proceedings of FOCLASA 2007, ENTCS, vol. 194, no. 4, Pages 39-55, April 2008.

S. Tasharofi, M. Vakilian, R. Zilouchian Moghaddam, M. Sirjani, Modeling Web Services using Coordination Language Reo, Proceedings of WS-FM07, LNCS 4937 , pp. 108-123, 2007.

M. Sirjani, Rebeca: Theory, Applications and Tools, Proceedings of FMCO’06, LNCS 4709, pp. 102 -126, 2007.

F. AlaviZadeh, A. Hashemi-Nekoo, M. Sirjani, ReUML: a UML Profile for Modeling and Verification of Reactive Systems, Proceedings of ICSEA’07, 2007.

H. Hojjat, M. Sirjani, M. R. Mousavi, J. F. Groote: Sarir, A Rebeca to mCRL2 Translator, Proceedings of. ACSD 2007, IEEE, pp. 216-222, 2007.

N. Razavi, M. Sirjani: Compositional Semantics of System-Level Designs Written in SystemC, Proceedings of FSEN 2007, LNCS 4767, pp. 113-128, 2007.

M. R. Kakoee, H. Shojaei, H. Ghasemzadeh, Marjan Sirjani, Z. Navabi, A New Approach for Design and Verification of Transaction Level Models, Proceedings of  ISCAS 2007, IEEE, pp. 3760-3763, 2007.

S. Tasharofi, S. Ansari, M. Sirjani, Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm, Proceedings of ICFEM 2006, LNCS 4260, pp. 478-493, 2006.  

N. Razavi, M. Sirjani, Using Reo for Formal Specification and Verification of System Designs,  Proceedings of MEMOCODE 2006, IEEE, pp. 113-122, July 2006.

F. Alavizadeh, M. Sirjani, Using UML to Develop Verifiable Reactive Systems, Proceedings of SERP’06, June 2006.

M. Sirjani, M.M. Jaghoori, C. Baier, F. Arbab, Compositional Semantics of an Actor-Based Language using Constraint Automata, Proceedings of Coordination 2006, LNCS 4038, pp. 281-297, 2006.

F. Ghassemi, N. Nemat-Bakhsh, B. T. Ladani and M. Sirjani, A Formal Model for Organization of Multi-agent Systems, In Proceeding of the Symposium on Information Technology Development, Iran, 2005 

F. Ghassemi, N. Nemat-Bakhsh, B. T. Ladani and M. Sirjani, Specification and Implementation of Multi-Agent Organizations, In proceeding of Second International Conference on Web Information Systems and Technologies, pp. 447-453, 2006, Portugal. 

F. Ghassemi, N. Nemat-Bakhsh, B. T. Ladani and M. Sirjani, A Formal Model for Coordination Behavior of the Organization in Multi Agent Systems, In proceeding of second International Conference on Information & Communication Technologies: from Theory to Applications, Syria, IEEE, 2006. 

M.R. Mousavi, M. Sirjani, F. Arbab, Formal Semantics and Analysis of Component Connectors in Reo, in Proceedings of FOCLASA´05, San Francisco, USA, August 2005, ENTCS 154(1), pp. 83-89,  Elsevier Science, 2006.

H. R. Shahriari, M. Sadegh Makarem, M. Sirjani, R. Jalili and A. Movaghar, Modeling and Verification of Complex Network Attacks Using an Actor-Based Language, Proceedings of 11th Annual Int. CSI Computer Conference, Tehran, Iran,  pp. 152-158, January 2006.

F. Ghassemi, S. Tasharofi and M. Sirjani, Automated Mapping of Reo to Constraint Automata, In Proceeding of the first International Conference on Fundamental of Software Engineering 2005, pp. 99-115, Iran, ENTCS 159,  Elsevier, 2006. 

H. Hojjat, H. Nokhost, M. Sirjani, Formal Verification of the IEEE 802.1D Spanning Tree Protocol using Extended Rebeca,  In Proceeding of the first International Conference on Fundamental of Software Engineering 2005, pp. 139-159, Iran, ENTCS 159,  Elsevier,  2006. 

M.M. Jaghoori, A. Movaghar and M. Sirjani, Modere: The Model-checking Engine of Rebeca,  Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC 2006), Dijon, France, pp. 1810-1815, April 2006. 

M. M. Jaghoori, M. Sirjani, M. R. Mousavi, A. Movaghar, Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005, LNCS 3816, pp. 494-507, 2005.

M. Sirjani, , F.S. de Boer, A. Movaghar, A. Shali, Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing, in Proceedings of ACSD 2005, St. Malo, France, IEEE Computer Society, pp. 212-221, June 2005.

F. Arbab, C. Baier, F.S. de Boer, J.J.M.M. Rutten and M. Sirjani, Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications, Proceedings of the 7th International Conference on Coordination Models and Languages (Coordination 2005),  pp. 236-251, 2005.

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.

N.R. Mehta, N. Medvidovic, M. Sirjani, and F. Arbab, Modeling Behavior in Compositions of Software Architectural Primitives, in Proceedings of ASE 2004, Austria, IEEE Computer Society, pp. 371-374, September 2004.

M. Sirjani, H. SeyedRazi, A. Movaghar, M. M. Jaghouri, S. Forghanizadeh, and M. Mojdeh, Model Checking CSMA/CD Protocol Using an Actor-Based Language, in WSEAS Transactions on Circuit and Systems, Issue 4, Vol. 3, 1052- 1057, June 2004.

F. Arbab, C. Baier, J.J.M.M. Rutten and M. Sirjani, Modeling Component Connectors in Reo by Constraint Automata, in Proceedings of FOCLASA´03, Marseille, France, ENTCS 97, pp. 25-46,  Elsevier Science, 2004.

M. Sirjani, A. Movaghar, H. Iravanchi, M.M. Jaghoori and A. Shali, Model Checking in Rebeca, in Proceedings of The 2003 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA´ 03), Las Vegas, USA, CSREA Press, pp. 1819-1822, June 2003. 

M. Sirjani, A. Movaghar, H. Iravanchi, M.M. Jaghoori and A. Shali, Model Checking Rebeca by SMV, in Proceedings of the Workshop on Automated Verification of Critical Systems (AVoCS´03), University of Southampton, April 2003.

M. Sirjani and A. Movaghar, Simulation in Rebeca, in Proceedings of the 2002 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA´ 02), Las Vegas, USA, CSREA Press, pp.923-926, June 2002. 

M. Sirjani, A. Movaghar, An Object-Based Model for Agents, in Proceedings of Workshop on Agents for Information Management (EURASIA’02), Shiraz, Iran, Austrian Computer Society, October 2002. 

S.H. Mirian-Hosseinabadi and M. Sirjani, A Calculus for Real-Time Specification Statements, in Proceedings of the Workshop on Recent Progress in Computers and Communication (EURASIA’02), Shiraz, Iran, Austrian Computer Society, October 2002. 

M. Sirjani and A. Movaghar, Simulation in Rebeca, in Proceedings of the Workshop on Automated Verification of Critical Systems (AVoCS´02), University of Birmingham, April 2002.

M. Sirjani, A. Movaghar, and M.R. Mousavi, Compositional Verification of an Actor-Based Model for Reactive Systems, in Proceedings of Workshop on Automated Verification of Critical Systems (AVoCS´01), Oxford University, April 2001.

Other websites

Ice-ROSE research Lab. at School of Computer Science, Reykjavik University:
www.reykjavikuniversity.is/icerose/applying-formal-methods/

Formal Methods Lab. at ECE Dept., University of Tehran:
ece.ut.ac.ir/fml/

Reo Homepage at CWI:
reo.project.cwi.nl/

 


Starfsferill

 See http://www.ru.is/kennarar/marjan/

Kennsluferill í HR

Meira...

Rannsóknir

 See http://www.ru.is/kennarar/marjan/


Viðurkenningar og styrkir

 See http://www.ru.is/kennarar/marjan/


Þjónusta

 See http://www.ru.is/kennarar/marjan/