Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents. - Alessandro Ferrante; Gennaro Parlato; Francesco Sorrentino 002; Carmine Ventre (WAOA, 2005)

The Consistency of Web Conversations. - Jeffrey Fischer; Rupak Majumdar; Francesco Sorrentino 002 (ASE, 2008)

Meta-analysis for Atomicity Violations under Nested Locking. - Azadeh Farzan; P. Madhusudan; Francesco Sorrentino 002 (CAV, 2009)

Fast payment schemes for truthful mechanisms with verification. - Alessandro Ferrante; Gennaro Parlato; Francesco Sorrentino 002; Carmine Ventre (Theor. Comput. Sci., 2009)

A NuSMV Extension for Graded-CTL Model Checking. - Alessandro Ferrante; Maurizio Memoli; Margherita Napoli; Mimmo Parente; Francesco Sorrentino 002 (CAV, 2010)

PENELOPE: weaving threads to expose atomicity violations. - Francesco Sorrentino 002; Azadeh Farzan; P. Madhusudan (SIGSOFT FSE, 2010)

Predicting null-pointer dereferences in concurrent programs. - Azadeh Farzan; P. Madhusudan; Niloofar Razavi; Francesco Sorrentino 002 (SIGSOFT FSE, 2012)

Algorithmic techniques for predictive testing of concurrent programs and distributed systems - Francesco Sorrentino 002 (2014)