Mohamed H. Zaki

59 papers A* 1A 7B 3C 4Misc 1Journal 28Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates. CoRR Oumaima Barhoumi, Mohamed H. Zaki, Sofiène Tahar
2026	J	`jnl`	LTV-YOLO: A Lightweight Thermal Object Detector for Young Pedestrians in Adverse Conditions. CoRR Abdullah Jirjees, Ryan Myers, Muhammad Haris Ikram, Mohamed H. Zaki
2026	J	`jnl`	Planning Autonomous Vehicle Maneuvering in Work Zones Through Game-Theoretic Trajectory Generation. CoRR Mayar Nour, Atrisha Sarkar, Mohamed H. Zaki
2025	J	`jnl`	3D Roadway Scene Object Detection with LIDARs in Snowfall Conditions. CoRR Ghazal Farhani, Taufiq Rahman, Syed Mostaquim Ali, Andrew Liu, Mohamed H. Zaki, Dominique Charlebois, Benoit Anctil
2025	J	`jnl`	A Comparative Study of Oscillatory Perturbations in Car-Following Models. CoRR Oumaima Barhoumi, Ghazal Farhani, Taufiq Rahman, Mohamed H. Zaki, Sofiène Tahar
2025	J	`jnl`	Comprehensive Assessment of LiDAR Evaluation Metrics: A Comparative Study Using Simulated and Real Data. CoRR Syed Mostaquim Ali, Taufiq Rahman, Ghazal Farhani, Mohamed H. Zaki, Benoit Anctil, Dominique Charlebois
2025	—	`conf`	Formally Constrained Reinforcement Learning for Traffic Signal Control at Intersections. SysCon Oumaima Barhoumi, Mohamed H. Zaki, Sofiène Tahar
2025	J	`jnl`	Fuel Consumption in Platoons: A Literature Review. CoRR Oumaima Barhoumi, Ghazal Farhani, Taufiq Rahman, Mohamed H. Zaki, Sofiène Tahar, Fadi Araji
2025	J	`jnl`	Towards Connected Smart Work Zones: Advancing Work Zone Management through Improved Connectivity. CoRR Mariam Nour, Mohamed H. Zaki, Mohamed A. Abdel-Aty
2025	—	`conf`	Virtual Testing Environments for LiDARs: A Study of Scene Composition Effects. ICVES Syed Mostaquim Ali, Vidyasagar Rajendran, Ghazal Farhani, Taufiq Rahman, Mohamed H. Zaki, Benoit Anctil, Dominique Charlebois
2024	—	`conf`	3D Roadway Scene Object Detection with LiDARs in Snowfall Conditions. ITSC Ghazal Farhani, Taufiq Rahman, Syed Mostaquim Ali, Andrew Liu, Mohamed H. Zaki, Dominique Charlebois, Benoit Anctil
2024	J	`jnl`	Dynamic mode decomposition type algorithms for modeling and predicting queue lengths at signalized intersections with short lookback. J. Intell. Transp. Syst. Kazi Redwan Shabab, Shakib Mustavee, Shaurya Agarwal, Mohamed H. Zaki, Sajal K. Das
2024	—	`conf`	Emergency Management Plan for Electric Vehicles During Floods Using Daily Routing Patterns. SM Alaa Torkey, Mohamed H. Zaki, Ashraf A. El Damatty
2024	—	`conf`	Formal Analysis of Vehicular Crash Severity Using KeYmaera X. SCSS Oumaima Barhoumi, Mohamed H. Zaki, Sofiène Tahar
2024	J	`jnl`	Investigating the Effects of Human-Machine Interface on Cooperative Driving Using a Multi-Driver Co-Simulation Platform. IEEE Trans. Intell. Veh. Zijin Wang, Mohamed A. Abdel-Aty, Lishengsa Yue, Jiahao Zhu, Ou Zheng, Mohamed H. Zaki
2024	—	`conf`	Optimizing Smart Bike-Sharing Station Placement Near Public Transit Stops Using GIS: A Case Study of London, Ontario. SM Ahmed ElNawawy, Jinhyung Lee, Mohamed H. Zaki
2022	J	`jnl`	An efficient hardware implementation of CNN-based object trackers for real-time applications. Neural Comput. Appl. Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag El-Din Habib
2022	J	`jnl`	Generative Modeling of Pedestrian Behavior: A Receding Horizon Optimization-Based Trajectory Planning Approach. IEEE Access Saumya Gupta, Mohamed H. Zaki, Adan Vela
2021	J	`jnl`	Exploring DMD-type Algorithms for Modeling Signalised Intersections. CoRR Kazi Redwan Shabab, Shakib Mustavee, Shaurya Agarwal, Mohamed H. Zaki, Sajal Das
2021	C	`conf`	Towards an Efficient Hardware Implementation of CNN-Based Object Trackers. ISCAS Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag El-Din Habib
2021	J	`jnl`	Towards formalization and monitoring of microscopic traffic parameters using temporal logic. CoRR Mariam Nour, Mohamed H. Zaki
2020	J	`jnl`	Mating Sensitivity Analysis and Statistical Verification for Efficient Yield Estimation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar
2020	J	`jnl`	Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving. IEEE Access Adnan Rashid, Muhammad Umair, Osman Hasan, Mohamed H. Zaki
2019	B	`conf`	Fast CNN-Based Object Tracking Using Localization Layers and Deep Features Interpolation. IWCMC Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag E.-D. Habib
2019	J	`jnl`	Fast CNN-Based Object Tracking Using Localization Layers and Deep Features Interpolation. CoRR Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag El-Din Habib
2018	J	`jnl`	Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar
2018	J	`jnl`	Automated Analysis of Pedestrian Group Behavior in Urban Settings. IEEE Trans. Intell. Transp. Syst. Mohamed H. Zaki, Tarek Sayed
2017	A	`conf`	Enhancing analog yield optimization for variation-aware circuits sizing. DATE Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar
2017	J	`jnl`	Exploiting bounds optimization for the semi-formal verification of analog circuits. Integr. Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
2016	C	`conf`	Cross recurrence verification technique for process variation-resilient analog circuits. ISCAS Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar
2016	J	`jnl`	Enhancing Model Order Reduction for Nonlinear Analog Circuit Simulation. IEEE Trans. Very Large Scale Integr. Syst. Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
2015	—	`conf`	A Statistical Approach to Probe Chaos from Noise in Analog and Mixed Signal Designs. ISVLSI Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar
2015	—	`conf`	Statistically Validating the Impact of Process Variations on Analog and Mixed Signal Designs. ACM Great Lakes Symposium on VLSI Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar
2015	A*	`conf`	Towards enhancing analog circuits sizing using SMT-based techniques. DAC Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar
2014	—	`conf`	A qualitative simulation approach for verifying PLL locking property. ACM Great Lakes Symposium on VLSI Ibtissem Seghaier, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
2014	—	`conf`	A semi-formal approach for analog circuits behavioral properties verification. ACM Great Lakes Symposium on VLSI Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
2014	—	`conf`	Enablingy the DC solutions characterization using a fuzzy approach. NEWCAS Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
2014	—	`conf`	Generation of reduced analog circuit models using transient simulation traces. ACM Great Lakes Symposium on VLSI Paul Winkler, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
2013	J	`jnl`	Classifying Road Users in Urban Scenes Using Movement Patterns. J. Comput. Civ. Eng. Mohamed H. Zaki, Tarek Sayed, Greg Mori
2013	A	`conf`	Multiple Instance Learning by Discriminative Training of Markov Networks. UAI Hossein Hajimirsadeghi, Jinling Li, Greg Mori, Mohamed H. Zaki, Tarek Sayed
2013	J	`jnl`	Multiple Instance Learning by Discriminative Training of Markov Networks. CoRR Hossein Hajimirsadeghi, Jinling Li, Greg Mori, Mohamed H. Zaki, Tarek Sayed
2013	J	`jnl`	Statistical Run-Time Verification of Analog Circuits in Presence of Noise and Process Variation. IEEE Trans. Very Large Scale Integr. Syst. Rajeev Narayanan, Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar
2012	A	`conf`	Towards improving simulation of analog circuits using model order reduction. DATE Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
2012	—	`conf`	Using LCSS algorithm for circuit level verification of analog designs. NEWCAS Rajeev Narayanan, Alaeddine Daghar, Mohamed H. Zaki, Sofiène Tahar
2012	A	`conf`	Verifying jitter in an analog and mixed signal design using dynamic time warping. DATE Rajeev Narayanan, Alaeddine Daghar, Mohamed H. Zaki, Sofiène Tahar
2011	A	`conf`	Ensuring correctness of analog circuits in presence of noise and process variations using pattern matching. DATE Rajeev Narayanan, Mohamed H. Zaki, Sofiène Tahar
2011	J	`jnl`	Formal verification of bond graph modelled analogue circuits. IET Circuits Devices Syst. William Denman, Mohamed H. Zaki, Sofiène Tahar
2011	—	`conf`	Towards Flight Control Verification Using Automated Theorem Proving. NASA Formal Methods William Denman, Mohamed H. Zaki, Sofiène Tahar, Luis Rodrigues
2010	A	`conf`	Formal verification of analog circuits in the presence of noise and process variation. DATE Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zaki, Sofiène Tahar, Lawrence C. Paulson
2010	J	`jnl`	Using Stochastic Differential Equation for Verification of Noise in Analog/RF Circuits. J. Electron. Test. Rajeev Narayanan, Mohamed H. Zaki, Sofiène Tahar
2009	B	`conf`	Formal verification of analog designs using MetiTarski. FMCAD William Denman, Behzad Akbarpour, Sofiène Tahar, Mohamed H. Zaki, Lawrence C. Paulson
2009	J	`jnl`	Integrating Abstraction Techniques for Formal Verification of Analog Designs. J. Aerosp. Comput. Inf. Commun. Mohamed H. Zaki, William Denman, Sofiène Tahar, Guy Bois
2008	J	`jnl`	Formal verification of analog and mixed signal designs: A survey. Microelectron. J. Mohamed H. Zaki, Sofiène Tahar, Guy Bois
2007	A	`conf`	A symbolic methodology for the verification of analog and mixed signal designs. DATE Ghiath Al Sammane, Mohamed H. Zaki, Sofiène Tahar
2007	B	`conf`	Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs. FMCAD Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar, Guy Bois
2007	Misc	`conf`	Formal Verification of Analog and Mixed Signal Designs in Mathematica. International Conference on Computational Science (2) Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar
2007	C	`conf`	Qualitative Abstraction based Verification for Analog Circuits. ISoLA Mohamed H. Zaki, Sofiène Tahar, Guy Bois
2007	C	`conf`	Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL. FDL Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, Sofiène Tahar
2006	—	`conf`	A practical approach for monitoring analog circuits. ACM Great Lakes Symposium on VLSI Mohamed H. Zaki, Sofiène Tahar, Guy Bois