Gayan de Silva

According to our database, Gayan de Silva authored at least 5 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

On formal reachability analysis in networks with dynamic behavior.

Gayan de Silva, Ondrej Rysavý, Petr Matousek, Miroslav Svéda

Telecommun. Syst., 2013

2011

Reachability Analysis in Dynamically Routed Networks.

Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

2010

Combination of simulation and formal methods to analyse network survivability.

Petr Matousek, Ondrej Rysavý, Gayan de Silva, Martin Danko

Proceedings of the 3rd International Conference on Simulation Tools and Techniques, 2010

Formal analysis approach on networks with dynamic behaviours.

Gayan de Silva, Petr Matousek, Ondrej Rysavý, Miroslav Svéda

Proceedings of the International Conference on Ultra Modern Telecommunications, 2010

Static Analysis of Routing and Firewall Policy Configurations.

Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb

Proceedings of the e-Business and Telecommunications - 7th International Joint Conference, 2010