research
∙
05/15/2018
Parameterized Model Checking Modulo Explicit Weak Memory Models
We present a modular framework for model checking parameterized array-ba...
share
research
∙
05/07/2018
Monitoring Dynamic Mobile Ad-Hoc Networks: A Fully Distributed Hybrid Architecture
The mobile ad-hoc networks (MANETs) represent a broad area of study and ...
research
∙
05/07/2018
MANETs monitoring with a distributed hybrid architecture
Monitoring techniques have been deeply studied in wired networks using g...
research
∙
12/05/2017