University of Florence — Italy
Computer Science · Physical Sciences
26h-index2.6kcitations225works1.92yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Petri Nets in System Modeling(50), Formal Methods in Verification(42), Real-Time Systems Scheduling(41), Software System Performance and Reliability(27), Software Reliability and Analysis Research(25)
Publications225 total
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
Lecture notes in computer science·2026
Lecture notes in computer science·2026
Lecture notes in computer science·2025
IEEE Transactions on Parallel and Distributed Systems·2025Open Access
Journal of Systems and Software·2025Open Access
Performance Evaluation·2025· 3 citedOpen Access
IEEE Transactions on Dependable and Secure Computing·2025· 3 cited
Lecture notes in computer science·2025
Lecture notes on data engineering and communications technologies·2025Open Access
Lecture notes in computer science·2025
Analytical Characterization and Efficient Simulation of Batched Arrivals in the Kafka Broker
Florence Research (University of Florence)·2025
arXiv (Cornell University)·2024Open Access
Journal of Systems and Software·2024· 13 citedOpen Access
page 1 of 12Next →
Frequent Co-authors
Alberto Del Bimbo(17), Giacomo Bucci(11), Laura Carnevali(11), L. Sassoli(8), Stefano Berretti(6), Marco Paolieri(6), D. Zingoni(4), Lorenzo Ridi(4), András Horváth(3), Fulvio Patara(3), A. Fedeli(2), Chris Nugent(2), Marlon Alberto Piñeres-Melo(2), Ana Isabel Oviedo Carrascal(2), Marco Biagi(2), J.M. Corridoni(2), Tommaso Magherini(1), Alessandro Fantechi(1), Paola Ariza Colpas(1), Emiro De-La-Hoz-Franco(1)