Muhammad Timarzi

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Fully Automated

Statistical Model

Parameter Estimation

Complex Systems

Top Venues

Publications

Kinan Dak Albab, Jonathan DiLorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Timarzi, Jiaqi Gao, Minlan Yu
SwitchV: automated SDN switch validation with P4 models. SIGCOMM (2022)