اخبار و رویدادها

جلسات هفتگی آزمایشه روش های صوری و درستی سنجی سیستم ها

جلسات هفتگی آزمایشه روش های صوری و درستی سنجی سیستم ها


Reference Title Date Presenter .No
  92/11/13 Ehsan Khames-Panah 1
  Algebraic Analysis of Software Product Line Architecture 92/11/20 Vahid Yari-Zadeh 2
  Model Checking of Mobile Ad Hoc Networks Using Network Constraints 92/11/27 Saeide Ahmadi 3
  Statistical Model Checking 92/12/4 Mohammad Asgharian 4
Slides LTS-Based Testing 92/12/11 Ali Narenji Sheshkalani 5
Slides Formal Refinement of Obfuscated Codes 92/12/18  Hamid Reza Ebtehaj 6
Slides Subjective Logic Based Probabilistic Key Management Algorithm for MANETs  93/01/19 Mahdieh Ahmadi 7
  Verification of Temporal Properties of Processes in a Setting with Data 93/01/26 Reyhaneh Amirabadi   8
  Probabilistic Timed Automata 93/02/02 Mahsa Varshosaz 9
  Modeling and Analysis of Broadcasting Actors 93/02/09 Behnaz Yousefi 10
Slides Partial Order Reduction 93/02/16 Mohsen Fazaeli 11
  93/02/30 Mohammad Fallah 12
  alloy: a language & tool for relational models 93/03/13 Ramtin Khosravi 13
  Modeling and verifying two wireless netwok protocols in UPPAAL 93/04/03     Ghazaleh Jahandoust 14
  93/04/10 Mohammad Fallah 15
  Partial Order Reduction 93/04/17 Mohsen Fazaeli 16
  Formal Refinement of Obfuscated Codes 93/04/24 Hamid Reza Ebtehaj 17
    93/04/31 Marjan Sirjani 18
  Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors 93/05/14 Ehsan Khames-Panah 19
    93/05/21  Zeinab Sabahi 20
  Finding Application Errors and Security Flaws Using PQL: a Program Query
Language
93/05/28 Rosa Abbasi 21
  Mapping actor-based applications onto network on chips 93/06/04 Tayebe Sadeghi   22
    93/06/11 Ramtin Khosravi 23

 

آدرس کوتاه :