Concetta Pilotto

Networked Sensing Systems for Detecting People Carrying Radioactive Material

Citation: Fifth International IEEE Conference on Networked Sensing Systems (INSS 2008), June 17 - 19, 2008, Kanazawa, Japan
Verifying Convergence of a Pattern Formation Protocol in PVS Theorem Prover

Citation: PVS Meta-theory for the paper "Convergence Verification: From Shared Memory to Partially Synchronous Systems". Submitted, May 2008.

Verifying_convergence_pattern_formation_PVS_meta_theory.zip
Exploring Interfaces Between Computer Science and Control and Dynamical Systems

Citation: Center for the Mathematics of Information, April 24, 2008

Exploring Interfaces Between Computer Science and Control and Dynamical Systems.pdf
Formations of Mobile Agents with Message Loss and Delay

Citation: Systems Workshop, Harvey Mudd, March 2008

Formations of Mobile Agents with Message Loss and Delay.pdf