According to our database1, Francesco Bongiovanni authored at least 7 papers between 2009 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Driving simulator studies at home: promises, potholes, and pitfalls.
Proceedings of the Adjunct Proceedings of the 11th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2019
ICoVeR - an interactive visualization tool for verification and refinement of metagenomic bins.
BMC Bioinform., 2017
A Mechanized Model for CAN Protocols.
Proceedings of the Fundamental Approaches to Software Engineering, 2013
Verification of a Dynamic Management Protocol for Cloud Applications.
Proceedings of the Automated Technology for Verification and Analysis, 2013
A Survey of Structured P2P Systems for RDF Data Storage and Retrieval.
Trans. Large Scale Data Knowl. Centered Syst., 2011
Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks.
Proceedings of the NETWORKING 2010, 2010
Babelchord: a social tower of DHT-based overlay networks.
Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009