A practical approach for monitoring analog circuits. - Mohamed H. Zaki; Sofiène Tahar; Guy Bois (ACM Great Lakes Symposium on VLSI, 2006)

A symbolic methodology for the verification of analog and mixed signal designs. - Ghiath Al Sammane; Mohamed H. Zaki; Sofiène Tahar (DATE, 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 (FDL, 2007)

Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs. - Mohamed H. Zaki; Ghiath Al Sammane; Sofiène Tahar; Guy Bois (FMCAD, 2007)

Formal Verification of Analog and Mixed Signal Designs in Mathematica. - Mohamed H. Zaki; Ghiath Al Sammane; Sofiène Tahar (International Conference on Computational Science (2), 2007)

Qualitative Abstraction based Verification for Analog Circuits. - Mohamed H. Zaki; Sofiène Tahar; Guy Bois (ISoLA, 2007)

Formal verification of analog and mixed signal designs: A survey. - Mohamed H. Zaki; Sofiène Tahar; Guy Bois (Microelectron. J., 2008)

Formal verification of analog designs using MetiTarski. - William Denman; Behzad Akbarpour; Sofiène Tahar; Mohamed H. Zaki; Lawrence C. Paulson (FMCAD, 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 circuits in the presence of noise and process variation. - Rajeev Narayanan; Behzad Akbarpour; Mohamed H. Zaki; Sofiène Tahar; Lawrence C. Paulson (DATE, 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)

Ensuring correctness of analog circuits in presence of noise and process variations using pattern matching. - Rajeev Narayanan; Mohamed H. Zaki; Sofiène Tahar (DATE, 2011)

Towards Flight Control Verification Using Automated Theorem Proving. - William Denman; Mohamed H. Zaki; Sofiène Tahar; Luis Rodrigues (NASA Formal Methods, 2011)

Formal verification of bond graph modelled analogue circuits. - William Denman; Mohamed H. Zaki; Sofiène Tahar (IET Circuits Devices Syst., 2011)

Towards improving simulation of analog circuits using model order reduction. - Henda Aridhi; Mohamed H. Zaki; Sofiène Tahar (DATE, 2012)

Verifying jitter in an analog and mixed signal design using dynamic time warping. - Rajeev Narayanan; Alaeddine Daghar; Mohamed H. Zaki; Sofiène Tahar (DATE, 2012)

Using LCSS algorithm for circuit level verification of analog designs. - Rajeev Narayanan; Alaeddine Daghar; Mohamed H. Zaki; Sofiène Tahar (NEWCAS, 2012)

Multiple Instance Learning by Discriminative Training of Markov Networks. - Hossein Hajimirsadeghi; Jinling Li; Greg Mori; Mohamed H. Zaki; Tarek Sayed (UAI, 2013)

Classifying Road Users in Urban Scenes Using Movement Patterns. - Mohamed H. Zaki; Tarek Sayed; Greg Mori (J. Comput. Civ. Eng., 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)

A semi-formal approach for analog circuits behavioral properties verification. - Ons Lahiouel; Henda Aridhi; Mohamed H. Zaki; Sofiène Tahar (ACM Great Lakes Symposium on VLSI, 2014)

A qualitative simulation approach for verifying PLL locking property. - Ibtissem Seghaier; Henda Aridhi; Mohamed H. Zaki; Sofiène Tahar (ACM Great Lakes Symposium on VLSI, 2014)

Generation of reduced analog circuit models using transient simulation traces. - Paul Winkler; Henda Aridhi; Mohamed H. Zaki; Sofiène Tahar (ACM Great Lakes Symposium on VLSI, 2014)

Enablingy the DC solutions characterization using a fuzzy approach. - Ons Lahiouel; Henda Aridhi; Mohamed H. Zaki; Sofiène Tahar (NEWCAS, 2014)

Towards enhancing analog circuits sizing using SMT-based techniques. - Ons Lahiouel; Mohamed H. Zaki; Sofiène Tahar (DAC, 2015)

Statistically Validating the Impact of Process Variations on Analog and Mixed Signal Designs. - Ibtissem Seghaier; Mohamed H. Zaki; Sofiène Tahar (ACM Great Lakes Symposium on VLSI, 2015)

A Statistical Approach to Probe Chaos from Noise in Analog and Mixed Signal Designs. - Ibtissem Seghaier; Mohamed H. Zaki; Sofiène Tahar (ISVLSI, 2015)

Cross recurrence verification technique for process variation-resilient analog circuits. - Ibtissem Seghaier; Mohamed H. Zaki; Sofiène Tahar (ISCAS, 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)

Enhancing analog yield optimization for variation-aware circuits sizing. - Ons Lahiouel; Mohamed H. Zaki; Sofiène Tahar (DATE, 2017)

Exploiting bounds optimization for the semi-formal verification of analog circuits. - Ons Lahiouel; Henda Aridhi; Mohamed H. Zaki; Sofiène Tahar (Integr., 2017)

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)

Automated Analysis of Pedestrian Group Behavior in Urban Settings. - Mohamed H. Zaki; Tarek Sayed (IEEE Trans. Intell. Transp. Syst., 2018)

Fast CNN-Based Object Tracking Using Localization Layers and Deep Features Interpolation. - Al-Hussein A. El-Shafie; Mohamed H. Zaki; Serag E.-D. Habib (IWCMC, 2019)

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)

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)

Towards an Efficient Hardware Implementation of CNN-Based Object Trackers. - Al-Hussein A. El-Shafie; Mohamed H. Zaki; Serag El-Din Habib (ISCAS, 2021)

Exploring DMD-type Algorithms for Modeling Signalised Intersections. - Kazi Redwan Shabab; Shakib Mustavee; Shaurya Agarwal; Mohamed H. Zaki; Sajal Das (CoRR, 2021)

Towards formalization and monitoring of microscopic traffic parameters using temporal logic. - Mariam Nour; Mohamed H. Zaki (CoRR, 2021)

Generative Modeling of Pedestrian Behavior: A Receding Horizon Optimization-Based Trajectory Planning Approach. - Saumya Gupta; Mohamed H. Zaki; Adan Vela (IEEE Access, 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)

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 (SM, 2024)

Emergency Management Plan for Electric Vehicles During Floods Using Daily Routing Patterns. - Alaa Torkey; Mohamed H. Zaki; Ashraf A. El Damatty (SM, 2024)

Formal Analysis of Vehicular Crash Severity Using KeYmaera X. - Oumaima Barhoumi; Mohamed H. Zaki; Sofiène Tahar (SCSS, 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., 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 001 (J. Intell. Transp. Syst., 2024)

Formally Constrained Reinforcement Learning for Traffic Signal Control at Intersections. - Oumaima Barhoumi; Mohamed H. Zaki; Sofiène Tahar (SysCon, 2025)

Towards Connected Smart Work Zones: Advancing Work Zone Management through Improved Connectivity. - Mariam Nour; Mohamed H. Zaki; Mohamed A. Abdel-Aty (CoRR, 2025)