1 citations · 1 across the 1 of their papers we have counts for
4 papers
Parameterized Model Checking Modulo Explicit Weak Memory Models
Sylvain Conchon, David Declerck, Fatiha Zaïdi
We present a modular framework for model checking parameterized array-based transition systems with explicit access operations on weak memory. Our approach extends the MCMT (Model…
Monitoring Dynamic Mobile Ad-Hoc Networks: A Fully Distributed Hybrid Architecture
Jose Alvarez, Stephane Maag, Fatiha Zaidi
The mobile ad-hoc networks (MANETs) represent a broad area of study and market interest. They provide a wide set of applications in multiple domains. In that context, the functiona…
MANETs monitoring with a distributed hybrid architecture
Jose Alvarez, Stephan Maag, Fatiha Zaidi
Monitoring techniques have been deeply studied in wired networks using gossip and hierarchical approaches. However, when applied to a MANET, several problematics arise. We present…
DHYMON: a Continuous Decentralized Hybrid Monitoring Architecture for MANETs
Jose Alvarez, Stephane Maag, Fatiha Zaidi
We introduce a novel decentralized monitoring algorithm for mobile ad-hoc networks. This algorithm is a combination of gossip-based and tree-based approaches. Its main feature is o…