Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
Graduated (PhD), 2015
Short Biography
Hany Kashif received his BASc degree in computer engineering at Ain Shams University in 2007. He also received his MSc degree in computer engineering at Ain Shams University in 2010. Hany's research interest is mainly in the instrumentation and debugging of multicore systems with special focus on embedded and real-time systems. He also works on analyzing and characterizing real-time communication in multicore systems.
Publications Prior to Joining RESG
- H. Kashif, M. Safar, M. Watheq El-Kharashi, M. Shalan, A. Hassan, M. Fahmy, and A. Salem, "Accelerating SAT-based ATPG Algorithms using Selective Conflict-Directed Jumping", Ain Shams Journal of Electrical Engineering (ASJEE), Jun 2010.
- H. Kashif, G. Bahig, and S. Hammad, "CAN Bus Analyzer and Emulator", 4th International Design and Test Workshop (IDT), Nov 2009.
- H. Kashif, M. El-Fekky, H. Shokry, and S. Hammad, "Model-Based Embedded Software Development and Testing Flow", 4th International Design and Test Workshop (IDT), Nov 2009.
Affiliation:
University of Waterloo
Publications with this group
2017
, "QDIME: QoS-aware Dynamic Binary Instrumentation", IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Banff, Canada, 2017.
[pdf] (560.77 KB)
[pdf] (560.77 KB) 2016
, "Path Selection for Real-Time Communication on Priority-Aware NoCs", ACM Transactions on Design Automation of Electronic Systems , vol. 21, issue 3, pp. 1-25, 2016.
2015
, "Instrumentation and Preservation of Extra-functional Properties of Simulink Models", Proceedings of the Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, Alexandria, USA, 2015.
, "Static Slack-Based Instrumentation of Programs", Proc. of the 20th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA), Luxembourg, September, 2015.
[pdf] (603.77 KB)
[pdf] (603.77 KB) 2013
, "DIME: Time-aware Dynamic Binary Instrumentation Using Rate-based Resource Allocation", Proc. of the 13th International Conference on Embedded Software (EMSOFT), Montreal, Canada, Sept, 2013.
[paper] (320.59 KB)
[paper] (320.59 KB) , "INSTEP: A Static Instrumentation Framework for Preserving Extra-functional Properties", Proc. of the 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Taipei, Taiwan, August, 2013.
[paper] (341.77 KB)
[paper] (341.77 KB) , "ORTAP: An Offset-based Response Time Analysis for a Pipelined Communication Resource Model", Proc. of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Philadelphia, USA, pp. 247--258, April, 2013.
[paper] (1.91 MB)
[paper] (1.91 MB) 2012
, "Program Transformation for Time-aware Instrumentation", Proc. of the 17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA), Krakow, Poland, pp. 1-8, September, 2012.
[paper] (409.92 KB)
[paper] (409.92 KB) , "Using Link-level Latency Analysis for Path Selection for Real-time Communication on NoCs", Proceedings of the Asia South Pacific Design Automation Conference (ASPDAC), Sydney, Australia, pp. 499-504, February, 2012.
[paper] (356.32 KB)
[paper] (356.32 KB) Selected publications outside this group
2014
, "Bounding Buffer Space Requirements for Real-Time Priority-Aware Networks", Proceedings of the Asia South Pacific Design Automation Conference (ASPDAC), SunTec, Singapore, January, 2014.
[paper] (316.03 KB)
[paper] (316.03 KB) (Best Paper Candidate)
, "SLA: A Stage-level Latency Analysis for Real-time Communication in a Pipelined Resource Model", IEEE Transactions on Computers, vol. PP, issue 99, April, 2014.
[paper] (763.8 KB)
[paper] (763.8 KB)