Publications

Filters: Author is Tiejun Ma  [Clear All Filters]
2011
Rule-based Verification of Network Protocol Implementations using Symbolic Execution
JaeSeung Song, Tiejun Ma, Cristian Cadar, and Peter Pietzuch
20th IEEE International Conference on Computer Communications and Networks (ICCCN), 2011
Maui, Hawaii, USA
Femtocell Coverage Optimisation Using Statistical Verification
Tiejun Ma, and Peter Pietzuch
10th International Conference on Networking (IFIP/TC6 Networking), 2011
Valencia, Spain
2010
Towards Automated Verification of Autonomous Networks: A Case Study in Self-Configuration
JaeSeung Song, Tiejun Ma, and Peter Pietzuch
Sixth IEEE PerCom Workshop on Pervasive Wireless Networking (PWN), 2010
Mannheim, Germany
Year of Publication