Carlo Augusto Grazia: Difference between revisions
No edit summary |
No edit summary |
||
Line 4: | Line 4: | ||
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. | 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. | ||
Line 39: | Line 38: | ||
3) European Project EU-FET on Highly Adaptable and Trustworthy Software using Formal Method [http://www.hats-project.eu/ HATS] | 3) European Project EU-FET on Highly Adaptable and Trustworthy Software using Formal Method [http://www.hats-project.eu/ HATS] | ||
== Publications == | == Publications == |
Revision as of 08:12, 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:
1) Packet Scheduling techniques for Wireless Networks;
2) TCP Algorithms for Satellite Links;
3) MiddleWare and Cross-Layering solutions for enhance QoS.
Projects
Current
1) The European FP7 Project PPDR-TC "Public Protection and Disaster Relief – Transformation Center" (FP7 313015): April 2013 - September 2015
Past
2) Italian PRIN 2009 project SFINGI: SoFtware-routers to Improve Next-Generation Internet
3) European Project EU-FET on Highly Adaptable and Trustworthy Software using Formal Method HATS
Publications
Journal Papers
1) 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
1) 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.
2) 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.
3) 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.
4) 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
1) Master Lecture at UNIMORE - Networks Simulation, 26 March 2014, Modena (MO), Italy.
2) Workshop SFINGI, 15 October 2013, Modena (MO), Italy.
3) International Summer School on Sensors and Sensors Networks, 4 July 2013, Brixen (BZ), Italy. Winner of the best presentation award
Tools
1) TEMPEST -- Test EnvironMent for Performance Evaluation of the Scheduling of packeTs;
2) DF4ABS -- Deadlock Framework for ABS
3) SDA -- Static Deadlock Analyzer for ABS;