Carlo Augusto Grazia

Carlo Augusto Grazia, M.S. B.S. degree in Computer Science at the University of Modena and Reggio Emilia, 2010. M.S. degree in Theoretical Computer Science at the University of Bologna, 2012. He is currently a PhD student in Information and Communication Technologies (ICT) at the University of Modena and Reggio Emilia. Contact Info: Office: ELECOM Lab, Department of Engineering Enzo Ferrari, University of Modena and Reggio Emilia, via Vignolese 905, 41125 Modena, Italy. E-mail: carloaugusto.grazia@unimore.it Tel: +39 059 2056323 Research Group: WoNET Google Scholar page: home

Research Interests

• AQM Queue Disciplines Algorithms;

• Packet Scheduling techniques for Wireless Networks;

• TCP Algorithms for Satellite Links;

• MiddleWare and Cross-Layering solutions for enhance QoS;

• Deadlock Analysis.

Projects

Current

• The European FP7 Project PPDR-TC "Public Protection and Disaster Relief – Transformation Center" (FP7 313015): April 2013 - September 2015

Past

• Italian PRIN 2009 project SFINGI: SoFtware-routers to Improve Next-Generation Internet

• European Project EU-FET on Highly Adaptable and Trustworthy Software using Formal Method HATS

Publications

Journal Papers

• M. Casoni, Carlo A. Grazia, M. Klapez, N. Patriciello, Integration of Satellite and LTE for Disaster Recovery, Communications Magazine, IEEE, March 2015, Pages 47-53, ISSN: 0163-6804, DOI: 10.1109/MCOM.2015.7060481 Publisher_PDF

• M. Casoni, Carlo A. Grazia, P. Valente, TEMPEST: a new Test EnvironMent for Performance Evaluation of the Scheduling of packeTs, Simulation Modelling Practice and Theory (SIMPAT), Elsevier, Volume 49, December 2014, Pages 258–276, ISSN: 1569-190X, DOI: 10.1016/j.simpat.2014.10.005. Publisher_PDF

• M. Casoni, Carlo A. Grazia, P. Valente, A Green, Modular and Fair Packet Scheduler for boosting Throughput over Wireless Links, Journal of Networking Technology (JNT), Vol. 4, Issue 4, pp. 192-202, December 2013, ISSN: 0976-898X. Publisher_PDF

Conference Papers

• M. Casoni, Carlo A. Grazia, M. Klapez, N. Patriciello, Implementation and Validation of TCP Options and Congestion Control Algorithms for ns-3, Proc. of the 2015 ACM Workshop on ns-3 (WNS3), 13-14 May 2015, Barcelona (Spain), pp. 112-119, ISBN: 978-1-4503-3375-7, DOI: 10.1145/2756509.2756518.

• M. Casoni, Carlo A. Grazia, M. Klapez, N. Patriciello, Towards Emergency Networks Security with Per-Flow Queue Rate Management, International Workshop on Pervasive Networks for Emergency Management (PerNEM), March 27, 2015, St. Louis, Missouri.

• M. Casoni, Carlo A. Grazia, M. Klapez, N. Patriciello, Reducing Latency in Satellite Emergency Networks through a Cooperative Transmission Control, Proc. of IEEE Global Communications Conference (GLOBECOM), December 8-12, 2014, Austin, Texas.

• Carlo A. Grazia, M. Casoni, P. Valente, TEMPEST: Test EnvironMent for Performance Evaluation of the Scheduling of packeTs, Proc. of IEEE Emergency Networks for Public Protection and Disaster Relief (EN4PPDR) Workshop within IEEE WiMob 2014, 8 October 2014, Larnaca (Cyprus), pp.300-307, ISBN: 978-1-4799-5040-9. Publisher_PDF

• Carlo A. Grazia, M. Klapez, N. Patriciello, M. Casoni, A. Amditis, E. Sdongos, H. Gierszal, D. Kanakidis, C. Katsigiannis, K. Romanowski, P. Simplicio, A. Oliveira, S. Sonander, J. Jackson, Integration between Terrestrial and Satellite Networks: the PPDR-TC vision, Proc. of IEEE Emergency Networks for Public Protection and Disaster Relief (EN4PPDR) Workshop within IEEE WiMob 2014, 8 October 2014, Larnaca (Cyprus), pp.202-209, ISBN: 978-1-4799-5040-9. Publisher_PDF

• M. Casoni, Carlo A. Grazia, P. Valente, A Low-Latency and High-Throughput Scheduler for Emergency and Wireless Networks, IEEE International Conference on Communications (ICC), June 10-14, 2014, Sydney, Australia. Publisher_PDF

• M. Casoni, Carlo A. Grazia, N. Patriciello, On the Performance of Linux Container with Netmap/VALE for Networks Virtualization, IEEE International Conference On Networking (ICON), December 11-13, 2013, Singapore. Publisher_PDF

• M. Casoni, Carlo A. Grazia, P. Valente, A Flexible and Green Scheduler for providing QoS and High Throughput over Wireless Links, IEEE International Conference on Communications Systems and Technologies (ICCST), October 04-06, 2013, Hammamet, Tunisy, pp.218-225, ISBN: 978-9938-9511-6-5. Publisher_PDF

• E. Giachino, Carlo A. Grazia, C. Laneve, M. Lienhardt, P. Wong, DeadLock Analysis of Concurrent Objects - Theory and Practice, International Conference on Integrated Formal Methods (iFM), Springer, June 10-14, 2013, Turku, Finland. PDF

Technical Reports

• M. Casoni, Carlo A. Grazia, P. Valente, HFS & TEMPEST: Technical Report, Italian Networking Workshop (INW'15), January 14-16, 2015, Cavalese, Italy. PDF

Lessons

• Master Lecture at UNIMORE - QoS and Packet Scheduling, 29 April 2015, Modena (MO), Italy;

• Master Lecture at UNIMORE - Networks Simulation, 1 April 2015, Modena (MO), Italy;

• Master Lecture at UNIMORE - QoS and Packet Scheduling, 21 May 2014, Modena (MO), Italy;

• Master Lecture at UNIMORE - Networks Simulation, 26 March 2014, Modena (MO), Italy;

My Talks

• PerCom Conference, QRM queue manager, 27 March 2015, St.Louis, USA;

• WiMob Conference, TEMPEST simulator, 8 October 2014, Larnaca, Cyprus;

• WiMob Conference, PPDR view, 8 October 2014, Larnaca, Cyprus;

• ICC Conference, HFS scheduler algorithm, 14 June 2014, Sydney, Australia;

• Workshop SFINGI, 15 October 2013, Modena (MO), Italy;

• International Summer School on Sensors and Sensors Networks, 4 July 2013, Brixen (BZ), Italy. Winner of the best presentation award.

Tools

• QRM -- Queue Rate Management: an AQM algorithm for centralized or collaborative networks;

• DyBRA -- Dynamic Bandwidth Reservation Algorithm: a real-word optimization of C2ML to support mobility and wireless CSI;

• C2ML -- Congestion Control Middleware Layer, a satellite-links optimization middleware;

• TEMPEST -- Test EnvironMent for Performance Evaluation of the Scheduling of packeTs;

• DF4ABS -- Deadlock Framework for ABS;

• SDA -- Static Deadlock Analyzer for ABS;