Cited By
View all- Steffen SGehr TTsankov PVanbever LVechev M(2020)Probabilistic Verification of Network ConfigurationsProceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication10.1145/3387514.3405900(750-764)Online publication date: 30-Jul-2020
- Cardona JVissicchio SLucente PFrancois P(2016)“I Can’t Get No Satisfaction”: Helping Autonomous Systems Identify Their Unsatisfied Interdomain InterestsIEEE Transactions on Network and Service Management10.1109/TNSM.2016.252500313:1(43-57)Online publication date: 9-Mar-2016
- (2016)Building Nemo, a system to monitor IP routing and traffic paths in real timeComputer Networks: The International Journal of Computer and Telecommunications Networking10.1016/j.comnet.2015.12.01197:C(1-30)Online publication date: 14-Mar-2016
- Show More Cited By