Relevant Publications

(total more than 90 peer-reviewed journal and conference articles)

• Guo, Yanyong, Tarek Sayed, and Mohamed H. Zaki. “Exploring Evasive Action–Based Indicators for PTW Conflicts in Shared Traffic Facility Environments.” Journal of Transportation Engineering, Part A: Systems 144.11 (2018):
• Zaki, T. Sayed. Automated Analysis of Pedestrian Group Behavior in Urban Settings. IEEE Intelligent Transportation Systems Transactions, 19(6), 1880-1889.
• Zaki, T. Sayed. Automated Cyclist Data Collection under High-Density Conditions. IET Intelligent Transport Systems, 10.5 (2016): 361-369.
• Zaki and T. Sayed Exploring walking gait features for the automated recognition of distracted pedestrians. IET Intelligent Transport Systems 10.2 (2016): 106-113.
• Zaki, O. Hasan, S. Tahar, and G. Al Sammane, Chapter 5: Framework for Formally Verifying Analog and Mixed Signal Designs In Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Design, Springer, pp.115-145, 2015
• Lahiouel, M.Zaki, and S. Tahar. Towards Enhancing Analog Circuits Sizing Using SMT- based Techniques. In 52nd ACM/EDAC/IEEE Design Automation Conference (DAC) Conference,2015, San Francisco, CA
• Zaki, T. Sayed: Using Automated Walking Gait Analysis for the Identification of Pedestrian Attributes, Transportation Research Part C: Emerging Technologies, Elsevier, 48: 16-36, 2014.
• Zaki and T. Sayed, A framework for automated road-users classification using movement trajectories, Transportation Research Part C: Emerging Technologies, Elsevier, vol. 33, p. 50- 73, 2013.
• Autey, T. Sayed, M. Zaki. Safety Evaluation of Right-Turn Smart Channels Using Automated Traffic Conflict Analysis, Accident Analysis and Prevention, Elsevier, Vol. 45, pp. 120-130, 2012.
• Denman, M. Zaki, S. Tahar, and L. Rodrigues. Towards Flight Control Verification using Automated Theorem Proving; In NASA Formal Methods, Lecture Notes in Computer Science 6617, Springer Verlag, 2011, pp. 84-97.
• Zaki, W. Denman, S. Tahar, and G. Bois. Integrating Abstraction Techniques for the Formal Verification of Analog Designs; AIAA Journal of Aerospace Computing, Information, and Communication, Vol. 6, May 2009, pp. 373-392.
• Denman, B. Akbarpour, S. Tahar, M. Zaki, and L.C. Paulson. Automated Formal Verification of Analog Designs using MetiTarski; In IEEE International Conference on Formal Methods in Computer-Aided Design, Austin, TX, USA, Nov. 2009.
• Zaki, G. Al Sammane, S. Tahar, and G. Bois: Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs; Proc. IEEE International Conference on Formal Methods in Computer-Aided Design, Austin, Texas, USA, November 2007, IEEE Computer Society Press.
• Al Sammane, M. Zaki, and S. Tahar: A Symbolic Methodology for the Verification of Analog and Mixed-Signal Designs; In IEEE/ACM Design Automation and Test in Europe, Nice, France, April 2007.