“Papers of School of Computer Science”
Pages:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
191. F. Safaei, M. Fathy, A. Khonsari and M. Ould-Khaoua,
Stochastic Communication Delay Analysis of Adaptive Wormhole-Switched Routings in Tori with Faults,
in: , 4742, 2007, pp. 497-508 [abstract]
192. A. Khonsari, A. Shahrabi and M. Ould-khaoua,
A performance model of disha routing in K-ary N-cube networks,
Parallel Processing Letters 17(2007), 213-228 [abstract]
193. M. M. Jaghoori, F. de Boer and M. Sirjani,
Task Scheduling in Rebeca,
in: NWPT, , 2007, pp. 16-18 [abstract]
194. C. Talcott, M. Sirjani and S. Ren,
Comparing Three Coordination Models: Reo, ARC, and RRD,
in: FOCLASA, 194, 2007, pp. 39-55 [abstract]
195. S. Tasharofi, M. Vakilian, R. Zilouchian Moghaddam and M. Sirjani,
Modeling Web Service Interactions Using the Coordination Language Reo,
in: WS-FM, 4937, 2007, pp. 108-123 [abstract]
196. H. Hojjat, H. Nakhost and M. Sirjani,
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol,
Journal of Universal Computer Science 13(2007), 2076-2104 [abstract]
197. H. R. Shahriari, M. S. Makarem, M. Sirjani, R. Jalili and A. Movaghar,
Vulnerability Analysis of Networks to Detect Multiphase Attacks Using the Actor-based Language Rebeca,
Computers & Electrical Engineering (to appear) [abstract]
198. M. Sirjani,
Rebeca: Theory, Applications, and Tools,
in: FMCO, 4709, 2007, pp. 102-126 [abstract]
199. S. F. Alavizaedh, A. H. Nekoo and M. Sirjani,
ReUML: a UML Profile for Modeling and Verification of Reactive Systems,
in: ICSEA, , 2007, pp. 50-50 [abstract]
200. N. Razavi and M. Sirjani,
Compositional Semantics of System-Level Designs Written in SystemC,
in: FSEN, 4767, 2007, pp. 113-128 [abstract]
back to top
Pages:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
