Mohamed H. Zaki

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 19

Top Topics

Receding Horizon

Qualitative Simulation

Hardware Implementation

Top Venues

ACM Great Lakes Symposium on VLSI

Publications

Zijin Wang, Mohamed A. Abdel-Aty, Lishengsa Yue, Jiahao Zhu, Ou Zheng, Mohamed H. Zaki
Investigating the Effects of Human-Machine Interface on Cooperative Driving Using a Multi-Driver Co-Simulation Platform. IEEE Trans. Intell. Veh. 9 (1) (2024)
Saumya Gupta, Mohamed H. Zaki, Adan Vela
Generative Modeling of Pedestrian Behavior: A Receding Horizon Optimization-Based Trajectory Planning Approach. IEEE Access 10 (2022)
Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag El-Din Habib
An efficient hardware implementation of CNN-based object trackers for real-time applications. Neural Comput. Appl. 34 (22) (2022)
Mariam Nour, Mohamed H. Zaki
Towards formalization and monitoring of microscopic traffic parameters using temporal logic. CoRR (2021)
Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag El-Din Habib
Towards an Efficient Hardware Implementation of CNN-Based Object Trackers. ISCAS (2021)
Kazi Redwan Shabab, Shakib Mustavee, Shaurya Agarwal, Mohamed H. Zaki, Sajal Das
Exploring DMD-type Algorithms for Modeling Signalised Intersections. CoRR (2021)
Adnan Rashid, Muhammad Umair, Osman Hasan, Mohamed H. Zaki
Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving. IEEE Access 8 (2020)
Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar
Mating Sensitivity Analysis and Statistical Verification for Efficient Yield Estimation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (2) (2020)
Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag E.-D. Habib
Fast CNN-Based Object Tracking Using Localization Layers and Deep Features Interpolation. IWCMC (2019)
Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag El-Din Habib
Fast CNN-Based Object Tracking Using Localization Layers and Deep Features Interpolation. CoRR (2019)
Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar
Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (3) (2018)
Mohamed H. Zaki, Tarek Sayed
Automated Analysis of Pedestrian Group Behavior in Urban Settings. IEEE Trans. Intell. Transp. Syst. 19 (6) (2018)
Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
Exploiting bounds optimization for the semi-formal verification of analog circuits. Integr. 59 (2017)
Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar
Enhancing analog yield optimization for variation-aware circuits sizing. DATE (2017)
Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
Enhancing Model Order Reduction for Nonlinear Analog Circuit Simulation. IEEE Trans. Very Large Scale Integr. Syst. 24 (3) (2016)
Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar
Cross recurrence verification technique for process variation-resilient analog circuits. ISCAS (2016)
Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar
Towards enhancing analog circuits sizing using SMT-based techniques. DAC (2015)
Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar
Statistically Validating the Impact of Process Variations on Analog and Mixed Signal Designs. ACM Great Lakes Symposium on VLSI (2015)
Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar
A Statistical Approach to Probe Chaos from Noise in Analog and Mixed Signal Designs. ISVLSI (2015)
Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
A semi-formal approach for analog circuits behavioral properties verification. ACM Great Lakes Symposium on VLSI (2014)
Ibtissem Seghaier, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
A qualitative simulation approach for verifying PLL locking property. ACM Great Lakes Symposium on VLSI (2014)
Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
Enablingy the DC solutions characterization using a fuzzy approach. NEWCAS (2014)
Paul Winkler, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
Generation of reduced analog circuit models using transient simulation traces. ACM Great Lakes Symposium on VLSI (2014)
Rajeev Narayanan, Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar
Statistical Run-Time Verification of Analog Circuits in Presence of Noise and Process Variation. IEEE Trans. Very Large Scale Integr. Syst. 21 (10) (2013)
Mohamed H. Zaki, Tarek Sayed, Greg Mori
Classifying Road Users in Urban Scenes Using Movement Patterns. J. Comput. Civ. Eng. 27 (4) (2013)
Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
Towards improving simulation of analog circuits using model order reduction. DATE (2012)
Rajeev Narayanan, Alaeddine Daghar, Mohamed H. Zaki, Sofiène Tahar
Verifying jitter in an analog and mixed signal design using dynamic time warping. DATE (2012)
Rajeev Narayanan, Alaeddine Daghar, Mohamed H. Zaki, Sofiène Tahar
Using LCSS algorithm for circuit level verification of analog designs. NEWCAS (2012)
William Denman, Mohamed H. Zaki, Sofiène Tahar
Formal verification of bond graph modelled analogue circuits. IET Circuits Devices Syst. 5 (3) (2011)
Rajeev Narayanan, Mohamed H. Zaki, Sofiène Tahar
Ensuring correctness of analog circuits in presence of noise and process variations using pattern matching. DATE (2011)
William Denman, Mohamed H. Zaki, Sofiène Tahar, Luis Rodrigues
Towards Flight Control Verification Using Automated Theorem Proving. NASA Formal Methods (2011)
Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zaki, Sofiène Tahar, Lawrence C. Paulson
Formal verification of analog circuits in the presence of noise and process variation. DATE (2010)
Rajeev Narayanan, Mohamed H. Zaki, Sofiène Tahar
Using Stochastic Differential Equation for Verification of Noise in Analog/RF Circuits. J. Electron. Test. 26 (1) (2010)
Mohamed H. Zaki, William Denman, Sofiène Tahar, Guy Bois
Integrating Abstraction Techniques for Formal Verification of Analog Designs. J. Aerosp. Comput. Inf. Commun. 6 (5) (2009)
William Denman, Behzad Akbarpour, Sofiène Tahar, Mohamed H. Zaki, Lawrence C. Paulson
Formal verification of analog designs using MetiTarski. FMCAD (2009)
Mohamed H. Zaki, Sofiène Tahar, Guy Bois
Formal verification of analog and mixed signal designs: A survey. Microelectron. J. 39 (12) (2008)
Ghiath Al Sammane, Mohamed H. Zaki, Sofiène Tahar
A symbolic methodology for the verification of analog and mixed signal designs. DATE (2007)
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar
Formal Verification of Analog and Mixed Signal Designs in Mathematica. International Conference on Computational Science (2) (2007)
Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, Sofiène Tahar
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL. FDL (2007)
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar, Guy Bois
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs. FMCAD (2007)
Mohamed H. Zaki, Sofiène Tahar, Guy Bois
Qualitative Abstraction based Verification for Analog Circuits. ISoLA (2007)
Mohamed H. Zaki, Sofiène Tahar, Guy Bois
A practical approach for monitoring analog circuits. ACM Great Lakes Symposium on VLSI (2006)