Sciweavers

15 search results - page 1 / 3
» issre 2005
Sort
View
139
Voted
ISSRE
2005
IEEE
16 years 1 months ago
Covering Transitions of Concurrent Systems through Queues
Jiale Huo, Alexandre Petrenko
164
Voted
ISSRE
2005
IEEE
16 years 1 months ago
Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs
Abdesselam Lakehal, Ioannis Parissis
ISSRE
2005
IEEE
16 years 1 months ago
Modeling the Vulnerability Discovery Process
Omar H. Alhazmi, Yashwant K. Malaiya
155
Voted
ISSRE
2005
IEEE
16 years 1 months ago
Markovian Modeling and Analysis of Internet Worm Propagation
Hiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi