Concetta Pilotto

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Publications

K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White
Verification of distributed systems with local-global predicates. Formal Aspects Comput. 23 (5) (2011)
Concetta Pilotto, Jerome White
Towards a verification framework for faulty message passing systems in PVS. Innov. Syst. Softw. Eng. 7 (2) (2011)
Concetta Pilotto, Jerome White
Verification of Faulty Message Passing Systems with Continuous State Space in PVS. NASA Formal Methods (2010)
Concetta Pilotto, K. Mani Chandy, Jerome White
Consensus on asynchronous communication networks in presence of external input. CDC (2010)
Agostino Capponi, Alfonso Farina, Concetta Pilotto
Expressing stochastic filters via number sequences. Signal Process. 90 (7) (2010)
Agostino Capponi, Concetta Pilotto
Stochastic filtering in jump systems with state dependent mode transitions. ACC (2009)
K. Mani Chandy, Sayan Mitra, Concetta Pilotto
Convergence Verification: From Shared Memory to Partially Synchronous Systems. FORMATS (2008)
Agostino Capponi, Concetta Pilotto, Alfonso Farina, Giovanni Golino, Lance M. Kaplan
Connectivity for the Frisbee Architecture. FUSION (2006)
Benjamin Gojman, Raphael Rubin, Concetta Pilotto, André DeHon, Tetsufumi Tanamoto
3D Nanowire-Based Programmable Logic. Nano-Net (2006)
Agostino Capponi, Concetta Pilotto, Giovanni Golino, Alfonso Farina, Lance M. Kaplan
Algorithms for the selection of the active sensors in distributed tracking: comparison between Frisbee and GNS methods. FUSION (2006)
János Körner, Concetta Pilotto, Gábor Simonyi
Local chromatic number and Sperner capacity. J. Comb. Theory, Ser. B 95 (1) (2005)
Agostino Capponi, Concetta Pilotto
-relaxed coloring. Inf. Process. Lett. 96 (4) (2005)