Cited By
View all- Mohan ALiu YFoster NKappé TKozen D(2023)Formal Abstractions for Packet SchedulingProceedings of the ACM on Programming Languages10.1145/36228457:OOPSLA2(1338-1362)Online publication date: 16-Oct-2023
- Raj RJin D(2022)A Framework to Evaluate PMU Networks for Resiliency Under Network Failure Conditions2022 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm)10.1109/SmartGridComm52983.2022.9961035(128-133)Online publication date: 25-Oct-2022
- Liu BChou KJamkhedkar PAnwer BSinha ROikonomou KCaesar MGodfrey P(2021)Practical Automation for Management Planes of Service Provider InfrastructureProceedings of the 4th FlexNets Workshop on Flexible Networks Artificial Intelligence Supported Network Flexibility and Agility10.1145/3472735.3473391(7-13)Online publication date: 23-Aug-2021