• HYPEG: Statistical Model Checking for hybrid Petri nets

  • Flent: The FLExible Network Tester

  • Size-Based Routing to Balance Performance of the Queues

  • Network Emulation Support in ns-3 Through Kernel Bypass Techniques

  • The Back End is Only One Part of the Picture: Mobile-Aware Application Performance Monitoring and Problem Diagnosis