Gayan de Silva

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Reachability Analysis

Dynamic Behavior

Top Venues

Telecommun. Syst.

Publications

Gayan de Silva, Ondrej Rysavý, Petr Matousek, Miroslav Svéda
On formal reachability analysis in networks with dynamic behavior. Telecommun. Syst. 52 (2) (2013)
Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb
Reachability Analysis in Dynamically Routed Networks. ECBS (2011)
Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb
Static Analysis of Routing and Firewall Policy Configurations. ICETE (Selected Papers) (2010)
Petr Matousek, Ondrej Rysavý, Gayan de Silva, Martin Danko
Combination of simulation and formal methods to analyse network survivability. SimuTools (2010)
Gayan de Silva, Petr Matousek, Ondrej Rysavý, Miroslav Svéda
Formal analysis approach on networks with dynamic behaviours. ICUMT (2010)