Difference between revisions of "Carlo Augusto Grazia"

From Web
Jump to navigation Jump to search
Line 73: Line 73:
 
* [http://www.dii.unimo.it/wiki/images/e/e0/TEMPEST.zip TEMPEST] -- Test EnvironMent for Performance Evaluation of the Scheduling of packeTs;
 
* [http://www.dii.unimo.it/wiki/images/e/e0/TEMPEST.zip TEMPEST] -- Test EnvironMent for Performance Evaluation of the Scheduling of packeTs;
  
* [http://www.cs.unibo.it/~laneve/deadlock/index.html DF4ABS ] -- Deadlock Framework for ABS
+
* [http://www.cs.unibo.it/~laneve/deadlock/index.html DF4ABS ] -- Deadlock Framework for ABS;
  
 
* [http://www.cs.unibo.it/~laneve/deadlock/SDA/index.html SDA] -- Static Deadlock Analyzer for ABS;
 
* [http://www.cs.unibo.it/~laneve/deadlock/SDA/index.html SDA] -- Static Deadlock Analyzer for ABS;

Revision as of 10:16, 1 April 2014

Dr. Carlo Augusto Grazia

Carlo Augusto Grazia received the B.S. degree in Computer Science from the University of Modena and Reggio Emilia, Modena, Italy, in 2010 and the M.S. degree in Computer Science from the University of Bologna, Bologna, Italy, in 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 Interest

His research interests include:

  • 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, "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.


Conference Papers

  • 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.
  • 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.


My Talks


Tools

  • TEMPEST -- Test EnvironMent for Performance Evaluation of the Scheduling of packeTs;
  • DF4ABS -- Deadlock Framework for ABS;
  • SDA -- Static Deadlock Analyzer for ABS;