Francesco Sorrentino

Publication Activity (10 Years)

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

Top Topics

Process Algebra

Concurrent Programs

Top Venues

Publications

Azadeh Farzan, P. Madhusudan, Niloofar Razavi, Francesco Sorrentino
Predicting null-pointer dereferences in concurrent programs. SIGSOFT FSE (2012)
Francesco Sorrentino, Azadeh Farzan, P. Madhusudan
PENELOPE: weaving threads to expose atomicity violations. SIGSOFT FSE (2010)
Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino
A NuSMV Extension for Graded-CTL Model Checking. CAV (2010)
Azadeh Farzan, P. Madhusudan, Francesco Sorrentino
Meta-analysis for Atomicity Violations under Nested Locking. CAV (2009)
Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, Carmine Ventre
Fast payment schemes for truthful mechanisms with verification. Theor. Comput. Sci. 410 (8-10) (2009)
Jeffrey Fischer, Rupak Majumdar, Francesco Sorrentino
The Consistency of Web Conversations. ASE (2008)
Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, Carmine Ventre
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents. WAOA (2005)