Concetta Pilotto

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