Francesco Adalberto Bianchi

A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt

Luca Bernardinello, Francesco Adalberto Bianchi, 2012, PNSE.

Exposing concurrency failures

Francesco Adalberto Bianchi, 2018 .

A Survey of Recent Trends in Testing Concurrent Software Systems

Mauro Pezzè, Alessandro Margara, Francesco Adalberto Bianchi, 2018, IEEE Transactions on Software Engineering.