Muhammad Salman Malik

Publication Activity (10 Years)

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

Top Topics

Design Methodology

Distributed Control

Network Parameters

Communication Systems

Top Venues

Publications

Muhammad Salman Malik, Robin Berthier, Rakesh B. Bobba, Roy H. Campbell, William H. Sanders
Formal design of communication checkers for ICCP using UPPAAL. SmartGridComm (2013)
Muhammad Salman Malik, Mirko Montanari, Jun Ho Huh, Rakesh B. Bobba, Roy H. Campbell
Towards SDN enabled network control delegation in clouds. DSN (2013)