Concetta Pilotto

According to our database, Concetta Pilotto authored at least 12 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2011

Towards a verification framework for faulty message passing systems in PVS.

Concetta Pilotto, Jerome White

Innov. Syst. Softw. Eng., 2011

Verification of distributed systems with local-global predicates.

K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White

Formal Aspects Comput., 2011

2010

Expressing stochastic filters via number sequences.

Agostino Capponi, Alfonso Farina, Concetta Pilotto

Signal Process., 2010

Verification of Faulty Message Passing Systems with Continuous State Space in PVS.

Concetta Pilotto, Jerome White

Proceedings of the Second NASA Formal Methods Symposium, 2010

Consensus on asynchronous communication networks in presence of external input.

Concetta Pilotto, K. Mani Chandy, Jerome White

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Stochastic filtering in jump systems with state dependent mode transitions.

Agostino Capponi, Concetta Pilotto

Proceedings of the American Control Conference, 2009

2008

Convergence Verification: From Shared Memory to Partially Synchronous Systems.

K. Mani Chandy, Sayan Mitra, Concetta Pilotto

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

2006

3D Nanowire-Based Programmable Logic.

Benjamin Gojman, Raphael Rubin, Concetta Pilotto, André DeHon, Tetsufumi Tanamoto

Proceedings of the 1st International ICST Conference on Nano-Networks, 2006

Algorithms for the selection of the active sensors in distributed tracking: comparison between Frisbee and GNS methods.

Agostino Capponi, Concetta Pilotto, Giovanni Golino, Alfonso Farina, Lance M. Kaplan

Proceedings of the 9th International Conference on Information Fusion, 2006

Connectivity for the Frisbee Architecture.

Agostino Capponi, Concetta Pilotto, Alfonso Farina, Giovanni Golino, Lance M. Kaplan

Proceedings of the 9th International Conference on Information Fusion, 2006

2005

Local chromatic number and Sperner capacity.

János Körner, Concetta Pilotto, Gábor Simonyi

J. Comb. Theory, Ser. B, 2005

Bounded families for the on-line <i>t</i>-relaxed coloring.

Agostino Capponi, Concetta Pilotto

Inf. Process. Lett., 2005