Annalisa Massini

Push & Pull: autonomous deployment of mobile sensors for a complete coverage

Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco et al. · Wireless Networks · 2009 · 52 citations

Computing, Autonomous Systems, Mobile Computing +12

System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation

Toni Mancini, Federico Mari, Annalisa Massini et al. · 2014 · 32 citations

Computing, Computer Engineering, Computer Science +14

On Fundamental Bounds on Failure Identifiability by Boolean Network Tomography

Novella Bartolini, Ting He, Viviana Arrigoni et al. · IRIS Research product catalog (Sapienza University of Rome) · 2020 · 32 citations

Computing, Computer Engineering, Computer Networks +16

Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation

Toni Mancini, Federico Mari, Annalisa Massini et al. · 2014 · 30 citations

Computing, Computer Engineering, Computer Science +17

SyLVaaS: System Level Formal Verification as a Service

Toni Mancini, Federico Mari, Annalisa Massini et al. · 2015 · 24 citations

Computing, Computer Engineering, Computer Science +14