Filippo Bianchi

According to our database, Filippo Bianchi authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution).

Vincenzo Arceri, Luca Negrini, Giacomo Zanatta, Filippo Bianchi, Teodors Lisovenko, Luca Olivieri, Pietro Ferrara

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Faster numeric static analyses with unconstrained variable oracles.

Vincenzo Arceri, Filippo Bianchi, Greta Dolcetti, Enea Zaffanella

PeerJ Comput. Sci., 2025