Carlo Augusto Grazia

From Web
Jump to navigation Jump to search
File:CAGRAZIA.jpg

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

  • Packet Scheduling techniques for Wireless Networks;
  • TCP Algorithms for Satellite Links;
  • MiddleWare and Cross-Layering solutions for enhance QoS;
  • Deadlock Analysis.


Projects

Current


Past

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


Publications

Journal Papers

  • M. Casoni, Carlo A. Grazia, P. Valente, TEMPEST: a new Test EnvironMent for Performance Evaluation of the Scheduling of packeTs, to appear on Simulation Modelling Practice and Theory (SIMPAT), Elsevier, ISSN: 1569-190X, DOI: 10.1016/j.simpat.2014.10.005.
  • 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

  • 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.
  • 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.
  • M. Casoni, Carlo A. Grazia, M. Klapez, N. Patriciello, Reducing Latency in Satellite Emergency Networks through a Cooperative Transmission Control, to be presented at next IEEE Global Communications Conference (GLOBECOM), December 8-12, 2014, Austin, Texas. 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.
  • 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.
  • 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 SPRINGER International Conference on Integrated Formal Methods (iFM), June 10-14, 2013, Turku, Finland.


Technical Reports

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

My Talks

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;