Hunkar Can Tunc

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 3

Top Topics

Safety Analysis

Multiresolution

Dynamic Networks

Top Venues

J. Log. Algebraic Methods Program.

Publications

Georgiana Caltais, Hunkar Can Tunc
Explaining safety failures in NetKAT. J. Log. Algebraic Methods Program. 121 (2021)
Georgiana Caltais, Hunkar Can Tunc
Explaining Safety Failures in NetKAT. CoRR (2021)
Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hunkar Can Tunc
DyNetKAT: An Algebra of Dynamic Networks. CoRR (2021)