Static Analysis of Routing and Firewall Policy Configurations. - Miroslav Svéda; Ondrej Rysavý; Gayan de Silva; Petr Matousek; Jaroslav Ráb (ICETE (Selected Papers), 2010)

Formal analysis approach on networks with dynamic behaviours. - Gayan de Silva; Petr Matousek; Ondrej Rysavý; Miroslav Svéda (ICUMT, 2010)

Combination of simulation and formal methods to analyse network survivability. - Petr Matousek; Ondrej Rysavý; Gayan de Silva; Martin Danko (SimuTools, 2010)

Reachability Analysis in Dynamically Routed Networks. - Miroslav Svéda; Ondrej Rysavý; Gayan de Silva; Petr Matousek; Jaroslav Ráb (ECBS, 2011)

On formal reachability analysis in networks with dynamic behavior. - Gayan de Silva; Ondrej Rysavý; Petr Matousek; Miroslav Svéda (Telecommun. Syst., 2013)