Author

Profile picture
Marjan Sirjani
Department of Electrical and Computer Engineering, University of Tehran
Iran
4 articles by this author
Sort by:
Research Article
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
10.3217/jucs-013-13-2076
 28-12-2007
 Unique: 363 | Total: 461  | Access Period:
 2076-2104
HTML
XML
PDF
Editorial
Applications of Formal Methods to System Design and Verification
Farhad Arbab, Marjan Sirjani
10.3217/jucs-013-13
 28-12-2007
 Unique: 265 | Total: 297  | Access Period:
 1970-1971
HTML
XML
PDF
Research Article
Modular Verification of a Component-Based Actor Language
Marjan Sirjani, Frank De Boer, Ali Movaghar
10.3217/jucs-011-10-1695
 28-10-2005
 Unique: 322 | Total: 387  | Access Period:
 1695-1717
HTML
XML
PDF
Research Article
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models
Marjan Sirjani, Ali Movaghar, Amin Shali, Frank De Boer
10.3217/jucs-011-06-1054
 28-06-2005
 Unique: 412 | Total: 477  | Access Period:
 1054-1082
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK