Mohamed H. Zaki
TitleCited byYear
Formal verification of analog and mixed signal designs: A survey
MH Zaki, S Tahar, G Bois
Microelectronics Journal 39 (12), 1395-1404, 2008
1112008
Safety evaluation of right-turn smart channels using automated traffic conflict analysis
J Autey, T Sayed, MH Zaki
Accident Analysis & Prevention 45, 120-130, 2012
1022012
Automated safety diagnosis of vehicle–bicycle interactions using computer vision analysis
T Sayed, MH Zaki, J Autey
Safety Science 59, 163-172, 2013
892013
A framework for automated road-users classification using movement trajectories
MH Zaki, T Sayed
Transportation Research Part C: Emerging Technologies 33, 50-73, 2013
422013
A symbolic methodology for the verification of analog and mixed signal designs
G Al-Sammane, MH Zaki, S Tahar
Proceedings of the conference on Design, automation and test in Europe, 249-254, 2007
422007
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL.
G Al Sammane, MH Zaki, ZJ Dong, S Tahar
FDL, 293-298, 2007
412007
Formal verification of analog designs using MetiTarski
W Denman, B Akbarpour, S Tahar, MH Zaki, LC Paulson
2009 Formal Methods in Computer-Aided Design, 93-100, 2009
372009
Feasibility of computer vision-based safety evaluations: Case study of a signalized right-turn safety treatment
T Sayed, K Ismail, M Zaki, J Autey
Transportation Research Record: Journal of the Transportation Research Board …, 2012
332012
Use of drivers’ jerk profiles in computer vision–based traffic safety evaluations
MH Zaki, T Sayed, K Shaaban
Transportation Research Record 2434 (1), 103-112, 2014
322014
Pedestrian gait analysis using automated computer vision techniques
H Hediyeh, T Sayed, MH Zaki, G Mori
Transportmetrica A: Transport Science 10 (3), 214-232, 2014
292014
Combining symbolic simulation and interval arithmetic for the verification of AMS designs
MH Zaki, G Al-Sammane, S Tahar, G Bois
Formal Methods in Computer Aided Design (FMCAD'07), 207-215, 2007
292007
Application of Computer Vision to the Diagnosis of Pedestrian Safety Issues
MH Zaki, T Sayed, A Tageldin, M Hussein
Transportation Research Board 92nd Annual Meeting, 2013
282013
A tool converting finite state machine to VHDL
AT Abdel-Hamid, M Zaki, S Tahar
Canadian Conference on Electrical and Computer Engineering 2004 (IEEE Cat …, 2004
282004
Automated collection of pedestrian data through computer vision techniques
S Li, T Sayed, MH Zaki, G Mori, F Stefanus, B Khanloo, N Saunier
Transportation Research Record 2299 (1), 121-127, 2012
252012
Automated analysis of pedestrian crossing speed behavior at scramble-phase signalized intersections using computer vision techniques
H Hediyeh, T Sayed, MH Zaki, K Ismail
International journal of sustainable transportation 8 (5), 382-397, 2014
222014
Formal verification of analog and mixed signal designs: Survey and comparison
MH Zaki, S Tahar, G Bois
2006 IEEE North-East Workshop on Circuits and Systems, 281-284, 2006
212006
Multiple Instance Learning by Discriminative Training of Markov Networks
H Hajimirsadeghi, J Li, G Mori, M Zaki, T Sayed
202013
Safety evaluation of unconventional outside left-turn lane using automated traffic conflict techniques
Y Guo, T Sayed, MH Zaki, P Liu
Canadian Journal of Civil Engineering 43 (7), 631-642, 2016
192016
Computer vision techniques for the automated collection of cyclist data
MH Zaki, T Sayed, A Cheung
Transportation research record 2387 (1), 10-19, 2013
19*2013
Using automated walking gait analysis for the identification of pedestrian attributes
MH Zaki, T Sayed
Transportation Research Part C: Emerging Technologies 48, 16-36, 2014
182014
The system can't perform the operation now. Try again later.
Articles 1–20