Mohamed H. Zaki

According to our database, Mohamed H. Zaki authored at least 46 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Dynamic mode decomposition type algorithms for modeling and predicting queue lengths at signalized intersections with short lookback.

Kazi Redwan Shabab, Shakib Mustavee, Shaurya Agarwal, Mohamed H. Zaki, Sajal K. Das

J. Intell. Transp. Syst., September, 2024

Investigating the Effects of Human-Machine Interface on Cooperative Driving Using a Multi-Driver Co-Simulation Platform.

Zijin Wang, Mohamed A. Abdel-Aty, Lishengsa Yue, Jiahao Zhu, Ou Zheng, Mohamed H. Zaki

IEEE Trans. Intell. Veh., January, 2024

Formal Analysis of Vehicular Crash Severity Using KeYmaera X.

Oumaima Barhoumi, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the Symbolic Computation in Software Science - 10th International Symposium, 2024

Emergency Management Plan for Electric Vehicles During Floods Using Daily Routing Patterns.

Alaa Torkey, Mohamed H. Zaki, Ashraf A. El Damatty

Proceedings of the IEEE International Conference on Smart Mobility, 2024

Optimizing Smart Bike-Sharing Station Placement Near Public Transit Stops Using GIS: A Case Study of London, Ontario.

Ahmed ElNawawy, Jinhyung Lee, Mohamed H. Zaki

Proceedings of the IEEE International Conference on Smart Mobility, 2024

2022

An efficient hardware implementation of CNN-based object trackers for real-time applications.

Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag El-Din Habib

Neural Comput. Appl., 2022

Generative Modeling of Pedestrian Behavior: A Receding Horizon Optimization-Based Trajectory Planning Approach.

Saumya Gupta, Mohamed H. Zaki, Adan Vela

IEEE Access, 2022

2021

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

Mariam Nour, Mohamed H. Zaki

CoRR, 2021

Exploring DMD-type Algorithms for Modeling Signalised Intersections.

Kazi Redwan Shabab, Shakib Mustavee, Shaurya Agarwal, Mohamed H. Zaki, Sajal Das

CoRR, 2021

Towards an Efficient Hardware Implementation of CNN-Based Object Trackers.

Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag El-Din Habib

Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

2020

Mating Sensitivity Analysis and Statistical Verification for Efficient Yield Estimation.

Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

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

Adnan Rashid, Muhammad Umair, Osman Hasan, Mohamed H. Zaki

IEEE Access, 2020

2019

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

Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag E.-D. Habib

Proceedings of the 15th International Wireless Communications & Mobile Computing Conference, 2019

2018

Automated Analysis of Pedestrian Group Behavior in Urban Settings.

Mohamed H. Zaki, Tarek Sayed

IEEE Trans. Intell. Transp. Syst., 2018

Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques.

Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

2017

Exploiting bounds optimization for the semi-formal verification of analog circuits.

Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar

Integr., 2017

Enhancing analog yield optimization for variation-aware circuits sizing.

Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Enhancing Model Order Reduction for Nonlinear Analog Circuit Simulation.

Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar

IEEE Trans. Very Large Scale Integr. Syst., 2016

Cross recurrence verification technique for process variation-resilient analog circuits.

Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the IEEE International Symposium on Circuits and Systems, 2016

2015

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

Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015

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

Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015

Towards enhancing analog circuits sizing using SMT-based techniques.

Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Enablingy the DC solutions characterization using a fuzzy approach.

Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the IEEE 12th International New Circuits and Systems Conference, 2014

Generation of reduced analog circuit models using transient simulation traces.

Paul Winkler, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the Great Lakes Symposium on VLSI 2014, GLSVLSI '14, Houston, TX, USA - May 21, 2014

A qualitative simulation approach for verifying PLL locking property.

Ibtissem Seghaier, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the Great Lakes Symposium on VLSI 2014, GLSVLSI '14, Houston, TX, USA - May 21, 2014

A semi-formal approach for analog circuits behavioral properties verification.

Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the Great Lakes Symposium on VLSI 2014, GLSVLSI '14, Houston, TX, USA - May 21, 2014

2013

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

Rajeev Narayanan, Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar

IEEE Trans. Very Large Scale Integr. Syst., 2013

Classifying Road Users in Urban Scenes Using Movement Patterns.

Mohamed H. Zaki, Tarek Sayed, Greg Mori

J. Comput. Civ. Eng., 2013

Multiple Instance Learning by Discriminative Training of Markov Networks.

Hossein Hajimirsadeghi, Jinling Li, Greg Mori, Mohamed H. Zaki, Tarek Sayed

Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence, 2013

2012

Using LCSS algorithm for circuit level verification of analog designs.

Rajeev Narayanan, Alaeddine Daghar, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the 10th IEEE International NEWCAS Conference, 2012

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

Rajeev Narayanan, Alaeddine Daghar, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Towards improving simulation of analog circuits using model order reduction.

Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Formal verification of bond graph modelled analogue circuits.

William Denman, Mohamed H. Zaki, Sofiène Tahar

IET Circuits Devices Syst., 2011

Towards Flight Control Verification Using Automated Theorem Proving.

William Denman, Mohamed H. Zaki, Sofiène Tahar, Luis Rodrigues

Proceedings of the NASA Formal Methods, 2011

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

Rajeev Narayanan, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the Design, Automation and Test in Europe, 2011

2010

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

Rajeev Narayanan, Mohamed H. Zaki, Sofiène Tahar

J. Electron. Test., 2010

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

Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zaki, Sofiène Tahar, Lawrence C. Paulson

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Integrating Abstraction Techniques for Formal Verification of Analog Designs.

Mohamed H. Zaki, William Denman, Sofiène Tahar, Guy Bois

J. Aerosp. Comput. Inf. Commun., 2009

Formal verification of analog designs using MetiTarski.

William Denman, Behzad Akbarpour, Sofiène Tahar, Mohamed H. Zaki, Lawrence C. Paulson

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008

Formal verification of analog and mixed signal designs: A survey.

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

Microelectron. J., 2008

2007

Qualitative Abstraction based Verification for Analog Circuits.

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

Proceedings of the ISoLA 2007, 2007

Formal Verification of Analog and Mixed Signal Designs in Mathematica.

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

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

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

Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar, Guy Bois

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

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

Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, Sofiène Tahar

Proceedings of the Forum on specification and Design Languages, 2007

A symbolic methodology for the verification of analog and mixed signal designs.

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

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006

A practical approach for monitoring analog circuits.

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

Proceedings of the 16th ACM Great Lakes Symposium on VLSI 2006, Philadelphia, PA, USA, April 30, 2006