引用次数
引用: 2,896
H-指数: 28
I10-指数 : 71
出版物: 198
INTEGRATING MODEL CHECKING AND DEDUCTION FOR REBECA
M Sirjani , A Movaghar
Scientia Iranica 12 ( 1) 55 -65
2005
Specification, simulation, and verification of component connectors in Reo
M Sirjani , F Arbab , M Mohammad Reza Mousavi
Computer science reports 0415
4
2004
OPERATIONAL SEMANTICS FOR AN ACTOR-BASED LANGUAGE
N Razavi , E Mousavi , A Movaghar , M Sirjani
JOURNAL OF FACULTY OF ENGINEERING (UNIVERSITY OF TEHRAN) 40 ( 397) 433 -443
2006
Guest Editors’ Foreword O. Owe and G. Schneider 289 Editorial: Formal languages and analysis of contract-oriented software O. Owe and G. Schneider 291 A brief account of runtime verification
M Leucker , C Schallhart , I Aktug , M Dam
REPORT SEN-R0411 JULY 2004
F Arbab , C Baier , FS de Boer , JJMM Rutten
2004
REPORT SEN-R0309 OCTOBER 22, 2003
NR Mehta , M Sirjani , F Arbab
2003
REPORT SEN-R0304 JULY 31, 2003
F Arbab , C Baier , JJMM Rutten , M Sirjani
2003
REPORT SEN-R0704 JULY 2007
MM Jaghoori , M Sirjani , M Mousavi , A Movaghar
2007
Model checking Rebeca by SMV
M Sirjani , A Movaghar , H Iravanchi , M Jaghoori
Proceedings of the Workshop on Automated Verification of Critical Systems (AVoCS’03) 233 -236
12
2003
Article 19 (35 pages)-Sysfier: Actor-Based Formal Verification of SystemC
N Razavi , R Behjati , H Sabouri , E Khamespanah
ACM Transactions on Embedded Computer Systems 10 ( 2)
2011
REPORT SEN-R0505 FEBRUARY 2005
M Sirjani , FS de Boer , A Movaghar , A Shali
2005
ReUML: a UML Profile for Modeling and Verification of Reactive Systems
S. Fatemeh Alavizaedh , Alireza Hashemi Nekoo , Marjan sirjani
International Conference on Software Engineering Advances (ICSEA 2007) 50 -50
10
2007
Using Reo for formal specification and verification of system designs
N. Razavi , M. Sirjania
international conference on formal methods and models for co design 113 -122
11
2006
Using UML to Develop Verifiable Reactive Systems.
Fatemeh Alavizadeh , Marjan Sirjani , North Kargar , Niavaran Sq
Software Engineering Research and Practice 554 -561
2
2006
Modular Verification of a Component-Based Actor Language.
Marjan Sirjani , Frank S. de Boer , Ali Movaghar-Rahimabadi
Journal of Universal Computer Science 11 1695 -1717
22
2005
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors
Ehsan Khamespanah , Holger Hermanns , Marjan Sirjani , Ali Jafari
Electronic Communication of The European Association of Software Science and Technology 70
5
2014
Application of process algebraic verification and reduction techniques to SystemC designs
Hossein Hojjat , Marjan Sirjani , Mohammad Reza Mousavi
Computer science reports 0815
2008
Modeling and Verification of Reactive Systems using Rebeca
Amin Shali , Marjan Sirjani , Ali Movaghar , Frank S. de Boer
Fundamenta Informaticae 63 ( 4) 385 -410
136
2004
Compositional semantics of system-level designs written in systemC
Niloofar Razavi , Marjan Sirjani
fundamentals of software engineering 113 -128
4
2007
Assuring the Correctness of Large-Scale Adaptive Systems
Narges Khakpour , Marjan Sirjani , Saeed Jalili
TU Braunschweig
1
2011