Mohamed H. Zaki

发表

Feasibility of Computer Vision-Based Safety Evaluations

Tarek Sayed, Karim Ismail, Mohamed H. Zaki, 2012 .

Formal Verification of Analog and Mixed Signal Designs: Survey and Comparison

Sofiène Tahar, Guy Bois, Mohamed H. Zaki, 2006 .

Assessing Safety Improvements to Pedestrian Crossings Using Automated Conflict Analysis

Tarek Sayed, Mohamed H. Zaki, Calvin Pin, 2015 .

Formal verification of analog and mixed signal designs

Sofiène Tahar, Mohamed H. Zaki, 2009 .

Computer Vision Techniques for the Automated Collection of Cyclist Data

Tarek Sayed, Mohamed H. Zaki, Andrew K.F. Cheung, 2013 .

Automated Safety Diagnosis of Vehicle–Bicycle Interactions Using Computer Vision Analysis

Tarek Sayed, Mohamed H. Zaki, Jarvis Autey, 2013 .

Automated analysis of pedestrian walking behaviour at a signalised intersection in China

Tarek Sayed, Yanyong Guo, Mohamed H. Zaki, 2017 .

Pedestrian gait analysis using automated computer vision techniques

Tarek Sayed, Greg Mori, Mohamed H. Zaki, 2014 .

Automated Analysis of Pedestrian Group Behavior in Urban Settings

Tarek Sayed, Mohamed H. Zaki, T. Sayed, 2018, IEEE Transactions on Intelligent Transportation Systems.

Mating Sensitivity Analysis and Statistical Verification for Efficient Yield Estimation

Sofiène Tahar, Mohamed H. Zaki, Ibtissem Seghaier, 2020, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Towards Flight Control Verification Using Automated Theorem Proving

Sofiène Tahar, Luis Rodrigues, Mohamed H. Zaki, 2011, NASA Formal Methods.

Formal verification of bond graph modelled analogue circuits

Sofiène Tahar, Mohamed H. Zaki, William Denman, 2011, IET Circuits Devices Syst..

Automated Region-Based Vehicle Conflict Detection Using Computer Vision Techniques

Tarek Sayed, Greg Mori, Mohamed H. Zaki, 2015 .

Towards enhancing analog circuits sizing using SMT-based techniques

Sofiène Tahar, Mohamed H. Zaki, Ons Lahiouel, 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

Formal verification of analog and mixed signal designs: A survey

Sofiène Tahar, Guy Bois, Mohamed H. Zaki, 2008, Microelectron. J..

Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs

Sofiène Tahar, Guy Bois, Mohamed H. Zaki, 2007 .

A novel approach for diagnosing road safety issues using automated computer vision techniques

Tarek Sayed, Mohamed H. Zaki, Jarvis Autey, 2013 .

Statistically Validating the Impact of Process Variations on Analog and Mixed Signal Designs

Sofiène Tahar, Mohamed H. Zaki, Ibtissem Seghaier, 2015, ACM Great Lakes Symposium on VLSI.

Enablingy the DC solutions characterization using a fuzzy approach

Sofiène Tahar, Mohamed H. Zaki, Ons Lahiouel, 2014, 2014 IEEE 12th International New Circuits and Systems Conference (NEWCAS).

Statistical Run-Time Verification of Analog Circuits in Presence of Noise and Process Variation

Sofiène Tahar, Mohamed H. Zaki, Ibtissem Seghaier, 2013, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

Use of Drivers’ Jerk Profiles in Computer Vision–Based Traffic Safety Evaluations

Tarek Sayed, Mohamed H. Zaki, Khaled Shaaban, 2014 .

Computer Vision Techniques to Collect Helmet-Wearing Data on Cyclists

Tarek Sayed, Greg Mori, Hossein Hajimirsadeghi, 2014 .

Computer vision approach for the classification of bike type (motorized versus non-motorized) during busy traffic in the city of Shanghai

Tarek Sayed, Xuesong Wang, Mohamed H. Zaki, 2016 .

Classifying Road Users in Urban Scenes Using Movement Patterns

Tarek Sayed, Greg Mori, Mohamed H. Zaki, 2012 .

Qualitative Abstraction based Verification for Analog Circuits

Sofiène Tahar, Guy Bois, Mohamed H. Zaki, 2007, ISoLA.

Demonstrating Before and After Safety and Behavioral Analysis Using Computer Vision

Tarek Sayed, Karim Ismail, Mohamed H. Zaki, 2012 .

Cross recurrence verification technique for process variation-resilient analog circuits

Sofiène Tahar, Mohamed H. Zaki, Ibtissem Seghaier, 2016, 2016 IEEE International Symposium on Circuits and Systems (ISCAS).

A semi-formal approach for analog circuits behavioral properties verification

Sofiène Tahar, Mohamed H. Zaki, Ons Lahiouel, 2014, GLSVLSI '14.

Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving

Osman Hasan, Mohamed H. Zaki, Adnan Rashid, 2020, IEEE Access.

Evaluating the safety impacts of powered two wheelers on a shared roadway in China using automated video analysis

Tarek Sayed, Yanyong Guo, Mohamed H. Zaki, 2018 .

A framework for automated road-users classification using movement trajectories

Tarek Sayed, Mohamed H. Zaki, T. Sayed, 2013 .

Comprehensive Safety Diagnosis Using Automated Video Analysis: Applications to an Urban Intersection in Edmonton, Alberta, Canada

Tarek Sayed, Mohamed H. Zaki, Shewkar E. Ibrahim, 2016 .

A Symbolic Methodology for the Verification of Analog and Mixed Signal Designs

Sofiène Tahar, Ghiath Al Sammane, Mohamed H. Zaki, 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

Verification of analog and mixed signal designs using online monitoring

Zhiwei Wang, Mohamed H. Zaki, Naeem Abbasi, 2009, 2009 IEEE 15th International Mixed-Signals, Sensors, and Systems Test Workshop.

Integrating Abstraction Techniques for Formal Verification of Analog Designs

Sofiène Tahar, Guy Bois, Mohamed H. Zaki, 2009, J. Aerosp. Comput. Inf. Commun..

Exploring Evasive Action–Based Indicators for PTW Conflicts in Shared Traffic Facility Environments

Yanyong Guo, Mohamed H. Zaki, Tarek Sayed, 2018, Journal of Transportation Engineering, Part A: Systems.

Formal verification of analog designs using MetiTarski

Sofiène Tahar, Lawrence C. Paulson, Mohamed H. Zaki, 2009, 2009 Formal Methods in Computer-Aided Design.

Safety evaluation of unconventional outside left-turn lane using automated traffic conflict techniques

Tarek Sayed, Yanyong Guo, Pan Liu, 2016 .

Automated Analysis of Pedestrian Crossing Speed Behavior at Scramble-phase Signalized Intersections Using Computer Vision Techniques

Tarek Sayed, Karim Ismail, Mohamed H. Zaki, 2014 .

Automated Analysis and Validation of Right-Turn Merging Behavior

Tarek Sayed, Mohamed H. Zaki, Khaled Shaaban, 2015 .

Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs

Sofiène Tahar, Guy Bois, Ghiath Al Sammane, 2007, Formal Methods in Computer Aided Design (FMCAD'07).

Generation of reduced analog circuit models using transient simulation traces

Sofiène Tahar, Mohamed H. Zaki, Paul Winkler, 2014, GLSVLSI '14.

An inclusive framework for automatic safety evaluation of roundabouts

Tarek Sayed, Ahmed Osama, Mohamed H. Zaki, 2016 .

Application of Computer Vision to Diagnosis of Pedestrian Safety Issues

Tarek Sayed, Mohamed H. Zaki, Mohamed Hussein, 2013 .

Automated Analysis of Pedestrians’ Nonconforming Behavior and Data Collection at an Urban Crossing

Tarek Sayed, Mohamed H. Zaki, T. Sayed, 2014 .

Use of Spatiotemporal Parameters of Gait for Automated Classification of Pedestrian Gender and Age

Tarek Sayed, Mohamed H. Zaki, Houman Hediyeh, 2013 .

Towards improving simulation of analog circuits using model order reduction

Sofiène Tahar, Mohamed H. Zaki, Henda Aridhi, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Formal Verification of Analog and Mixed Signal Designs: Survey and Comparison

Sofiène Tahar, Ghiath Al Sammane, Mohamed H. Zaki, 2006, 2006 IEEE North-East Workshop on Circuits and Systems.

Enhancing analog yield optimization for variation-aware circuits sizing

Sofiène Tahar, Mohamed H. Zaki, Ons Lahiouel, 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.

Formal verification of analog circuits in the presence of noise and process variation

Sofiène Tahar, Lawrence C. Paulson, Mohamed H. Zaki, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

Ensuring correctness of analog circuits in presence of noise and process variations using pattern matching

Sofiène Tahar, Mohamed H. Zaki, Rajeev Narayanan, 2011, 2011 Design, Automation & Test in Europe.

Use of Computer Vision to Identify Pedestrians' Nonconforming Behavior at Urban Intersections

Tarek Sayed, Karim Ismail, Mohamed H. Zaki, 2012 .

Automated Collection of Pedestrian Data through Computer Vision Techniques

Tarek Sayed, Nicolas Saunier, Greg Mori, 2012 .

Using automated walking gait analysis for the identification of pedestrian attributes

Tarek Sayed, Mohamed H. Zaki, 2014 .

Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques

Sofiène Tahar, Mohamed H. Zaki, Ons Lahiouel, 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Exploring walking gait features for the automated recognition of distracted pedestrians

Tarek Sayed, Mohamed H. Zaki, T. Sayed, 2016 .

A Statistical Approach to Probe Chaos from Noise in Analog and Mixed Signal Designs

Sofiène Tahar, Mohamed H. Zaki, Ibtissem Seghaier, 2015, 2015 IEEE Computer Society Annual Symposium on VLSI.

Using LCSS algorithm for circuit level verification of analog designs

Sofiène Tahar, Mohamed H. Zaki, Rajeev Narayanan, 2012, 10th IEEE International NEWCAS Conference.

Using Stochastic Differential Equation for Verification of Noise in Analog/RF Circuits

Sofiène Tahar, Mohamed H. Zaki, Rajeev Narayanan, 2010, J. Electron. Test..

Using stochastic differential equation for assertion based verification of noise in analog/RF circuits

Mohamed H. Zaki, Rajeev Narayanan, Sofiene Tahar, 2009, 2009 IEEE 15th International Mixed-Signals, Sensors, and Systems Test Workshop.

Enabling Automated Pedestrian Data Collection using Computer Vision

Tarek Sayed, Mohamed H. Zaki, Houman Hediyeh, 2013 .

A Novel Approach for Diagnosing Cycling Safety Issues using Automated Computer Vision Techniques

Tarek Sayed, Mohamed H. Zaki, Jarvis Autey, 2013 .

A Safety Evaluation of an Adaptive Traffic Signal Control System Using Computer Vision

Tarek Sayed, Mohamed H. Zaki, Ahmed Tageldin, 2014 .

Examining two-wheelers' overtaking behavior and lateral distance choices at a shared roadway facility

Tarek Sayed, Yanyong Guo, Mohamed H. Zaki, 2020 .

Automated Analysis of Right-Turn Merging Behavior

Tarek Sayed, Mohamed H. Zaki, Khaled Shaaban, 2014 .

Examining pedestrian evasive actions as a potential indicator for traffic conflicts

Tarek Sayed, Mohamed H. Zaki, Ahmed Tageldin, 2017 .

Syntax code analysis and generation for Verilog

Sofiène Tahar, Mohamed H. Zaki, S. Tahar, 2003, CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH37436).

Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL

Sofiène Tahar, Ghiath Al Sammane, Mohamed H. Zaki, 2007, FDL.

Automated Cyclist Data Collection under High Density Conditions

Tarek Sayed, Mohamed H. Zaki, T. Sayed, 2016 .

Automated class identification of modes of travel in shared spaces: a case study from India

Tarek Sayed, Mohamed H. Zaki, 2018 .

A qualitative simulation approach for verifying PLL locking property

Sofiène Tahar, Mohamed H. Zaki, Ibtissem Seghaier, 2014, GLSVLSI '14.

School zone safety diagnosis using automated conflicts analysis technique

Tarek Sayed, Mohamed H. Zaki, Shewkar E. Ibrahim, 2017 .

Fast CNN-Based Object Tracking Using Localization Layers and Deep Features Interpolation

Mohamed H. Zaki, Serag El-Din Habib, Al-Hussein A. El-Shafie, 2019, 2019 15th International Wireless Communications & Mobile Computing Conference (IWCMC).

Automated Detection of Spatial Traffic Violations through use of Video Sensors

Tarek Sayed, Fahad Al-Rukaibi, Karim Ismail, 2011 .

A practical approach for monitoring analog circuits

Sofiène Tahar, Guy Bois, Mohamed H. Zaki, 2006, GLSVLSI '06.

The use of gait parameters to evaluate pedestrian behavior at scramble phase signalized intersections

Tarek Sayed, Mohamed H. Zaki, Houman Hediyeh, 2015 .

Verifying jitter in an analog and mixed signal design using dynamic time warping

Sofiène Tahar, Mohamed H. Zaki, Rajeev Narayanan, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Framework for Formally Verifying Analog and Mixed-Signal Designs

Osman Hasan, Sofiène Tahar, Mohamed H. Zaki, 2015 .

Enhancing Model Order Reduction for Nonlinear Analog Circuit Simulation

Sofiène Tahar, Mohamed H. Zaki, Henda Aridhi, 2016, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

Checking Properties of PLL Designs using

Guy Bois, Mohamed H. Zaki, Zhi Jie Dong, 2007 .

Towards an Efficient Hardware Implementation of CNN-Based Object Trackers

Mohamed H. Zaki, Al-Hussein A. El-Shafie, Serag El-Din Habib, 2021, 2021 IEEE International Symposium on Circuits and Systems (ISCAS).

Towards formalization and monitoring of microscopic traffic parameters using temporal logic pdf

Mohamed H. Zaki, Mariam Nour, 2021, ArXiv.

Towards reducing the number of crashes during hurricane evacuation: Assessing the potential safety impact of adaptive cruise control systems

Mohamed H. Zaki, Samiul Hasan, Rezaur Rahman, 2021, Transportation Research Part C: Emerging Technologies.

Real-Time Twitter Data Mining Approach to Infer User Perception Toward Active Mobility

Mohamed H. Zaki, Samiul Hasan, Rezaur Rahman, 2021, Transportation Research Record: Journal of the Transportation Research Board.

DC Operating Point Analysis – A Formal Approach

Ian M. Mitchell, Mark R. Greenstreet, Mohamed H. Zaki, 2009 .

Assessing the Effect of Pedestrians’ Use of Cell Phones on Their Walking Behavior: A Study Based on Automated Video Analysis

Tarek Sayed, Mohamed H. Zaki, Rushdi Alsaleh, 2018, Transportation Research Record: Journal of the Transportation Research Board.

A Bond Graph Approach for Constraint based Verification of Analog Circuits

Sofiène Tahar, Mohamed H. Zaki, S. Tahar, 2008 .

MULTIMODAL SAFETY ASSESSMENT OF AN URBAN 1 INTERSECTION BY VIDEO ANALYSIS OF BICYCLE , PEDESTRIAN , 2 AND MOTOR VEHICLE TRAFFIC CONFLICTS AND VIOLATIONS

Tarek Sayed, Mohamed H. Zaki, Federico M. Puscar, 2017 .

Before and After Analysis of Pedestrian Crossing Speed Behavior at Scramble Phase Signalized Intersections

Tarek Sayed, Karim Ismail, Mohamed H. Zaki, 2012 .