arXiv subjects

Giulio Grassi

Publications and source records attributed to Giulio Grassi.

7 recordsLinked to original sources

arXiv2026

MAS-Lab: A Specification-Driven Validation Framework for Reliable Multi-Agent Systems

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 behaviors. However, systems built with current tooling remain ill-suited for reliable, evolvable, and production-grade deployment. In practice, MAS are often developed in an ad-hoc and imperative manner, with agent logic, orchestration, observability, and control tightly interwoven, little to no explicit system-level validation, and development workflows optimized for demonstrations rather than long-lived, governed operation. As a result, behavior observed during experimentation rarely constitutes reliable evidence of behavior in production. In this paper, we introduce MAS-Lab, a specification-driven framework for principled development and experimental validation of multi-agent systems properties. MAS-Lab is designed to transform MAS from collections of scripts into engineered distributed systems by separating semantic intent from operational concerns, making behavior and control explicit, supporting reproducible experimentation, and preserving continuity across lifecycle stages. MAS-Lab consists of three layers: a declarative, framework-agnostic agentic specification layer (Spec); a stateful MAS Operating System that provides execution and control primitives plugged-in by design (MAS-OS); and a set of lab overlays with integrated observability and evaluation tools (Labs). Together, these components enable intent-based validation, principled system evolution, and a seamless transition to production-grade MAS.

cs.MA↗

arXiv2026

Aether: Network Validation Using Agentic AI and Digital Twin

Network change validation remains a critical yet predominantly manual, time-consuming, and error-prone process in modern network operations. While formal network verification has made substantial progress in proving correctness properties, it is typically applied in offline, pre-deployment settings and faces challenges in accommodating continuous changes and validating live production behavior. Current operational approaches typically involve scattered testing tools, resulting in partial coverage and errors that surface only after deployment. In this paper, we present Aether, a novel approach that integrates Generative Agentic AI with a multi-functional Network Digital Twin to automate and streamline network change validation workflows. It features an agentic architecture with five specialized Network Operations AI agents that collaboratively handle the change validation lifecycle from intent analysis to network verification and testing. Aether agents use a unified Network Digital Twin integrating modeling, simulation, and emulation to maintain a consistent, up-to-date network view for verification and testing. By orchestrating agent collaboration atop this digital twin, Aether enables automated, rapid network change validation while reducing manual effort, minimizing errors, and improving operational agility and cost-effectiveness. We evaluate Aether over synthetic network change scenarios covering main classes of network changes and on past incidents from a major ISP operational network, demonstrating promising results in error detection (100%), diagnostic coverage (92-96%), and speed (6-7 minutes) over traditional methods.

cs.MA↗

arXiv2023

LoLa: Low-Latency Realtime Video Conferencing over Multiple Cellular Carriers

LoLa is a novel multi-path system for video conferencing applications over cellular networks. It provides significant gains over single link solutions when the link quality over different cellular networks fluctuate dramatically and independently over time, or when aggregating the throughput across different cellular links improves the perceived video quality. LoLa achieves this by continuously estimating the quality of available cellular links to decide how to strip video packets across them without inducing delays or packet drops. It is also tightly coupled with state-of-the-art video codec to dynamically adapt video frame size to respond quickly to changing network conditions. Using multiple traces collected over 4 different cellular operators in a large metropolitan city, we demonstrate that LoLa provides significant gains in terms of throughput and delays compared to state-of-the-art real-time video conferencing solution.

cs.NI↗

arXiv2020

The Challenges of Trace-Driven Wi-Fi Emulation

Wi-Fi link is unpredictable and it has never been easy to measure it perfectly; there is always bound to be some bias. As wireless becomes the medium of choice, it is useful to capture Wi-Fi traces in order to evaluate, tune, and adapt the different applications and protocols. Several methods have been used for the purpose of experimenting with different wireless conditions: simulation, experimentation, and trace-driven emulation. In this paper, we argue that trace-driven emulation is the most favorable approach. In the absence of a trace-driven emulation tool for Wi-Fi, we evaluate the state-of-the-art trace-driven emulation tool for Cellular networks and we identify issues for Wi-Fi: interference with concurrent traffic, interference with its own traffic if measurements are done on both uplink and downlink simultaneously, and packet loss. We provide a solid argument as to why this tool falls short of effectively capturing Wi-Fi traces. The outcome of our analysis guides us to propose a number of suggestions on how the existing tool can be tweaked to accurately capture Wi-Fi traces.

cs.NI↗

arXiv2016

MAP-Me: Managing Anchor-less Producer Mobility in Information-Centric Networks

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 effective mobility management models for IP, the result is a complex, poorly flexible set of mechanisms. The natural support for mobility offered by ICN (Information Centric Networking), makes it a good candidate to define a radically new solution relieving limitations of traditional approaches. If consumer mobility is supported in ICN by design, in virtue of its connectionless pull-based communication model, producer mobility is still an open challenge. In this work, we propose MAP-Me, an anchor-less solution to manage micro mobility of content producer via ICN name-based data plane, with support for latency-sensitive applications. First, we analyze MAP-Me performance and provide guarantees of correctness and stability. Further, we set up a realistic simulation environment in NDNSim 2.1 for MAP-Me evaluation and comparison against existing solutions: either random waypoint and trace-driven car mobility patterns are considered under 802.11 radio access. Results are encouraging and highlight the superiority of MAP-Me in terms of user performance and of network cost metrics.

cs.NI↗

arXiv2015

Navigo: Interest Forwarding by Geolocations in Vehicular Named Data Networking

This paper proposes Navigo, a location based packet forwarding mechanism for vehicular Named Data Networking (NDN). Navigo takes a radically new approach to address the challenges of frequent connectivity disruptions and sudden network changes in a vehicle network. Instead of forwarding packets to a specific moving car, Navigo aims to fetch specific pieces of data from multiple potential carriers of the data. The design provides (1) a mechanism to bind NDN data names to the producers' geographic area(s); (2) an algorithm to guide Interests towards data producers using a specialized shortest path over the road topology; and (3) an adaptive discovery and selection mechanism that can identify the best data source across multiple geographic areas, as well as quickly react to changes in the V2X network.

cs.NI↗

arXiv2013

Vehicular Inter-Networking via Named Data

In this paper we apply the Named Data Networking, a newly proposed Internet architecture, to networking vehicles on the run. Our initial design, dubbed V-NDN, illustrates NDN's promising potential in providing a unifying architecture that enables networking among all computing devices independent from whether they are connected through wired infrastructure, ad hoc, or intermittent DTN. This paper describes the prototype implementation of V-NDN and its preliminary performance assessment.

cs.NI↗