• 1
  • 2
  • 5
  • 6
  • 3
  • 4
IPM
30
YEARS OLD

“Papers of School of Computer Science”

Back to Papers Home
 

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

Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
scroll left or right