Francesco Sorrentino

According to our database, Francesco Sorrentino authored at least 8 papers between 2005 and 2014.

Collaborative distances:

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

2014

Algorithmic techniques for predictive testing of concurrent programs and distributed systems

Francesco Sorrentino

PhD thesis, 2014

2012

Predicting null-pointer dereferences in concurrent programs.

Azadeh Farzan, P. Madhusudan, Niloofar Razavi, Francesco Sorrentino

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

2010

PENELOPE: weaving threads to expose atomicity violations.

Francesco Sorrentino, Azadeh Farzan, P. Madhusudan

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

A NuSMV Extension for Graded-CTL Model Checking.

Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Fast payment schemes for truthful mechanisms with verification.

Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, Carmine Ventre

Theor. Comput. Sci., 2009

Meta-analysis for Atomicity Violations under Nested Locking.

Azadeh Farzan, P. Madhusudan, Francesco Sorrentino

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

The Consistency of Web Conversations.

Jeffrey Fischer, Rupak Majumdar, Francesco Sorrentino

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2005

Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents.

Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino, Carmine Ventre

Proceedings of the Approximation and Online Algorithms, Third International Workshop, 2005