11 citations · 18 across the 4 of their papers we have counts for
4 papers
MAS-Lab: A Specification-Driven Validation Framework for Reliable Multi-Agent Systems
Jordan Augé, Giovanna Carofiglio, Giulio Grassi +1
The rapid emergence of LLM-based agentic frameworks has significantly reduced the cost of assembling multi-agent systems (MAS), enabling fast prototyping and exploration of agentic…
Aether: Network Validation Using Agentic AI and Digital Twin
Jordan Auge, Sam Betts, Giovanna Carofiglio +3
Network change validation remains a critical yet predominantly manual, time-consuming, and error-prone process in modern network operations. While formal network verification has m…
MAP-Me: Managing Anchor-less Producer Mobility in Information-Centric Networks
Jordan Augé, Giovanna Carofiglio, Giulio Grassi +3
Mobility has become a basic premise of network communications, thereby requiring a native integration into 5G networks. Despite the numerous efforts to propose and to standardize e…
Challenges in the capture and dissemination of measurements from high-speed networks
R. G. Clegg, M. S. Withall, A. W. Moore +9
The production of a large-scale monitoring system for a high-speed network leads to a number of challenges. These challenges are not purely techinical but also socio-political and…